YES
TRS:
 {   quot(x, 0(), s(z)) -> s(quot(x, s(z), s(z))),
  quot(0(), s(y), s(z)) -> 0(),
    quot(s(x), s(y), z) -> quot(x, y, z)}
 DP:
  Strict:
   { quot#(x, 0(), s(z)) -> quot#(x, s(z), s(z)),
    quot#(s(x), s(y), z) -> quot#(x, y, z)}
  Weak:
  {   quot(x, 0(), s(z)) -> s(quot(x, s(z), s(z))),
   quot(0(), s(y), s(z)) -> 0(),
     quot(s(x), s(y), z) -> quot(x, y, z)}
  EDG:
   {(quot#(x, 0(), s(z)) -> quot#(x, s(z), s(z)), quot#(s(x), s(y), z) -> quot#(x, y, z))
    (quot#(s(x), s(y), z) -> quot#(x, y, z), quot#(x, 0(), s(z)) -> quot#(x, s(z), s(z)))
    (quot#(s(x), s(y), z) -> quot#(x, y, z), quot#(s(x), s(y), z) -> quot#(x, y, z))}
   SCCS:
    Scc:
     { quot#(x, 0(), s(z)) -> quot#(x, s(z), s(z)),
      quot#(s(x), s(y), z) -> quot#(x, y, z)}
    SCC:
     Strict:
      { quot#(x, 0(), s(z)) -> quot#(x, s(z), s(z)),
       quot#(s(x), s(y), z) -> quot#(x, y, z)}
     Weak:
     {   quot(x, 0(), s(z)) -> s(quot(x, s(z), s(z))),
      quot(0(), s(y), s(z)) -> 0(),
        quot(s(x), s(y), z) -> quot(x, y, z)}
     SPSC:
      Simple Projection:
       pi(quot#) = 0
      Strict:
       {quot#(x, 0(), s(z)) -> quot#(x, s(z), s(z))}
      EDG:
       {}
       SCCS:
        
        Qed