Let t be 64163. Let b = t + -8. Let l be 1-3*(-1 + -1). Solve b = -l*h + 2*h - 4 for h.

-1

Suppose 4*z - 4 = -3*n + 11, 0 = -n + 5. Suppose z = -3*y + 3 + 9. Suppose 5*q - y*q = 3. Solve i = -q*i for i.

0

Suppose l + 3*l - 12 = -4*p, -3*l = 4*p - 12. Solve l = c + 1 for c.

-1

Suppose -3*r + 5*u = 0, 3*r + 2*u - 16 = r. Solve -10 = r*y - 3*y for y.

-5

Suppose 99 + 45 = 4*l. Suppose 0 = 5*z - l - 4. Solve 12 + z = -5*i for i.

-4

Suppose -15 = -p + 7. Let i(l) = -l3 + 13*l2 + l - 6. Let v be i(13). Let f be ((-60)/(-35))/(2/v). Solve p = -4*j + f for j.

-4

Let u(p) = -4*p + 20. Let w be u(4). Solve -w*o - 6 = -o for o.

-2

Let w = 58 - 54. Solve -4*r + w + 16 = 0 for r.

5

Suppose -5*l = -0*l - s - 62, -3*l + s = -36. Let z = 16 - l. Solve -z*u - 22 = -7 for u.

-5

Let d be ((-4)/(-14))/(428). Solve 6 = 4*v - d*v for v.

3