Suppose 5*x + y = 15, -2*y - 10 = -5*x - 4*y. Let s(w) = 2*w - 4. Let u = -4 - -9. Let r be s(u). Solve 2*i = x*i - r for i.

Suppose -f = f. Let w = 32 - 12. Suppose -5*s + 0*n - n = -4, -4*s - 5*n = -w. Solve -2*u - 2 + s = f for u.

-1

Let w(u) = -u3 - 6*u2 + u + 6. Let z be w(-6). Let x be 6*(²⁄₄ + z). Let c(h) = 2*h**2 + 4*h + 3. Let k be c(-1). Solve -x*p = -10 + k for p.

3

Let r be ⁶⁄₂₁ + ⁷⁶⁄₂₈. Let n be (1 - (-6)/(-4))*-4. Suppose -5*b + 5 = -0. Solve n*q + b = r for q.

1

Let v = 81 - 71. Solve v*a = 6*a + 8 for a.

2

Let x(p) = 4*p3 - p2 - p + 1. Let b be x(1). Suppose 0 = 5*f - b*f. Solve 0 = 5*n - f*n + 15 for n.

-3

Let t be (-2)/(-6) + (-22)/(-6). Suppose 0 = -z - 2*j - 4, 28 = t*z - 3*j. Suppose 0*x = z*x. Solve 0 = -x*h - 5*h + 25 for h.

5

Let v = 11 - 9. Suppose -4*b + v = -2*b. Solve 2 = a - b for a.

3

Let r(v) = v - 9. Let t be r(8). Let j be -8*(t/(-2) + -1). Solve -5 = j*c + 11 for c.

-4

Let h(u) = -u**3 - u - 1. Let x be h(-1). Let j = x + 3. Suppose -j*r = -8*r. Solve r*z + 12 = 4*z for z.

3

Let a(z) = -6 + 9*z - 3*z2 + 1 + 2*z2 - 2. Let f be a(8). Solve y = -4 - f for y.

-5