#include <bits/stdc++.h>
int main() {
  int t;
  long long int n, i;
  scanf("%d", &t);
  while (t--) {
    scanf("%I64d", &n);
    int d = n % 14;
    if (!d)
      printf("NO\n");
    else if (n < 15)
      printf("NO\n");
    else if (d > 6)
      printf("NO\n");
    else
      printf("YES\n");
  }
  return 0;
}
