Let p(i) = -i3 + 7*i2 - 7*i + 6. Let j be p(6). Solve -4*k + j*k = 8 for k.
-2
Let s be ((-208)/14 - -2)*-7. Suppose 0 = -h - 4*h + s. Suppose 2*b + h = 4*l, -3*b - 18 = -l - 7*b. Solve 0 = u - l*u - 10 for u.
-2
Suppose 3*s + 0*s - 15 = 0. Solve -14 = s*k - 4 for k.
-2
Let w be 23*(-2 + 3) + 0. Suppose -9 = 3*c - 4*u - w, 4*c - 4*u = 12. Let p be ((-12)/20)/(c/10). Solve t - p = -2 for t.
1
Let k(a) = -a + 13. Let c be k(8). Suppose -5*q - 6 = -2*u, -c = -3*u + 3*q + 4. Solve u = 5*j - 2 for j.
1
Let j = -23 + 24. Suppose -2*k = -6*k. Solve k = 4*d + 3 + j for d.
-1
Let y = 0 + 3. Suppose 4*z = -3*f - 2*f - 8, y*z + 2*f - 1 = 0. Solve -z*j = -j for j.
0
Suppose 2*o - 8 = 8. Solve -v = 3*v - o for v.
2
Suppose -11 + 3 = -4*d. Suppose d*l = -0*l + 10. Solve 5*k = l + 10 for k.
3
Let n(x) = x**2 - x - 9. Let r be n(6). Let f = -11 + r. Solve 4*l = f + 6 for l.
4