Let i(o) = -o3 - 4*o2 - 3*o + 3. Let m be i(-3). Let a = 1 + m. Solve 0 = -0*d + a*d + 16 for d.
-4
Let d = 27 - 19. Suppose -d - 1 = -f. Solve -5*x = -2*x + f for x.
-3
Let r(m) = 3*m + m**3 + 0*m - 5*m. Let q be r(2). Solve s + q = -s for s.
-2
Let c = 71 - 65. Solve 0 = 4*r - 6 - c for r.
3
Suppose -5*r = -3*c - 10*r + 22, 0 = -5*c - 3*r + 26. Suppose p + 3 - c = 0. Suppose 20 = -7*h + 11*h, 5*m - 5*h + 25 = 0. Solve -p = -m*f + f for f.
-1
Let i = -11 - -19. Solve -i*c + 11*c = -9 for c.
-3
Let a = 8 + -5. Suppose 20 = 2*g + 4. Suppose -9*b = -g*b. Solve b - 3 = a*n for n.
-1
Let t = 16 - 13. Solve t*m = -3 + 6 for m.
1
Let z be 1 + -1 - -3 - 3. Let l(w) = w**2 - w. Let n be l(z). Solve n*o - 3*o - 9 = 0 for o.
-3
Let n = -1 + 1. Suppose 5*o = -n*o + 10. Solve -o*x = 2*x for x.
0