YES
LCTRS
  Theories
    Core, Ints
  Signature
    minus: (Int, Int) -> Int
    quot: (Int, Int) -> Int
  Rules
    minus(?23, ?24) -> ?23 [?24 = 0, >=(?23, 0)]
    minus(?25, ?26) -> -(minus(?25, ?26), 1) [and(>(?26, 0), >=(?25, 0))]
    quot(?27, ?28) -> +(1, quot(minus(-(?27, 1), -(?28, 1)), ?28)) [and(>(?27, 0), >(?28, 0))]
    quot(?29, ?30) -> 0 [?29 = 0, >(?30, 0)]
Confluent by Strongly Closedness with proof:
  no critical pairs

Elapsed Time:  46.80 ms