Αποστολή με SMS: Derivation of feasibility conditions in classical vibration problems by using the method of quantifier elimination