Let l = 0 - 0. Let a(y) = -y3 + 5*y2 + y + 5. Let x be a(4). Solve 5*t = -l*t - x for t.

-5

Let s(k) = k**2 + 3. Let o be s(5). Suppose -5*m = -o - 32. Suppose -2*p - 3*p = -j - m, -3*p + 4 = -j. Solve -j = -0*i + 4*i for i.

-2

Let v be 0*(-3)/(-1 + 7). Let f = 0 - v. Solve f = 5*t - 29 + 9 for t.

4

Let m be 18/(-4)*23. Let u = 2 - m. Solve u = -8*p + 3*p for p.

-1

Suppose 2*c - 4 = 2*l, 3*c + 0*c - 8 = l. Suppose -2*k + 2*y = 0, -5*k - y + 6 = -0. Suppose k = o - l. Solve -10 = 3*t + o*t for t.

-2

Suppose 0*a + 12 = 3*a. Solve -a = 3*x + 2 for x.

-2

Let v be 18 - 1 - (2 - 0). Let o be (-6 - 1)*(3 + -2). Let j = o - -15. Solve 3*k = j*k - v for k.

3

Suppose 2*h + 2 - 8 = 0. Suppose -10 + h = -r. Solve 3*n = 8 + r for n.

5

Let j be 0 - (0/(-2) + -5). Suppose -2*z - 6*x + 8 = -2*x, -3*z + 12 = 3*x. Let n = 2 + 5. Solve z*v + j = -n for v.

-3

Let g(o) = -2*o - 2. Let j be g(-3). Suppose -v + 6 = v. Suppose -k + v = -j. Solve -2 + k = 5*b for b.

1