Let q = -6 - -8. Solve -q*s = -s - 5 for s.
5
Let f be (-2)/(-1)*(-36)/(-8). Let q = f + -15. Let z = q + 8. Solve 4 = -2*o + z for o.
-1
Suppose -8 = -2*u + 2*t, -5*u - 3*t = -1 - 11. Suppose -2*j = 6, 3*c - j = -6*j - u. Suppose i - 16 = -c*z, -z + 2 = 5*i - 21. Solve 8 = a - z*a for a.
-4
Suppose -k - 5*u - 28 = -5*k, -4*u - 16 = 0. Solve -3*s + 2*s = k for s.
-2
Let x be 2 + (1 - 0) + 13. Suppose x = h + 3*h. Solve h - 9 = -5*a for a.
1
Suppose 2*l = 3*l - 4, 0 = -3*w + 3*l - 12. Solve -4*m + 16 = -w*m for m.
4
Let q = 58 - 57. Solve -16 = 3*y - q for y.
-5
Let h = 40 - 31. Solve 11 = -4*w - h for w.
-5
Let j be (-3 + 4)/(1/(-2)). Let a = j - -6. Solve -5*g = -1 - a for g.
1
Let i = -5 - -10. Suppose -i = -5*t + 20. Suppose 3*a + 4*w - 4 = 0, 2*a + 4*w - t = -1. Solve a = x + 3 for x.
-3