#include<bits/stdc++.h>
//#include"atcoder/all"
#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#define all(a) (a).begin(),(a).end()
using namespace std;
//using namespace atcoder;
typedef long long ll;
int main(){
  ll N,H,i,j,a;scanf("%lld%lld",&N,&H);
  vector<ll> Hc(100000);
  for(i=2;i<100000;i++){
    while(H%i == 0){
      Hc[i]++;H /= i;
    }
  }
  vector<ll> Ac(100000);
  for(i=0;i<N;i++){
    scanf("%lld",&a);a = abs(a);
    for(j=2;j<100000;j++){
      while(a%j == 0){
        Ac[j]++;a /= j;
      }
    }
    if(a == H) H == 1;
  }
  if(H != 1){
    printf("NO\n");return 0;
  }
  for(i=2;i<100000;i++){
    if(Hc[i] > Ac[i]){
      printf("NO\n");return 0;
    }
  }
  printf("YES\n");
}