#include <bits/stdc++.h>
using namespace std;
int main() {
  int n;
  scanf("%d", &n);
  int a;
  while (n--) {
    int flag = 0;
    int x, y;
    scanf("%d", &a);
    for (int i = 0; i < 34; i++) {
      for (int j = 0; j < 15; j++) {
        if ((i * 3 + j * 7) == a) {
          flag = 1;
          break;
        }
      }
      if (flag) break;
    }
    if (flag) {
      puts("YES");
    } else
      puts("NO");
  }
  return 0;
}
