Let i(u) = -u**2 - 5*u - 1. Let y be (-4)/1 + 4 + -5. Let o be i(y). Let g be 5 - (0 - (o + 0)). Solve -20 = w + g*w for w.
-4
Let p = -143 - -152. Solve 4*j + p = 7*j for j.
3
Let q(b) = b + 5. Let n be q(-5). Suppose -18 = -5*i - 3. Solve -k + 0*k - i = n for k.
-3
Suppose 0 = 2*d - 6. Suppose d*l = 4*l. Solve 3*c - 2 - 7 = l for c.
3
Let t = -3 + 8. Suppose t*h - 4 = 21. Solve 0*c + h*c = 10 for c.
2
Suppose 0 = -4*s + z + 2*z + 9, -6 = -s + 2*z. Solve 5*u - u + 12 = s for u.
-3
Let h® be the first derivative of r4⁄4 + 8*r3⁄3 + 2*r + 2. Let i be h(-8). Solve i*n = n for n.
0
Let g(z) = -10*z2 - 4*z - 6. Let t(u) = -3*u2 - u - 2. Let d(i) = 2*g(i) - 7*t(i). Let h = 6 + -4. Let b be d(h). Solve -b*k + 12 = -0*k for k.
3
Let z = -10 - -8. Let x be (0*z/4)/1. Suppose -3*w - 20 = -4*p - 6*w, 5*w - 20 = x. Solve -p + 17 = -5*t for t.
-3
Suppose -3*s = -4*p - 41, 4*s - 3*p - 59 + 16 = 0. Let q = s + 4. Solve 0 = 4*c + 1 + q for c.
-3