Let c(d) = 4*d**3 - d**2 - d + 1. Let s be c(1). Let x be 6/9*1*s. Suppose u + x*u - 18 = 0. Solve u*k = k + 25 for k.

Let h(l) = -3*l + 22. Let k be h(6). Solve k*a + 20 = -a for a.

-4

Let i be (0/((-3)/(-1)))/(-1). Suppose 5*k - 3*o = 9, i*k = -4*k - 2*o + 16. Solve 2 + k = v for v.

5

Let p(h) = -3*h3 + 12*h2 + 6*h - 26. Let a(k) = 2*k3 - 8*k2 - 4*k + 17. Let d(b) = -8*a(b) - 5*p(b). Let x be d(4). Solve t - 5 = x*t for t.

-5

Let v(f) = 2*f - 1. Let n be v(2). Suppose 2*u = -2*z + 16, n = -5*u + 3*z + 11. Let b be 0 - 1 - 72/(-3). Solve 3 = u*r + b for r.

-5

Let d be (-1)/4 - 1413/(-36). Solve -5*a = -d + 14 for a.

5

Let v = -65 - -69. Solve v*w - 6 = -26 for w.

-5

Let z be (-133)/(-4) - (-6)/8. Suppose -4*q = -z + 10. Let f = 8 - q. Solve f*t = -9 - 1 for t.

-5

Let q(p) = 3*p - 4. Let a(m) = m. Let v(g) = g - 8. Let f be v(6). Let n(w) = f*a(w) + q(w). Let u be n(6). Solve k + 12 = -u*k for k.

-4

Let b be -10*(-2 - (1 - 1)). Suppose 5*y - b = 0, 2*l + 28 = y + 4*y. Let v = l + 4. Solve 20 = 4*h - v for h.

5

Let n = -11 - -15. Solve n*s = -0*s for s.

0