Here is a trivial system of equations in three unknowns for which FindInstance obtains a solution: ...
Just came across the strangest bug under both Mathematica 9.0.0 and 9.0.1. If one enters: Solve[m == p Sin[x] && -Pi/2 < x < Pi/2, x] ... then ...
I've been playing around with Resolve and FindInstance. I know that Resolve should always ...