Is x 9 y