Move terms to the denominator if they're clearly negative powers

[Mercerenies]

In FactorSorter, if a term has a clearly negative power (included in this heuristic-based category are literal negative numbers, as well as any expression whose head is the unary negation), then move it to the denominator.

[Mercerenies]

Closed by 8036229