Let t be (2 - 0 - 2)*(-2 + 1). Solve -m + 3 = -t for m.
3
Suppose -2*d - a + 6 = -2*a, -3*a = 2*d + 10. Let g = d - -2. Solve 2*i - 5 = -g*i for i.
1
Suppose 0*p = 4*p + 4*l - 12, -11 = -3*p - l. Solve 5*f - 3*f = p for f.
2
Let p = -8 + 14. Solve 3*t - p = t for t.
3
Let u = -2 + 8. Suppose u = -h + 3*h. Solve -h*z = z for z.
0
Let q = 7 + -4. Let d = 17 - 16. Solve -q*r = -4*r + d for r.
1
Let b be 1 - (3 + -1 + 1). Let j = b - -7. Solve 0 = -2*k - j - 3 for k.
-4
Suppose 14*q - 7*q = 21. Solve -5*k - q - 12 = 0 for k.
-3
Suppose k - 2*g = -1, 5*g = -4*k + g + 8. Suppose f - 10 = -4*j, f - 14 = -5*j - f. Solve 3*u + j = -k for u.
-1
Let v = -1 - -1. Suppose -8*r = -0*r - 96. Solve -6*o + 2*o - r = v for o.
-3