We study the variety of binary Lie algebras defined by the identities [Formula: see text], where [Formula: see text] denotes the Jacobian of [Formula: see text], [Formula: see text], [Formula: see text]. Building on previous work by Carrillo, Rasskazova, Sabinina and Grishkov, in the present article it is shown that the Levi and Malcev theorems hold for this variety of algebras.