若变量已正确定义并赋值，以下符合C语言语法的表达式是

B
解析： 选项A)中包含一个不合法的运算符“：=”；选项C)应改为(int)18.5%3；选项D)可理解为两个表达式：a+7=c+b和a=a+7，其中第一个是错的，因为C语言规定赋值号的左边只能是单个变量，不能是表达式或常量等。因此，正确答案是选项B)，它实际上相当于a=(b=c+2)，进而可分解为两个表达式：b=c+2和a=b。