Is it is compulsory to be left hand side= right hand side in algebraic expressions verification