The equations for nodal analysis are the easiest to write, and least likely to make mistakes. Using a symbolic algebra program allows for a minimum busy work solution. See attached analysis.
The node equations are written for each of the identified nodes: V1, V2, V3, & V4 with currents I1 &...