let amc12b-2002-p2 = `!x:int. (x = &4) ==> ( &3 * x - &2 ) * ( &4 * x + &1 ) - ( &3 * x - &2 ) * ( &4 * x ) + &1 = &11`;;