Using only logical symbols and "$+, \cdot$" translate into a first-order logic: "$c$ is not the greatest common factor of $a$ and $b$".

Question

Using only logical symbols and "$+, \cdot$" translate into a first-order logic: "$c$ is not the greatest common factor of $a$ and $b$". Assume that all variables are positive integers.

I have attempted to solve this but I am not sure if my reasoning is good. Neither am I sure whether I am not lacking quantifiers.
$$\neg((\exists\alpha)(\exists\beta)(a= \alpha c\land b= \beta c) \land (\forall d)((\exists \gamma)(\exists\delta)(a=\gamma d\land b= \delta d) \Rightarrow d \le c))$$
What do you think of my solution?

Answer 1

Looks good, but I agree with Clive that you'll need to capture the $\le$ using symbols you are allowed to use. But to avoid using a $1$ as well, I propose:

$$d \le c \Leftrightarrow (d =c \lor \exists x \ d +x = c)$$

Answer 2

That looks pretty much correct, except that you've used the symbol $\le$, which is not a logical symbol and is not $+$ or $\cdot$. However, you can express $d \le c$ using only $+$, $\cdot$ and logical symbol by observing that $$d \le c \quad \Leftrightarrow \quad (\exists k)(c+1=d+k)$$