Let w = 9 - -19. Suppose -3 - 23 = -2*v + 4*z, -v + 5*z = -w. Suppose 0 = -7*j + v*j - 8, -4*j - 23 = -3*b. Solve -b - 1 = -2*p for p.
3
Suppose 3*n - 7*n = -8. Solve -5*g - 15 = -n*g for g.
-5
Let t(h) = -h3 + 10*h2 + 4*h - 33. Let y be t(10). Solve -2*g = -y*g - 10 for g.
-2
Let m(l) = l**2 + l - 1. Let y be m(2). Let w(u) = 3*u - 3. Let i be w(3). Suppose k + 6 = a, a + 2*k - 3 = i. Solve a = 4*b - y for b.
3
Let d(y) = y**2 - 5*y - 2. Let s be d(6). Solve -x - s*x = 0 for x.
Let g(l) = -2*l + 5. Let w be g(0). Suppose -5*t + 2 = h - 2, 0 = w*t + 3*h - 12. Solve 2*z + 8 = -t*z for z.
-4
Let r = -15 - -32. Let g = -13 + r. Let i = 31 - 19. Solve -4 = -g*b - i for b.
-2
Suppose 2*f = 3*f - 30. Let c be (6⁄5)/(12/f). Suppose 0 = -4*u - 3*b + 12, 2*u - c*u = 3*b - 3. Solve 0*m - u = -m for m.
3
Let p = -12 - -16. Suppose -5*i = -i + 2*m - 38, 0 = 2*i + p*m - 28. Solve -5*t - i + 28 = 0 for t.
4
Let q = -26 + 15. Let z = 16 + q. Solve z*h + 6 - 16 = 0 for h.
2