Let t(d) = d3 - 17*d2 - 18*d + 2. Let m be t(18). Solve -m*w + 5*w - 9 = 0 for w.

3

Let y(l) = 2*l2 - 5*l + 1. Let x(v) = -v2 - v - 1. Suppose j - 3 = -2*j. Let i(w) = j*x(w) + y(w). Let u be i(6). Solve 0*a + a = u for a.

0

Suppose 0 = -7*f + 3*f. Let s = 0 + 3. Let t = 6 + -4. Solve -s*k + 11 - t = f for k.

3

Suppose -2*y + 2 = -4*h - 10, 0 = -4*y - 3*h + 2. Suppose 7 = 3*f - k, 5*f - y*f = -3k - 9. Let x be (3 + -2)(f + -1). Solve 0 = -m - x + 1 for m.

1

Let t(i) = i3 - 11*i2 + 11*i - 10. Let a be t(10). Let u be (-3)/(-4 - 25/(-10)). Let v(o) = o - 2. Let b be v(5). Solve a = -u*h + b*h for h.

0

Let y(o) = 1 + 3 - o**2 - 9 - 8 - 11*o. Let u be y(-9). Suppose -17 = 3*s - 6*s + 4*g, 4*g + 23 = u*s. Solve s*f - 2 - 7 = 0 for f.

3

Let g = 3 - 9. Let i = -4 - g. Suppose -5*z + 12 = -i*r, -2*r + 3*r - 5*z + 16 = 0. Solve -r = o - 3*o for o.

2

Suppose -3*q - 9 - 6 = 0. Let i(n) = -n**2 - 6*n - 2. Let t be i(q). Suppose 0 = -b + 2*h - 2, -5*h + t = -3*b - 2. Solve b - 8 = 2*x for x.

-4

Let d(p) = -4*p + 15. Let k be d(3). Solve 5 = -k*m - 7 for m.

-4

Suppose 2*d = -d + 6. Suppose 3*l + h = 20, h = d*h + 1. Solve -5*y = -l + 2 for y.

1