Должно получиться что-то подобное.
Несколько замечаний:
1. Не вижу смысла рассматривать случаи "где а =, ≥, ≤". Если мы один раз проверили на равенство нулю и исключили ошибку вычислений, зачем рассматривать снова больше-равно и меньше-равно нулю?
2. Переменная variant хранит результат проверки а относительно нуля. Сделано, чтобы как-то оправдать проверку больше-меньше, которая не влияет на вычисления.
3. Равенство записано как "=", присваивание паскалевским оператором ":="
Кажется всё.
