Lemma
MediumInequalities
AQuA-RAT train #61820 · Algebra · Inequalities

Which of the following is equivalent to the pair of inequalities x…

Which of the following is equivalent to the pair of inequalities x + 7 > 10 and x - 1 <= 5 ?

This problem repeats another one in the library (at most with different numbers), so it's left out of browsing.

~8 minAnswer checked instantly

AQuA-RAT — Algebra Question Answering with Rationales (Ling et al., DeepMind, 2017) · train #61820

Stuck? A gentle nudge

No hints for this one.

Something off?
Workspace
Your answer

Checked against the answer in AQuA-RAT.