Let u(n) = n3 - 6*n2 - n + 7. Let m be (-5)/10*(-12)/1. Let h be u(m). Solve -3*k - 8 = h for k.
-3
Let r(u) = -14*u - 1. Let b be r(-1). Suppose 3*j - 8 = 7. Suppose -j*f + 9 = -11. Solve f*a = -7 - b for a.
-5
Suppose -h - 5*o = -9, 0 = -5*h + 5*o + 15. Solve 8 = -2*b + h*b for b.
4
Let q = 8 - 5. Solve 0 = q*l - 0*l for l.
0
Let x = 42 + -37. Solve x*l = 8 + 7 for l.
3
Suppose 0 = 3*g - 12. Solve -3*z + g = -4*z for z.
-4
Let y = -4 - -7. Suppose -4*x + p - 5 = 6*p, -5*x = 3*p + y. Let v be 5 + -2 - (x - -2). Solve -3 = -u + v for u.
4
Suppose 2*c - 24 = -20. Solve -c = 5*g - 3*g for g.
-1
Let t = 29 + -19. Suppose 8*k - t = 3*k. Solve 5 = -k*c + 3 for c.
-1
Let s = 8 - 4. Let h be (2 - 8)/((-6)/s). Solve -2 = h*r - 2*r for r.
-1