translate to a mathematical phrase:the quotient of x and 7