Let b be (-6 - -4)*(3 - -1). Let i = 11 + b. Suppose c + 0*c = -3*u - i, 2*c = 2*u + 10. Solve -12 = 5*w + c for w.
-3
Suppose -399 = 5*w + 71. Let n be 6/(-27) - w/18. Solve -15 = n*s - 0*s for s.
-3
Let m(l) be the second derivative of -l3⁄3 - 3*l2 + l. Let g be m(-4). Suppose -g = -k + 1. Solve k*u - u + 4 = 0 for u.
-2
Let n(x) = -x**2 + 14*x - 15. Let d be n(11). Let z be (-27)/d + (-6)/(-4). Solve -3 = o - z for o.
-3
Suppose -8*q + 25 = 9. Solve 0 = -q*a + 3*a - 3 for a.
3
Let m(g) = 1. Let d(y) = -y - 6. Let k(l) = -d(l) - 2*m(l). Let p be k(-3). Solve 4*v + 11 = -p for v.
-3
Let d(w) = -w3 - 3*w2 - 3*w + 3. Let u be d(-3). Solve -u = -2*o - 2*o for o.
3
Suppose 18 = 4*y - 2*d, y + d = -0*d. Let t = 0 + y. Let w be (-6)/(-21) + (-2)/7. Solve 0 = l - w*l - t for l.
3
Let n = 4 - 2. Let o(d) = d**2 - 4*d. Suppose -19 = -5*v - i, 5*i + 4 - 19 = -5*v. Let q be o(v). Solve 3*m + n*m + 5 = q for m.
-1
Suppose 3 = r + 1. Let z be (1 - r/3)*15. Solve -3*b = -4*b - z for b.
-5