Obviously not. Last time I checked they had a little over 20 BTC, do you think 20 BTC will move the market so profoundly?

Is 'WannaCry' creating a new address per user?
according to things you can read in this topic:
https://bt.irlbtc.com/view/1916199.0it seems like they have hard coded a couple of bitcoin addresses inside the ransomeware itself which asks for the payment in one of those addresses.
If they have hardcoded bitcoin addresses, then how do they monitor individual payments of different users?
looking at the transaction amounts, each one is different because of price difference, so it is possible that the program asks them to pay exact amount of $300 for example 0.167599
BTC and type in the TX ID then it uses a blockexplorer or a node to check if it is paid the exact amount and gives them the key.
the 0.167599 amount was taken from one of the addresses and you can see the amount is already unique.
Yes, this is what's most likely happening as discussed on the thread monitoring the ransom addresses.
For requested $300 is easier to buy some new Laptop.
If the lost encrypted files are irrelevant and the ransomware is the only problem, might as well simply format the computer, 0$ required for that.