 Boone-Higman theorem

A finitely generated group $G$ has a soluble word problem for a group if and only if there are a simple group $S$ and a finitely presented group $P$ with embeddings $G\hookrightarrow S\hookrightarrow P$. The theorem does not require $S$ itself to be finitely presented. In particular, a finitely generated subgroup of a finitely presented simple group has soluble word problem. The primary statement is Theorem I of An algebraic characterization of groups with soluble word problem.