Suppose -56 = -6*n + 16. Solve -n = 5*g - 2*g for g.
-4
Suppose -4*n + 12 = -2*k, -4*n + 6*k = k. Solve 0 = -i - 4*i - n for i.
-1
Suppose c - 4*l + 8 + 5 = 0, -c + 23 = 5*l. Suppose 5*t = -1 + 31. Solve c*b - t = 5*b for b.
-3
Let n = 45 + -32. Let t = n + -8. Solve -t*a + a = 20 for a.
-5
Let d = -6 + 9. Suppose 0 = d*z - 6*z + 33. Suppose 0*c - 3*u - 13 = -c, 0 = 5*c - u - 9. Solve -z = 4*s + c for s.
-3
Suppose -a = -0*a. Let c(v) = -v + 5. Let k be c(a). Solve 2*i - 6 = k*i for i.
-2
Let k be 2/(0 + 2) + 2. Let c be (0/((-2)/2))/1. Suppose c*i = -k*i. Solve -w + 0*w - 5 = i for w.
-5
Let d(w) = w**3 - 3*w - 2. Let o be d(-2). Let q be (-6)/8 + (-27)/o. Solve -3*m = -0*m - q for m.
2
Let l = -36 + 40. Solve 0 = -f - l*f + 10 for f.
2
Let z = 11 - 5. Solve 0 = -2*x + 5*x + z for x.
-2