Let d = -17 + 8. Let b be (-2)/8 - d/4. Suppose 5*i - b*v - 11 = 0, -3*i + 2*i - 3 = -3*v. Solve -i*h = -0*h - 9 for h.

Let a = 1 - -2. Suppose j + 2 = 0, -3*c + a*j = -j - 17. Solve -2 = -5*i + c for i.

1

Suppose 2*c = -c + 9. Let b be ((-1)/(-3))/(1/c). Solve -l + 6 = b for l.

5

Let s(x) = x**2 - 7*x + 7. Let a be s(5). Let y be (-10)/a + ⁴⁄₆. Suppose 0*u + 8 = 5*u + 2*g, -15 = -5*u + 5*g. Solve y = -3*p - u for p.

-2

Suppose -7*s = -4s - 18. Let x be 12/(-8)(-8)/s. Solve -x*a + 4*a = -2 for a.

-1

Suppose -2*n + 25 = 17. Solve -h = -0*h + n for h.

-4

Let j be (1 + -1)/(1 + 1). Let d = j + 4. Solve 1 - d = -v for v.

3

Let t = 4 - 1. Suppose -26 - 10 = -4*g. Solve 6*j - g = t*j for j.

3

Suppose 0*j = -2*j - 5*k + 56, -3*j + 70 = 4*k. Solve 0 = 5*p - 2 - j for p.

4

Let o = 9 + -9. Suppose o = 6*l - l - 15. Solve 1 = -z - l for z.

-4

Let v = -8 - -8. Suppose v*w - 9 = -w. Solve 0 = -k - 2*k + w for k.

3