10 > 20 - 5x