Solve `|| x-1|-2 | lt 5 `

Explanation

`|| x-1|-2 | lt 5 `
`rArr -5 lt |x-1| lt 5`
`rArr -3 lt |x-1 | lt 7 `
`0 le | x -1 | lt 7 `
`rArr -7 lt x -1 lt 7`
`rArr -6 lt x lt 8 `