Let y = 6 + 0. Solve -y = -3*u + 9 for u.
5
Suppose -5*g - 10 = -x - 0*g, 2*x = g + 2. Let l(w) = 6*w**2 - w + 1. Let j be l(1). Suppose -3*u - 18 = -6*u. Solve 4*m - u - j = x for m.
3
Let s(x) = -2*x - 3. Suppose 2*g + 6 = -3*q + g, 3*g + 6 = -5*q. Let n be s(q). Solve -3 = 2*a + n for a.
-3
Let i(y) = -6*y - 11. Let x be i(-2). Solve 3 - x = 2*h for h.
1
Let g = 5 - 2. Suppose -6 = -g*l + l. Suppose 5*o = 3*o + 6. Solve o + 3 = l*f for f.
2
Let m be (-22)/(-5) - 12⁄30. Suppose -5*y - 1 = -m*f, -y + 1 = 2*f - 10. Solve 7*l + f = 3*l for l.
-1
Suppose 23 = -5*p + 3. Let l = 1 - p. Let u = -76 + 76. Solve -2*o - l + 13 = u for o.
4
Suppose -12 + 18 = p. Suppose -6 = 4*g - 26. Solve g*j - 21 = -p for j.
3
Suppose 5*c - 40 = -5*b, -11 + 1 = -3*b + 4*c. Suppose 3*x = b*x. Solve r + 4*r - 10 = x for r.
2
Let u(x) = -x - 5. Suppose -9 = 4*f - f. Let o = f + -4. Let k be u(o). Solve k*s = 4*s - 10 for s.
5