check for me if the way is correct

[fierce estuary]

its not about undunction , is the way i delt with inequality valid? , like i can just make another unequality true just because its confirmed valid , like
x>5 is true
so x+4>is true too extra , and its about doing it for variables like i did with 4k in there

[ornate bay]

,rotate