It's very small for a movie theater but very very large for a home theater.
You will not find a projector that is 4k in that price range at all and certainly not one remotely bright enough. I would check out the large range of Epson projectors. You may need between 3000-5000 ansi lumens depending on just how big the screen is.