Let t(k) = -k + 2. Let l be t(5). Let x be 3/((-9)/l) - -2. Solve 0*d = -x*d for d.

Suppose -v = 5*x - 5*v - 20, 0 = -3*v - 15. Suppose b - 3 = -x*b. Suppose -2*s - 10 = -5*h + 7, -3 = b*s. Solve 0 = h*f - 4 + 7 for f.

-1

Let v = 13 + -11. Solve -v = 4*h + 2 for h.

-1

Let o(w) = -6*w - 31. Let s be o(-6). Solve 0*u = s*u for u.

0

Let y be 9 + 15 + (-2)/(-2). Suppose y - 9 = 4*f. Solve -2*g = -f*g + 2 for g.

1

Let w(z) = -z3 + 11*z2 - 10*z + 4. Let n be w(10). Solve -a + n = -0*a for a.

4

Let f(s) = -4*s + 26. Let b be f(6). Let c = -10 + 15. Solve o - b = -c for o.

-3

Suppose 0 = -6*l + 3*l + 6. Solve 2*b - b + l = 0 for b.

-2

Let f be 2 + -3 + -2 - 16. Let b = -16 - f. Solve -b*z - 12 = -0 for z.

-4

Suppose 0*r + 4*r = 36. Suppose -3*v + 30 - r = 4*i, 0 = 3*i - 3*v. Let o be i/((-3)/(-16)) - 1. Solve -2*a - o = -7*a for a.

3

Let l = 16 - 22. Let o(p) = 2*p + 1. Let z be o(-4). Let r = l - z. Solve -d - 3 - r = 0 for d.

-4