Text this: Automated Approach for Solving Infinite-state Polynomial Reachability Games