Let r = 1 - -4. Solve r*b + 20 = -0*b for b.
-4
Let h = -8 - -11. Suppose 3*s + 1 = 4. Solve s = -4*k - h for k.
-1
Suppose 23 = k - 3*l, -2*l = 2*k - 15 + 1. Solve -2 = 3*m - k for m.
3
Let v = 3 - 0. Solve -10 = -2*i - v*i for i.
2
Suppose -6*z + 2*z = -40. Solve 5*n = z - 0 for n.
2
Let x(o) = o**2 + 4*o - 5. Let t be x(-5). Solve t*y = -y + 4 for y.
4
Let p = 5 + 1. Suppose -g + p = -t - t, g = 4*t + 4. Let a = 13 - g. Solve 4 = w - a*w for w.
-1
Suppose 4*s + 5*w + 2 = 0, -3*s = 5*w - 3*w + 5. Let n be 18⁄8 + s/12. Suppose 4 = l, -5*c + 0 + 18 = n*l. Solve 0 = -c*v + 7 - 17 for v.
-5
Suppose -3*l - 12 = 0, -s - 4*l = -0*s + 16. Solve s = -0*v - v for v.
0
Let z = 70 + -50. Suppose 5*i + 4*u - 13 = z, 2*i = -4*u + 18. Suppose 11 + 9 = i*w. Solve -l = -0*l + w for l.
-4