Let g = 6 + -5. Solve -c = -0*c - g for c.
1
Let k = -18 - -28. Solve -n + k = 4*n for n.
2
Let p = -126 + 146. Solve 0*n = 4*n - p for n.
5
Let s = 8 + -6. Suppose 0 = -s*w + 5 - 1. Suppose 0*c = -w*c. Solve 0 = 5*o - c*o + 20 for o.
-4
Let w be (0 - 0)*(1 - 0). Solve w = a - 6*a - 10 for a.
-2
Suppose 7 + 8 = -5*h. Let p = h - -5. Solve 4 = p*a - 0 for a.
2
Suppose 0 = -2*v + 6*v + 4, -3*p = 2*v - 10. Suppose -47 = 2*f - 7*f + 2*g, 4 = -p*g. Suppose -3*q - 2*i = -5, 5*q = -3*i - i + f. Solve 6 - q = -5*r for r.
-1
Suppose -b + 5 = 3*d + 3, 8 = 4*b - 2*d. Solve 0 = -3*n + b + 4 for n.
2
Suppose -2*v + 35 = -7*v. Let j = -2 - v. Solve 6 + 4 = -j*n for n.
-2
Let l = -11 - -14. Solve -f - 8 = -l*f for f.
4