Let i(y) = y3 - 2*y2 + 1. Let z be i(1). Let s(g) = -g3 + 7*g2 + 8*g. Let n be s(8). Solve -5*b + 15 + n = z for b.
3
Suppose -4*n + 2*n + 6 = 0. Suppose n*i + 2*i = -780. Let t be 2⁄5 - i/10. Solve t = -5*b - 9 for b.
-5
Suppose 5*n - 5*r + 10 = 0, -n + 4*r - 26 = -3*n. Solve -m = n*m for m.
0
5
Let p = -3 - -13. Solve s = -s + p for s.
5
Let r(k) = -2*k + 2*k - k - 1 + 2*k - k**2. Let l be r(0). Let o = 1 - l. Solve p = -o*p - 9 for p.
-3
Let s be 0 + 2 + -2 + 7. Suppose -s + 3 = -o. Suppose o*n - 3*l + 0*l - 8 = 0, -n + 2 = -3*l. Solve -n = -p - p for p.
1
Let f(y) = 2*y**2 + 2*y - 2. Let o be f(-2). Suppose -q - o*q = 0. Solve 2*k = -q*k + 6 for k.
3
Let y(l) = l3 + 12*l2 + 5. Let h be y(-12). Solve 0*t - h = t for t.
-5
Suppose -4 = -2*r, 2*h = -2*h + 4*r. Solve 2*z + h = -0*z for z.
-1