From the BTS pics i have seen from The Martian, it looks like it was all shot on RED.
And IMDB does not list the Alexa,
I actually like that lime tint that you sometimes get on the RED.
I mostly shot with the Angenieux 25-250, fun vintage lens.
But we made one sci-fi space, Prometheus/Covenant inspired film when i went to film school. Wanted to get experience with cheating the sets and get most value of the studio we occupied.
Too bad i casted some bad actors thought.
But again, always been inspired by Ridley. The way he uses his sets, if i didnt have my Ridley knowledge we would never have managed to do it.
I am getting sligthly off topic now