Let t = -23 + 22. Let s = 7 + -4. Let i = t + s. Solve -2*q - i = 2 for q.
-2
Let j be (-2)/(-8) - 15/(-20). Solve -j = 2*s - s for s.
-1
Let g be 4 + -2 - 16⁄1. Let d = 14 + g. Solve d = 6*l - l + 10 for l.
-2
Suppose -3*f + 9 + 3 = 0. Suppose 3*m - f = 5. Solve 5*b - m + 23 = 0 for b.
-4
Suppose -3*i + 6 + 0 = 0. Solve -i + 1 = -q for q.
1
Let p(j) = -j**3 - j + 2. Suppose -6*b = -2*b. Let h be p(b). Suppose 4*c = -5*y + 7, -h*y = -7*y - c + 13. Solve y*t - 3 = -0*t for t.
1
Suppose 4*q + 8 = 2*v, 4*q + 0*v = 5*v - 2. Let j be (((-6)/(-1))/q)/(-2). Let d = 1 - j. Solve -3*p + d*p = 0 for p.
0
Suppose -5*p = -4*p. Let o = 0 + 5. Suppose m + 3 = o. Solve p = w - m*w + 3 for w.
3
Suppose -3*q + 6*q - 12 = 0. Suppose 0 = -n - q*n. Solve n = 4*c - c - 12 for c.
4
Let u be 12/(-8) + (-78)/4. Let h = u + 25. Solve -1 - 3 = -h*b for b.
1