We prove several conjectures from the On-Line Encyclopedia of Integer Sequences, concerned with constrained lattice point enumeration, pattern-avoiding words, rounding-related formulas, and greedily defined sequences. Our methods are mostly elementary and include generating functions, recurrence analysis, and symbolic combinatorics.