Does NLsolve use the Intermediate Value Theorem, how do I aproxemetly solve a problem like

1000=(x)^2+10sin(x)

I know that f(a)=f(0)=0

and that f(b) can be f(100)=(100)^2+10sin(100)>=9990

how would I find x such that f(x)=1000 (I know this in impossible and am instead looking for a floating point value).