Write an expression that evaluates to true if the value of the integer variable x is divisible (with no remainder) by the integer variable y.