Let n(t) = -t3 + 12*t2 + 13*t + 6. Let l be n(13). Let q(m) = -m3 + 5*m2 + 5*m + 6. Let b be q(l). Solve b = c + 2*c + 12 for c.
-4
Let u be (-1)/(2⁄14*-1). Suppose -u*d = -5*d. Solve d = 3*j - 8*j + 15 for j.
3
Let x(v) = v3 + 6*v2 - 8*v - 5. Let q be x(-7). Solve a - q - 2 = 0 for a.
4
Let z = 25 + -13. Let k be ((-6)/5)/(z/(-40)). Suppose -k*x + 0*l - 2*l = -46, 0 = -3*x - 5*l + 24. Solve -28 = 3*w - x for w.
-5
Let c = -175 - -186. Let s(f) = f - 34. Let m be s(0). Let o be 6/(-15) + m/(-10). Solve -o*i + 2 = c for i.
-3
Let o(p) = p3 + 3*p2 - 7*p - 10. Let s be o(-4). Solve -10 = s*u + 3*u for u.
-2
Suppose -s = -2*s + 3. Solve -5*f = -4*f - s for f.
3
Let o(v) = -v3 + 8*v2 + 5*v - 12. Let u be o(8). Let l be (-1)/(3 + (-86)/u). Suppose 4*y + 6 - l = 0. Solve z + 5 - y = 0 for z.
-3
Suppose -11 = b - 3b - w, 0 = -b - w + 5. Let k(y) = -y + 8. Let v be k(12). Let d be v/b(-45)/10. Solve -h + 0 = d for h.
-3
Suppose 4*b - 24 = 8. Let i = b + -8. Solve -5*n - 3 + 13 = i for n.
2