Let v(z) = -z**3 - z. Let i be v(0). Let k = 37 - 25. Suppose -4 = 4*u + y, u + 2*u + 3*y = -k. Solve u = f - i + 5 for f.

Let w(t) = t3 - 4*t2 - 6*t + 8. Let y be w(5). Solve 4*o - y - 1 = 0 for o.

1

Let c(h) = 22*h - 3. Let g be c(2). Let x = g + -15. Suppose 4*z - x = 22. Solve -2*d = 2*d + z for d.

-3

Let j = 35 + -15. Let a be (j/(-6))/((-2)/3). Solve 0 = -3*z + a*z + 2 for z.

-1

Let q = -40 - -61. Suppose 18 = 5*d + h, 3*d + 5*h - q = d. Solve -2*z - d + 7 = 0 for z.

2

Let r = 3 - 1. Solve r = 4*h - 10 for h.

3

Let u be ((-1)/2)/((-3)/12). Suppose 0 = u*x + 2*n - n, 2*n = x. Suppose x = -8*g + 6*g. Solve -6*d + 3*d + 15 = g for d.

5

Suppose -15 = -3*y, r + 4*y + 17 = 7y. Let d be 0 - r - (2 - 2). Let z be -2 - -3(4 - d). Solve 4*u - z = -0 for u.

1

Suppose 0 = q + 4*q - 15. Solve q = -4*v + 15 for v.

3

Let z = 8 + 0. Solve -3*d + z = d for d.

2

Suppose 3*z = 3*s + 12, z + 6*s + 8 = s. Solve z*w - 3 = w for w.

3