Let s(i) = i3 - 11*i2 - 12*i + 2. Let h(z) = 8*z. Let o® = -9*r. Let u(l) = -5*h(l) - 4*o(l). Let p be u(-3). Let j be s(p). Solve j*n + 0*n = -2 for n.
-1
Suppose -5*k - 50 = -4*b, 2*b - 5*k = -2*k + 26. Solve 6*d - d = b for d.
2
Let c = -28 - -31. Solve 0*v = -c*v + 12 for v.
4
Suppose 0 = s - 3 + 1. Suppose q - 2 - s = 0. Solve -2*p = -q - 0 for p.
2
Let h = 18 - 8. Solve m = 3*m + h for m.
-5
Let c(i) = -i - 19. Let q be c(-17). Let k(y) = -y. Let v be k(q). Solve -3 = -v*f + f for f.
3
Let t(o) = o3 - 10*o2 + 9*o + 5. Let u be t(9). Suppose 3*h - 24 = -4*y, -2*h - 7 = -u*y - 0. Solve -h*n = -n - 9 for n.
3
Suppose 0 = 2*u + 5*u. Solve 0*l + l + 1 = u for l.
-1
Suppose 2*v - y = 4, 5*v + 0*y = 3*y + 12. Solve -3*u + 3 = -v*u for u.
1
Let x(n) = n + 6. Let o be x(-5). Suppose 0 = 5*h - 2*z - 2*z - 5, 0 = -2*h + z + 2. Suppose -o = -d + h. Solve -d*r = -3*r for r.
0