(*
  Authors: Wenda Li
*)

theory amc12b_2020_p21
  imports Complex_Main 
begin

theorem amc12b_2020_p21:
  shows "card {n. (n + 1000) / 70 = floor (sqrt n)} = 6"
  by sorry

end