YES
Input TRS:
      1: active(__(__(X,Y),Z)) -> mark(__(X,__(Y,Z)))
      2: active(__(X,nil())) -> mark(X)
      3: active(__(nil(),X)) -> mark(X)
      4: active(and(tt(),X)) -> mark(X)
      5: active(isList(V)) -> mark(isNeList(V))
      6: active(isList(nil())) -> mark(tt())
      7: active(isList(__(V1,V2))) -> mark(and(isList(V1),isList(V2)))
      8: active(isNeList(V)) -> mark(isQid(V))
      9: active(isNeList(__(V1,V2))) -> mark(and(isList(V1),isNeList(V2)))
      10: active(isNeList(__(V1,V2))) -> mark(and(isNeList(V1),isList(V2)))
      11: active(isNePal(V)) -> mark(isQid(V))
      12: active(isNePal(__(I,__(P,I)))) -> mark(and(isQid(I),isPal(P)))
      13: active(isPal(V)) -> mark(isNePal(V))
      14: active(isPal(nil())) -> mark(tt())
      15: active(isQid(a())) -> mark(tt())
      16: active(isQid(e())) -> mark(tt())
      17: active(isQid(i())) -> mark(tt())
      18: active(isQid(o())) -> mark(tt())
      19: active(isQid(u())) -> mark(tt())
      20: mark(__(X1,X2)) -> active(__(mark(X1),mark(X2)))
      21: mark(nil()) -> active(nil())
      22: mark(and(X1,X2)) -> active(and(mark(X1),X2))
      23: mark(tt()) -> active(tt())
      24: mark(isList(X)) -> active(isList(X))
      25: mark(isNeList(X)) -> active(isNeList(X))
      26: mark(isQid(X)) -> active(isQid(X))
      27: mark(isNePal(X)) -> active(isNePal(X))
      28: mark(isPal(X)) -> active(isPal(X))
      29: mark(a()) -> active(a())
      30: mark(e()) -> active(e())
      31: mark(i()) -> active(i())
      32: mark(o()) -> active(o())
      33: mark(u()) -> active(u())
      34: __(mark(X1),X2) -> __(X1,X2)
      35: __(X1,mark(X2)) -> __(X1,X2)
      36: __(active(X1),X2) -> __(X1,X2)
      37: __(X1,active(X2)) -> __(X1,X2)
      38: and(mark(X1),X2) -> and(X1,X2)
      39: and(X1,mark(X2)) -> and(X1,X2)
      40: and(active(X1),X2) -> and(X1,X2)
      41: and(X1,active(X2)) -> and(X1,X2)
      42: isList(mark(X)) -> isList(X)
      43: isList(active(X)) -> isList(X)
      44: isNeList(mark(X)) -> isNeList(X)
      45: isNeList(active(X)) -> isNeList(X)
      46: isQid(mark(X)) -> isQid(X)
      47: isQid(active(X)) -> isQid(X)
      48: isNePal(mark(X)) -> isNePal(X)
      49: isNePal(active(X)) -> isNePal(X)
      50: isPal(mark(X)) -> isPal(X)
      51: isPal(active(X)) -> isPal(X)
Number of strict rules: 51
Direct POLO(bPol) ... removes: 18 4 15 8 3 16 19 17 5 10 7 14 12 11 9 13 6 2
      a 	w: 5599
      isNeList	w: 2 * x1 + 49548
      isPal	w: 2 * x1 + 57952
      u 	w: 4684
      and	w: x1 + x2 + 26428
      isNePal	w: 2 * x1 + 57951
      isQid	w: 2 * x1 + 49546
      o 	w: 24338
      isList	w: 2 * x1 + 49550
      nil	w: 14098
      mark	w: x1
      i 	w: 15261
      e 	w: 16704
      active	w: x1
      tt	w: 2
      __	w: x1 + x2 + 37990
Number of strict rules: 33
Direct POLO(bPol) ... removes: 1
      a 	w: 1
      isNeList	w: x1 + 1
      isPal	w: 2 * x1 + 1
      u 	w: 43731
      and	w: 2 * x1 + x2 + 1
      isNePal	w: 2 * x1 + 1
      isQid	w: x1 + 1
      o 	w: 25532
      isList	w: x1 + 1
      nil	w: 1
      mark	w: x1
      i 	w: 1
      e 	w: 1
      active	w: x1
      tt	w: 1
      __	w: 2 * x1 + x2 + 3
