Here are some of my solutions to exercises in the Tutorial section of the documentation of the Arend Theorem Prover, especially those that are related to HoTT. Exercises whose similar ones are covered by PLFA will most likely not be solved here again in Arend.