Let b = -17 + 30. Let v = -9 + b. Solve 2 = v*u + 6 for u.
-1
Let q = 5 - 2. Solve -5*o = -q - 7 for o.
2
Let w = 15 + -15. Solve w*s = -2*s - 4 for s.
-2
Suppose -5*v = 22 - 172. Suppose 4*l - v = -10. Solve -b - l = -0*b for b.
-5
Suppose 2*r - 4*r + 34 = 4*k, -r = 5*k - 20. Solve 0*u = -3*u - r for u.
-5
Let c = 52 - 50. Solve c + 3 = d for d.
5
Suppose u - 2*f = 5*u - 4, 21 = 3*u - 3*f. Let i = -8 + 12. Solve -u*m - m = -i for m.
1
Suppose 0 = -2*i + u - 3 + 8, -5*u - 3 = i. Solve i*n = -2*n + 16 for n.
4
Let q be (1 - -2) + (-4)/(-2). Solve 25 - 5 = -q*t for t.
-4
Suppose -7*v + 2*v + 35 = 0. Suppose 2*x + 22 = -3*r + v*r, -17 = -2*r - 5*x. Suppose r = 3*i - w - 7, -i - 9 = 3*w. Solve 4*z = i - 11 for z.
-2