Have been working on this for years. Need a system which proves that there exists a number $C$ which has certain properties. I will give a specific example, but am looking for a system which could possibly be generalized.
Find (or prove there exists) $C$, such that the quadratic $x^2 - 47x - C = 0$ has integer roots, and furthermore, $C$ must have ALL OF $2$, $3$ and $5$ as its only prime factors (though each of these can be to any positive integer power).
$$C=150=2\cdot3\cdot5^2\implies x\in\{-3,50\}$$ $$C=-90=-2\cdot3^2\cdot5\implies x\in\{2,45\}$$ $$C=-480=-2^5\cdot3\cdot5\implies x\in\{15,32\}$$ $$C=-540=-2^2\cdot3\cdot5^2\implies x\in\{20,27\}$$