addition proerty of enequality
7a+3>-25