Let n(j) = j**2 - 3*j - 3. Let o be n(5). Solve -o*b = -2*b - 10 for b.
2
Let r(y) = -y3 - 15*y2 + 18*y + 32. Let u be r(-16). Solve 4*h - 3 + 7 = u for h.
-1
Suppose -15*w + 3 = -14*w. Solve -5*k = w + 17 for k.
-4
Let u(j) be the second derivative of j**3⁄6 - 7*j. Let b be u(7). Solve -b = 3*c + 5 for c.
-4
Let t = 11 - 7. Suppose 3*g - 5*p + 8 = -2, -3*p = -3*g. Suppose 5*b - 20 = g*z, 5 = 5*b - t*z - 13. Solve -5*u - b = 8 for u.
-2
Let y(g) be the first derivative of -g**2⁄2 + g + 5. Let r be y(-3). Solve -r*t + 15 = -t for t.
5
Let w be 5 + 2 + (1 - 1). Let j = 11 - w. Suppose 0 = -j*u - 6 + 26. Solve o - u*o - 8 = 0 for o.
-2
Let r be (-9)/(-6)*(1 + 1). Solve -r = q - 1 for q.
-2
Suppose -2*j + 0*j = -12. Solve j*w - 2*w = 8 for w.
2
Suppose -7 + 4 = -y. Let q(f) be the third derivative of f4⁄12 - f3⁄2 + f**2. Let v be q(y). Solve -1 = o + v for o.
-4