Let w(x) = -x3 - 5*x2 - 3*x - 12. Let q be w(-5). Solve q*d - 4 = -d for d.
1
Let h = -3 + 1. Let x be ((19 + -1)/h)/(-1). Suppose -3*v + x = -27. Solve -y - v = 3*y for y.
-3
Suppose -v - 4*r = -16, 4*r - 8*r = 4*v - 16. Let d(k) = k3 - k2 - 7. Let z be d(0). Let n = -5 - z. Solve v*j - n = -j for j.
2
Let v = 36 - 36. Solve -3*y + 10 - 1 = v for y.
3
Suppose 3*r - r = 56. Suppose f - r = -4*d, 2*f - 3*d = -0*f + 12. Suppose 0 = -4*x + 8*x - 148. Solve -5*t - f = -x for t.
5
Suppose -3*t + 33 = 27. Solve -t = -3*n + n for n.
1
Suppose 4*l - 3*m = -6, -3*l + 0*m - 4 = -2*m. Suppose 5*a = 5*h - 4*h + 17, l = -2*h - 3*a + 18. Solve h*o - 3 = 6*o for o.
-1
Suppose 2*r + 36 = 5*r. Suppose 2 - r = -2*m. Let i = 0 + m. Solve 6*q = i*q - 2 for q.
-2
Let i(n) be the second derivative of n5⁄20 - 5*n4⁄12 - 5*n**3⁄6 - n. Let f be i(6). Solve 3*q = -f - 0 for q.
-2
Suppose -5*q - 3*y - 8 = 14, -5*q - 4*y - 26 = 0. Let r(k) = -k3 + 6*k2 + 7. Let h be r(6). Let z = q + h. Solve -v + 2 = z for v.
-3