Let xy=k, so that y = k/x.
Substitute this into the first equation to get x4−20x2−7k=0.
Solve this (using the usual formula) as a quadratic in x squared to get x2=10±√100+7k.
The original equations are symmetric in x and y so repeating the procedure will produce an identical result for y.
Since x and y are different, one will have the positive sign in the middle, the other the negative sign.
Multiplying the two results produces (difference between two squares)
x2y2=100−(100+7k)=−7xy.
Since xy≠0, it follows that xy = -7.