I have seen few math problems online, about solving one equation with two unknowns, (which is not possible as the number of equations should match the number of unknowns), but I thought is there any way to prove that LHS = RHS for some integer (...,-1,0,1,2...) numbers without substituting values like in trail and error method.
Suppose, I have an equation say 3x + 5y = 22, by looking at it for few seconds, I can substitute the values x = 4 and y = 2, but I want to know if there is any way to know that there exist a solution for the equation such that x and y are integers.
P.S. I don't know what to tag please edit the tags if found any better ones.