Let r = 60 + -60. Solve r = -2*o - 2 + 12 for o.
5
Let c = -18 + 25. Suppose 3*f = c*f - 44. Let o = f + -8. Solve o*w = 4*w for w.
0
Suppose -1 = 4*u + 5*x - 0, 9 = 4*u - 5*x. Let l = u + 3. Suppose 2*w = 6*w + 3*m, -4*w - 4*m = l. Solve -w*b = -2 + 8 for b.
-2
Let p = -13 - -17. Suppose p*y - 4 = 2*y. Solve -4 = -z + y*z for z.
-4
Let a = 23 + -22. Solve -3 = 2*w + a for w.
-2
Suppose 0 = -k + 3 - 2, -3*t = 5*k - 5. Let o(p) be the first derivative of -p**2⁄2 - 2*p - 1. Let r be o(-7). Solve r*n + 25 = -t*n for n.
-5
Let v = 37 + -37. Solve v = -3*s + 4*s for s.
0
Let m be -10*(-2 + 3⁄2). Suppose 5*w - 4*c = -m, 14 + 6 = 4*c. Solve 0 = -0*n - w*n for n.
0
Let z = -16 - -21. Solve 0 = -z*o - 4 + 9 for o.
1
Let v(p) = -4*p - 34. Let l be v(-11). Solve -7*h + 3 = -l*h for h.
-1