Let z(y) = y3 + 14*y2 + 14*y + 6. Let b be z(-13). Let t = b - -9. Solve -k + t*k = 0 for k.
0
Let j = 9 + -8. Solve 0*d = d + j for d.
-1
Let g = -6 + 3. Let z = g + 10. Suppose -z = -4*u + 1. Solve 0 = 6*r - u*r + 16 for r.
-4
Let h(v) = -v3 + v2 - 4. Let y be h(-3). Suppose w + 3*w - y = 0. Let f be (3 + 4 + -3 + -4)/(-1). Solve f = -4*m + 6*m + w for m.
-4
Let u be 1 + -1*(-10)/2. Suppose 2*p = -p + u. Solve 5*t - p*t + 12 = 0 for t.
-4
Let a = 2 + -9. Let t(j) = -j - 3. Let f be t(a). Suppose -12 - 24 = -4*x. Solve x*q - 25 = f*q for q.
5
Suppose 5*h + 1 = n, 0 = 5*h + 3*n + 2*n - 5. Suppose h = -5*t - 3 + 18. Solve t + 6 = 3*b for b.
3
Let l = -4 + 13. Suppose l*w - 4*w = 15. Solve w*b = -b for b.
0
Let m = -5 - -9. Suppose -m*k + 17 = 1. Solve 0*c - k = -2*c for c.
2
Let r(f) = -f - 3. Suppose 3*o + 12 + 15 = 0. Let u be r(o). Solve b - u*b = -20 for b.
4