YES
Input TRS:
      1: a____(__(X,Y),Z) -> a____(mark(X),a____(mark(Y),mark(Z)))
      2: a____(X,nil()) -> mark(X)
      3: a____(nil(),X) -> mark(X)
      4: a__and(tt(),X) -> mark(X)
      5: a__isList(V) -> a__isNeList(V)
      6: a__isList(nil()) -> tt()
      7: a__isList(__(V1,V2)) -> a__and(a__isList(V1),isList(V2))
      8: a__isNeList(V) -> a__isQid(V)
      9: a__isNeList(__(V1,V2)) -> a__and(a__isList(V1),isNeList(V2))
      10: a__isNeList(__(V1,V2)) -> a__and(a__isNeList(V1),isList(V2))
      11: a__isNePal(V) -> a__isQid(V)
      12: a__isNePal(__(I,__(P,I))) -> a__and(a__isQid(I),isPal(P))
      13: a__isPal(V) -> a__isNePal(V)
      14: a__isPal(nil()) -> tt()
      15: a__isQid(a()) -> tt()
      16: a__isQid(e()) -> tt()
      17: a__isQid(i()) -> tt()
      18: a__isQid(o()) -> tt()
      19: a__isQid(u()) -> tt()
      20: mark(__(X1,X2)) -> a____(mark(X1),mark(X2))
      21: mark(and(X1,X2)) -> a__and(mark(X1),X2)
      22: mark(isList(X)) -> a__isList(X)
      23: mark(isNeList(X)) -> a__isNeList(X)
      24: mark(isQid(X)) -> a__isQid(X)
      25: mark(isNePal(X)) -> a__isNePal(X)
      26: mark(isPal(X)) -> a__isPal(X)
      27: mark(nil()) -> nil()
      28: mark(tt()) -> tt()
      29: mark(a()) -> a()
      30: mark(e()) -> e()
      31: mark(i()) -> i()
      32: mark(o()) -> o()
      33: mark(u()) -> u()
      34: a____(X1,X2) -> __(X1,X2)
      35: a__and(X1,X2) -> and(X1,X2)
      36: a__isList(X) -> isList(X)
      37: a__isNeList(X) -> isNeList(X)
      38: a__isQid(X) -> isQid(X)
      39: a__isNePal(X) -> isNePal(X)
      40: a__isPal(X) -> isPal(X)
Number of strict rules: 40
Direct POLO(bPol) ... removes: 18 4 15 8 3 16 19 17 5 10 7 14 12 11 9 13 6 2
      a 	w: 7632
      isNeList	w: 2 * x1 + 4
      isPal	w: 2 * x1 + 3
      u 	w: 13508
      and	w: x1 + x2 + 3
      isNePal	w: 2 * x1 + 2
      isQid	w: x1 + 1
      a____	w: x1 + x2 + 29409
      a__isList	w: 2 * x1 + 6
      a__isNeList	w: 2 * x1 + 4
      o 	w: 24391
      isList	w: 2 * x1 + 6
      nil	w: 1
      mark	w: x1
      a__isNePal	w: 2 * x1 + 2
      i 	w: 11652
      e 	w: 12282
      a__isPal	w: 2 * x1 + 3
      tt	w: 1
      a__isQid	w: x1 + 1
      a__and	w: x1 + x2 + 3
      __	w: x1 + x2 + 29409
Number of strict rules: 22
Direct POLO(bPol) ... removes: 1
      a 	w: 1
      isNeList	w: 2 * x1 + 1
      isPal	w: 2 * x1 + 5601
      u 	w: 1
      and	w: x1 + x2 + 48675
      isNePal	w: 2 * x1 + 5600
      isQid	w: x1 + 1
      a____	w: 2 * x1 + x2 + 24339
      a__isList	w: 2 * x1 + 1
      a__isNeList	w: 2 * x1 + 1
      o 	w: 24773
      isList	w: 2 * x1 + 1
      nil	w: 13214
      mark	w: x1
      a__isNePal	w: 2 * x1 + 5600
      i 	w: 14098
      e 	w: 27857
      a__isPal	w: 2 * x1 + 5601
      tt	w: 1
      a__isQid	w: x1 + 1
      a__and	w: x1 + x2 + 48675
      __	w: 2 * x1 + x2 + 24339
Number of strict rules: 21
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
     #1: #mark(isQid(X)) -> #a__isQid(X)
     #2: #mark(isNeList(X)) -> #a__isNeList(X)
     #3: #mark(isNePal(X)) -> #a__isNePal(X)
     #4: #mark(__(X1,X2)) -> #a____(mark(X1),mark(X2))
     #5: #mark(__(X1,X2)) -> #mark(X1)
     #6: #mark(__(X1,X2)) -> #mark(X2)
     #7: #mark(isList(X)) -> #a__isList(X)
     #8: #mark(isPal(X)) -> #a__isPal(X)
     #9: #mark(and(X1,X2)) -> #a__and(mark(X1),X2)
     #10: #mark(and(X1,X2)) -> #mark(X1)
Number of SCCs: 1, DPs: 3
  SCC { #5 #6 #10 }
POLO(Sum)... succeeded.
      a 	w: 0
      #a__isNePal	w: 0
      #a__isNeList	w: 0
      isNeList	w: 0
      isPal	w: 0
      u 	w: 0
      and	w: x1 + 1
      #a__isPal	w: 0
      isNePal	w: 0
      #a____	w: 0
      isQid	w: 0
      a____	w: 0
      a__isList	w: 0
      a__isNeList	w: 0
      o 	w: 0
      #mark	w: x1
      isList	w: 0
      #a__and	w: 0
      nil	w: 0
      #a__isQid	w: 0
      mark	w: 0
      a__isNePal	w: 0
      i 	w: 0
      e 	w: 0
      a__isPal	w: 0
      tt	w: 0
      a__isQid	w: 0
      #a__isList	w: 0
      a__and	w: 0
      __	w: x1 + x2 + 1
    USABLE RULES: { }
    Removed DPs: #5 #6 #10
Number of SCCs: 0, DPs: 0