(1) True for statically typed languages where each variable has fixed type. Similarly (4) is also correct.
(2) True, in un-typed languages types of values are not defined. But option (3) is false, since in dynamically
typed language variables have dynamically changing types but not that they have no type.