evaluating truthiness of equation from a system of other equations

[ShaharMS]

for my use case (automatic geometry questions solver), i need some sort of system that can extract relations between variables/parameters/elements (for example, AB = AC, BC >= x + y / 2), given a list of many other equations.
for example, i want it to deduct the truthiness of:
x > y
from:
x > z / 2
z = w
w = 4y

(the actual system of equations has many more items and is of a dynamic size )

im guessing this is possible, but, for the life of me, i can't figure out how to do that - the website doesnt seem to provide an example of something similar, and i didnt find anything on the web.

so, can someone more knowledgable about this library point me at a direction or provide a way to make that system? maybe which functions/objects i should use?

second question, if making a system as described above is possible, is it also possible to know which equations were used to deduct the truthiness of the given equation?
example:

Equation	Given	Used
x > y	z = 3, ∠ABC = 30°, x = 5, z > y	z = 3, x = 5, z > y