Let b(o) = -o**2 + 17*o - 12. Let t be b(16). Solve -2*k - 4 = -t*k for k.
2
Let p(t) = -t**2 - 3*t. Suppose -4*s + 2*g = 13 - 3, -3*s + 4*g = 10. Let q be p(s). Let j be 0 - (-4)/(0 + q). Solve -12 = 2*o - j for o.
-5
Let p be ((-2)/3)/(4⁄30). Let q = p - -8. Solve -q*n + 1 = -8 for n.
3
Let h = -2 + 4. Suppose -8*v + 3*v - h*q = 12, -v = -4*q - 2. Let i be v/(-4) - 15/(-2). Solve -i = 4*u + 4 for u.
-3
Let y = -12 + 2. Let a = -23 - y. Let c = 18 + a. Solve 2*l + c = 1 for l.
-2
Let s = 9 + -4. Let t = -13 - -6. Let x = t + 9. Solve s*v + x = -3 for v.
-1
Suppose 5 = 3*m - 1. Suppose -4*r + 36 = 2*p, -4 = 5*r - 19. Solve 0 = m*s + s - p for s.
4
Suppose -2*u - 2*u = 4*w + 12, u = 3*w + 9. Solve 16 = -4*q - u for q.
-4
Suppose -3*q + 6 = -0*q. Let r = q + 2. Solve r*s = 2*s + 8 for s.
4
Let a(z) = -z3 + 4*z2 - z - 1. Let m be a(3). Suppose -50 = -5*b + 3*b. Suppose -5*f = 3*t - b - 10, -5*f + 65 = m*t. Solve -3 = -3*q - t for q.
-4