Let a = 20 + -20. Solve -3*n + 0*n - 3 = a for n.
-1
Suppose 2*r - 6*r = 0. Suppose 20*x - 4 = -4. Solve r = -2*b - x*b + 4 for b.
2
Let p(b) = -b + 7. Let n be p(5). Suppose 0 = n*r + 3*r - 15. Solve r - 1 = 2*l for l.
1
Suppose 0 = 2*u - 3*u + 6. Solve 0 = -2*x + u*x + 20 for x.
-5
Suppose -15 = 5*c + 3*m, 20 = -5*c - 2*m - 2*m. Let r = 58 + -34. Let k = -12 + r. Solve 4*o = -c*o + k for o.
3
Let x = 163 + -160. Solve x*z = z - 6 for z.
-3
Let j be (1 - 3) + 12 + -1. Let w be (6 + -5)/(1/j). Solve 3*i = 6*i + w for i.
-3
Let m(k) = 6*k - 3*k + 5 - 2*k. Suppose -4*s + 8*s = -20. Let a be m(s). Solve a = 3*o - 7*o for o.
0
Suppose -6*b = -4*b - 10. Solve -3*m + b = 2*m for m.
1
Let q = 13 - 11. Solve q = -2*v - 0 for v.
-1