Let r(f) = 5*f**2 - 2*f - 1. Let s be r(-1). Suppose 0 = y - s*y. Solve y*h - 20 = 5*h for h.
-4
Let m = -45 - -46. Solve -4*t - m = -9 for t.
2
Let f(i) = -13*i - 2. Suppose 1 = -3*o + 2*m - 1, -m = -4*o - 6. Let p be f(o). Solve -5*h = p + 1 for h.
-5
Let w(m) = m3 - 2*m2 + 4*m - 3. Let q be w(2). Suppose -2*t = c - 13, -4 = 2*c - 6*c + 4*t. Suppose -q - 10 = -c*v. Solve -4*p - 2 = -v*p for p.
-2
Let m be (-4)/14 + 141/(-21). Let a = m + 10. Solve -4*u - a = -u for u.
-1
Suppose -2*y = -4*y + 4. Suppose 3*j = -j - 3*x, 4*j = 5*x + 32. Suppose -f = y*p - 9, p + j - 21 = -5*f. Solve 0 = -p*t - 3 - 3 for t.
-2
Suppose 5*v = -3*n - 10, -4*v + 0 - 11 = 3*n. Let p be (v - 1)/(-8 + 7). Solve p = 2*b + b - 9 for b.
3
Let a(k) = 2*k - 44. Let n be a(24). Let w = -3 + -1. Let f = n + w. Solve f = 2*i + 2*i - 8 for i.
2
Let y = 1 + 7. Let n(f) = f3 - 8*f2 + 4*f - 12. Let x be n(y). Suppose 0*a = 3*a - 4*s - x, 3*a - s = 5. Solve -25 + a = -5*g for g.
5
Suppose 0*h + 2*h = 0. Solve h = -2*n + 5*n + 6 for n.
-2