Let y(x) = x3 + 7*x2 + 7*x + 6. Let u be y(-6). Let n be ((-17)/34)/(2/(-20)). Solve 0 = -n*l - u*l for l.

0

Let g be (1 - (-1 - -4))*-1. Suppose 5*c - 11 = -1. Suppose c = -4*p + 14. Solve -p*u + g + 1 = 0 for u.

1

Let o(n) = -57*n3 - 2*n + 58*n3 + n + 4*n2 + 0*n. Let q be o(-3). Let p(t) = t2 + t. Let v be p(0). Solve 4*s - q = -v*s for s.

3

Let w(z) = 2*z**2 + 4*z + 2. Suppose 5*v - 21 = n, 5*v - 10 = 3*v. Suppose 5 = -3*f + s, -10 = -0*f + n*f + 2*s. Let m be w(f). Solve -k - m*k = 6 for k.

-2

Suppose -r + c = -35, 4*c + 72 = 5*r - 3*r. Suppose -5*j + 4*g = r, -5*j - g = 45 - 16. Let b(p) = -p**2 - 6*p + 4. Let s be b(j). Solve -z - s = -3 for z.

-1

Suppose 3*m = 15, 0 = 3*k - 3*m - 7 + 22. Solve 2*f = -k*f - 6 for f.

-3

Suppose -10 - 7 = 4*k - 5*o, -4*o + 20 = 0. Solve -k*d + 4*d - 2 = 0 for d.

1

Suppose -d - 12 = -4*d. Let a be (-12)/d*2/(-3). Solve -2*y + 2 = -a for y.

2

Suppose -4 = -w - w. Let n(x) = 7*x**2 + 3*x - 3. Let o be n(2). Suppose -5*s = 25, s + o = 5*u - 24. Solve -u = -w*c - 3*c for c.

2

Let b be (-4)/8 + (-14)/(-4). Let s = b - 1. Suppose -9 = -2*m - 5*q, 5*q - 5 = -m + s*q. Solve -m - 6 = 4*f for f.

-2