#include<bits/stdc++.h>
using namespace std;

#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")

#define int long long

signed main(){
	vector<int> v(9);for(auto&&e:v)cin>>e;

	int ans=0;
	for(int i=0;i<4;i++)ans+=v[i]*v[i+4];
	if(ans<=v[8])cout<<"Yes"<<endl;
	else cout<<"No"<<endl;
}