{op:"var", args:["w"]}
{op:"var", args:["x"]}
{op:"var", args:["y"]}
{op:"var", args:["z"]}
genSimplifyingExpressionsExercise(4, 2, [2, 3, 5, 7], [X, Y], [0, 1, 2, 3])
solveSimplifyingExpressionsExercise(PROBLEM)
-->
Simplify the following expression:
format(PROBLEM)
format(SOLUTION.solution)
format(value)
value