Let b(h) = h**3 - 5*h**2 - 4*h + 3. Let p be b(6). Solve 6*j - p = j for j.

Let j be -1 - 1/(2/(-8)). Suppose -r = -0*r - 5. Suppose 3*w - 4*l = -4 + 45, -5*w + 70 = -r*l. Solve -2*f = j*f + w for f.

-3

Suppose 0 = 3*d + 4*a + 13 - 2, 3*a = d - 18. Solve 1 + d = -2*w for w.

-2

Suppose 5 = -2*r + 25. Let t = 2 - r. Let h = 8 + t. Solve h*p - 4 = p for p.

-4

Let g(y) = -y + 14. Let q be g(8). Let a© = -c**2 + 7*c - 1. Let w be a(q). Suppose 5*x - 3*x - 21 = -n, 80 = 5*n + 5*x. Solve w*l - 1 = -n for l.

-2

Suppose -l + 6 = 2*l. Suppose 0 = -l*p + 8 - 0. Solve -p*m - 12 + 32 = 0 for m.

5

Let q be (-38)/(-14) - 4/(-14). Suppose 5*w - 65 = -q*o, 8*w - 20 = 4*w + 4*o. Suppose -2*r = -5*l - 2, w = -0*r + 3*r - 4*l. Solve 2*z - r = -0*z for z.

3

Suppose 7 = -3*j + 19. Suppose 2*d = -0*d - 4*f - j, -1 = d + f. Solve 4 = -d*u + u for u.

4

Let d(z) = -5 + 3 - 2 + 2*z - 1. Let m be d(3). Solve 4*n = 5*n + m for n.

-1

Suppose 8*x - 4*x + 8 = 4*k, 3*x = -2*k - 1. Let c(o) = 3*o**3 + o. Let w be c(k). Solve 0 = -2*d - w for d.

-2

Let q(d) = d3 + 9*d2 + 6*d. Let v be q(-4). Let f be (-6)/(-8) - (-70)/v. Solve -6*i - f = -4*i for i.

-1