Моя аргументация базируется на личном опыте изучения английского языка с помощью Lingvo. Проблема заключается в том, что при частом использовании этого словаря начинает вырабатываться Lingvo-зависимость. Когда вы видите незнакомое слово в тексте, вам хочется его перевести. Если незнакомых слов очень много, то перевод совершенно не запоминается. Да, возможно, встретив слово в десятый раз, вы наверняка вспомните, что где-то вы его уже видели и даже вспомните, как оно переводится, но скорость запоминания в разы отличается от скорости при целенаправленном изучении слов.
То же и со словарём Ожегова.
А автоматическое решения уравнений — это вообще огромное зло. Я помню, как мы в четвёртом классе решали уравнения и как было сложно их решать. Но в конце концов все научились и решение более сложных уравнений уже не казалось таким сложным. А что теперь? Не умея решать простейшие уравнения с одной переменной, ученик не сможет решить квадратные уравнения, системы уравнений, пропорции и т. п. Вы не согласны?