Merge "Translate from translated languages to MATH." into jb-dev