#include <bits/stdc++.h>
using namespace std;
int main() {
  int t;
  scanf("%d", &t);
  while (t--) {
    long long x;
    scanf("%I64d", &x);
    bool ch = false;
    for (int i = 1; i <= 6; i++) {
      long long n = x - 21 + i;
      if (n >= 0 && n % 14 == 0) {
        ch = 1;
      }
    }
    printf("%s\n", ch ? "YES" : "NO");
  }
}
