Let m(h) = h**2 - 6*h + 7. Let x be m(5). Suppose 0 = -x*v - v. Suppose -s + 3*p + 10 = p, v = -4*s + 5*p + 31. Solve -5*n - s = 6 for n.

-2

Let n = -2 - -2. Solve n - 1 = d for d.

-1

Let a(f) = -6*f3 + f2 + f + 1. Let r be a(-1). Let g(p) = p3 + p2 - p + 0*p2 + r*p2 - 4 - 2*p. Let c be g(-8). Solve j + 3*j = -c for j.

-5

Suppose 3*u = c - 6 + 1, u + 15 = -3*c. Suppose 0 = -2*g + 6*g - 20. Let w = u + g. Solve 6*o - w*o = 4 for o.

1

Let t(j) = -j - 4*j2 - j2 - 3*j2 + 2*j. Let h be t(-1). Let c(d) = d2 + 8*d - 6. Let m be c(h). Solve 0 = m*r + 2*r for r.

0

Let n(a) = -a3 - 4*a2 - 2*a - 4. Let o be n(-3). Let x = o - -8. Let g = x + -1. Solve -u + 0*u + 3 = g for u.

3

Let z be -2 + -10*1/(-2). Let p be 54/z*69. Solve -4 = 4*f + p for f.

-4

Suppose 0 = -8*y + 5*y + 6. Solve -y = -4*c + 10 for c.

3

Suppose -2*j = -5 - 1. Suppose 0 = -3*o, 2*f + j*f = o. Solve -4*c + f*c - 20 = 0 for c.

-5

Let u be 114 + 6/(-8). Suppose -u*b + 4*b - 16 = -2*z, 4*b - 12 = 0. Solve -2*y = -y + z for y.

-5