Let j = 20 - 12. Let a = 4 - 4. Suppose -4*g - j = -a*g, n - 11 = 4*g. Solve n*q + q = 16 for q.
4
Suppose 5*q + 0*q = -3*s - 3, -4*s + 10 = 2*q. Solve 0 = -2*p + s for p.
2
Suppose -4*p - 3*s + 0 - 7 = 0, -15 = 3*s. Let b be (4/(-2))/p + 1. Solve 3*l + 2*l - 20 = b for l.
4
Suppose 0 = 3*u - 7 + 1. Solve -u*f = 2 + 2 for f.
-2
Suppose -31 = -2*k - 5*c, -3*c = -2*k + k + 21. Let p = k + 18. Suppose -4*a = -a - p. Solve -6*j = -3*j - a for j.
4
Suppose 27 = 4*v + 5*n - 0, -2*v - 5*n = -1. Solve 1 - v = -3*x for x.
4
Let j = -30 - -34. Solve -j*y = -y for y.
0
Suppose 7*q = 5*q. Let p = 17 + -5. Solve -5*i + i + p = q for i.
3
Suppose -9 = -3*y + 3. Suppose -1 = -y*v + 7. Solve -s + v = -0*s for s.
2
-2