Такой вариант, (2cos^2(20*)-1)cos(20*)=2cos^3(20*)-cos(20)*
solve(abs(x+2)+2abs(x-4)=10-x, abs(x-2)=x^3-3x^2 +x+2, abs(x-2) /abs(x-1), -1, =>1)