YES

Problem:
 filter(cons(X),0(),M) -> cons(0())
 filter(cons(X),s(N),M) -> cons(X)
 sieve(cons(0())) -> cons(0())
 sieve(cons(s(N))) -> cons(s(N))
 nats(N) -> cons(N)
 zprimes() -> sieve(nats(s(s(0()))))

Proof:
 DP Processor:
  DPs:
   zprimes#() -> nats#(s(s(0())))
   zprimes#() -> sieve#(nats(s(s(0()))))
  TRS:
   filter(cons(X),0(),M) -> cons(0())
   filter(cons(X),s(N),M) -> cons(X)
   sieve(cons(0())) -> cons(0())
   sieve(cons(s(N))) -> cons(s(N))
   nats(N) -> cons(N)
   zprimes() -> sieve(nats(s(s(0()))))
  TDG Processor:
   DPs:
    zprimes#() -> nats#(s(s(0())))
    zprimes#() -> sieve#(nats(s(s(0()))))
   TRS:
    filter(cons(X),0(),M) -> cons(0())
    filter(cons(X),s(N),M) -> cons(X)
    sieve(cons(0())) -> cons(0())
    sieve(cons(s(N))) -> cons(s(N))
    nats(N) -> cons(N)
    zprimes() -> sieve(nats(s(s(0()))))
   graph:
    
   Qed