By "problem", I mean a high-school type geometry problem.

If no, is there other set of axioms that allows that? If yes, are there any software that does that?

I did a search, but was not able to find a single program that allows that. It is strange because even if it is impossible to solve any problem, most of the natural problems should be solvable.