Problems from CS 312