Exercise algebra.equations.rational

Description
solve a rational equation (with a variable in a divisor)

Derivation

(5*x+2)/(2*x-1) == (5*x+2)/(3*x+5)

⇒ algebra.equations.rational.same-dividend, clipboard=[condition == logic1.and (x /= 1/2) (x /= -5/3)]

5*x+2 == 0 or 2*x-1 == 3*x+5

⇒ algebra.equations.coverup.onevar.plus

5*x == -2 or 2*x-1 == 3*x+5

⇒ algebra.equations.coverup.times

x == -2/5 or 2*x-1 == 3*x+5

⇒ algebra.equations.quadratic.move-left

x == -2/5 or -x-6 == 0

⇒ algebra.equations.coverup.onevar.minus-left

x == -2/5 or -x == 6

⇒ algebra.equations.coverup.negate

x == -2/5 or x == -6