Let v(b) = b + 7. Let g be v(3). Solve 5*s = 3*s + g for s.
5
Let u(h) = -4*h + 6. Let f be u(1). Solve 3*m + f = 2*m for m.
-2
Suppose -d + 70 = 4*d - 5*l, -8 = 2*l. Solve 4*z = 10 + d for z.
5
Suppose 3*a - 2 = 2*a. Let w(p) = 2*p - 2. Let u be w(a). Suppose -4 - u = -2*n. Solve 4 = k + n for k.
1
Suppose -8*z = -59 + 43. Solve 0 = n + 2 + z for n.
-4
Let o = 17 + -17. Solve 6*c - c - 15 = o for c.
3
Suppose 25 = 5*t + 5. Suppose 4*q = -t*d, 0 = 3*d - 2*q + q. Let l(z) = -z3 + 16*z2 + z - 10. Let c be l(16). Solve r + r + c = d for r.
-3
Suppose 3*g + 4*o = 28, g + 7 = -2*o + 19. Suppose t = -5*i - 0 - 15, i = -4*t + 16. Suppose -t*m = -g*w - 0*w + 31, w - 4*m = 16. Solve 2*p + 0 = -w for p.
-2
Let u(h) = -h**2 + 16*h + 31. Let b be u(17). Solve 5*t = b + 11 for t.
5
Let q = -16 + 22. Solve -q*c + 15 = -c for c.
3