tor-resolve man page doesn't list its defaults
tor-resolve [-4|-5] [-v] [-x] hostname [sockshost[:socksport]]
What is the default sockshost or the default socksport? Answer: 127.0.0.1 and 9050.
Some users are thinking we read their torrc to learn their tor's socks port and use that. But tor-resolve is nowhere near so clever.