Let k(r) = -r**2 + r + 75. Let u be k(9). Let t = -1 + 3. Suppose t = -3*j + 8. Solve -20 = j*f + u*f for f.

Let f(y) = -y**2 - 5*y - 3. Let a be (-1)/2 + 7/(-2). Let i be f(a). Solve i - 6 = -5*r for r.

1

Suppose 4*i - 6 - 2 = 0. Suppose 8 = i*n - 4*f, -3*f + 1 = -4*n + 7. Solve n = 5*o + 2 + 8 for o.

-2

Let y(j) = -j3 - 7*j2 + 7*j - 5. Let r be y(-8). Let o be ²¹⁄₄ + r/(-12). Solve 0 = -o*a - 9 - 6 for a.

-3

Let n be ⁴⁄₁₈ - ⁴⁄₁₈. Solve n = 5*p - 5 for p.

1

Let v = -9 - -9. Solve 5*t + 9 + 1 = v for t.

-2

Suppose m + 6 = v - m, -2*v + 2*m + 16 = 0. Let n = 10 - v. Solve l + 2 - 1 = n for l.

-1

Suppose 3*k - 70 = -5*d, -2*d + 0*d + 37 = 3*k. Let j(y) = -2*y**2 + 11*y + 10. Let p be j(6). Solve 3*t = -d - p for t.

-5

Suppose 0 = -5*f - 2*c + 20, -4*c + c = 0. Solve f*k + 2 - 22 = 0 for k.

5

Let u = 23 + -21. Solve u*k + 0 = -2 for k.

-1

Let n(q) be the second derivative of q**³⁄₆ + 3*q. Let c be n(0). Solve c = -2*o - 6 for o.

-3