Right-hander Nick Martinez, Cincinnati’s strongest starting pitcher over the final two months of the 2024 season, declined his player option with the Reds and will become a free agent.Also electing