Let n(b) = b**2 + 9*b + 17. Let p be n(-7). Suppose i + 3 = -p*w + 2*i, -i + 3 = 0. Solve 0 = 5*z - w*z - 5 for z.

1

Suppose 0 = -3*z - 0*z - 27. Suppose p - 1 - 2 = 2*m, -2*m + 8 = 0. Let k = p + z. Solve 6 = -5*o + k*o for o.

-2

Let d = -3 + 5. Let n be 1*(-3 + 1 + d). Solve n*a - 3 = 3*a for a.

-1

Let h = 15 + -18. Let d be 4 - 8/(7 + h). Solve -6 = d*c - 2 for c.

-2

Suppose -2*p - 2*p - p = 0. Solve -2*f + 0*f = p for f.

0

Suppose 2*b = 3b - 8. Let j be (-3 + -1)(-6)/b. Suppose 0 = -j*s - 10 + 37. Solve 2*l - 3 + s = 0 for l.

-3

Suppose 8 = 3*l - 4*w, -5 = -l - 0*w - w. Solve -4*i = -0*i - l for i.

1

Let x = -4 + 6. Suppose 2*z - 5*d + 18 + 0 = 0, -2*d = -8. Solve -x*k + z = -9 for k.

5

Let w = 4 + -8. Let x(s) = -s3 - 2*s2 + 4*s + 3. Let a be x(w). Suppose 4 = -3*j + a. Solve -2*d = -j*d for d.

0

Suppose 2*k + 17 + 2 = -5*s, 2*s = 5*k - 25. Suppose 10*p = 5p - 10. Let t be 0(p + 9⁄6). Solve -k*f - 1 + 4 = t for f.

1