Let y = -22 - -23. Solve -3*n + 8 = -y for n.
3
Let s be (-1 - -1)/(-1 + -1). Suppose 0 = -m + n - 5*n - 16, -4*m + 3*n = 7. Let h = m + 6. Solve h*z + z = s for z.
0
Suppose 14*b = 3*b + 6*b. Solve b = -4*s + 2*s + 2 for s.
1
Suppose -d + 3*d - 10 = 0. Let j = 101 + -86. Solve -j = -d*b - 0*b for b.
3
Let p be (-12)/(-7) - (-9)/((-126)/(-4)). Solve -p*b + 12 = 2*b for b.
3
Let c(g) = -g**2 - 7*g - 1. Let i = 14 + -20. Let z be c(i). Suppose o - z*h = 27, -2*o + 24 = -4*h - 0*h. Solve -o*s = -3 - 3 for s.
3
Let i(y) = y + 8. Let l be i(-8). Solve l = 6*b - 2*b - 12 for b.
3
Let l(j) = -j - 5. Let x be l(-8). Let g be (-1 + (-2)/(-1))*17. Suppose 4*s - 3*a + a = 42, -x*a + g = 2*s. Solve 0 = 3*y - y - s for y.
5
Let v = -27 + 32. Solve 7 = v*g - 18 for g.
5
Suppose -s + 3*m = -4 + 2, 5*s + m = 10. Suppose -7*b + s*b + 25 = 0. Suppose 0*k = 5*k - b. Solve -o = -4 + k for o.
3