#include <bits/stdc++.h>
int tt[23333];
int main() {
  int n;
  int a;
  int i, j, k, sum;
  while (~scanf("%d", &n)) {
    int p = 0;
    for (i = 0; i < n; i++) {
      scanf("%d", &a);
      sum = 0;
      j = 0;
      k = 0;
      for (j = 0; (j * 7) <= a; j++) {
        for (k = 0; (k * 3) <= a; k++) {
          sum = 7 * j + 3 * k;
          if (sum == a) {
            tt[p++] = 1;
            break;
          }
        }
        if (sum == a) break;
      }
      if (sum != a) tt[p++] = 0;
    }
    for (k = 0; k < n; k++) {
      if (tt[k] == 1)
        printf("YES\n");
      else
        printf("NO\n");
    }
  }
  return 0;
}
