Let t = -6 - -11. Solve 0 = 4*g + 17 - t for g.
-3
Suppose 0 = 3*h + 2*l - 24 - 39, -3*h - 4*l + 57 = 0. Suppose 2*k - 18 = 2. Suppose k + 10 = 4*f. Solve -3 = -f*c - h for c.
-4
Let r(f) = f3 - 6*f2 - 2*f + 7. Let o be r(6). Let y = o + 5. Let i be y/2 + 0 + 1. Solve -2*a = -a + i for a.
-1
Suppose -u + 5*u + 20 = 0. Let x = -3 - u. Solve 0*k - k = x for k.
-2
Let a = -7 + 13. Solve g = 4*g + a for g.
-2
Suppose 2*o - 17 = -2*o - 3*b, 5 = o + b. Suppose -117 = 4*l - 29. Let j = 25 + l. Solve 0 = n - o + j for n.
-1
Let c = -9 - -13. Suppose -5*i + 8 = -i. Let m = c - i. Solve -1 = -m*f + 1 for f.
1
Let h = 5 + -2. Suppose -2*i = 4*f - 20, 5*f = -18 + h. Let a = -1 - -5. Solve 4*b - i = a for b.
5
Let j = -11 + 15. Suppose 0 = 5*n - j*p, -p - 2 = -7. Let q = -10 + 19. Solve q = n*a - 11 for a.
5
Suppose -12*j = -22 - 14. Solve j*i = 2*i for i.
0