OpenSAT

To solve for *x*, we can use elimination. Multiply the second equation by 2, giving us $2x - 4y = 2$. Subtracting this equation from the first equation, we get $7y = 15$, so $y = \frac{15}{7}$. Substituting this value back into the second equation, we get $x - 2(\frac{15}{7}) = 1$, so $x = 1 + \frac{30}{7} = \frac{37}{7}$. Therefore, $x = 5$.