Suppose -5*y = y - 12. Solve 10 = 3*u + y*u for u.
2
Suppose -u + 5*u = 8. Suppose 13 = 4*f - o, -o + 1 = 4*f - f. Solve t + u = f*t for t.
2
Let f be 1*(3 + -2) + -1. Suppose 0 = -5*z + o + 15, f = -o - 6 + 1. Solve 0 = 3*a - 2*a - z for a.
2
Let h be (-1 - -1) + -3 - -12. Let f = 9 - h. Solve f*n - n = -3 for n.
3
Suppose -r + 33 = 2*r. Suppose r + 34 = 5*b. Solve 4*p + 1 - b = 0 for p.
2
Suppose -2*f - 2*u = u - 7, -3*u + 22 = 5*f. Suppose -5*t + 2*t - 3 = -3*s, 2*t - 12 = -f*s. Solve s*i - 3*i - 2 = 0 for i.
-2
Let t = 6 + -6. Let m be (-2 + t)/((-2)/4). Suppose m*k = 2*k + 4. Solve -3*z = k*z + 25 for z.
-5
Suppose -19 - 1 = -5*h. Solve -2*n + h = -3*n for n.
-4
Let o = -16 - -18. Solve -2*h = 4 - o for h.
-1
Let o(b) = -b3 + 9*b2 - 9*b + 11. Let v be o(8). Solve 0 = l - 1 + v for l.
-2