Let s be (7 - (2 + 1)) + -2. Suppose -s*b = -3*b. Solve b*k + 2*k = 0 for k.
0
Suppose x = -6 + 9. Solve -x*m - 14 = -5 for m.
-3
Let q = 10 - 5. Suppose 3*v - 7 = 3*r + 5, 2*v = q*r + 8. Solve 0*y + 4*y - 16 = r for y.
4
Suppose -20 = -t - 4*t. Let o be (-42)/(-4) + (-2)/t. Solve 0 = -5*j - o - 0 for j.
-2
Let t = 1 + 14. Solve 3*v + 0*v = -t for v.
-5
Let b be -1*(-13 + 2 + -1). Let z = b - 8. Let w be 2 - (0 - -3) - -1. Solve w = 2*j + z for j.
-2
Suppose d - 15 = -4*a, 0 = 3*a - 7 - 2. Solve 1 = -d*z - 14 for z.
-5
Let f(j) = j**2 - 4*j - 5. Let y be f(5). Solve 5*i + 7 + 3 = y for i.
-2
Suppose -2*s - 20 = -7*s. Let h = -2 + s. Suppose h = -2*t + 8. Solve -7 = t*q - 4 for q.
-1
Suppose -3*f + 0*f = -15. Let y = -9 - -41. Suppose f*l - y = l. Solve 0 = -l*u + 3*u for u.
0