Let q(y) = 2*y**2 - 4*y + 3. Let i(x) = -x**2 + 10*x - 7. Let b be i(9). Let n(d) = -d**2 + 3*d. Let m be n(b). Let k be q(m). Solve s = -k + 2 for s.

Suppose 3*s = 7*s - 84. Let v = s + -1. Solve 0 = -4*u - v for u.

-5

Let i(n) = n + 17. Let f be i(-11). Let k(g) = 4*g - 6. Let b be k(f). Solve 6 = 4*s + b for s.

-3

Let w(j) = j2 - 3*j + 1. Let o be w(-3). Let t = -1 - -6. Let b(l) = l2 - l + 4. Let r be b(0). Solve r = t*a + o for a.

-3

Let j be (84/(-70))/(6/(-20)). Let u(x) = x**3 + 2*x - 1. Let s be u(1). Let f be (s - (-6)/(-8))*j. Solve 5 = -0*q + f*q for q.

1

Let n = 32 + -22. Solve 6*s + n = s for s.

-2

Let b(l) = 4*l - 24. Let k be b(7). Solve -5 - 3 = k*f for f.

-2

Let d(z) = 2*z - 7. Suppose 0 = 4*o - 0*o - 28. Let y be d(o). Solve 10 = 2*f - y*f for f.

-2

Suppose -4*n - 5*i = -23, 0 = 2*n + 2*i - 3*i - 1. Solve 0 = -n*j + 3*j + 1 for j.

-1

Let l be (-3 + -1)*(-10)/4. Solve -x + l = x for x.

5

Suppose 0*g = 5*g. Suppose 12 = -2*s + 4*u, g*u - 10 = -5*s + 2*u. Suppose -s*b + 14 = -2. Solve c + b*c + 25 = 0 for c.

-5