Let q(w) = w3 - 17*w2 + 2*w - 30. Let u be q(17). Let r(g) = 2*g3 + 18*g2 + g + 12. Let h be r(-9). Solve 4*i - 8 = -4*v + 4, 2 = -u*i + h*v for i.

1

Let t be (-2)/(-4 + 0)*12. Let b be (-6)/12 + (-3)/(-8) + 20064. Solve h + 3 + 6 = b*f, -2*f + 5*h = -t for f.

3

Suppose -m + 18*n - 23*n = 21, 2*n - 6 = -4*m. Solve -4*q - 4 = m*t, -2*q = -2 + 8 for t.

2

Suppose -23*n + 26 = -21*n. Let r = -4 + n. Suppose 3 = -2*t + r. Solve t*u = 0, -5 = k + 3*u - 1 for k.

-4

Suppose 0 = 31844*f - 31827*f - 367 - 245. Let h(z) = 8*z - 6 - z - 3*z. Let b be h(5). Solve 4*r = 4*c + f, 4*r = 2*r + c + b for r.

5

Suppose -6*l + 213 = -171. Suppose 15 = -61*o + l*o. Solve 4*k + o*w - 6 = 0, -3*w + w = 4 for k.

4

Suppose -128*i - 44 = -139*i. Solve -i*n - 4 = -0*j - j, 2*n - j = -4 for n.

0

Let u(g) = g**2 - 4*g + 2. Let n be u(4). Suppose -23*j + j = -66. Suppose -22 = -j*f - 10. Solve 4*k - f = -5*h, n*k + k = -h + 3 for h.

0

Let s be -11 + 12 - -29 - 7. Solve -l - s = 5*q, 2*q - 4*l = -6*l - 6 for q.

-5

Let j = 131 - 126. Suppose 4 = t + 4*b, j*b + 46 = -2*t + 5*t. Solve 0*d - 11 = -4*l + 3*d, 4*l - 4*d - t = 0 for l.

2