#include <bits/stdc++.h>
using namespace std;
int main() {
    long long x;
    cin >> x;
    while (cin >> x)
        cout << (x == 2 || x == 3 || x == 5 || x == 6 || x == 8 || x == 11 || x == 14 ? "No" : "Yes") << endl;
}