Suppose -k = -0*k. Let d(u) = u + 3. Let c be d(k). Solve i = -c*i - 16 for i.
-4
Suppose 5*d + 8*w - 3*w + 10 = 0, -w - 17 = 4*d. Suppose -o + 2*b = -41, 4*o - 2*b - 168 - 8 = 0. Let u be (-2 + 1)*o/d. Solve -1 = 2*m + u for m.
-5
Let j be (2 + -5)*(-20)/6. Solve 2*o + j = -3*o for o.
-2
Let n(i) = 5*i - 5. Let v be n(3). Suppose v*m - 24 = 7*m. Suppose 3*r - 2*r = 0. Solve -2*k - m = -r*k for k.
-4
Suppose s + 12 = 4*o, 20 = o - 0*s + 4*s. Suppose 0 = -i + o*i - 12. Suppose -4*f = -4*h - i, 4*h = 3*f - 0*h. Solve -f*y = -15 + 7 for y.
2
Suppose -11*f + 5*f = -36. Solve -f*c + c + 5 = 0 for c.
1
Let d be (-5)/10*(-1 + 1). Suppose 0 = 2*v + 3*k - 5, 0 = 4*v + 5*k - 4 - 7. Solve d = v*j + j for j.
0
Let p = 17 - 12. Suppose 3*u - 5*u = -6. Suppose 2*m + 0*m = -p*w + 12, 0 = -u*w. Solve -2*y = -m*y + 4 for y.
1
Let q be (-1)/(-5) - 2⁄10. Solve q = 4*b - 4 + 20 for b.
-4
Let k = 54 + -91. Let r = k + 57. Solve -b - 3*b = -r for b.
5