Let k(q) = -q**2 - 7*q + 3. Let b be k(-7). Suppose 0 = -d + b. Solve -d*t + 0*t = 0 for t.
0
Suppose -16 = -5*b + b. Solve -b = 3*q - 10 for q.
2
Let k be ((-20)/6)/(9⁄27). Let a = k - -10. Solve a*u + u = 0 for u.
0
Let q(p) = -p**2 - 3*p + 1. Let z be q(-3). Solve -5 = -r - z for r.
4
Suppose 4*l = 5*b + 12, 3*b = -5*l + 77 - 25. Suppose 0 = -4*x - x + 20. Suppose x = 3*f - 5. Solve -20 = -l*n + f*n for n.
4
Let x(m) = -m3 - 2*m2 + 2*m + 4. Let f be x(-3). Let z = f - 5. Solve z*j + 3 = 1 for j.
-1
Suppose 0 = -4*r + 37 + 11. Let q = r + -9. Solve q*m - 3 = -9 for m.
-2
Suppose 17*d = 19*d - 4. Solve -4*n = -d*n + 8 for n.
-4
Let v = -4 + 4. Let s = v - -4. Solve 2*c - s = c for c.
4
Suppose 31 = 3*l + 5*w, -4*l + w = 2*w - 30. Solve -3*a - l = -1 for a.
-2