handle more relationals with solve
quick