We have the following network,replace loctn with routers.
We want to use HSRP for device redundancy and EIGRP would run on WAN.
consider loctn1 is the primary router and loctn2 is the sec router.
Moreover loctn2 routers learns a default route from loctn5 and other specific routes from loctn4
once packets destined to the default route hits the loctn1 router, will EIGRP kick on and through loctn2 reach loctn5?
It is difficult to give a precise correct answer without knowing a bit more about the environment that you describe. If loctn5 generates a default route, does it propagate through loctn4 and loctn3 to loctn 1 or is it just to loctn2? What would be the metrics between the various routers?
But if I understand the point of your question to be that loctn1 learns the default route from loctn2 and loctn1 has a packet to forward that uses the default route, then yes loctn1 will forward to loctn2 to reach loctn5.