C++ :

#include <iostream>
#include <cstdio>
using namespace std;
int main()
{
  int T;
  scanf("%d",&T);
  while(T--)
  {
    int n;
    scanf("%d",&n);
    if(n%7==6)
      printf("Yes\n");
    else
      printf("No\n");
  }
  return 0;
}