That's probably a reasonable estimate (including stock compensation) for the companies mentioned.

See for example: https://www.glassdoor.com/Salary/Google-Senior-Software-Engi...

I'd ballpark the average range for senior engineers at Google at being around 250-300k in the US. Staff engineers (one step above senior) will make significantly more than that, although not everyone reaches that level.