Let b = 1 + -1. Let l(j) = j3 - 8*j2 + 2*j - 12. Let o be l(8). Solve b*k - 20 = o*k for k.

-5

Let z = -23 - -13. Let r = z + 10. Solve r = -3*m - 1 - 5 for m.

-2

Let c(s) = -s - 1. Let v be c(-3). Suppose 5*m - m - 20 = 0. Suppose -2*r + m*q = -31, -3*r - 1 = 2*q - 0. Solve -1 = -r*i + v*i for i.

1

Suppose -2*y + y = -2. Suppose -2*u = -0*u - 2. Let r = y + u. Solve 4*s = r + 13 for s.

4

Let u be 86⁄18 + (-8)/(-36). Suppose 8 - 23 = -u*r. Suppose -d + 1 = -r. Solve 5 = d*a - 15 for a.

5

Let m(q) = -q2 + 7*q - 7. Let p(y) = y3 + 8*y**2 - 9*y + 6. Let u be p(-9). Let n be m(u). Let h = 4 + n. Solve -4*t = -h*t + 2 for t.

-2

Let u be 2/(-7) - 8/(-28). Suppose -3*m + u*m = 0. Solve h + h - 4 = m for h.

2

Suppose 4*k = -3*c + 24, 3*c + c = k + 32. Let h = -25 - -30. Solve -h*d = c - 33 for d.

5

Suppose -5*g - 2*n + 2 = -10, -4*n + 14 = 5*g. Suppose 0*p = g*p. Solve -1 + p = -x for x.

1

Let u = -3 + 3. Suppose u = 5*f - 2 - 18. Solve -2 = -2*l + f*l for l.

-1