Let n(t) = 2*t2 - t - 3. Let r(l) = l2 + 1. Let b(a) = -n(a) + r(a). Let j be b(0). Solve j*i + i - 10 = 0 for i.

2

Let w = -81 - -123. Suppose 5*b + 44 = 3*s - s, 0 = -4*b + 5*s - w. Let q = b - -15. Solve -q = -v - 3 for v.

4

Suppose 0 = -3*k + 7*k - 80. Solve -s - 3*s - k = 0 for s.

-5

Suppose 2*u - 9 = -i, u - 2 - 4 = -i. Suppose 4*s + 7 = p + 3*s, s = 3*p - 13. Solve u*c = -p - 12 for c.

-5

Suppose 9*z + 3*z = 2*z. Solve z = -3*n - n for n.

0

Let k® = -r. Let p be k(0). Suppose 2*i = p, 0 = -0*o - 2*o + 5*i + 120. Suppose -o = -3*j - 2*j. Solve s = -3*s + j for s.

3

Suppose 0 = -4*p + d - 3*d + 24, -2*p - 4 = 5*d. Let x = -4 + 4. Suppose -2*j + 2 = x, -3*j - 10 = -4*q - j. Solve -5*t = -q*t + p for t.

-4

Let s be -2 - (1 + (-7)/1). Let x(i) = i**2 - 4*i. Let u be x(s). Solve u = 2*l - 3 + 11 for l.

-4

Suppose 3 = o + 6. Let x be (5/o)/((-4)/12). Solve 16 = -x*h + h for h.

-4

Suppose a + 0 + 2 = 5*n, 5*a + 10 = -3*n. Suppose n = -4*l + l - 27. Let c be (20/(-6))/(3/l). Solve 0 = -2*w - 3*w + c for w.

2