Suppose 0 = 2*x + 17*x - 228. Solve 2*c + 4 - x = 0 for c.
4
Let z = -8 + 12. Let s(h) = h3 - 5*h2 + 5*h - 1. Let b be s(z). Suppose 0 = k + b - 7. Solve -k*n + 5 + 15 = 0 for n.
5
Let j be 0 + -2 + (26 - -1). Suppose 0 = -2*w - 3*w + j. Suppose -3*r = 3*c - 6*r - 54, -47 = -4*c - r. Solve -w*u - c = 2 for u.
-3
Let i® = -r3 + 7*r2 - 12*r + 12. Let q be i(5). Solve -o + 1 = -q for o.
3
Suppose 8 = -13*d + 34. Solve 0 = -2*i - d*i for i.
0
Suppose -w + d = -3, -2*d = 3*w - 5 - 9. Solve -3*q = -1 + w for q.
-1
Let b = 38 + -16. Solve 3 = 5*c - b for c.
5
Let v = 20 - 12. Suppose v*a - 9*a = 0. Solve 5*i + 20 = -a*i for i.
-4
Suppose -5*y = 5*u - 15, -3*y - 4*u + 12 = 1. Solve -13 = 4*s - y for s.
-3
Suppose -2*x = 5*h - 12, -3*h + 7*x + 32 = 2*x. Suppose -k - h = -10. Solve k + 2 = 4*w for w.
2