The bot uses its normal wording.
Every reply comes in English first, then in this language.
Ask a question or say “I don't know” for a hint.
Use o3 for harder proofs or maths.