prova scrivendo

codice:
if($abtot != $tot)
al posto di

codice:
if(!$abtot == $tot)
il resto sembra ok, sicuramente il problema è sulla guardia if() quindi

questo solo se sei sicuro che tutti i dati che stai trattando sono interi

magari fai un bel var_dump() di tutto e vedi se qualcosa non torna