Let c be (7 - 4) + 3*4. Solve -z = 4*z + c for z.
-3
Suppose -3*k = 2*q + q, 0 = -5*q + 3*k - 16. Let f = 6 + q. Let d = f - 2. Solve -w = -2*w - d for w.
-2
Let o = 7 - 7. Suppose o*g = -2*g + 6. Solve -g*z + 2 = -2*z for z.
2
Suppose -8 = 5*l + 7. Let y = l + 1. Let f = y + 3. Solve 0 = -2*c - 5 - f for c.
-3
Let n(a) = -a**2 - 6*a + 3. Let v be n(-3). Let z be 568⁄48 + 2/v. Solve 5*w + 2 - z = 0 for w.
2
Suppose 2*g = 5*g. Solve g = -y - 5 for y.
-5
Let k = -5 - -9. Solve -10 = -k*r + 2 for r.
3
Suppose 9*s - 121 = -31. Solve -8*j = -10*j + s for j.
5
Suppose -3*l = -6*l + 5*w, 0 = l - 3*w. Suppose 0 = -3*g + 4*m + 16 + 9, l = 2*g + 3*m + 6. Solve 2*t + 25 = -g*t for t.
-5
Suppose -6*m = -m - 20. Suppose m = 4*d - 8. Solve 3*o + d = -3 for o.
-2