YES

TRS:

  minus(0(),Y) -> 0()
  minus(s(X),s(Y)) -> minus(X,Y)
  geq(X,0()) -> true()
  geq(0(),s(Y)) -> false()
  geq(s(X),s(Y)) -> geq(X,Y)
  div(0(),s(Y)) -> 0()
  div(s(X),s(Y)) -> if(geq(X,Y),s(div(minus(X,Y),s(Y))),0())
  if(true(),X,Y) -> X
  if(false(),X,Y) -> Y

max/plus interpretations on N:

  minus_A(x1,x2) = max{5, -3 + x1, -3}
  minus#_A(x1,x2) = max{4, 2 + x1, 0}
  0_A = 5
  0#_A = 6
  s_A(x1) = max{6, x1}
  s#_A(x1) = max{2, 4}
  geq_A(x1,x2) = max{8, 1, 1 + x2}
  geq#_A(x1,x2) = max{6, 9, 1}
  true_A = 7
  true#_A = 0
  false_A = 8
  false#_A = 3
  div_A(x1,x2) = max{3, 1, 2 + x2}
  div#_A(x1,x2) = max{5, 3 + x1, 1}
  if_A(x1,x2,x3) = max{4, 4, x2, 3 + x3}
  if#_A(x1,x2,x3) = max{9, 0, 6, 9}

precedence:

  div > 0 = geq = if > minus = s = true > false