Let w(o) = -o2 + o - 1. Let n(d) = -d3 + 6*d**2 - 3*d + 9. Let u(g) = n(g) + 6*w(g). Let h be u(-2). Solve -h*i + 25 = -0 for i.
5
Let j© = -6*c**3. Let q be j(-1). Let x = -3 + q. Solve -x = -0*u - u for u.
3
Let x = -13 + 16. Solve 10 = -x*s - 5 for s.
-5
Let o be (4 - (3 + -1))*5. Solve -k - o = 4*k for k.
-2
Let r = 153 + -223. Let u = 100 + r. Suppose 4*i = -3*j + 5*j + u, -2*i + 2*j + 16 = 0. Solve -i = -2*p + 1 for p.
4
Suppose 0 = -16*w + 50 + 30. Solve -6*u - 5 = -w*u for u.
-5
Let j be 2 - -1*(3 - -7). Suppose -v - 2*v + j = 0. Solve -a + 3*a + v = 0 for a.
-2
Let r(w) = w + 9. Let z be r(-8). Solve 0 = h - 4 + z for h.
3
Let s(k) = -2*k + 12. Suppose b = -3*o + 10, -o + 4*b + 10 = 3*b. Let z be s(o). Solve -4*a + z*a = 10 for a.
-5
Let q = 1 + -4. Let p = 6 - q. Suppose 0 = f - 2*t, -3*f - t - 2 + p = 0. Solve -h = f*h for h.
0