Solvable (and unsolvable) cases of the decision problem for fragments of analysis