Let k(o) = o - 3. Suppose 2*b - s = 10, -4*s + 5 = b + s. Suppose 1 = 2*v - b. Let n be k(v). Solve n = -5*h + 3*h + 6 for h.

3

Let q(y) = y**2 - 7*y. Let z be q(7). Let p = 3 + z. Solve -5 = 2*d - p*d for d.

5

Let i = -2 - -11. Let a(d) = -d3 + 9*d2 + d - 4. Let z be a(i). Suppose -q - 5*t = 20, -1 = -2*q - z*t - 16. Solve 0 = 4*m - q - 3 for m.

2

Let u(n) = -n**2 - 5*n + 8. Let y be u(-6). Suppose -5*w + 0*w = -15. Suppose w*x + x = 20. Solve x = -y*p + 11 for p.

3

Suppose 111 + 51 = 2*m. Suppose s = 4*s - m. Solve 2 - s = 5*p for p.

-5

Suppose -4*v + z + 15 = 0, 4*v + v = -4*z + 3. Let m(s) = -8*s + 235. Let c be m(29). Solve -v*r - c = -0 for r.

-1

Let c = -7 + 10. Solve -d = c*d for d.

0

Let u be 1 + 3 + 0 + -2. Suppose 3*m - 3 = 4*m, -u*m - 71 = -5*w. Solve 3*f - 2 = w for f.

5

Suppose 0 = 3*l - 7*a + 4*a - 24, 0 = 2*a + 10. Solve -l*t + 0 = -6 for t.

2

Let c(j) = -11*j. Let m be c(-1). Solve -4*r - m - 9 = 0 for r.

-5