math_whiz_kid (@teddy91132) casts and replies on Farcaster