Let k = -2 - -11. Let m be (-2)/k + 303⁄27. Suppose -2*p = -5*d + 27, -4*p = -3*d + 8 + m. Solve -q - 1 + d = 0 for q.
4
Let x(s) = -s**2 + 9*s + 12. Let d be x(10). Solve 2*l - 20 = -d*l for l.
5
Let t = -67 - -67. Solve u + 2*u + 9 = t for u.
-3
Let k = 2 - 2. Suppose k = -2*j + 10 - 2. Solve -j = -0*o + 4*o for o.
-1
Let x = 75 - 6. Let w = x - 48. Let f = w - 14. Solve 0 = -3*t + f*t + 8 for t.
-2
Suppose -2*x + 4 = -4. Let f = 20 - x. Solve h + f = 5*h for h.
4
Suppose -3 = -0*h - h + k, h = -2*k + 6. Solve h = -2*l - 2 for l.
-3
Let o = -12 - -22. Let b = -8 + o. Suppose 4*k + 7 - 27 = b*y, -20 = -y - 4*k. Solve 5*q - 15 + y = 0 for q.
3
Suppose -2*v - 4*x + 26 = 0, 0*v + 2*v = -5*x + 28. Solve 2*l = -l + v for l.
3
Suppose 7 = 3*l - 2. Solve -l*c + 8 = -c for c.
4