x-2y=6
x+6y=10
1/2(120+y)+2y=150
1473816.586
1346800.4321
1257266.1184
1482959.3333
98636.8293
80.02407
67958813071
67.79812
5+1=46
6+2=48
7+1=68
3+2=
x^2 + (x+1)^2 = 10513
findfindfifindfindfifindfindtheom
Given p, (p ⇒ q), and (p ⇒ q) ⇒ (q ⇒ r), prove r (Hint use resolution refutation)
Answer
x+y=6
x-y=10
