Let t(h) be the first derivative of h4⁄4 + 2*h3⁄3 - 3*h**2⁄2 - h + 3. Let c be t(-2). Let i = c + -1. Solve i*v + 3 = -1 for v.
-1
Let k = 23 + -11. Let i = 10 + -6. Solve -4*z = k - i for z.
-2
Let b be (-2 + 8)*3⁄6. Let a be 0/(-2) + (5 - b). Let u be (-7)/(-3) + 10/(-30). Solve -4 = -a*w + u for w.
3
Suppose 8 = -4*c, 4 = n - 5*c - 6. Let g = n + 2. Suppose 3*t - 4*l = g*t + 7, 5*l = t - 8. Solve -2 = -a - t for a.
-1
Let r = 23 + -17. Let u = r - 2. Solve -u + 0 = l for l.
-4
Let n be (1 - 0)/(2⁄4). Let w = n + -4. Let g(z) = -2*z. Let x be g(w). Solve x*r + 18 - 2 = 0 for r.
-4
Let q = 11 + -5. Suppose -2*g - g + q = 0. Solve 0 = 2*l - 12 + g for l.
5
Let a = 13 + -8. Let b be (10⁄2)/(a - 4). Solve -r = -b*r for r.
0
Let d(b) be the second derivative of b3⁄6 - 7*b2⁄2 + b. Let y be d(8). Solve -q = -0 + y for q.
-1
Let u = 5 - 2. Suppose 0 = -2*v + y + 11, -v = -y - 4 - u. Let z = -2 + v. Solve -z*i + 16 = 6 for i.
5