Let h be (6/(-9))/((-2)/117). Let b = h + -25. Solve 5*o + b = -11 for o.
-5
Let i = 23 - 21. Solve i - 1 = -z for z.
-1
Suppose 4*s + 28 = 3*f, 4*f + 8*s = 5*s + 79. Suppose -3*d + 20 = 5*k, 4*d = 5*k - 3*k - 8. Solve 0*z - 4*z + f = d for z.
4
Let s(f) = -f3 + 3*f2 + 2*f + 3. Let w be s(3). Suppose 2*v = -c + 9, -w = v - 5*c + 3. Solve -6*i = -v*i - 9 for i.
3
Let b = -186 - -191. Solve 0 = v + b - 7 for v.
2
Let r be 7 + -9 - (-2 - 0). Let t be (r/(-5 + 3))/2. Solve n + t = -2 for n.
-2
Suppose 3 = 2*u - 1. Suppose -3*p - 27 = -5*s + p, -4*s + 32 = u*p. Let f = s - 6. Solve 0 = a - 6 + f for a.
5
Let b(f) = -f - 1. Let o be b(-3). Suppose 2*s = 5*n - 6, -4*s = s + o*n - 14. Suppose -5*w - 10 = -5*m, 4*w = -s*m - w + 18. Solve -m*r + 2 = -5*r for r.
-2
Suppose 3*z + 3*c = 27 - 9, 5*z - 3*c = 14. Suppose -4*p + 4 = -0. Solve 3*l + z = p for l.
-1
Suppose 0 = -2*z + 4*g - 16, 0 = 2*z - 3*g + 2*g + 1. Suppose -z*c + 0*c = 0. Suppose c = w + 2*j + 2*j, -5*w + 5*j = -25. Solve w*s = s for s.
0