Let b(p) = p3 - 8*p2 + 8. Let n be b(8). Let o = n + 10. Solve -3 = 3*c - o for c.
5
Let r(t) = -2*t**2 - 2*t - 2. Let b be r(-3). Let w = b + 23. Solve 5*c = w + 6 for c.
3
Let b = -3 + 10. Suppose 5*s + 3*m - 88 = 0, -3*s + 5*s - 20 = -5*m. Suppose 2*o + s = 6*o. Solve -18 = -o*c + b for c.
5
Let h(g) = g3 - 6*g2 - 5*g - 10. Let n be h(7). Suppose -5*u + 11 = d, 0*u = -n*d + 3*u + 21. Suppose 0 = i - d. Solve 4*s - i + 18 = 0 for s.
-3
Let z be 0 + (-1)/(3/(-9)). Solve 0 = -q + z*q for q.
0
Let q = -39 + 39. Let u = 13 + -9. Suppose i - 145 = -u*i + k, q = 4*i - 3*k - 105. Solve 5*l - i = -10 for l.
4
Let y = 4 - 3. Solve -2*o - y = -5 for o.
2
Let o be ((-12)/(-4) - 3)/(-1). Solve -b + 2*b + 3 = o for b.
-3
Suppose 3*b = 9*b - 12. Solve u = -2 - b for u.
-4
Let i(t) = -6*t + 1. Let o be i(-2). Let f = -18 + o. Let h = 9 + f. Solve -2*q = -q - h for q.
4