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