Let t(x) = -x + 20. Let y be t(0). Suppose 3*i = 55 + y. Suppose 0 = 4*f + f - i. Solve -f*g + 10 = -0*g for g.

2

Let w = 2 - 0. Let s = 0 + 2. Suppose 3*c = -0*c - s*p + 24, -5*p = 0. Solve -w*g = -6*g + c for g.

2

Let k = 5 + -2. Let t(p) = -p - 1. Let w(m) = -m**2 - 5*m + 1. Let u(i) = t(i) + w(i). Let a be u(-6). Solve a = -0*s - s - k for s.

-3

Suppose 3*l = 2*l + 3. Suppose 0*n + l*i - 56 = -4*n, -3*n + 3*i = -63. Solve 0 = -3*f - n + 5 for f.

-4

Let t(b) = -b**2 + 6*b - 4. Let p be t(4). Let s = 1 + 5. Suppose -5*y + r - s*r = -55, 4*y = -2*r + 34. Solve j - y = -p for j.

2

Let h be (-2)/(-15) - (-14)/(-105). Let y(b) = -b**2 - 3*b. Let c be y(-3). Suppose c = -s - 2*t + 13, t - 2*t + 5 = h. Solve 4 = -s*a + 7 for a.

1

Suppose 2*p - 46 = 2*a, 2*p - 21 = p + 2*a. Solve -p = -2*d - 3*d for d.

5

Let d = 23 - 16. Solve d = -2*a - 3 for a.

-5

Let i be (-1 + -2 + 13)*2. Suppose -10 + 0 = 5*d. Let y = 2 + d. Solve 4*q + i + 0 = y for q.

-5

Let t = -7 + 12. Suppose -3*s + 12 = -0. Solve -t = -s*o - 13 for o.

-2