Let m = -7 - -9. Suppose u + 51 = 5*f, -m*u + 72 - 24 = 5*f. Let k = f + -8. Solve -17 = -5*j - k for j.
3
Let t(b) = 3*b + 4. Let u be t(0). Solve -c = c - u for c.
2
Suppose 1 = 3*o - 4*r - 16, o - 3*r - 9 = 0. Suppose 0 = -o*h + 13 - 1. Solve -2*d - h = -2 for d.
-1
Let n(m) = -m + 1. Let t be n(-6). Suppose b = t - 2. Suppose 3*s = 4*s + 3, 5*s + 15 = 4*h. Solve r + 0*r + b = h for r.
-5
Suppose 0 = -5*k - 2*r - 72, -9 - 64 = 5*k + 3*r. Let m = -11 - k. Solve m*q - 7 = 5 for q.
4
Let t = -8 + 14. Let h = t + -4. Solve -3*y - 5 = -h for y.
-1
Let n(s) = -s**2 + 7*s - 6. Let o be n(5). Let h = o - 4. Suppose x + 3*c = c + 16, 3*x - c - 13 = h. Solve -x*v - 15 = -v for v.
-3
Let b = 6 + 0. Let d be 4/b*(-27)/(-6). Solve -11 = -2*t - d for t.
4
Suppose 0 = 3*j - 7 - 11. Solve -3*s + j*s = 9 for s.
3
Suppose -5*r + 32 = -3*w, -5*r + 2 + 26 = -2*w. Suppose 7*a - 2*a - 16 = v, r = -v + 2*a. Solve v*d - 5 = -17 for d.
-3