Let y be (-3)/2*(-8)/6. Suppose 5*s + 4 = 2*d, 3*d = 4*s + d + 4. Suppose 2 = b - s*b. Solve -b*z - 2 = y for z.
-2
Suppose 4*b + 0*b = 12. Suppose -2*m = b*s - 1, -2*s - 6 = m + 2*m. Solve -s*q - q + 16 = 0 for q.
4
Let k = 8 - 13. Let i = k + 8. Suppose 4*b - i*z - 63 = b, 0 = 5*b + 4*z - 96. Solve h = -4*h + b for h.
4
Let r = 1 - 11. Let h be ((-6)/r)/(6⁄20). Solve 0 = -h*d + 3*d - 1 for d.
1
Suppose -6 = -3*c, 3*d - 5*c + 2 = 4. Solve -20 = -d*h - 4 for h.
4
Suppose 5*w + 0*w - 21 = -3*y, -5*w + 23 = 4*y. Solve -8 - 4 = -w*s for s.
4
Suppose 2*d = 5*d - 9. Solve 3*i = -0*i + d for i.
1
Suppose 0*k + 10 = 2*k. Suppose q = -4*h - k, -h - 10 - 55 = -4*q. Suppose -2*g = g - q. Solve x - g*x = 8 for x.
-2
Suppose -10 = -p - 4*p. Let x be 2 - 1 - 6 - -1 - -9. Solve -p = -b - x for b.
-3
Let g = 0 - -11. Suppose -5*j + g = 1. Solve 4*c + 4 = j*c for c.
-2