Let d(i) = -7*i**2 - 2*i + 3. Let r(v) = -v**3 + v**2 - v. Let g(n) = -d(n) + r(n). Let a be g(8). Solve 8 = -a*u + u for u.

Suppose -6*i - i - 5*i = 0. Solve i = 2*r - 7*r + 15 for r.

3

Let q(n) = -n**2 - 21*n - 16. Let o be q(-20). Solve -3*z + o*z = -4 for z.

-4

Let v(o) = o. Let z be v(3). Suppose -z*f = f + 3*k + 3, 5*f + 2 = -2*k. Solve f = -4*m - 18 + 6 for m.

-3

Let o(t) = t3 - t2 - 2*t + 12. Let n be o(0). Solve -5*b + b = n for b.

-3

Suppose 8*r + 20 = 12*r. Solve 0 = -t - r + 4 for t.

-1

Suppose 8 = -2*h - 2*r + 12, -2*h + 5*r = -18. Solve h = -3*m - m for m.

-1

Let c(i) = -i**2 - 2*i + 3. Let l be c(-3). Suppose 3*q - 4*u = -6 - 4, 2*q + 3*u - 16 = l. Suppose q*h + 8 = 4*h. Solve -10 = h*b - 2 for b.

-2

Let v(p) = 3*p**2 - 3*p. Let t be v(1). Solve -4*x - x + 20 = t for x.

4

Let x be (-4 - -3)*3 - -3. Solve x*u = 3*u + 6 for u.

-2

Suppose -2*h - 3*h = 0. Let r be 6/(h + 1 - -1). Suppose -3*p - 10 = -2*g + 2*p, 2 = -r*g - p. Solve -3*z + 2*z = g for z.

0