Let d = -3 + 6. Suppose 0 = 2*x - d - 3. Solve -x + 1 = -2*w for w.
1
Suppose 2*u + 2*f - 10 = 0, -2*u + 4*f + 0*f + 28 = 0. Let m be u/4*2⁄4. Solve -3 = d - m for d.
-2
Suppose -5*j - 7 = 2*f, -2*f - 16 = -3*f + 4*j. Solve f*s - 4 + 12 = 0 for s.
-2
Suppose -3 = q - 6. Solve q = -v - 2*v for v.
-1
Suppose 2*f - 64 = -60. Solve -3*y + 1 = -f for y.
1
Suppose -s - s = -8. Suppose 2*q = s*q - 5*c + 2, -c - 10 = -3*q. Solve 0 = -0*u - q*u for u.
0
Suppose -4*m + l = -34 - 41, -3*m + l + 57 = 0. Solve -m - 2 = -5*b for b.
4
Suppose 3*o + 0*o + 117 = 0. Let c = o + 59. Solve 6*l = l + c for l.
4
Let q = -11 + 17. Suppose l + 36 = 31. Let v = q + l. Solve -3*o + v = 13 for o.
-4
Suppose q - 4*q = 33. Let w = q - -16. Suppose t + w*g = 4, -3*g - 12 = -3*t + g. Solve -t*p = -3*p for p.
0