Is x y (31/48)

Is x y