Let k(f) be the first derivative of f**2⁄2 - f - 2. Let p be k(4). Solve -3 = p*h + 3 for h.
-2
Let b(g) = g3 + 4*g2 + 5*g + 6. Suppose -16 = 6*h + 2. Let y be b(h). Solve -2*z - z + 15 = y for z.
5
Let n = 10 + -6. Suppose 0 = -2*b + c + 9, -5*c = 5*b - 12 - 18. Solve n*f + b = -f for f.
-1
Let a(l) = -4*l - 2. Let q be a(-2). Solve n + 10 = q*n for n.
2
Suppose 0 = 4*n + 7 + 17. Let h be (n - -3)/(6/(-4)). Solve 6 = -2*z - h for z.
-4
Let o = 0 - -1. Let f be (3 + -4)/((-1)/4). Let p(l) = 2*l - 6. Let m be p(f). Solve m*w + 3 = o for w.
-1
Let u = 5 - 1. Suppose -3*v = -2*g + 11, -6*v = 4*g - 4*v - 14. Suppose g*l - 6 = l. Solve u*k = -14 - l for k.
-4
Suppose 4 - 2 = o. Solve b = -o*b + 6 for b.
2
Let z be 0-4(-1)/20. Solve -v + 6*v = z for v.
0
Let u = -69 - -72. Solve -u*s - 20 = s for s.
-5