4. m∠1 ≅ m∠5

12b.
Substitution Property
Linear Pair Postulate
Corresponding Angle Theorem

Bot Bot answered

Yes, m∠1 ≅ m∠5.