Let w = -14 + 16. Solve w = -u + 3 for u.
1
Suppose 3q - 27 + 9 = 0. Let d be 108/(-9)(-2)/q. Solve s = d*s for s.
0
Suppose -m + 6 = -2*c, 0 = -3*c + 2*c - 4. Let h be -1 - (m + 0 + -1). Solve r + 3 = h for r.
-1
Let r be ((-3)/6 - 0)*-12. Suppose -3*s + 0*s - r = 0. Let v be 1 - (s - -1 - -2). Solve -3*b - 6 = -v*b for b.
-2
Suppose -t - 45 = -6*t. Solve -t = -2*v - v for v.
3
Suppose -2*s + 6 - 4 = 0. Let u be -2 + s - 12/(-1). Suppose 3*v - 3 = -3*d, d - 4*d = 5*v - u. Solve v*k - 15 = -k for k.
3
Suppose 0 = 5*v - 7*v. Solve v = -0*n + n - 3 for n.
3
Let i = -20 - -24. Solve -12 = -i*n + n for n.
4
Suppose 0 = -5*p + 70 + 40. Solve -3 = -5*m + p for m.
5
Let k be (-1)/3*(-48)/4. Suppose -k*r = -r. Solve r = -2*d - d + 12 for d.
4