Let w(b) = b**3 + b + 4. Let j be w(0). Suppose 4*s + 0*s = -2*i + 12, -69 = -4*i + s. Solve 0 = j*r - i for r.

4

Let z = 2 + 1. Suppose 0 = -x + 3 + z. Let j be 16⁄12*x/4. Solve j*r - 5*r = 0 for r.

0

Suppose 0 = 5*y - 12 - 8. Solve 0 = -y*j + 11 + 1 for j.

3

Suppose -4*h + 7*d = 3*d, 0 = d. Solve -1 = z - h*z for z.

-1

Let c = -22 + 24. Solve 0 = r - c for r.

2

Suppose 5*y = -3*x - 10, 0*x - 3*y = -3*x + 6. Let l = -57 + 57. Solve l = -2*t + 6 - x for t.

3

Let t(m) = -m2 + m + 5. Let u be t(0). Suppose -25 = -u*z - 0. Let w(q) = -q2 + 9*q - 5. Let o be w(z). Solve 5*r - o = -0*r for r.

3

Let b = 14 + -9. Suppose l - 25 = 2*s, 0 = -b*l + l - 3*s + 89. Let d = -13 + l. Solve 2*h + d = 4*h for h.

5

Let c be ((-2)/(-4))/(1⁄4). Solve c*y + 3*y = -10 for y.

-2

Suppose 0 = -o + 3*o - 24. Suppose -4*t + o = -0. Solve -4*k + t = -k for k.

1