Let z(u) = -u**2 + 3*u + 4. Let y be z(4). Suppose y = -t + 3*t - 8. Solve -2*h - 2 = -t for h.
1
Suppose -13 = -4*o + 11. Solve 4*k + 2 = -o for k.
-2
Suppose -p = -2*c + 3, 4*c + c = p + 15. Let v(u) = u**2 - 5*u + 6. Let f be v(4). Suppose -5*i + 13 + f = -5*d, -3 = -3*d. Solve 4*s - i - c = 0 for s.
2
Suppose -4*y + 39 - 15 = 0. Let g = 1 + y. Solve -4*n + g = 23 for n.
-4
Suppose -13*g = -11*g. Solve 3*k + 4 + 8 = g for k.
-4
Let t(s) = -s3 + 3*s2 + 24. Let o be t(0). Solve -4 + o = -5*l for l.
-4
Let d = -70 - -40. Let t = 4 - 19. Let n = t - d. Solve 4*f - f + n = 0 for f.
-5
Let l = -6 + 12. Let x = 3 - 1. Solve 0 = 4*i + x - l for i.
1
Let v(k) = 6*k2 - 4*k + 3. Let t(g) = -7*g2 + 5*g - 4. Let d(s) = 5*t(s) + 6*v(s). Let w be d(-3). Solve w*l + 7 - 19 = 0 for l.
3
Let x(t) = t2 - t + 2. Let o be x(1). Let w be 0/1 - (-3 - -3). Let h(d) = -d3 + d**2. Let k be h(w). Solve o*y - y + 1 = k for y.
-1