Let k = 15 + -7. Suppose -3*z - 2 + k = 0. Suppose -8 = -2*m - z*m. Solve -2*w + w = -m for w.
2
Suppose -3*k = -3, 3*g - 2*k = 2*g + 1. Solve 12 = 3*m - g for m.
5
Suppose -2*b + 45 = 5*c, c = -0*c + 4*b + 9. Solve -4*q + c = 1 for q.
2
Suppose 2*b + 6 = 2*a, -b - 9 = 5a + 12. Let f be 45/b(-6)/9. Solve 7 + f = 3*u for u.
4
Let n be 2/(-10) + 273⁄15. Let p be n/(-15)*15/(-6). Let d(t) = t**2 - t + 2. Let l be d(0). Solve 5 = -p*o + l for o.
-1
Suppose 0*p = -p + a + 12, 0 = -5*p - 5*a + 80. Solve -p - 6 = -5*s for s.
4
Let t = -5 - -12. Let m be (-2)/((-4)/(-11))*-2. Suppose 0 = 3*k + f - m - 5, -2*k + t = -3*f. Solve -4*r - 11 = k for r.
-4
Let y = -6 + 11. Let f = 51 + -49. Solve 3 = y*x - f for x.
1
Suppose -3 = -3*x + 2*x. Suppose x*h = 2*h. Solve 0 = -4*n - 4 - h for n.
-1
Suppose 2 = -3*h - 4*r, -r - 2*r - 16 = -5*h. Let p be (6/(-12))/(2/(-12)). Suppose p*o = h*o + 10. Solve b = -b + o for b.
5