Let i = 4 - 4. Let b = -2 + i. Let w be 3 - 1*b/2. Solve -3*s - 2 = -w*s for s.
2
Let s be 2 - (-2)/(0 + -2). Solve s = 2*x + 5 for x.
-2
Let z = -23 - -28. Let c(v) = -v**2 + 7*v - 8. Let u be c(z). Solve u*a = 3 - 5 for a.
-1
Let r(y) = y**2 - 1. Let i be r(-2). Suppose -4*x + 2*x + 14 = 0. Let q = x - i. Solve -4*n + q = -5*n for n.
-4
Let o(j) = 2*j**2 + 6*j + 3. Let f be o(-5). Solve 3 = 4*i + f for i.
-5
Let r = 66 - 60. Solve o - r*o = 0 for o.
0
Let o(i) = i + 5. Let t be o(-3). Suppose 1 = -4*n + t*c + 11, -2*n + 3 = -3*c. Solve 0 = -z + n*z + 6 for z.
-3
Suppose 0*i - 4*i = -8. Let z be (i + 6 - 0)/1. Let v = z - 4. Solve v*l - l + 15 = 0 for l.
-5
Let w(s) = -s3 + 5*s2 + 10*s - 9. Let y be w(6). Suppose 5*v - y = -0*v. Solve -q - v = 2*q for q.
-1
Let m be (-18)/(-8) + (-3)/12. Let f = 5 + -3. Let r be (f - 4/(-2)) + -2. Solve -m*s - r = -0 for s.
-1