#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<pair<ll,ll>> Hc;
  for(i=2;i<100000;i++){
    if(H%i) continue;
    Hc.emplace_back(make_pair(i,0));
    while(H%i == 0){
      Hc.back().second++;H /= i;
    }
  }
  vector<ll> Ac(Hc.size());
  for(i=0;i<N;i++){
    scanf("%lld",&a);a = abs(a);
    for(j=0;j<Hc.size();j++){
      while(a%Hc[j].first == 0){
        Ac[j]++;a /= Hc[j].first;
      }
    }
    if(a == H) H == 1;
  }
  if(H != 1){
    printf("NO\n");return 0;
  }
  for(i=0;i<Hc.size();i++){
    if(Hc[i].second > Ac[i]){
      printf("NO\n");return 0;
    }
  }
  printf("YES\n");
}