#include <bits/stdc++.h>
using namespace std;
const int mod = 1e6;
int l, n, m;
int ans;
int main() {
  int t, f;
  scanf("%d", &t);
  while (t--) {
    f = 0;
    scanf("%d", &n);
    for (int i = 0; i < 105; i++) {
      for (int j = 0; j < 105; j++) {
        if (3 * i + 7 * j == n) {
          f = 1;
          break;
        }
      }
      if (f) break;
    }
    if (f)
      puts("YES");
    else
      puts("NO");
  }
  return 0;
}
