Let s(p) = 13*p**2 + 1. Let x be s(1). Let t = x + -10. Solve -t*d = -0*d for d.

Let u(i) = 3*i2 - i. Let m be u(1). Let o(h) = h2 - 2*h + 3. Let r be o(m). Solve 2*p = -r*p for p.

0

Suppose -w + 3 = -10. Suppose -n + 3*x + 8 = 0, -x + w + 3 = 2*n. Solve -n = -g - g for g.

4

Suppose 0 = -4*g + 9 + 3. Suppose -g*p + 6 = -p. Solve 4*t - p = -23 for t.

-5

Suppose -4*f - 5*b + 25 = 0, 0*f - 5*f - 5*b + 25 = 0. Solve 4*s - 7*s - 6 = f for s.

-2

Suppose -5*w + 4*w = 8*w. Solve -6*y - 11 - 1 = w for y.

-2

Suppose -5*l + 7 = -4*s, -2*l - 6 = -4*l. Solve s*n + 14 - 6 = 0 for n.

-4

Let w© = c**2 - 12*c + 11. Let k be w(11). Solve k = 3*o + 7 + 8 for o.

-5

Let m® = r3 - r2 + 3*r + 4. Let q be m(-4). Let j = q + 127. Suppose n = -2*n + j. Solve -3 = -5*z - n for z.

-2

Let r(l) = l3 - 3*l2 - l + 8. Let u be r(6). Suppose p - 2*p + 3*b + 10 = 0, -u = -5*p + 3*b. Solve 2*c = 7*c - p for c.

5

Let d = -5 - -11. Solve -q + 1 = d for q.

-5