2x + 3 = 13