Let b be ((-9)/6 - -2)*-2. Let q(z) = 3*z**3 + z**2 + 2*z + 1. Let r be q(b). Let m be (1 + 0)/(-2 - r). Solve v - 1 = m for v.

Let b(m) = -m3 + 7*m2 - 6*m + 2. Let c be b(6). Let i(o) = o3 + 10*o2 - 2*o - 12. Suppose 0 = -w + 4*w + 30. Let z be i(w). Solve -5*q + z = -c for q.

2

Suppose 5*w = 4*w + 18. Suppose 0 = 2*k + k - w. Solve u = -u + k for u.

3

Suppose 2*l - 3*l + 3 = 0. Let v be 3 + 1 + 0 - l. Solve v = -2*q + 5 for q.

2

Let f = -25 + 35. Suppose -s - f = -3*s. Solve -16 = s*k - k for k.

-4

Suppose 3*f - 9 = 12. Suppose -f*h = -3*h - 8. Suppose -h*d = -5*j - 9, 2*j + 3 = -5*d + 11. Solve -d*w + w + 4 = 0 for w.

4

Suppose -5*z - 3*g + 25 = 2*g, 2*z - 3*g + 5 = 0. Solve z*o + o - 6 = 0 for o.

2

Let m(v) = -2*v**2 - 9*v + 18. Let u be m(-6). Let y be -2 + 1/(²⁄₆). Solve b - y - 4 = u for b.

5

Let j(o) = o. Let x be j(0). Suppose 3*g = -2*q - 9, x = 2*g - 4*g + 2*q - 6. Let a® = r3 + 3*r2 - r - 3. Let z be a(g). Solve 2*k = -z*k for k.

0

Suppose -4*l + n = 1, -7*l + 4*l + 28 = 5*n. Solve 0 = x + l - 6 for x.

5

Let v(b) = b**2 + 7. Let d be v(0). Solve d*h = 2*h + 15 for h.

3