Solving an absolute value inequality with moderately difficult numbers