Let o be 2/(-6) - (-13)/3. Suppose 0 = -o*k + 8*k - 8. Suppose k*x = b - 8, x + 3*x = -16. Solve 15 = 5*l - b*l for l.

3

Suppose 74 = 2*q + q + 5*d, 0 = 5*q - 2*d - 144. Let v = -25 + q. Let j be -32(-8)/6. Solve -v + j = -b for b.

-5

Let v be 0 - 0 - (-60)/10. Suppose -13 = -h - 2*h - t, 0 = -5*h - 3*t + 15. Suppose h*b - 3*b - v = 0. Solve -2*k - b*k = 12 for k.

-3

Let v be (2⁄6)/(6⁄18). Let t(j) = j + 1. Let r be t(2). Suppose -13 = -2*k - r*a + 9, 4*a = 16. Solve -4*m + k = v for m.

1

Let n = 3 + 0. Suppose -5*v + k = -101, -n*v + 0*k - k = -59. Solve 6*c + v = c for c.

-4

Suppose -5 = -5*c + 15. Suppose 4*m - 4 = c. Suppose 4*j - 64 = -5*n, 0 = -5*j - m*n + 40 + 40. Solve -3*v + j = v for v.

4

Let u be (5 - 1)3/(-6)-1. Solve c + u + 1 = 0 for c.

-3

Suppose 6 = -2*b - 6. Let k(z) = z + 4. Let r be k(-3). Let y be 6 + b + r + 0. Solve -2*i = -y - 5 for i.

3

Let p = 15 + -6. Solve 1 = -2*r - p for r.

-5

Suppose 0 = -2*d + 9 - 1. Suppose d*y = 3 + 5. Solve 0*p + y*p = 0 for p.

0