6 7x u2264 u2212 15