 is greater: -5 or x?
-5
Let o = 44 - 44. Is o at most -2?
False
Let y = -2 + -3. Let t be ((-2)/(-1))/(10/y). Is 4/9 smaller than t?
False
Let q = -5 - 1. Let w = q - -6.1. Is 0.1 greater than or equal to w?
True
Suppose -3*j = -j + 16. Which is bigger: -7 or j?
-7
Let f be (4/(-10))/(4/(-20)). Suppose 6 = 2*y + f*g, -g = 7*y - 2*y - 19. Suppose 6*h - 4*w = 5*h - 13, y*h - 5*w + 8 = 0. Is 3 <= h?
True
Let d be 10/35 - (-4)/(-14). Let i be (2 - (-2 - -2)) + d. Suppose -i*y = 3*y - 15. Which is greater: 3/2 or y?
y
Let a = -20 + 3. Let m = 17.1 + a. Is 5 > m?
True
Let r = 30 - 31. Is r >= -4/45?
False
Let z = 72/7 + -213/35. Let j(t) = 2*t + 1. Let b be j(2). Do z and b have the same value?
False
Let p = -27 - -79/3. Which is smaller: 4 or p?
p
Let z = 27 - 42. Which is smaller: -14 or z?
z
Suppose 4*a - 4*q - 8 = 0, 0 = 4*a - 4*q + 5*q + 2. Let m = 1/288 + -5191/2016. Let t = 16/7 + m. Which is greater: a or t?
a
Suppose 3*m - n + 6 = 0, -2*m - 3*m - n = 10. Is 4 at least m?
True
Let v = -27 - -23. Which is smaller: v or -6?
-6
Let q(t) = t**3 + 4*t**2 - t - 2. Let b be q(-4). Which is smaller: b or 0?
0
Let w = 121/26 + -9/2. Let n = -1.04 + 0.04. Which is smaller: w or n?
n
Let g(m) = -10*m**2 + m - 1. Let f be g(1). Is -10 != f?
False
Let m = 0.5 - 0.2. Suppose -5*f = -2*f - 3. Which is smaller: m or f?
m
Suppose 120 = -6*l + 10*l. Does l = 29?
False
Let a(o) = -o**3 + 5*o**2 + 3*o - 3. Let c be a(5). Let i = c - 9. Suppose 0 = 4*b - 7*m + i*m + 4, -2*m + 2 = -b. Which is smaller: b or -1?
-1
Let d be (-446)/(-40) - (-7 + (-224)/(-35)). Which is greater: d or 11?
d
Let w be 0/(-12) - 1/(-1). Is w smaller than -1/31?
False
Suppose 3*v - 1 - 83 = 0. Let x = -18 + v. Is 9 greater than x?
False
Suppose 8*g + 45 = 3*g + 5*c, 4*g + 38 = 2*c. Let j = -6 - g. Suppose -6*q + 3*q + 5*x = 0, j*q = -4*x. Is q < 0?
False
Let r = -6.3 + 5. Let s = -1 - r. Let y = 0.3 + -0.1. Is y less than s?
True
Suppose -3*q = -6*q - 9. Let k(h) = -h + 1. Let z be k(q). Suppose -3 = v - z. Is 2/9 < v?
True
Suppose 0*x = 2*x + 2. Let g(b) = -b - 8. Let m = -4 + -1. Let v be g(m). Is v not equal to x?
True
Let x be -1 - (1 - (-8)/(-2)). Let k be (-3 - -1)*6/(-4). Is x bigger than k?
False
Let j = 2 - 0. Suppose -2*i = t - 4, -j*i - 4*t + 11 = 1. Which is smaller: -1/7 or i?
-1/7
Let n be 1/(-5) + (-294)/30. Is n >= -10?
True
Suppose -4*a = -0*a - 16. Let k = 812/3 - 266. Which is bigger: k or a?
k
Suppose -5*c - 438 - 242 = 0. Let h be (-78)/4*c/36. Let w = -73 + h. Does w = 2/5?
False
Suppose -12 = -2*y + 2*l - 4, -l - 3 = -2*y. Is -20 bigger than y?
False
Let h = -20.87 - -21. Let x = h + 0.87. Is 9 less than x?
False
Suppose 0 = 3*x + 2*x + 30. Let a be (x/(-14))/((-40)/21). Let f = 5/8 + a. Which is greater: f or -0.1?
f
Let v be 2 + 2*116/(-40). Which is bigger: -3 or v?
-3
Let x be 1 + (20/(-14) - -1). Suppose o - 4 = -a + 3, 0 = -2*a - 5*o + 29. Which is greater: x or a?
a
Suppose 90 = 5*h - 45. Is h equal to 26?
False
Let s(q) = -q**3 - 6*q**2 + 3*q + 9. Let d = -20 + 14. Let o be s(d). Which is smaller: -8 or o?
o
Let u = -14 - -13.75. Is 0 at most as big as u?
False
Let r = -491/776 + 3/388. Is -1 at least as big as r?
False
Let x = -2/199 + -987/796. Let v(o) = o**3 + 2*o**2 - 2*o + 1. Let h be v(2). Let t = -15 + h. Which is bigger: t or x?
x
Let d(k) = 21*k**3 + k**2 + 2*k + 1. Let u be d(-1). Which is bigger: u or -19?
-19
Suppose 0 = -4*b + 1 - 5. Let c = b + 0. Let w be 2/(-10) + 27/(-15). Do c and w have different values?
True
Suppose -m - 10 = m. Let g be m/(-3) + 2 + -3. Is 2/7 at most g?
True
Let b(k) = -2*k**2 + 4*k - 3. Let i(o) = 3*o**2 - 8*o + 5. Let q(m) = -5*b(m) - 3*i(m). Let f be q(-4). Let y be 2 + (f - -2) + -3. Which is smaller: 1/15 or y?
1/15
Let a(d) = -d**3 - 9*d**2 - 14*d + 2. Let i be a(-7). Let y be (-15)/(-4) + (-1)/(-4). Let k(x) = 2*x - 6. Let o be k(y). Is o > i?
False
Let x = 6 + -4. Let j be ((-2)/12)/(x/4). Which is bigger: j or -1?
j
Let k = -1.4 + 2. Let n = k + -0.4. Which is bigger: 2 or n?
2
Suppose 0*c = 5*c - 15. Let f(a) = -a**3 - 7*a**2 - 7*a. Let k be f(-6). Let p be k/(-2)*2/(-3). Which is smaller: p or c?
p
Let c = -97/600 + 3/25. Let o = 88 - 89. Which is smaller: o or c?
o
Let m be (-1*(3 - 2))/18. Which is greater: 0 or m?
0
Let l be ((-5)/1)/(5 - 4). Let d be l/100 + 1/4. Is d at least -1?
True
Suppose -3*i - a = 0, -3*a = -5*i - 10 - 4. Let w be 10/25 + 4/(-15). Does w = i?
False
Let y be (2/6)/(7/168). Let b be 4/1 - (11 - y). Which is bigger: 5/6 or b?
b
Suppose y = -2 + 1. Let b be 72/203 + 4/(-14). Which is smaller: y or b?
y
Let o = -72 - -72.07. Is o smaller than -0.04?
False
Suppose 6 = 5*c - 8*c. Let y be c + 10/1 + -1. Suppose 5 = g + y. Is -1 at least as big as g?
True
Suppose -4*v + 39 = -13. Let l = 13 - v. Which is bigger: l or -5?
l
Let d = 1/4 + -69/292. Which is bigger: d or 0?
d
Suppose 0*k + 5*k = -5*n - 40, 5*n + k = -36. Let u be 2/n - (-9)/7. Are u and 1/28 unequal?
True
Let z = 2 - 3. Suppose -2*u = -4*c - 0*c - 14, 14 = -c - 3*u. Is z > c?
True
Let m be 3027/84 - 4/14. Let h = -36 + m. Which is bigger: 0 or h?
0
Let u = 0.28 + 0.72. Is 1/2 <= u?
True
Let v = 1 - 4. Let t = -5 + v. Let d = 6 + t. Which is greater: d or -3/5?
-3/5
Suppose -x = -2*a - 0*a + 3, 0 = 2*a + 4*x + 22. Suppose 0*o + o - 4 = 0. Let c = -6 + o. Which is bigger: a or c?
a
Let a = -214 - -1928/9. Let i be (0 + 0/(-3))/2. Let r = -1 - i. Which is smaller: a or r?
r
Suppose 0 = 4*b + b - 5. Which is greater: -0.04 or b?
b
Let i = -20377/9 + 2261. Which is greater: i or -4?
i
Let n = 20 - 14. Suppose -n = m + m. Which is bigger: m or -4?
m
Let o(j) = 2 - 6 + 2 + j**2 - 2*j. Let l be o(3). Let a be 2/12*-4*l. Which is bigger: a or 0?
0
Let f = -11/20 + 17/60. Let w = 0.8 + -0.8. Which is smaller: f or w?
f
Let m = -0.9 + -0.1. Let w = 31 - 45. Let y = w + 14. Which is smaller: y or m?
m
Let m = 10 - 12. Let k be ((-1)/(-4))/((-1)/2). Which is bigger: m or k?
k
Let z be (-26)/2 + -4 + 1. Is z at most -17?
False
Let j(u) = -u + 4. Let y be 3/9 + 34/6. Let n be (-1 - -1)/(y/(-2)). Let q be j(n). Is 5 less than q?
False
Suppose 0 = 2*x + 10, -5*j = -3*j - 3*x - 39. Is 14 equal to j?
False
Let m(k) = -k**3 + 7*k**2 - 3*k + 11. Let b be m(6). Is 30 != b?
True
Let r = 10 - 19. Is 2 greater than r?
True
Let c = -10569 + 42023/4. Suppose 315 = 5*h - 5*k, -3*k - 252 = -4*h - 6*k. Let x = c + h. Is -3/5 equal to x?
False
Let h = -8 + 4. Let s = h + 3.4. Let g = 0.4 + s. Which is smaller: -1 or g?
-1
Suppose 7 = 5*v - 3. Let z = 264 + -785/3. Which is bigger: v or z?
z
Let f = 0.1 + 0.1. Let a = -0.9 - 0.06. Let l = a + -0.04. Which is bigger: l or f?
f
Let y be (-175)/441 + (1 - 10/14). Which is smaller: y or 0?
y
Suppose 3*q - 3*u - 15 = 0, 0 = q - 4*q - 2*u + 15. Suppose 4*m - 5*m = -q. Let v be m*-2*(-1)/2. Is 4 at least v?
False
Let p(n) = n**3 + 9*n**2 + 7*n. Let a be p(-8). Which is greater: a or 11?
11
Let r be 1 + (-654)/550 - (-72)/396. Which is smaller: r or 1?
r
Let b = -3 + 6. Suppose c + 7 = b*k - c, 5*k + 5*c = -5. Is 1/4 equal to k?
False
Let w = -0.11 - -5.11. Let a = -4.4 + w. Which is greater: 1/3 or a?
a
Let w = 2.53 + -2.6. Let u = -105 - -104.07. Let h = w + u. Which is greater: h or 1/4?
1/4
Let b be (6/18)/(-2 + 1). Suppose -3 - 1 = -4*n. Which is greater: b or n?
n
Suppose -26 = -3*h + 4*j, 0*h = 5*h - 2*j - 20. Let c be (-6)/(-4)*(-16)/(-6). Suppose -3*t + 4*y = 13, -c*t = 4*y - 5 - 15. Which is smaller: h or t?
t
Let a = 3.4 + -0.8. Let k = a - 0.6. Is k > 0.3?
True
Let m = -107/2055 + -2/137. Let w = 23/120 + m. Is -1 less than or equal to w?
True
Let t = -17039493/31 + 549997. Let k = 336 - t. Do k and -1 have different values?
True
Suppose -i - 2*i - 12 = 0. Is -4 greater than or equal to i?
True
Let t = -1573/9 + 175. Let q(n) = 2*n**2 - n + 2. Let p be q(2). Let r be (-4)/p*2/4. Is t != r?
True
Let d(k) = k**2 - 12*k + 8. Let s be d(10). Do s and -11 have different values?
True
Let m = 0.1272 + 7.9028. Let d = 0.01 + -8.01. Let t = m + d. Which is smaller: 0 or t?
0
Let r = -124 - -125. Let d be (-3)/50*(-10)/(-4). Is d greater than or equal to r?
False
Suppose 2*c + 41 = -47. Are c and -44 unequal?
False
Let g = 34 - 36.9. Let q = 3 + g. Let s = 0 + -0.1. Is q smaller than s?
False
Let i = 0.1 +