Let d(z) = z**3 - 5*z**2 - 3*z + 4. Let u be d(6). Let i(s) = -s**3 - 2*s**2 + 3*s + 2. Let j be i(-3). Let h = -4 + 9. Solve h*l - u = -j for l.

Let m(k) = k - 3. Let n be m(6). Solve -4*a + a = n for a.

-1

Suppose -2*p = p + 24. Let g(l) = l - 2. Let d be g(4). Let o be p/(d + 0 - 4). Solve -o*t + 3*t = -2 for t.

2

Suppose 4 = 6*m - 4*m. Solve 0 = -m*n - 2 for n.

-1

Suppose 2*d - 4*n = 16, -d + 13 = 3*n - 0n. Let h be -4(0 - 1)*1. Suppose 22 = 2*a - 5*v - 13, 0 = h*a + 4*v - 56. Solve -d = -5*b + a for b.

5

Let v(x) = x**2 - x + 33. Let c be v(0). Suppose j - 2 - 3 = 0. Solve -j*t - 13 = -c for t.

4

Suppose t = -3*d + 26 - 4, 4*d = 4*t + 8. Solve 4 = 2*h + d for h.

-1

Suppose 5*a = 2*a + 9. Suppose -h + 8 = a, 0 = -t - 5*h + 19. Let z(k) = k + 6. Let u be z(t). Solve u = -2*c + 7*c for c.

0

Let v(y) = y**2 - 12*y + 5. Let j be v(12). Solve j*d = d for d.

0

Let c be -2*5/(-2) - -1. Suppose 6*b = 3*b + 33. Let r = b - 7. Solve 10 = r*z - c for z.

4

Suppose -z + 3 = 4*d - 12, -5*z = 25. Solve 12 = -d*b + 37 for b.

5