Let d = -25 + 25. Solve d - 6 = 3*r for r.
-2
Suppose -2*o - 4 + 2 = 3*a, 2*a = -4. Suppose o*c = -0*c + 4. Solve -c*b = -0*b + 4 for b.
-2
Suppose -2*s - 12 = -5*s. Solve 4*g - 5*g = -s for g.
4
Let d = -22 + 24. Suppose 0 = -2*s + d*k + 8 + 8, 0 = -3*s - k + 4. Solve 4 = -s*u + 10 for u.
2
Let v be 0*(-2 + -1 + 2). Solve -3*q + 8*q + 10 = v for q.
-2
Suppose -3*k + 3 = -2*k. Solve -k*u - 6 = -3 for u.
-1
Let g(j) = 3*j3 + 5*j2 + 3*j + 4. Let u be g(-3). Let f = -24 - u. Suppose 4*o = o + 15. Solve 0 = -o*w + 8 + f for w.
5
Suppose -13 = -5*i - 3. Solve i + 8 = 2*p for p.
5
Let a = 4 + -1. Let d = -2 + 5. Let q = a - d. Solve q = 2*o + 6 - 0 for o.
-3
Suppose 54 - 99 = -5*r. Solve 8*z - r*z = -3 for z.
3