I suck at fake internet trades, so take everything here with sufficient salt.
I don't think we're sending Devers. Rental players have been returning less and less. Remember what JDM went for last season:
Dawel Lugo,
Sergio Alcantara, and
Jose King. The best prospect in the deal is a 23 y/o AAA 3B with a career .700 OPS in the minors. That's like Will Middlebrooks with less power.
Machado is a more valuable chip than Martinez was because of his defense, but not so valuable as to bring Devers or Benintendi into the picture. People need to recalibrate.
If we're doing a deal with Baltimore — and I should be clear that I'm pretty skeptical about that, mostly for payroll reasons — their window is... not close, given that all of their good players are leaving, they have a farm system comparable to ours, and they owe Chris Davis $100m. It's more likely that we're building a deal around some of the actual talent in the lower half of our system: players like Dalbec and Diaz.