Let b© = 5*c2 - c3 + 0*c3 + 1 - 4 - 3*c. Let t be b(3). Let i(q) = -q2 + 5*q + 2. Let n be i(4). Solve 3*x - n = t*x for x.

-2

Suppose 0 = -d - 3*b + 15, -6*b + 25 = 5*d - b. Solve 0*j - j = d for j.

0

Let u(g) = g3 + 5*g2 - 6*g + 6. Let f(d) = -d3 - 5*d2 + 6*d - 6. Let k be f(-6). Let t be u(k). Let q be 3 - (9⁄3 + -3). Solve 0 = -q*r + 9 + t for r.

5

Let k(n) = n - 5. Let v be k(5). Let g(y) = y3 - y2. Let o(s) = -s - 2. Let u© = g© - o©. Let w be u(v). Solve w*l - 3*l + 4 = 0 for l.

4

Let y(d) = d**2 - 7*d + 7. Let o be y(6). Let j = 4 + -1. Let c = o + j. Solve w = -c*w - 5 for w.

-1

Let b(v) = 2*v - 7. Let j be b(5). Solve -y - 2*y + j = 0 for y.

1

Let o(v) = -v - 13. Let z be o(-21). Let f be (-1)/2 - (-1)/2. Solve 4*q - z + 0 = f for q.

2

Suppose 0 = 5*q + 8 - 43. Let w = q + -2. Suppose 0 = 2*t - w*j + 5, 8 = 5*t - 5*j - 2. Solve -2*n - t = 3*n for n.

-1

Suppose 8*y - 5*y = 3. Solve -y = -3*c + 8 for c.

3

Suppose -25 = -5*v - 0*v. Suppose p + 4 = v*p. Solve n + p + 4 = 0 for n.

-5