#include <bits/stdc++.h> using namespace std; #define int long long #define PII pair<int,int> #define endl '\n' int mod = 1000000007; const int N = 2e5 + 5; void solve() { int x; cin >> x; if (x == 2 || x == 3 || x == 5 || x == 6 || x == 8 || x == 11 || x == 14) cout << "No" << endl; else cout << "Yes" << endl; } signed main() { ios::sync_with_stdio, cin.tie(0), cout.tie(0); int t = 1; cin >> t; while (t--) { solve(); } return 0; }