这样应该是性能拉满了

from sys import stdin,stdout
input()
stdout.write("\n".join(["No" if i in {"2", "3", "5", "6", "8", "11", "14"} else "Yes" for i in stdin.read().split()]))