Let v(d) = d**3 + 15*d**2 + 13*d - 7. Let b(a) = -a**3 - 14*a**2 - 12*a + 7. Let x(f) = -5*b(f) - 4*v(f). Let g be x(-9). Solve -7*k + 25 = -g*k for k.

Let i = -1 - -1. Suppose 2*h - h - 2 = i. Solve -a = h*a for a.

0

Let u(w) = w**2 - 13*w - 12. Let g be u(14). Solve 3*v + g*v = -20 for v.

-4

Let u(l) = l**2 - 6*l + 7. Let w be u(5). Solve 0 = w*s - 7*s - 25 for s.

-5

Let h(f) = -f + 5. Let n be h(9). Let t be (n - -5)/((-1)/(-3)). Suppose 4*r + t - 11 = 0. Solve -w = 1 - r for w.

1

Suppose -35 = -3*a + 19. Suppose -8*m + a = -2*m. Solve -5 - 10 = m*h for h.

-5

Suppose 7 = -4*j + 23, -4*j = -d - 16. Suppose d = -v - 3*b + 13, v + b = 2*b - 3. Suppose a - 4*c + v = -14, -4*a - 4*c + 20 = 0. Solve u + a + 0 = 0 for u.

-1

Let q be 1/((-9)/(-15))*3. Solve 0 = -q*i - 18 - 7 for i.

-5

Suppose -6*x = -11*x + 25. Solve 0 = -4*o + 5*o + x for o.

-5

Let u be (-6)/(-15) - (-39)/15. Let a be (1 + 8)*(-2)/u. Let f be (2/a)/(3/(-18)). Solve 5*q - 8 = f for q.

2

Let v(y) = -y3 + 2*y2 + 5*y - 4. Let j be v(3). Solve 2*s + j*s = 20 for s.

5