Let y be 0*((-2)/(-2))/(-2). Suppose y*u - 2*u = 0. Suppose u*l - 10 = -5*l. Solve x - 1 = l for x.

3

Suppose -24 = -m - 2*m. Suppose -3*z = -m + 2. Solve z*t - 1 = 3 for t.

2

Let g(m) = -m**2 + 13*m - 12. Let s be g(11). Solve -l = -3*l + s for l.

5

Suppose -3*t + 4*i + 22 = 2*i, -5*t = 4*i - 22. Suppose 6 = 3*r, 48 - t = 2*p + 4*r. Solve -3 - p = -5*m for m.

4

Let i(v) = -v**2 - 3*v + 3. Suppose 0 = 2*t - 0 + 6. Let b be i(t). Solve 0 = b*h - 4*h + 3 for h.

3

Let u(g) = g + 0 - 3*g + 3*g - 2. Let w be u(6). Solve 0 = -w*b - 13 + 5 for b.

-2

Let t = 11 - 5. Suppose 5*a + 85 = 5*h, -14 = -h - 2*a - t. Solve -2 + h = -4*k for k.

-3

Suppose 5*k - 25 = 0, -5*k = -5*c + 9 + 156. Let s = 14 + -1. Solve s = 5*j + c for j.

-5

Let t(i) = -i + 1. Let o be t(0). Suppose -3*f + c + o = 0, f - 3 = -f + 3*c. Solve -z - 3*z = f for z.

0

Suppose 5*n - n - 3*b - 5 = 0, -5*n + 7 = -3*b. Solve l + 1 - n = 0 for l.

1