Question 917992
 
*[invoke explain_simplification "(x/5)-(x/4)<1" ]

hence -x/20 <1
       multiply with -1 on both sides
   -1* -x/20 <-1*1
       x/20>-1
       x>-20
solution is  x is any number more than -20
            x = (-20 ,infinity)