Is there a systematic way to solve equations in the braid groups? In particular, if B3$B_3$ is the braid group on three strands with the presentation { a,b | aba = bab }$\{ a,b\ | \ aba = bab \}$, how do I find x $x$ so that xaxbx^-1b^-1x^-1 = bax^-1b^-1x $xaxbx^{-1}b^{-1}x^{-1} = bax^{-1}b^{-1}x$ (if such an x$x$ exists)?