张老师给小刚出了这样一道题:当x=2013分之2012时,求代数式-2(x的平方+1)+5(x+1)+0.5(4x的平方

张老师给小刚出了这样一道题:当x=2013分之2012时,求代数式-2(x的平方+1)+5(x+1)+0.5(4x的平方-10x)的值.
小刚思考了一会儿,向张老师提出x=2013分之2012,这个条件是多余的,同学们,你认为小刚的说法正确吗?急