Let t(f) = -2*f**2 + 15*f + 11. Let m be t(8). Solve -5*h + m*h + 10 = 0 for h.
5
Let d(k) be the second derivative of k3⁄3 + 5*k2⁄2 + 8*k. Let j be d(5). Solve -j = u - 6*u for u.
3
Suppose 0 = -k - j, 3*j = -2*k - 4 + 1. Let m = 2 - 0. Suppose -m*a + 1 = -a. Solve r = a + k for r.
4
Let i = 67 + -63. Solve -n = -i*n - 3 for n.
-1
Suppose 8*a = 19 + 13. Solve -r - a = r for r.
-2
Let g = 2 - -1. Let v = 53 - 38. Let u = -10 + v. Solve -2*b - g*b = u for b.
-1
Let k = 0 + 0. Let v(y) = -y3 + k*y - y + y2 - 2 - 5*y**2. Let s be v(-4). Solve -p - 6 = s*p for p.
-2
Suppose 2 = -4*m + 18. Solve -m - 1 = -5*i for i.
1
Let t = -7 + 7. Suppose t = j + j - 6. Solve 0 = -6*l + j*l + 9 for l.
3
Suppose -6*j - 10 = -8*j. Suppose j*m = 3*m + 12. Solve -3*o - 12 = -m*o for o.
4