Let s(l) = -2*l**2 + l + 1. Let q be s(-1). Let f be (-2)/(0 + 1/q). Solve 0 = -7*u + f*u for u.

Let o(f) be the second derivative of f⁴⁄₁₂ + 7*f³⁄₆ + 3*f2 + f. Let a(m) = -m2 + 5*m. Let t be a(6). Let v be o(t). Solve 2*c - 9 - 1 = v for c.

5

Let d(k) = 7*k + 23. Let n(h) = 4*h + 12. Let q(g) = 3*d(g) - 5*n(g). Let w(p) = -p**2 + 5*p - 7. Let j be w(5). Let m be q(j). Solve m*t + 0*t = 6 for t.

3

Suppose n = 4*n - 9. Let j = 1 - -1. Suppose -6*y + v = -y - 77, -5*y + 79 = -j*v. Solve 0 = -n*h - 2*h + y for h.

3

Suppose -23 = -3*t + j, 3*t + j - 28 = -3*j. Solve -v = -t + 3 for v.

5

Let l = 38 - 29. Solve 4*k + 7 = -l for k.

-4

Let v(t) = 7*t - 1. Let z be v(1). Let g(f) = f**2 - 6*f + 4. Let d be g(z). Let q = 1 + d. Solve 0 = q*p + 5 for p.

-1

Let c(z) = 6*z - 33. Let s be c(6). Solve -12 = s*h + 3 for h.

-5

Let f be 8/(-84)*-15*7. Suppose 0 = -5*x - 4*m + f + 8, 0 = 3*x + 5*m - 3. Let p = -2 - -4. Solve -h - x = p*h for h.

-2

Let z = 11 - 2. Solve z + 11 = -5*i for i.

-4

Suppose 2*c - 5*c - 3 = 0, 3*u + 2 = -2*c. Solve -2*x + u*x = 0 for x.

0