I've used it often to solve IBM's Ponder This puzzles. A dirty way to solve a puzzle is often to get a few values manually. These often are fractions, so there is a bit of an art in adjusting numerator and denominator so that the numerator sequence and denominator sequence both look somewhat regular. Then you look up those sequences in OEIS.