#include <bits/stdc++.h>
using namespace std;
#define  int long long
signed main(){
    int T;
    cin>>T;
    while(T--){
       int x;
       cin>>x;
       if(x == 1 || x == 4 || x==7 || x == 9 || x == 10 || x == 12 || x == 13 || x >= 15){
        puts("Yes");
    }
    else{
        puts("No");
    }   
    }
    return 0;
}