Let r(z) = 9*z2 + z - 17. Let x(k) = -5*k2 - k + 9. Let q(b) = -6*r(b) - 11*x(b). Let t be q(-5). Solve i = 2*i + t for i.

-3

Let i(d) be the first derivative of -d42 + d33 + d**22 + d - 1. Let b be i(-1). Solve -11 - 4 = -b*o for o.

5

Let i(a) = -4*a + 6. Let h(m) = 21*m - 30. Let t(v) = 2*h(v) + 11*i(v). Let s be t(4). Let g be -2 - -5*s/(-1). Solve 4*q - g = 8*q for q.

-2

Let x = 1 + 1. Let s be (42 - x)/2. Suppose 0*p = -4*r + 4*p + 28, -5 = -5*p. Solve r = -2*g - s for g.

-4

Let p(d) = -d2 + 7*d + 5. Let f be 4/(-6)*42/(-4). Let t be p(f). Let o(z) = -z2 - 11*z + 7. Let x be o(-11). Solve t*u - 3 = x for u.

2

Let l(x) = -x**2 + 9*x. Let u be l(9). Suppose 2*i = f - 6, -2*f - 5*i - 6 + u = 0. Suppose 0 + f = q. Solve -2*t + q = -3*t for t.

-2

Suppose 20 = 5*h + m + 3*m, h = -4*m + 4. Let t = h - 4. Solve t + 16 = 4*g for g.

4

Let o be -3 - (1 + -17 + -1). Suppose 4*g - 14 = -2. Solve -g*u = -1 - o for u.

5

Let d(h) = 14*h + 26. Let c(p) = 9*p + 17. Let u(o) = -8*c(o) + 5*d(o). Let i be u(-4). Solve -i*v + 4 = 2*v for v.

1

Let n = -19 - -21. Solve -2*v = n*v + 20 for v.

-5