The product of w and 7 is greater than or equal to 23?