Let v(x) = x**2 + 3*x - 13. Let a be v(-6). Suppose 0 = u - 2*u + y, -5*u - a*y = -40. Solve -u*h + 0 + 12 = 0 for h.

3

Let c(x) = -x - 13. Let l be c(-15). Solve 0 = -l*u - 3 - 1 for u.

-2

Suppose h = 4 + 6. Suppose -x + h = 4*x. Let t be x/(-7) + 621. Solve 0 = -t*s + s for s.

0

Let y = -4 - -16. Let k be y/(-18)*(-3 - 0). Suppose 0 = -3*o - 5*c + 8, -5*c - 21 = -3*o + 7. Solve -n - k = -o for n.

4

Suppose 2*g = 2, 5*w - 3 = -0*w - 3*g. Suppose w = -5*r + 7 + 8. Suppose -i = 2*z - 2, 3*z + 2 = 5. Solve i*o = -r*o - 15 for o.

-5

Let n = -37 + 42. Solve -k - n = -0 for k.

-5

Suppose 2*t = -2*t + 20. Suppose 0 = 2*r - 2, 3*m - 7*m = t*r - 13. Solve a + m = 1 for a.

-1

Suppose 93*s + 12 = 95*s. Solve -2*k = s + 2 for k.

-4

Let k be 11/(6660) - 2. Solve -k*b + 16 = -4*b for b.

4

Let k(q) = 4*q**2 + q + 1. Let g be k(2). Suppose -2*f = -2, 7 - g = -2*s - 4*f. Suppose -2*u + 0 + s = 0. Solve d = -d + u for d.

1