YES
LCTRS
  Theories
    Core, Ints
  Signature
    f: Int -> Int
  Rules
    f(?5) -> f(-(0, ?5)) [>(?5, 0)]
Confluent by Orthogonality with proof:
  no critical pairs

Elapsed Time:  55.66 ms