Let f(k) = k3 - k2 - k. Let b(h) = -5*h3 - h2 + 10*h + 5. Let x(w) = b(w) + 4*f(w). Let q be x(-6). Suppose 0*y = -5*y + 10. Solve q - y = -o for o.
-3
Suppose -3*a = -2*o + 5*o - 6, -a = 2*o - 3. Let x(j) = 12*j**3 + j - 1. Let c be x(a). Suppose 2*p = -2*p + 20. Solve c = f - p*f for f.
-3
Let n = 7 + 0. Let v(z) = z**3 - z + 12. Let b be v(0). Let s be (-1 + 12⁄9)*b. Solve 0 = h - s + n for h.
-3
Let y(d) = 2*d + 4. Let p be y(2). Solve 0 = -m - 3*m - p for m.
-2
Let y(q) = q**2 + q. Suppose 3*v + 2*v + 5 = 0. Let a be y(v). Solve 5*t - 4 - 6 = a for t.
2
Suppose -w - 1 = -0*w, -4*j = -5*w - 53. Suppose -r - 7 = -9. Solve -r*o - o - j = 0 for o.
-4
Let k(f) = -3*f**2 - f. Let d be k(2). Let p = -4 - d. Solve -4*o = p - 2 for o.
-2
Let y(q) = 2*q**2 - 2. Let k be y(-2). Solve 2*n + k = -0*n for n.
-3
Let a(k) = -k**2 - 6*k + 16. Let o be a(-7). Let c be 8 - -2*o/(-6). Solve -c = -3*x + 7 for x.
4
Let l(p) = -p3 - 3*p2 - 2*p + 2. Let f be l(-2). Solve f = 4*x - 2 for x.
1