Suppose 11 = -5*f + 1. Let j be (-19)/(-7) + f/(-7). Solve l + 0*l = j for l.

3

Suppose 2*x = 8 + 2. Suppose 5*a - 4*o + x = 0, -2*a - 5*o - 11 = -42. Solve 0 = s - 2*s - a for s.

-3

Suppose 380 = 5*s - 5*a - 0*a, -4*a + 304 = 4*s. Suppose -5*n + s = -n. Suppose 4*t + 1 - n = 2*j, 2*j + 2 = -4*t. Solve -f = f - t for f.

1

Let j(f) = f + 2. Let u be j(3). Solve u = 4*l + l for l.

1

Let r = -1 + 4. Suppose 5*b - r = 12. Suppose 2*q + 0*m - 8 = -m, -b*q - 6 = -3*m. Solve -q = -t - 3 for t.

-1

Suppose -12 - 3 = -3*q, 0 = -k - q + 7. Solve -4*b - 10 + k = 0 for b.

-2

Let u(s) = -s**2 - 6*s - 5. Let l be u(-4). Solve 0 = l*o + 5 + 1 for o.

-2

Suppose 3*b - b = 0. Solve 0*v + 2*v - 6 = b for v.

3

Let g be (10/(-3))/((-4)/6). Suppose -g*t + 16 = -t. Let c be (12/(-4))/((-6)/t). Solve -c*h = -7*h - 20 for h.

-4

Let h be -4*3/(-4 + 1). Solve 0 = -0*d - h*d for d.

0