Let y(f) = -f3 + 10*f2 + 12*f - 6. Let z be y(11). Let k(g) = -g3 + 6*g2 - 4*g - 3. Let o be k(z). Solve -2*s - o*s - 12 = 0 for s.
-3
Suppose 0 = -5*d + 8*d. Solve 0 = -5*t - d*t for t.
0
Let b(u) = u3 + 9*u2 - 12*u - 15. Let n be b(-10). Solve -n*d = -d + 16 for d.
-4
Let n(i) = -i**2 + 4*i + 4. Let w be 1/(-2) - (-22)/4. Let h = 9 - w. Let c be n(h). Solve -o = c*o + 10 for o.
-2
Let p = 15 + 6. Let v(i) = i - 2. Let a be v(-6). Let l = a + p. Solve l = 5*z - 7 for z.
4
Let l(d) = -d3 - 4*d2 - 2*d - 1. Let a be l(-4). Let k(z) = -z3 - z2 + 2*z. Let g be k(-2). Solve -3*v + a + 8 = g for v.
5
Let o be 1*(2 + 55) - 1. Suppose h = -h + o. Suppose -3*g + h = -g - 4*s, 2*g - 27 = 3*s. Solve g = 5*j + 2 for j.
2
Suppose 2*k - h + 0*h - 1 = 0, -4*k + 32 = 4*h. Solve -4*m + 5 = -k*m for m.
5
Let u = 130 + -120. Suppose 3 = -3*v + 18. Solve 3*h + u = v*h for h.
5
Let r(i) = i3 - 25*i2 - 27*i + 50. Let d be r(26). Solve -6*k - d = -0*k for k.
-4