#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;
}