Let w(c) = c**2 + c - 3. Let y be w(2). Suppose -b - 5*m + 10 = 0, 4*m - y = 5*b + 5. Solve -10 = -b*g - 2*g for g.

Let q(s) = -s**2 + 7*s - 7. Let y be q(5). Suppose -2*f - 4*v + 14 = 0, 6*f - 1 = y*f + 4*v. Let a be ((-5)/f)/(2/(-6)). Solve 4 = a*n - 1 for n.

1

Suppose -5 = -n - 3*z, 0*n - z = -3*n + 15. Let o = n - -2. Suppose -3*i + 8 + o = 0. Solve 12 = t - i*t for t.

-3

Let x(u) = -18 - 3*u + 5 + 0*u. Let d be x(-5). Solve d*y = -3*y - 25 for y.

-5

Suppose -o = 5 - 6. Solve -2*q + q - o = 0 for q.

-1

Let k = 1 + -1. Solve k = -4*l + 2 + 2 for l.

1

Let a be (4 - -1)*8/(-20). Let q = a - -4. Solve q*l - l - 5 = 0 for l.

5

Let s = 3 + 2. Let f(m) = m**2 - 4*m + 3. Let d be f(4). Solve -s*x - d = -13 for x.

2

Suppose 0 = -f + 2 + 13. Suppose 0 = -5*b - 5*h + f, -3 = -4*b + 2*h - 9. Suppose b = 4*l - 3*l. Solve 2*z - 4*z - 4 = l for z.

-2

Suppose 0 = -r + 5r - 16. Suppose 0 = i + 2 + r. Let g be (1 + -1)(-3)/i. Solve 0*y + 3*y - 6 = g for y.

2

Suppose 0 = 3*k - 0*k - 30. Solve k = -4*t - t for t.

-2