Let z(n) = n3 + n2. Let v be z(0). Let f = 5 + v. Suppose -s - 12 = -f*h, -h - 45 = -5*s - 9. Solve 3*u - u - s = 0 for u.

4

Let f(n) = n + 6. Let w be f(-11). Let v(y) = y3 + 5*y2 - y - 5. Let m be v(w). Solve -4*i + m = -4 for i.

1

Let n(x) = x3 - 3*x2 - 5*x + 4. Let w(q) = -q**2 - 17*q + 4. Let l be w(-17). Let b be n(l). Solve -2*o - 3*o + 15 = b for o.

3

Suppose 10 = 2*b + 2. Solve l + b*l = 15 for l.

3

Suppose -2*c = -8 - 10. Solve -2*v = v + c for v.

-3

Let b(v) = -v**2 - 2*v + 16. Let w be b(0). Solve -2*z = 2*z + w for z.

-4

Let y = -13 + 21. Suppose 0 = -3*l + 4*k - y*k + 21, -l - 4*k = -15. Suppose 3*o = -l*q + 21, -5*o + 0 = -q + 1. Solve m - 25 = q*m for m.

-5

Let n = -24 + 17. Let u(y) = y3 + 8*y2 + 8*y + 7. Let h be u(n). Let k = 23 + -11. Solve h*a + 4*a = -k for a.

-3

Suppose 86 = 2*v + 4*x, -2*v - 3*x + 187 = 2*v. Suppose 0*a - 5*a - 2*m = -v, -a + 17 = -2*m. Let t = a - 8. Solve -p = 4 - t for p.

-1

Suppose -2*d = -5*d. Solve d = -4*y + 18 - 6 for y.

3