Suppose -2*v - 35 = 3*v. Let d(g) = -g**2 - 7*g + 2. Let u be d(v). Suppose 3*x = 2*z - 3 + 2, -x = u*z - 5. Solve 3*r + 4 + z = 0 for r.
-2
Let u(x) = 3*x3 + x2 - 2*x + 1. Let w be u(1). Solve -w = 2*s + 3 for s.
-3
Suppose 0 = 4*f - 63 - 1. Suppose -4*d = -f - 8. Solve 2*q - d = -14 for q.
-4
Suppose j = 2*t + 5, 4 = j - 3*t - 1. Suppose -5*p + 10 = -m, -3*p + 6 = j*m - 0*p. Let c = 0 - -2. Solve -c + m = 2*l for l.
-1
Let v = -12 - -12. Suppose -x + 22 = -v*r - 5*r, r = -x - 2. Solve 0 + 10 = -x*c for c.
-5
Let d = -65 - -65. Solve -g - 3 = -d for g.
-3
Suppose 4*n + n - 13 = d, 4*d - 2 = 2*n. Suppose n*g = 2*g. Solve m + 1 - 5 = g for m.
4
Suppose -3*x + 5 = -10. Suppose -q - 5 = 0, -5*t = -3*t + 4*q + 14. Solve -u + x = t for u.
2
Let l = 9 + -9. Let j be -1 - (2 + l - -1). Let u be ((-21)/j)/(9⁄24). Solve 4 = -5*k + u for k.
2
Let q = -8 + 10. Solve -g - 1 = -q for g.
1