Let q(b) = b**2 + b - 4. Let v be q(-3). Suppose -2*c - 18 = -4*j - 2, -v*j - 4*c - 12 = 0. Solve j*h - 4 = -0 for h.

2

Suppose -1 = -5*m + 19. Let f be 3 + -1 - 12/m. Let r be (f/(-2))/(2⁄4). Solve 0 = -2*x + 7 - r for x.

3

Let i = 4 + 1. Suppose 2 = i*w + 4*s - 2, 5*s = -4*w + 5. Solve 0 = -w*f + 4*f for f.

0

Suppose -2*y + 4*i = -16, 5*i + 14 + 6 = 0. Suppose y = -5*n + 2 + 3. Solve 0*z = -z - n for z.

-1

Let u(a) = 2*a2 + 1 - 3*a2 + 1 + 0 + 3*a. Let i be u(2). Suppose z - 9 = -7*n + 3*n, i*z = 4. Solve 0 = -f - n - 1 for f.

-3

Let l = -4 - -6. Solve -2 = 2*c + l for c.

-2

Let p = -40 + 40. Solve -2*o + 7 + 1 = p for o.

4

Let s = -48 + 57. Solve -j + s = 2*j for j.

3

Let t = 10 + -6. Suppose 10 = -2*j - 0*b + 3*b, -4*j - 3*b = 20. Let h = j + 8. Solve -t*q - h = 5 for q.

-2

Let r = 11 - 7. Suppose 3*k - r*k + 5 = 0. Suppose 12 = -b - b + 4*l, 0 = k*b + l - 14. Solve -u + b = -1 for u.

3