Number of strict rules: 32
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
     #1: #isList(active(X)) -> #isList(X)
     #2: #__(X1,mark(X2)) -> #__(X1,X2)
     #3: #isQid(mark(X)) -> #isQid(X)
     #4: #isList(mark(X)) -> #isList(X)
     #5: #and(X1,active(X2)) -> #and(X1,X2)
     #6: #__(X1,active(X2)) -> #__(X1,X2)
     #7: #isQid(active(X)) -> #isQid(X)
     #8: #isNePal(mark(X)) -> #isNePal(X)
     #9: #and(mark(X1),X2) -> #and(X1,X2)
     #10: #and(active(X1),X2) -> #and(X1,X2)
     #11: #isPal(active(X)) -> #isPal(X)
     #12: #isNeList(active(X)) -> #isNeList(X)
     #13: #isNePal(active(X)) -> #isNePal(X)
     #14: #mark(__(X1,X2)) -> #__(mark(X1),mark(X2))
     #15: #mark(__(X1,X2)) -> #mark(X1)
     #16: #mark(__(X1,X2)) -> #mark(X2)
     #17: #and(X1,mark(X2)) -> #and(X1,X2)
     #18: #isNeList(mark(X)) -> #isNeList(X)
     #19: #mark(and(X1,X2)) -> #and(mark(X1),X2)
     #20: #mark(and(X1,X2)) -> #mark(X1)
     #21: #__(mark(X1),X2) -> #__(X1,X2)
     #22: #__(active(X1),X2) -> #__(X1,X2)
     #23: #isPal(mark(X)) -> #isPal(X)
