Let i(l) = l3 + 5*l2 - l - 3. Let w be i(-6). Let n(z) = -3*z**3 + 2. Let y be n(2). Let p be 4/y - 138/w. Solve -3*f + f = p for f.
-2
Suppose -3*o - 2 = 37. Let s = 1 - o. Solve 2*j = -s + 4 for j.
-5
Suppose 0 = -5*h - 12 + 37. Suppose 2*l = -h*n + 14, 2*l + 2*l = 8. Solve n*k = -2 - 6 for k.
-4
Let n be 6 - (-2 + (4 - 0)). Suppose 0 = -5*c + 5*y + 30, -ny - 3 = c - 4. Let w be 3((-14)/(-6))/1. Solve c*m - w = -22 for m.
-3
Let k = -5 - -7. Solve 0 = k*o + 2*o - 20 for o.
5
Let i® = -2*r - 11. Let j be i(-9). Solve 1 = -4*z - j for z.
-2
Let o(j) = j - 11. Let z(t) = t - 11. Let u(l) = -7*o(l) + 6*z(l). Let w be u(9). Suppose 0 = 2*n - 5*r - 10, 5*n = r + w - 0. Solve 5*c - 2*c = n for c.
0
Suppose 1 = 3*j + 13. Let x(z) = z**2 + 2*z - 5. Let i be x(j). Let g be (-2)/(-3)*1*3. Solve i = g*p - 3*p for p.
-3
Suppose d + 14 = 4*d - 4*b, d - 3*b = 8. Suppose 5*i - 25 = d*a, i + 0*i + 2*a = 5. Solve 0 = i*v + 5 + 5 for v.
-2
Let x(t) = 3*t**2 - 2*t - 4. Let h be x(3). Let n be 9*1 + -2 + 3. Let q = h - n. Solve -4*i + 12 = -q*i for i.
-4