Let c = 20 + -11. Let r = c - 9. Solve 0*v + v = r for v.
0
Let m = 8 + -4. Suppose 2*c + 8 = 4*f + 24, 0 = -4*f - m. Solve 0*r + c = -3*r for r.
-2
Let y = -10 + 17. Suppose y*u - 2*u = 20. Solve u*l = -0*l for l.
0
Let x = 3 + -4. Let k be x/(-3) + 40⁄6. Solve 3*l = k*l - 16 for l.
4
Let l(d) = d**2 - 3d - 6. Let h be l(5). Suppose x = -x + h. Let q be x(0 - (-3)/6). Solve 0 = r + q + 3 for r.
-4
Let o = -7 + 4. Suppose -2*l - 11 = 3*q + 2, 2*l + 10 = -2*q. Let i = o - q. Solve i*b = 2*b for b.
0
Suppose 2*s - 3 = -2*r - s, -4*r = -2*s - 30. Solve -u + r = -3*u for u.
-3
Let g = -28 - -40. Let m(a) = -a + 16. Let d be m(g). Solve d + 0 = -r for r.
-4
Suppose 0 = -b - 5*g + 21, -3*b - b + 2*g = 4. Solve 2*v = b + 1 for v.
1
Let v(a) = a3 - 5*a2 + 6*a - 4. Let j be v(4). Suppose -j*r + 8 + 19 = -3*q, -r = -q - 8. Solve 2*b = b + r for b.
3