Symbol: solvable_lookup_num