Suppose z + z - 32 = 3*k, 0 = 3*z + 2*k - 22. Let i = 14 - z. Suppose i*l = -y + 9, -5*y + l - 3*l = -9. Solve -4*b + 15 = -y for b.
4
Let v(q) = 3*q + 1. Let l = 7 + -4. Let f be v(l). Solve f - 2 = 4*k for k.
2
Suppose 0 = -r - 0*r - 5, -3*r - 45 = 5*w. Let d(y) = -2*y - 7. Let a be d(w). Suppose -3*z = 3*c - 6 - 6, -z + a*c = 2. Solve -z*i = -7 - 8 for i.
5
Suppose 3*i - 2*i - 9 = y, i = 2*y + 12. Suppose -i*r = -r + 95. Let n = 39 + r. Solve -3*a = 2*a - n for a.
4
Let u = 318 - 208. Let y be u/25 - (-2)/(-5). Solve -y*n + n - 6 = 0 for n.
-2
Let l = 7 + -2. Suppose -4*u = z + 5, 4*z + u = l*u + 60. Let h = 16 - z. Solve -h = -2*n + 3 for n.
4
Suppose -6 = -4*f + 18. Solve 2*h + 0 = -f for h.
-3
Let k = 19 - -7. Suppose 0 = -2*h - 5*b + k, 4*h - b - 4*b = 52. Solve 2 = 3*j - h for j.
5
Let j be -1 + 5/(15⁄81). Suppose -4*z + 5*z = j. Solve 5*c = -z + 1 for c.
-5
Let g = 6 + 24. Let y be g/4*(-8)/(-5). Suppose -2*b - b + 4 = -2*o, 4*b = 2*o + 6. Solve 0 = j + b*j - y for j.
4