Тигеҙләмәне сығарыу — аргументтың, был тигеҙлек дөрөҫ булғандағы, ҡиммәттәрен табыу мәсьәләһе ул. Аргументтарҙың мөмкин булған ҡиммәттәренә өҫтәлмә шарттар ҡуйылыуы мөмкин (бөтөн һан, ысын һан булыуы һәм башҡалар). Тигеҙләмәләрҙе сығарыу — алгебраның һәм ғөмүмән алғанда математиканың төп мәсьәләләренең береһе, фәндең тарихи үҫеше барышында был мәсьәләнең төрлө төрҙәре өсөн бик күп ысулдар (алгоритмдар) эшләнгән.