Let n be 0 + 5/(5/21). Let k(r) = -r + 9. Let u be k(7). Suppose -u*v - v = -n. Solve v = 5*w + 2 for w.

Suppose s - z - 3 = 4*z, -3*s = -z + 19. Let u = s + 12. Let l = 1 + -1. Solve -u*c - 10 = -l for c.

-2

Let o© = -c3 + 5*c2 - 2*c + 2. Suppose 0 = 3*h - 7 - 8. Suppose -h*v + v - 5*y = -11, -1 = y. Let s be o(v). Solve s*t = 5*t - 25 for t.

-5

Let h(u) = u3 - 5*u2 + 6*u - 4. Suppose -7 - 1 = -2*l. Let t be h(l). Suppose t*r - 5 = 3*r. Solve w - 10 = -r for w.

5

Let t(n) = 3 + 3*n + 1 + 0. Let a be t(3). Suppose r + 21 = 2*s, 2*s = s + 3*r + a. Solve 0*c + 2*c - s = 0 for c.

5

Let k be (-2)/(-2) + -1 + -1. Let r be (6 + k - 1) + 0. Suppose -20 = -2*b + c + c, 4*b = -r*c. Solve 4*g = 3*g + b for g.

5

Let x(t) = -2*t - 11. Let d be x(-13). Solve 5*a - 2*a = -d for a.

-5

Suppose -3*d + 2*f - 12 - 6 = 0, -5*d - 4*f = 30. Let u = 8 + d. Solve 2 = -b + u*b for b.

2

Let n = 4 + 1. Let x = -3 + n. Solve 4*j - x*j + 4 = 0 for j.

-2

Let d = -30 - -30. Solve 4*v - 5*v = d for v.

0

Suppose 3*r - 4*i = 0, 6*r + 3*i - 25 = 2*r. Suppose v + r = -o - 2*o, -5*v - 5*o + 10 = 0. Suppose -b + v*x = b - 28, 4*b = x + 20. Solve 12 = j - b*j for j.

-4