Let b = -1 - -2. Let q(g) = -g + 6. Let k = -3 + 9. Let m be q(k). Solve m = 3*s - 5 - b for s.
2
Suppose -3*b + 14 = -b. Suppose -2*z + o + b = 2*z, 0 = 3*z + o. Solve 0 = -2*q + z + 1 for q.
1
Let p(k) = k - 2. Suppose -h = -2*h + 7. Let q be p(h). Let a(b) = -3*b - 5. Let o be a(-4). Solve o + q = -4*s for s.
-3
Suppose 0 = -3*d + x + 3*x + 13, 5*x - 4 = -3*d. Suppose -2*u = d*w - 12, u + 21 = 3*w + 6*u. Solve 0 = 3*y - 1 - w for y.
1
Let l(v) = -12*v3 - 2*v2 - 2*v. Let m be l(-1). Let a = m - 10. Solve 2*d - 8 = -a*d for d.
2
Suppose -8 = -2*w - 0*i - i, i = 5*w - 34. Solve 0 = w*g - 2*g - 12 for g.
3
Suppose -5*w + 6 = -3*m, 21 = 5*w + 3*m - 3. Solve 0 = -w*f + 2 - 14 for f.
-4
Suppose 10*y - 15 = 5*y. Solve y*o = 12 - 0 for o.
4
Suppose 4*b - q = 59, 4*q = b + 2*q - 13. Solve -2*k - b = k for k.
-5
Let m(z) = -z**2 + 1. Let n be m(0). Suppose -7 = 4*i - 0*i - 3*d, -1 = 5*i + 4*d. Let g = n + i. Solve -3 + g = w for w.
-3