Let q(n) = n3 - 3*n2 - n + 3. Suppose -16 = -s - 4*s - 4*z, 0 = s - 5*z + 20. Suppose s = 6*k - 5*k - 3. Let y be q(k). Solve 4*f = -y*f for f.

0

Let g = 64 + -35. Suppose -g = -4*h - 1. Let u(p) = p**2 - 8*p + 7. Let v be u(h). Solve v = -2*a - 6 - 2 for a.

-4

Let b(q) = -q - 5. Let l be b(-3). Let y be (l/(-4))/(6144). Let d be (-1)/((-2)/(y + -2)). Solve 5*c + d = -0*c for c.

-1

Let a(k) = -2*k + 1. Let c(j) = j3 + 3*j2 + 2*j + 3. Let w be c(-3). Let g be a(w). Solve -2*i - 5 = -g*i for i.

1

Suppose 3*l + 2*l = 25. Solve 0*b = -l*b for b.

0

Let s(i) = 0*i2 - 2 - 3*i + 5 + 2*i2. Let v be s(2). Suppose 0 = -m + v*m - 16, 3*m = -f + 17. Solve 0 = -b + f*b - 8 for b.

2

Let c(x) = x + 2. Let l be c(2). Solve 0 = l*m + m for m.

0

Let n(i) = -i + 2. Suppose x - 6 = -2*x. Let h = -4 + x. Let p be n(h). Solve p*y = -y for y.

0

Let g be 40/(3 + -1) + -1. Let n = -16 + g. Solve -n*d = -d - 4 for d.

2

Let j = -10 - -13. Solve n = -j*n + 16 for n.

4