Suppose 0 = 6*o - o - 10. Suppose r - y - 1 = 0, 0 = -r - o*y + 5*y - 3. Suppose -2*h + 3*x + 14 = 4*x, -r*h = 2*x - 22. Solve -2*v - 2 = h for v.
-4
Let r = 131 - 127. Let d = -2 + 0. Let o(s) = -s**2 - 2*s + 1. Let j be o(d). Solve r - j = -h for h.
-3
Let x(v) = -v + 3. Let y be x(3). Suppose 4*g + 3*l - 65 = y, 4*g + 0*g - 85 = l. Solve -6*u + 2*u = g for u.
-5
Let a(p) = -p - 1 + 0*p - 4. Let y be a(-6). Suppose 0 = 2*v + y - 13. Solve -2*o + 16 = -v*o for o.
-4
Suppose -2*j - 13 = 2*d - 39, -3*d = -j - 19. Solve d = 3*g - g for g.
4
Suppose 5*b = 4*s - 1 + 3, -3*b = -6. Solve 0 = s*q - 5*q - 9 for q.
-3
Let c(d) = -d**2 - d + 2. Let w be c(-2). Let t be 1 - 0 - (-2 + w). Suppose -4*r + 1 = -t*r. Solve 3 = -m + r for m.
-2
Let k(w) = -w**2 - 11*w + 7. Let v be k(-11). Suppose 2*y - l - 1 = -y, -l + v = y. Suppose -2*s + 4*s - 8 = n, 5*n - 2*s = 0. Solve 0 = -y*u + 6 - n for u.
2
Let l = 132 - -728. Let w be (-2)/(-9) - l/(-18). Suppose -5*b + b = -w. Solve h + b = -3*h for h.
-3
Let w be (-21)/12 - (-9)/12. Let d be (w + -5)/(-12 - -10). Solve -d*q + 7*q + 8 = 0 for q.
-2