How do you translate into mathematical symbols: The difference of nine and twice y?