Let t be 0/((-1)/(1/(-2))). Suppose b + q - 9 = 0, -b - 3*q - q + 21 = t. Solve b*r - 9 = -29 for r.
-4
Let q(n) = -n - 9. Let w be q(-14). Solve -w*i + 8 = 18 for i.
-2
Let v = 14 - 12. Suppose -40 = -4*w + 4*t, v*w + t = 2*t + 15. Solve -2*m = w - 1 for m.
-2
Suppose -2*v + 6 = -v. Suppose 3 + v = -3*a - 3*m, 3*a - 3 = m. Solve s + s + 10 = a for s.
-5
Let i = 24 + -16. Solve -5*q = 12 + i for q.
-4
Suppose -4*y = 2*v - 12, 4*v - 4*y - y = -41. Let r(x) = 2*x**2 + 5*x - 3. Let h be r(v). Solve -4*z + 20 = -h*z for z.
-4
Let f be (-5)/101-6. Solve 3*d - f + 12 = 0 for d.
-3
Let u(f) = -f3 - 3*f2 + 3. Let q be u(-3). Solve 0 = 3*s + q for s.
-1
Suppose 0 = -2*b + 2 + 6. Solve -g - b = -1 for g.
-3
Let x = -128 + 129. Solve -3*v - x + 4 = 0 for v.
1