Let n(y) = y - 5. Let s be n(8). Solve -s*r - 2*r = -10 for r.
2
Suppose -3*a = 2a - 10. Let i be 0/(a-1 - -3). Let c = -271 - -277. Solve i*m + c = 2*m for m.
3
Let k = 3 - 1. Suppose 0 = -k*z + 4. Let x(a) = a - 4. Let j be x(5). Solve j = 3*y - z*y for y.
1
Suppose 0 = -t - 3*h + 3, t + 9 = 4*t - h. Solve -p + 1 = t for p.
-2
Let c(v) = -v**2 + 9*v + 39. Let z be c(12). Solve 0*t + z*t = 0 for t.
0
Let i = -9 + 15. Let t = i - -4. Suppose 5*m - 25 = 5*j, 4*m + 0*j + t = -2*j. Solve 2*z + 2*z + 8 = m for z.
-2
Let l = -3 + 21. Let a be 51/l - (-4)/24. Solve -a*z - 2*z + 10 = 0 for z.
2
Suppose -f = 4*f - 370. Suppose 3*l - f = -8. Solve -3*x + 7 = l for x.
-5
Let j = -15 + 23. Let t = j + -8. Solve h + 0*h - 4 = t for h.
4
Let u = 29 - 25. Solve -j = u*j for j.
0