x+2 supra 3x+1=1 supra2