The answer is negative.
Consider the model $M=\langle\mathbb N\cup\{\infty\},0,S,+,\cdot\rangle$, where we put $S(\infty)=\infty$, $\infty+x=x+\infty=\infty$ for all $x\in M$, $\infty\cdot0=0\cdot\infty=0$, and $\infty\cdot x=x\cdot\infty=\infty$ for $x\ne0$. It is easy to check that $M\models Q$. In fact, $M$ satisfies the axioms of commutative semirings, hence any term is in $M$ equal to a polynomial with nonnegative integer coefficients, and these polynomials can be manipulated in the expected way.
Lemma: The set of sentences $\phi$ of the form $\exists y_1,\dots,y_m\,f(\vec y)=g(\vec y)$ valid in $M$ is decidable.
Proof: By the remark above, we can write $f,g$ as polynomials in $\mathbb N[\vec y]$. Notice that if $h\in\mathbb N[\vec y]$ is non-constant, we have $h(\vec\infty)=\infty$.
Case 1: If $f$ and $g$ are nonconstant, then $M\models\phi$, as witnessed by $\vec y=\vec\infty$.
Case 2: Let (wlog) $g$ be constant, say $g=c\in\mathbb N$. I claim that if $f(\vec a)=c$ for some $\vec a\in M$, then also $f(\vec b)=c$, where $b_i=\min\{a_i,c\}$. Indeed, if $h(\vec y)=\prod_{i\in I}y_i$ is a monomial that appears in $f$ with a nonzero coefficient, and $a_i>c$ for some $i\in I$, then $a_j=0$ for some $j\in I$, lest $f(\vec a)\ge h(\vec a)>c$. Thus, $h(\vec a)=h(\vec b)=0$. Consequently, $M\models\phi$ iff there are $a_1,\dots,a_m\in\{0,\dots,c\}$ such that $f(\vec a)=c$, and this can be algorithmically checked.$\qquad\Box$
Now, let $T$ be the theory axiomatized by $Q$, the axioms of commutative semirings, and $\{\phi:M\models\phi\}\cup\{\neg\phi:M\nvDash\phi\}$ for Diophantine sentences $\phi$. Then $T$ is consistent (being true in $M$), and recursively axiomatized (by the lemma), but for every Diophantine formula $\phi(x)$ and $n\in\mathbb N$, the sentence $\phi(S^n(0))$ is decidable in $T$. (One can check that the finite theory $T=Q$ + commutative semirings + $\exists x\,\forall y\,(x+y=x)$ also works.)
Let me remark that while the answer above exploits the weakness of $Q$ which allows for quite pathological models, reasonable stronger base theories can still make a trouble. In particular, it is a long-standing open problem whether the universal fragment of the theory of quantifier-free induction ($\mathit{IOpen}$) is decidable; if it is, then one can construct a counterexample $T$ as above with $T\supseteq\mathit{IOpen}$. [EDIT: While I’m pretty sure the existence of models of $\mathit{IOpen}$ with decidable existential theory is also an open problem, it’s stronger than decidability of its universal fragment: we would need decidability of Boolean combinations of $\exists$ sentences, or some kind of amalgamation property.]
On the other hand, the answer is positive for theories $T$ extending $I\Delta_0+\mathit{EXP}$, as this theory proves the MRDP theorem.
EDIT: In fact, the positive answer does not need anything as strong as exponentiation for the base theory, because we do not need full MRDP theorem for Diophantine definability on standard integers. Let $IE_1,IU_1\subseteq I\Delta_0$ be the fragments of PA with induction only for bounded existential formulas and bounded universal formulas, respectively, and $IU_1^-$ a further restriction of $IU_1$ where induction formulas are not allowed parameters. (Actually, $IE_1$ and $IU_1$ with parameters coincide.) I will write just $n$ for $S^n(0)$ below.
Theorem: Every partial recursive function $f(\vec x)$ has a Diophantine representation $\phi(\vec x,y)$ in $IU_1^-$, in the sense that
- $IU_1^-\vdash\forall x,y,y'\,(\phi(\vec x,y)\land\phi(\vec x,y')\to y=y')$.
- If $f(\vec n)=m$, $IU_1^-\vdash\phi(\vec n,m)$.
Consequently, for every pair of disjoint r.e. sets $A,B$, there is a Diophantine formula $\phi(x)$ such that $n\in A$ implies $IU_1^-\vdash\phi(n)$, and $n\in B$ implies $IU_1^-\vdash\neg\phi(n)$.
The argument is mostly a rehashing of results of Kaye [1]. First, $IE_1$ is $\forall_1$-conservative over $IU_1^-$, hence we may work in $IE_1$, and every existential formula is easily seen to be equivalent to a Diophantine formula over $IE_1$, hence it suffices to find an existential representation.
Let $\exists\vec z\,\theta(\vec x,y,\vec z)$ be an existential definition of the graph of $f$ in $\mathbb N$, and put $$\phi_0(\vec x,y)=\exists w,\vec z\,\bigl(\vec x,y,\vec z\le w\land\theta(\vec x,y,\vec z)\land\forall y',\vec z'\le w\,(\theta(\vec x,y',\vec z')\to y=y')\bigr).$$ A standard argument shows that $\phi_0$ represents $f$ in $IE_1$, but it’s only $\exists U_1$.
Kaye defines a $\forall\exists$ axiom $E$, and shows that $IE_1+E=I\Delta_0+\mathit{EXP}$, and that it proves the MRDP theorem. Thus, there is an existential formula $\exists\vec u\,\eta(\vec x,y,w,\vec u)$ such that $$IE_1+E\vdash\exists\vec u\,\eta(\vec x,y,w,\vec u)\leftrightarrow\forall y',\vec z'\le w\,(\theta(\vec x,y',\vec z')\to y=y').$$ Applying [1, Lemma 5.8 (ii)] to the left-to-right implication, there is an existential formula $\exists\vec v\,\xi(r,\vec v)$ such that \begin{align*} IE_1+E&\vdash\forall r\,\exists\vec v\,\xi(r,\vec v),\\ IE_1&\vdash\xi(r,\vec v)\land \vec x,y,w,\vec u\le r\land\eta(\vec x,y,w,\vec u)\to\forall y',\vec z'\le w\,(\theta(\vec x,y',\vec z')\to y=y'). \end{align*} Define $\phi(\vec x,y)$ as $$\exists w,\vec z,\vec u,r,\vec v\,\bigl(\vec x,y,\vec z\le w\land w,\vec u\le r\land\theta(\vec x,y,\vec z)\land\eta(\vec x,y,w,\vec u)\land\xi(r,\vec v)\bigr).$$ Clearly, $\phi(\vec x,y)$ is an existential formula, and it is easy to see that it satisfies condition 1. If $f(\vec n)=m$, then $IE_1+E\vdash\phi(\vec n,m)$, as it proves $\phi$ equivalent to $\phi_0$. Since $IE_1+E$ is sound, the existential sentence $\phi(\vec n,m)$ is true in $\mathbb N$, and consequently provable in $Q\subseteq IE_1$. Thus, $\phi$ represents $f$ in $IE_1$.
Reference:
[1] Richard Kaye, Diophantine induction, Annals of Pure and Applied Logic 46 (1990), no. 1, pp. 1–40. http://dx.doi.org/10.1016/0168-0072(90)90076-E