Suppose -5*l + 6 = 4*o - 12, -5*l = -o - 8. Solve 0 = -2*d + l - 4 for d.

Suppose 2*o = -4*z + 3*z, 0 = z + 5*o + 3. Solve 3*t = -z*t + 5 for t.

1

Let k(b) = -b + 2. Let f be k(-2). Suppose 5*x = f*v - 11, 5*x = -4*v - 0*x - 19. Let g be 2/v + 6 - 2. Solve -u = -g*u + 1 for u.

1

Let i = 16 + -12. Solve 11 + 9 = i*u for u.

5

Suppose -d + 6 = -c, 18 = 6*d - 2*d - c. Solve -d - 1 = -5*w for w.

1

Let c(p) = p**2 + 16*p + 15. Let d be c(-15). Solve -t + d + 5 = 0 for t.

5

Let u = 2 + 3. Solve s = u*s + 12 for s.

-3

Suppose 0 = 4*f - 0 - 12. Let j be (40/(-3))/(1/(-3)). Suppose -b + j = b. Solve b = a + f*a for a.

5

Let v(g) = g - 14. Let y be v(11). Let d be y³⁄₆-2. Suppose -d*u - 4 = -5*u. Solve -u*o - 6 = -0*o for o.

-3

Let d be ¹⁵⁄₄₅ - (-16)/6. Suppose -r + d*y - 3 = 0, 3 = 5*r - 4*y - 15. Solve -l = r - 3 for l.

-3

Let v = -14 - -14. Solve 3*t + 2*t - 10 = v for t.

2