Reaction catalyzed by adenylosuccinate lyase (4.3.2.2)

		=			+
	phosphoribosylsuccinyl-aminoimidazole carboxamide	=		phosphoribosylaminoimidazole carboxamide	+		fumarate