Hi, I'm going to get a small, used machine for playing around on Linux. SSD can be either 128 or 256, doesn't really matter. Which of the following would you recommend more for a Mint or Debian distro?

Lenovo M725S Desktop PC, AMD Ryzen 3 PRO 2200G 3.70 GHz 8GB 128GB Win10Pro with Keyboard & Mouse ($100 ish)

or

Lenovo ThinkCentre M710S Desktop PC Intel Core i3-7100 3.90GHZ 8GB 128GB Win10Pro with Keyboard & Mouse ($100 ish)

or

Lenovo M715Q Tiny Desktop, AMD A6 9500E, DDR4 RAM, Solid State Drive, USB Wi-Fi, Win10Pro (Your Choice: Model) (with 128 GB $150ish)

Thanks!