It depends on the situation.
One of the big benefits of mid lane is the ability to gank any other lane, and do so effectively. If your bot laners are pushing hard but your top laner's pushed to his turret, then you can gank top, or vice versa. Top and bot lanes can really only gank mid lane, which is shorter anyway, thus making mid ganks harder.
However, you can't leave lane all the time because then you miss out of farm, and if your lane opponent is a good pusher, your turret will take damage. This is one of the reasons I like taking Teleport on mid champs: you can push back one wave, gank, and then teleport back mid if the waves are getting too close to your turret.
In this situation, it sounds like your bot players were just whiners.