Divide both Sides
eq = (x - 3 == 17*y);
lhs = eq.left / 17;
rhs = eq.right /17;
eq2 = (lhs == rhs);
show eq2;
save as lhsrhs;
Output
"eq2" → (-3 + x)/17 == y
eq = (x - 3 == 17*y);
lhs = eq.left / 17;
rhs = eq.right /17;
eq2 = (lhs == rhs);
show eq2;
save as lhsrhs;
Output
"eq2" → (-3 + x)/17 == y