The consistency at the level of equations of motion from the dimensional reduction giving rise to four-dimensional N = 4, half-maximal gauged supergravity from the unique supergravity in eleven dimensions is thoroughly veri ed in this study. Dimensional reductions are said to be consistent at the level of equations of motion if and only if substitutions of reduction ansatze in higher dimensional equations of motion yield all equations of motion for lower dimensional theory. Apart...