import Mathlib

set_option maxHeartbeats 0

open BigOperators Real Nat Topology Rat

theorem mathd_numbertheory_254 :
  (239 + 174 + 83) % 10 = 6 := by sorry