Automated Checking of Flexible Mathematical Reasoning in the Case of Systems of (In)Equations and the Absolute Value Operator Topics: e-Learning Hardware and Software; Feedback and Learning Support; Higher Order Thinking Skills In Proceedings of the 13th International Conference on Computer Supported Education - Volume 2: CSEDU, 324-331, 2021