Let y(z) = -z3 - 3*z2 + 3*z + 1. Let c be y(-3). Let q(p) = -p3 - 8*p2 + p + 10. Let a be q©. Solve 2*r - r = a for r.
2
Suppose -2*n + 2 = 2*j, 11 = 4*n - 3*j - 28. Suppose 0*h + h - n = -r, 4*h = r - 11. Suppose -c + 1 = -1. Solve c*s = r*s for s.
0
Suppose 0*r - 26 = -2*r. Let i(b) = -b3 + 3*b2 + 2*b - 3. Suppose 0 = u - 2*f - 13, 0 = f + f + 10. Let d be i(u). Solve 2 = d*o - r for o.
5
Suppose 0 = 28*d - 36*d. Solve -5 = -5*o - d for o.
1
Suppose 0 = 2*u - u. Let z(x) = -x3 - 7*x2 - 5*x + 8. Let q be z(-6). Suppose -q - 6 = -4*k. Solve f + k*f + 3 = u for f.
-1
Suppose 0 = -3*t + 8*t. Suppose 4*s = 2*g + s - 11, -6 = 2*s. Solve -u - g - 1 = t for u.
-2
Let l(z) = 2*z3 - z2 - 2*z. Let m be l(0). Solve 3*h + 0 + 3 = m for h.
-1
Let z = -6 - -10. Let t = z + -1. Solve t = -3*j - 0 for j.
-1
Let u be 76⁄18 + (-2)/9. Let f = -9 + -1. Let k be ((-32)/10)/(u/f). Solve k = -5*n + 3*n for n.
-4
Suppose 0 = -d + 2*d + 2*n + 4, d + 3*n = -7. Solve t = -d*t for t.
0