//判断数是否=3 + 3 + 3 + 3.......
#include <stdio.h>
typedef long long ll;
int main() {
    int T;
    scanf("%d", &T);

    while(T--){
        ll x;
        scanf("%lld", &x);

        if(x == 2 || x == 3 || x == 5 || x == 6 || x == 8 || x == 11 || x == 14)
            printf("No\n");
        else
            printf("Yes\n");
    }

    return 0;
}