#include <stdio.h>
#include<math.h>
int main() {
int t;
scanf("%d",&t);
while(t--){
long long n;
scanf("%lld",&n);
if(n==2||n==3||n==5||n==6||n==8||n==11||n==14)printf("No\n");
else printf("Yes\n");
}
return 0;
}

京公网安备 11010502036488号