Number of SCCs: 8, DPs: 21
  SCC { #12 #18 }
POLO(Sum)... succeeded.
      a 	w: 0
      isNeList	w: 0
      isPal	w: 0
      u 	w: 0
      and	w: 0
      #isNeList	w: x1
      #__	w: 0
      isNePal	w: 0
      #isQid	w: 0
      #isPal	w: 0
      isQid	w: 0
      o 	w: 0
      #mark	w: 0
      isList	w: 0
      #isNePal	w: 0
      nil	w: 0
      mark	w: x1 + 1
      #isList	w: 0
      i 	w: 0
      e 	w: 0
      active	w: x1 + 1
      tt	w: 0
      #and	w: 0
      __	w: 0
    USABLE RULES: { }
    Removed DPs: #12 #18
Number of SCCs: 7, DPs: 19
  SCC { #1 #4 }
POLO(Sum)... succeeded.
      a 	w: 0
      isNeList	w: 0
      isPal	w: 0
      u 	w: 0
      and	w: 0
      #isNeList	w: 0
      #__	w: 0
      isNePal	w: 0
      #isQid	w: 0
      #isPal	w: 0
      isQid	w: 0
      o 	w: 0
      #mark	w: 0
      isList	w: 0
      #isNePal	w: 0
      nil	w: 0
      mark	w: x1 + 1
      #isList	w: x1
      i 	w: 0
      e 	w: 0
      active	w: x1 + 1
      tt	w: 0
      #and	w: 0
      __	w: 0
    USABLE RULES: { }
    Removed DPs: #1 #4
Number of SCCs: 6, DPs: 17
  SCC { #11 #23 }
POLO(Sum)... succeeded.
      a 	w: 0
      isNeList	w: 0
      isPal	w: 0
      u 	w: 0
      and	w: 0
      #isNeList	w: 0
      #__	w: 0
      isNePal	w: 0
      #isQid	w: 0
      #isPal	w: x1
      isQid	w: 0
      o 	w: 0
      #mark	w: 0
      isList	w: 0
      #isNePal	w: 0
      nil	w: 0
      mark	w: x1 + 1
      #isList	w: 0
      i 	w: 0
      e 	w: 0
      active	w: x1 + 1
      tt	w: 0
      #and	w: 0
      __	w: 0
    USABLE RULES: { }
    Removed DPs: #11 #23
Number of SCCs: 5, DPs: 15
  SCC { #8 #13 }
POLO(Sum)... succeeded.
      a 	w: 0
      isNeList	w: 0
      isPal	w: 0
      u 	w: 0
      and	w: 0
      #isNeList	w: 0
      #__	w: 0
      isNePal	w: 0
      #isQid	w: 0
      #isPal	w: 0
      isQid	w: 0
      o 	w: 0
      #mark	w: 0
      isList	w: 0
      #isNePal	w: x1
      nil	w: 0
      mark	w: x1 + 1
      #isList	w: 0
      i 	w: 0
      e 	w: 0
      active	w: x1 + 1
      tt	w: 0
      #and	w: 0
      __	w: 0
    USABLE RULES: { }
    Removed DPs: #8 #13
Number of SCCs: 4, DPs: 13
  SCC { #3 #7 }
POLO(Sum)... succeeded.
      a 	w: 0
      isNeList	w: 0
      isPal	w: 0
      u 	w: 0
      and	w: 0
      #isNeList	w: 0
      #__	w: 0
      isNePal	w: 0
      #isQid	w: x1
      #isPal	w: 0
      isQid	w: 0
      o 	w: 0
      #mark	w: 0
      isList	w: 0
      #isNePal	w: 0
      nil	w: 0
      mark	w: x1 + 1
      #isList	w: 0
      i 	w: 0
      e 	w: 0
      active	w: x1 + 1
      tt	w: 0
      #and	w: 0
      __	w: 0
    USABLE RULES: { }
    Removed DPs: #3 #7
Number of SCCs: 3, DPs: 11
  SCC { #15 #16 #20 }
POLO(Sum)... succeeded.
      a 	w: 0
      isNeList	w: 0
      isPal	w: 0
      u 	w: 0
      and	w: x1 + 1
      #isNeList	w: 0
      #__	w: 0
      isNePal	w: 0
      #isQid	w: 0
      #isPal	w: 0
      isQid	w: 0
      o 	w: 0
      #mark	w: x1
      isList	w: 0
      #isNePal	w: 0
      nil	w: 0
      mark	w: 1
      #isList	w: 0
      i 	w: 0
      e 	w: 0
      active	w: 1
      tt	w: 0
      #and	w: 0
      __	w: x1 + x2 + 1
    USABLE RULES: { }
    Removed DPs: #15 #16 #20
Number of SCCs: 2, DPs: 8
  SCC { #2 #6 #21 #22 }
POLO(Sum)... succeeded.
      a 	w: 0
      isNeList	w: 0
      isPal	w: 0
      u 	w: 0
      and	w: 1
      #isNeList	w: 0
      #__	w: x1 + x2
      isNePal	w: 0
      #isQid	w: 0
      #isPal	w: 0
      isQid	w: 0
      o 	w: 0
      #mark	w: 0
      isList	w: 0
      #isNePal	w: 0
      nil	w: 0
      mark	w: x1 + 1
      #isList	w: 0
      i 	w: 0
      e 	w: 0
      active	w: x1 + 1
      tt	w: 0
      #and	w: 0
      __	w: 1
    USABLE RULES: { }
    Removed DPs: #2 #6 #21 #22
Number of SCCs: 1, DPs: 4
  SCC { #5 #9 #10 #17 }
POLO(Sum)... succeeded.
      a 	w: 0
      isNeList	w: 0
      isPal	w: 0
      u 	w: 0
      and	w: 1
      #isNeList	w: 0
      #__	w: 0
      isNePal	w: 0
      #isQid	w: 0
      #isPal	w: 0
      isQid	w: 0
      o 	w: 0
      #mark	w: 0
      isList	w: 0
      #isNePal	w: 0
      nil	w: 0
      mark	w: x1 + 1
      #isList	w: 0
      i 	w: 0
      e 	w: 0
      active	w: x1 + 1
      tt	w: 0
      #and	w: x2
      __	w: 1
    USABLE RULES: { }
    Removed DPs: #5 #17
Number of SCCs: 1, DPs: 2
  SCC { #9 #10 }
POLO(Sum)... succeeded.
      a 	w: 0
      isNeList	w: 0
      isPal	w: 0
      u 	w: 0
      and	w: 1
      #isNeList	w: 0
      #__	w: 0
      isNePal	w: 0
      #isQid	w: 0
      #isPal	w: 0
      isQid	w: 0
      o 	w: 0
      #mark	w: 0
      isList	w: 0
      #isNePal	w: 0
      nil	w: 0
      mark	w: x1 + 1
      #isList	w: 0
      i 	w: 0
      e 	w: 0
      active	w: x1 + 1
      tt	w: 0
      #and	w: x1
      __	w: 1
    USABLE RULES: { }
    Removed DPs: #9 #10
Number of SCCs: 0, DPs: 0