Suppose -13 = 4*w - 29. Solve -2 - 6 = -w*c for c.
2
Let x be 1*(-3)/(-1) + -3. Let l be (-1 - 0) + (7 - x). Solve -l = 2*m + m for m.
-2
Suppose -7 - 21 = -2*y. Solve 0 = -5*a + 1 + y for a.
3
Let u = 0 - -1. Suppose -33 + u = -4*p. Solve 3*c + p = -7 for c.
-5
Let p = 1 + 0. Let s(q) = 12*q**2 - 2*q - 1. Let x be s(1). Solve 2*y = p + x for y.
5
Let x be (1 - (-3)/(-2))*-12. Suppose -2*u + 4*u - 4 = 0. Suppose -3*d + 17 = -0*d + u*r, 5*r - 30 = -5*d. Solve 4 = -d*s - x for s.
-2
Let a(s) = -s + 3. Let v be a(0). Let w be (3/v)/(3⁄9). Solve -w*b = -3 - 3 for b.
2
Suppose -20 = -4*t, 3*t - 13 = -4*u + 10. Let a = u - 0. Let k = -3 + 13. Solve 3*s + k = -a*s for s.
-2
Let m = -7 - -22. Let p = m - 0. Suppose 5*j - 25 = 4*u, -3*u - p = u - 3*j. Solve 5 + u = -5*h for h.
-1
Suppose 0 = 2*f - 6*f + 28. Let l = f + -1. Solve 4*u + 6 = -l for u.
-3