The correct Maple command for the second example is

f := (x, m) -> < x[2], -abs(x[1] + 4*m) - abs(x[2] - m) - 1/2*x[2] + 5*m;
> E := solve({f(x, m)[1] = 0, f(x, m)[2] = 0}, {x[1], x[2]}):
> simplify(E);

Does anyone know how to get the correct results? Or how do I contact Maple support in order to report this bug?

Thanks a lot!
Stefan

In addition, I don't wanna have a third function parameter...