It is not possible to configure a static route with an intermediate address in a Check Point security gateway. BUT … In out lab setup R4 tries to reach R3 using its loopback0 interface...