Let v = -2 - -7. Suppose v*c - 3 = 27. Solve 2*h + h = c for h.
2
Suppose 6 = -2*a + 14. Let y(h) = h - a + 2*h - 2*h + 5. Let k be y(-1). Solve -6*v + v - 5 = k for v.
-1
Suppose -3*w = -w + w. Solve -5*z + 0*z = w for z.
0
Suppose -6*b + 137 = -49. Let k = b - 24. Solve -k*r + 2*r + 25 = 0 for r.
5
Suppose -3*v + 0*v = 0. Suppose -g = -v - 2. Solve -w - g*w = -3 for w.
1
Suppose -31*y + 30*y = -5. Solve y + 0 = c for c.
5
Suppose z + 10 = 6*z. Solve -z*y = 1 - 7 for y.
3
Suppose 6*u - 2*u = 20. Suppose -s = 2*i - u, 2*i + 3*s = 3*i + 1. Solve y = i*y for y.
0
Let q be 2 - ((1 - -2) + -5). Suppose -2*t + q*l = 2*l - 10, -3 = 3*t + 3*l. Solve -j = -t*j - 3 for j.
-3
Suppose 22 = -3*j + 70. Suppose -2*v = 2*v - j. Solve -v*b + b = 6 for b.
-2