Let i(z) = 3*z**2 + 1. Let y be i(1). Suppose -y*s + 2*s = 0. Suppose a - 3 + 1 = s. Solve -p + 0 = a for p.

Let v(z) = z3 + 7*z2 - 9*z - 2. Let b be v(-8). Suppose 0 = r - 3*r - 3*u - 12, -5*u - 20 = -r. Suppose -a + 0 + 15 = r. Solve -b*f - a = -f for f.

-3

Suppose -4*y = 2*a - 7*y + 50, 22 = -a + 3*y. Let u = 48 + a. Suppose 2*x = 4 + u. Solve 0 = -3*j - j - x for j.

-3

Suppose -2*g - 6 + 2 = 0. Let x(o) = o3 + 4*o2 + 3*o. Let d be x(g). Suppose -d*b = -7*b + 15. Solve -2*r - r = b for r.

-1

Let s(g) = -g3 + 9*g2 + 7. Let r be s(9). Let q = 14 - r. Solve -q = a - 3 for a.

-4

Suppose 2 = -2*s - 4*a + 38, -38 = -3*s - 2*a. Solve 0*m + 5*m + s = 0 for m.

-2

Let c(v) = 2*v3 - 5*v2 + 5*v - 1. Let h be c(2). Solve -5*r - 20 = -h for r.

-3

Suppose 11 = -d + 14. Solve -2*k = k - d for k.

1

Let w(k) = 2*k**2 - k - 3. Let h be w(4). Let i = -9 + h. Let m(z) = -z + 1. Let t be m(-8). Solve 5*y = -i - t for y.

-5

Let b(i) = -i3 - 9*i2 - 8*i + 4. Let z be b(-8). Solve -2*v = -v - z for v.

4

Suppose -5*j = -4*d, 0 = j - 2*d - d + 11. Solve 0*u - 12 = -j*u for u.

3