Let u = -18 - -7. Let y(s) = -s - 11. Let d be y(u). Solve -25 = -5*l - d for l.

Suppose 3*o - 15 = -2*o. Suppose o*l + 0 = 12. Let x(k) = 6*k**2 - 2*k + 1. Let d be x(1). Solve -d*w = -l*w for w.

0

Suppose -w + 4 = z, -5*w + 3*z + z + 20 = 0. Suppose -3*u = -w*u. Solve u = 3*n + 2*n for n.

0

Let c = 4 + 1. Let w be (-2)/c - 2/(-5). Solve -2*r - r + 3 = w for r.

1

Let r(p) = -p3 + 10*p2 + p - 5. Let h be r(10). Suppose -7*t = -8*t + h. Suppose 5*y = 141 - 16. Solve 0*v + t*v - y = 0 for v.

5

Suppose -5*u + 5*h = -2*u - 19, -5*h = -4*u + 32. Solve -5*y + u - 3 = 0 for y.

2

Suppose 0 = -2*w - 4 + 12. Suppose 0 = -4*c - w*o + o + 28, -o = -c. Suppose 5*n - 3*n - 24 = c*j, -5*n + 5*j + 40 = 0. Solve 3*u = n*u for u.

0

Let n be 40/(-16)(0 - 2). Let k be (-1 + 2)(0 + 0). Suppose -n*f + k + 15 = 0. Solve 9 = -f*z - 3 for z.

-4

Let a(x) = -x - 1. Let s be a(-11). Solve 4*n - s = 2*n for n.

5

Suppose 0 = 2*x + 2*x. Solve -z + 4 = -x for z.

4

Let o be (-8)/12 - (-20)/3. Let q = o - 4. Solve q*j + 1 = 5 for j.

2