Suppose -4*s = 4*m - 4, -4*s = -4*m - 18 - 26. Solve 8 = -4*v + s*v for v.
4
Let v = 8 + -4. Solve 0 = -3*w - w - v for w.
-1
Let q = 1 + 3. Suppose q*t - 5*c + 50 - 125 = 0, -5*t + 99 = -c. Let n = 4 + -1. Solve -n*a - 8 = -t for a.
4
Suppose -r + 8 = r. Let v(l) = 3*l**3 - l. Let w be v(1). Suppose -14 - 6 = -w*f. Solve 0 = r*c - 9*c - f for c.
-2
Let m = -12 + 15. Let o be (3 - m)/(-2 + 0). Solve -3*b + 8 - 23 = o for b.
-5
Let f be (-6)/(-9)-3-10. Solve 3*s = 8*s + f for s.
-4
Suppose 30 = 2*z - 20. Solve 4*t + z = -t for t.
-5
Suppose 3*j = -0 + 3. Let r be 6 + j/(-1) - -1. Solve -3*a - 9 = -r*a for a.
3
Suppose -48 = -4*w + 4*d - 0*d, 2*w - 32 = 4*d. Let u(t) = -t3 - 5*t2 - 6*t - 1. Let g be u(-4). Suppose -c + 10 - 7 = 0. Solve -c*v + g*v = w for v.
2
Suppose -2*z - z = -24. Suppose 2*q + 20 = 4*q + o, q + z = 4*o. Solve c + q = -c for c.
-4