Let n = -124 + 137. Solve 5*x - 2 = n for x.
3
Suppose 2*k - 5*t = -14, 0 = 4*k - 4*t + t + 28. Let l be k/5 - (-8)/20. Let f be (-2)/2 - 1*l. Solve -3*n - 4 - 5 = f for n.
-3
Suppose 4 = 2*o + a + a, -4*a = 8. Suppose 0*f - j + 6 = 2*f, 11 = -5*f + o*j. Solve -4*g + f = 9 for g.
-2
Let q = 0 + 3. Suppose 0 = 5*j + 2*f - 54, 2*f + 27 = j - q*f. Suppose -h + 4*u + j = 3*h, 5*h + 3*u - 7 = 0. Solve -2*w + h = -4 for w.
3
Suppose 3*w - 4*a + 4 = 0, 3*a = w - 2*a + 5. Let g = w - -15. Suppose 0 = -5*t + g - 5. Solve 0 = -0*h + t*h + 10 for h.
-5
Suppose 2*f = 4*f + 14. Let h = f - -7. Let y be h - -21 - (1 + 0). Solve 0 = 5*n - n + y for n.
-5
Let a = 4 + 2. Let b be (-4 - -5) + 3⁄1. Suppose 0 = d - a + b. Solve 2 = 2*z - d for z.
2
Suppose 3*n + 0 - 9 = 3*d, -4*n + 3*d = -9. Solve 4 = r - n*r for r.
4
Suppose 20*s = 25*s - 50. Solve q = -q + s for q.
5
Suppose -3*y + 11 = -2*t, 0*y - 4*y + 3*t = -14. Solve 0 = -2*u - 13 + y for u.
-4