Let l® be the first derivative of -r3⁄3 - 3*r2 - 10. Let p be l(-6). Solve p = -4*y + 7 + 5 for y.
3
Suppose 15 = 5*l - 5. Suppose -l = -2*x - 0*x. Suppose 0 = x*t - 4*t + 4. Solve -t = s + s for s.
-1
Let u = -26 - -30. Solve -u*x + 11 = -1 for x.
3
Let n(z) = -z3 + 5*z2 - z + 7. Let b be ((-2)/(-3))/(4⁄150). Suppose g + b = 6*g. Let p be n(g). Solve 0 = 3*d + p*d for d.
0
Suppose 5*v + 2*v - 42 = 0. Solve 5*k + v + 19 = 0 for k.
-5
Suppose 0 = -5*h - 3*o + 23, 0*o - 1 = -o. Suppose -6 = g - 3*g. Solve -5*s + h = -g*s for s.
2
Let k(g) = 3*g2 - 2*g - 6. Let q(t) = -t2 - t. Let j(n) = k(n) + 4*q(n). Let m be j(-4). Solve h - 5 = -m for h.
3
Suppose -2*i + 2*r - 5 = -19, -4*r = -3*i + 17. Suppose 4*m - i = 1. Solve 4*h = -m - 1 for h.
-1
Suppose -5 = -3*s + 2*s. Suppose -2*r = -6*r + 16. Solve -u + r = -s*u for u.
-1
Let d be 1 - (2 - (-1 + 4)). Suppose k - 4 = -d. Solve k = -3*q - 1 for q.
-1