YES

TRS:

  minus(X,0()) -> X
  minus(s(X),s(Y)) -> p(minus(X,Y))
  p(s(X)) -> X
  div(0(),s(Y)) -> 0()
  div(s(X),s(Y)) -> s(div(minus(X,Y),s(Y)))

max/plus interpretations on N:

  minus_A(x1,x2) = max{1, x1, 1}
  minus#_A(x1,x2) = max{0, 0, 0}
  0_A = 3
  0#_A = 2
  s_A(x1) = max{8, 6 + x1}
  s#_A(x1) = max{6, 0}
  p_A(x1) = max{7, 6 + x1}
  p#_A(x1) = max{0, 0}
  div_A(x1,x2) = max{2, 1 + x1, 2}
  div#_A(x1,x2) = max{1, -2 + x1, 3}

precedence:

  div > minus = s > 0 = p