Let d(k) = k3 - 2*k2 + 2*k + 1. Let x be d(2). Suppose 5*m = -5*n + 5, -2*n - 8 - 15 = -3*m. Solve -x = -2*p + m for p.
5
Suppose 0 = z - 3*z. Suppose 0 = 2*p - 8*t + 3*t, 5*p + t = z. Solve 5*f = -p*f - 5 for f.
-1
Let b(y) = -y + 1. Let i be b(5). Let w be (i/6)/(6/(-27)). Let u(n) = -n3 + 5*n2 - n + 6. Let a be u(5). Solve -a = -s - w for s.
-2
Let m(y) = -y + 1. Let r be m(-1). Suppose 5*w + 15 = -0*w, -2*w = -r*u + 6. Solve -15 = -5*o - u for o.
3
Let x = 21 - 15. Solve x*f = f + 5 for f.
1
Suppose -5*x = 10, 5*u + x - 28 = -0*x. Let t = u - 4. Suppose 5 = 2*p - 5*g, 26 = 5*p - g + 2*g. Solve 9 = t*z - p*z for z.
-3
Let t(d) = -d3 + 9*d2 - 8*d + 5. Let y be t(8). Solve -h + y*h = 12 for h.
3
Let r(f) = 8*f + 1. Let h be r(1). Let n = h + -5. Solve -n = -4*c + 16 for c.
5
Let p be 42⁄18 - (-2)/(-6). Solve -p*u - 6 - 4 = 0 for u.
-5
Let x be (-74)/(-14) + (-4)/14. Let d(o) = 2*o - 2. Let a be d(x). Let t = a + -6. Solve -t*n + 3 + 1 = 0 for n.
2