1: \begin{abstract}

2: %

3: We study random nilpotent groups of the form $G=N/\langle\langle R \rangle \rangle$, where $N$ is a non-abelian free nilpotent group with $m$ generators, and $R$ is a set of $r$ random relators of length $\ell$. We prove that the following holds  asymptotically almost surely as $\ell\to \infty$: 1) If $r\leq m-2$, then the ring of integers $\mathbb{Z}$ is e-definable in $G/\Is(G_3)$, and systems of equations over $\mathbb{Z}$ are reducible to systems of equations over $G$ (hence, they are undecidable). Moreover, $Z(G)\leq \Is(G')$,  $G/G_3$ is virtually free nilpotent, and $G/G_3$ cannot be decomposed as the direct product of two non-virtually abelian groups. 2) If $r=m-1$, then $G$ is virtually abelian. 3) If $r= m$, then $G$ is finite. 4) If $r\geq m+1$, then $G$ is finite and abelian. In the last three cases, systems of equations are decidable in $G$. %and $G$ is regular (i.e.\ $Z(G)\subset \Is(G')$). \textcolor{brown}{is this true for $r=m-1$? prove it.} %To prove undecidability, we reduce systems of integer equations to systems over $G$.

4: 

5: %We study decidability of systems of equations over random nilpotent groups of the form $G=N/\langle\langle R \rangle \rangle$, where $N$ is a non-abelian free nilpotent group with $m$ generators, and $R$ is a set of $r$ random relators of length $\ell$.  We prove that, if $r \leq m-2$, then systems of Diophantine equations are reducible to systems over $G$ (and hence these are undeciab, asymptotically almost surely as $\ell\to \infty$. On the other hand, it follows from \cite{Duchin} (where these groups $G$ were first studied) that this is not true if $r\geq m-1$. Moreover, if $r\geq m+1$, then systems of equations are decidable a.a.s.

6: 

7:  %

8: \end{abstract}

9: