Translation Of Formal Problems In Different Languages