x - var <= b.x?