x+++(25+*+y)+-+1.3+>=+7;+x+++y+-+0.332+>=+0.96