HOUSTON —The math these days isn’t just cruel to the Mariners. It almost seems to be taunting them.

It isn’t just that Sunday’s 7-1 loss to Houston dropped the Mariners to 74-76 and, with only 12 games remaining, pushed them to 4 1/2 games behind Minnesota in the race for the American League’s final wild-card berth.

Sure, that’s the only math that matters, but there’s a devil in the details.

We’ll get to that.

First, the big picture.

“We are running out of time,” manager Scott Servais acknowledged. “These games are important. I assume we will bounce back…The Twins are headed over to play the Yankees. We need help, but we’ve got to help ourselves.”

Getting out of Houston is a good first step. The Mariners were 5-14 this season against the Astros who, on Sunday, got homers from Derek Fisher, Marwin Gonzalez, George Springer and Carlos Correa.

Houston completed a second three-game sweep over the Mariners in a two-week span and, in the process, clinched the American League West Division pennant.

Several Mariners stood and watched the celebratory scrum near the mound after Ken Giles recorded the game’s final out. Houston is returning to postseason for the second time in three years after losing 324 games from 2011-13.

Justin Verlander (13-8) won his third straight start since joining Houston from Detroit in an Aug. 31 trade. He gave up one run and three hits over seven innings in his first start as an Astro at Minute Maid Park.

“We knew we were going to have to keep it close,” Servais said, “because we probably weren’t going to get a lot off Verlander. Obviously, he was really good again today. Unfortunately, we’ve seen him too many times this year.”

The Mariners didn’t have a hit against Verlander until Ben Gamel turned on a flat 1-1 slider for a 403-foot homer to right field with one out in the third inning.

Rookie right-hander Andrew Moore (1-4) nursed that lead into the fifth inning before the Astros struck.

Yuli Gurriel led off with single up the middle before Fisher crushed a teed-up fastball for a 422-foot homer over the batter’s eye beyond the center-field wall.

“A couple of mistakes come back to bite you when you’re facing a good lineup,” Moore said. “They take advantage of bad pitches. That’s what Fisher did. It was just a badly executed pitch.”

The Astros led 2-1 and weren’t done.

Springer followed with a single, but Moore retired the next two batters before Servais chose to bring in lefty reliever James Pazos in order to turn switch-hitter Marwin Gonzalez to the right side.

It was the right percentage move. Gonzalez had a .312/.382/.545 slash (batting average/on-base percentage/slugging percentage) against right-handed pitchers. Against lefties, he was just .235/.313/.426.

So much for math.

Gonzalez hit a no-doubt homer to left, and the Astros led 4-1.