Let v(x) = -x**2 - 11*x + 17. Let z be v(-12). Let p be z/(-10)*-2*1. Solve 0 = 4*f + p - 13 for f.

Suppose 8 = 2*d + 2*d. Solve -c + 3 = -d*c for c.

-3

Let d(j) = j3 + 15*j2 + 2*j + 34. Let u be d(-15). Solve 0 = u*z - 1 - 3 for z.

1

Let y(w) = w3 - 12*w2 + 12*w - 7. Let p be y(11). Solve -g + p = 3 for g.

1

Let m = -7 - -14. Suppose 0 = 2*t - m*t. Suppose t = -w - 9*r + 4*r - 3, -5*w + 15 = -5*r. Solve -w*p + 4*p - 6 = 0 for p.

3

Let k = 0 - 2. Let a be (k/(-6))/((-2)/6). Let q be 4 + (-1)/(-1)*a. Solve -q*z - 2 = 1 for z.

-1

Let u be ⁹⁄₆*(-2)/3. Let y = 1 - u. Solve y*f + 8 + 2 = 0 for f.

-5

Let l be ⁹⁄₆*⁸⁄₆. Suppose -q - l = -4. Let c = q + -1. Solve -2*d = c - 3 for d.

1

Let n be ((-24)/(-15))/(1/(-10)*-4). Solve -n*a + 13 = 5 for a.

2

Let q be -2*(2 - 3) - -1. Let r(o) be the third derivative of -o⁵⁄₆₀ - o⁴⁄₂₄ - 4*o**2. Let z be r(-1). Solve 15 = -z*n - q*n for n.

-5

Suppose 0 = -4*l + 11 + 5. Let d = -4 + l. Suppose -3*j + 7*j = d. Solve -t + j*t = 1 for t.

-1