is greater: x or 0?
0
Let j = -35 + 31. Let i be (-3)/4 - (15/j + 4). Which is bigger: -9/5 or i?
i
Suppose -2*m - 4*u - 1 = 41, 0 = -4*m + 3*u - 128. Let s be (-9 - -9) + (1 - 31). Is m at most s?
False
Let y be (-24)/(-60) + (-4)/((-360)/6519). Is 74 bigger than y?
True
Let o(j) = -j**3 - 13*j**2 + 3*j - 47. Let i be o(-14). Let l = i - 54. Is 0 greater than or equal to l?
False
Let i(x) = -x**3 - 7*x**2 - 3*x + 8. Let z be i(-6). Let g = z - -11. Is 16/9 < g?
False
Let u = 2.3 + 435.7. Is u bigger than 0.1?
True
Let a = 5 + -8. Let s be -2*a/(12/8). Let i be -15*s/(-42) - 1. Which is greater: 2 or i?
2
Let m be 16 + (0 + -2 - 1). Suppose 0 = -m*o + 10*o + 6. Is 5/9 greater than o?
False
Suppose 4*a + f = 4*f + 6, 0 = 4*f + 8. Let c = -6 - a. Let x = c - -5. Which is smaller: -9 or x?
-9
Let v = 563 + -562.9877. Are 0.1 and v equal?
False
Let g = -1.4 - -1.3. Let z = -0.1 + 2.6. Which is greater: g or z?
z
Let d = -28.4 - -30. Let f = d + -1.5. Are f and -2 equal?
False
Let k be (3/(-53))/((-1458)/324). Are k and 0 nonequal?
True
Let d = -4 + 1. Let m = 0.422 - 0.622. Which is bigger: m or d?
m
Let g = 45 + -42. Suppose -m = 3*t + 2*m - g, 5*t - 5 = -m. Which is smaller: -42 or t?
-42
Let s be ((-1)/(-3) + 0)/((-14)/21). Let h = 69 - 34. Which is bigger: h or s?
h
Let h be ((-34)/15 - 1)*6/6. Which is smaller: -3 or h?
h
Let v = -1 - -1.66. Let z = -1.86 + v. Let m be 2*3/6 - 2. Is z greater than or equal to m?
False
Let c = -5 + -46. Let a be (-6)/c - (-76)/(-68). Does -2/49 = a?
False
Let n(l) = -7*l + 59. Let d be n(11). Which is smaller: d or -243/14?
d
Suppose 0*n + 355363 = -n - 5*k, 2*n - 2*k = -710714. Let p = n - -9948649/28. Let r = p - -201/4. Which is greater: r or 0?
r
Let y be 2 + -1 - (-145 - -148). Let w = -20.83 - 0.17. Which is greater: y or w?
y
Let a = 2/955 + -963/3820. Which is greater: a or 93?
93
Suppose 0 = 3*f - 16*f + 8*f. Which is greater: 1/25 or f?
1/25
Let c = 0.242 + -118.242. Let d = c + 132. Is 2/9 != d?
True
Let n = 23 - 120. Let l be (-22278)/237 - (5 + -1). Which is smaller: n or l?
l
Let k = 0.0554 + -0.0554. Is k greater than 110?
False
Let f = -79 - -85. Let t = 13 - f. Let q = 1 - -7. Is q less than or equal to t?
False
Suppose 0 = -4*a, -2*j - 2*j = -3*a - 796. Are 199 and j equal?
True
Let s = 115 - 162. Let o = s - -46.96. Is 0.02 less than o?
False
Let s be (-35)/220 - (-2 + (-28)/(-16)). Is s greater than 1?
False
Let n = 13 + 1. Let t be n + -12 - (-2 + -4)/2. Which is smaller: t or 26/5?
t
Suppose 0*i + 9 = 5*z + 3*i, 2*z + 3*i = 9. Suppose z*v - v - 61 = 2*s, 0 = s - 3*v + 20. Is s at least as big as -28?
False
Let o = 40 - 40. Suppose o*i = -12*i. Which is smaller: -5 or i?
-5
Suppose -2 = -3*n + 4. Suppose -6*b - n + 26 = 0. Is 13/5 smaller than b?
True
Let p be 7 + -3 + 3 + -2. Let m be -2*(4 + -2) + p. Is -0.02 smaller than m?
True
Let i = -10870/7 + 98530/63. Which is smaller: i or 11?
11
Suppose -3*w - 5*u + 19 = 0, -u + 2 = -3*w - 9. Let h be (w - 1)*8/114. Let q be 0/(5 + -1) - -1. Which is bigger: q or h?
q
Suppose 47 = -5*i + 2*j, -i + 22 - 30 = j. Is i bigger than -10?
True
Suppose 0 = 2*d + 1 + 5. Let n(s) = -s**3 + 6*s**2 - 5*s + 10. Let o be n(5). Suppose 5*t + 15 + o = 0. Which is greater: d or t?
d
Let f = -56/1299 + 869479/10392. Let m = f + -84. Let x = 7.9 + -8. Is x smaller than m?
False
Suppose -2*g + 4*m = -14, g - 21*m + 16*m = 19. Which is smaller: g or -5/104?
g
Suppose 0 = -v + 5*w - 0*w - 16, -16 = v - 4*w. Is -13 smaller than v?
False
Suppose 0 = -d + 2*h + 17, -h - 20 = 3*h. Suppose 0*t = -d*t - 84. Is t not equal to -14?
True
Let z(x) = 24*x**3 + x**2 - x - 2. Let l(a) = a**2 + 11*a + 17. Let c be l(-9). Let i be z(c). Which is smaller: -1/3 or i?
i
Let q be 84/(-16)*8/3. Suppose -5*a = -3*v - 41, -20 = 2*v - a + 5. Is v < q?
False
Let c(g) = -35*g**2 - 27*g - 55. Let b be c(-2). Is -140 less than or equal to b?
False
Let t(v) = -2*v. Let m be t(-1). Let g be m/(-3)*(3 + -24). Suppose -3*y + i = -y + 1, 0 = 3*y + i + g. Are y and -2 non-equal?
True
Suppose -4*n - 2*k = -6620, 3*n = -4*k - 2651 + 7626. Is n at least 1653?
True
Let b(r) = -2*r**3 + 5*r**2 + 9*r + 2. Let d(g) = g**3 - 6*g**2 - 10*g - 3. Let m(p) = 2*b(p) + 3*d(p). Let t be m(-6). Which is greater: t or -10?
t
Let k = 10843793/530 + -20460. Which is bigger: k or 1?
1
Suppose s = -5*b + 3*s + 16, 2*b + 2*s = 12. Suppose -3*n = -b + 1. Let r be (-4)/(-6) - (-164)/(-192). Which is smaller: n or r?
r
Let m(v) = v**2 - 3*v + 2. Let p be m(3). Suppose 2*c - 2*n = -4, 3*c - 21 = -3*n - 3. Let u be ((-1)/c)/(p + -1). Is u <= 0.11?
True
Let s = -0.019 + -0.881. Let i = -3.5 + 5. Let p = i + s. Is -4 greater than or equal to p?
False
Let w = -41/2 - -293/14. Let k(x) = -3*x**2 - 2*x - 74. Let b be k(0). Let y = b + 75. Is y < w?
False
Suppose 4*b - 4*d = 3*b + 16, -5*d = 4*b + 20. Suppose b = 5*h - 2*h - 5*p + 25, -2*h - 2*p + 10 = 0. Which is smaller: h or 4/13?
h
Let y = -0.1331 + 0.3331. Is y at least 365?
False
Suppose 0 = -2*q + 152 + 224. Is 185 less than q?
True
Let b be (1/(6/(-4)))/(1/(-3)). Let y be b*(-2)/170*-1. Which is greater: y or -1?
y
Let o = 69 - 67. Let n be 1/(o - (-20)/(-8)). Which is greater: 2 or n?
2
Let d = 220 + -312. Let u = d + 91.97. Is u bigger than -3?
True
Suppose 556 + 838 = 17*h. Is h smaller than 81?
False
Let u = -59.082 - -0.082. Let x = 89 + u. Is -2 < x?
True
Let i = -0.0419 + 9.0419. Is -6/5 not equal to i?
True
Let q = -6.49 + 33.19. Let t = -25 + q. Let h = 1.3 + t. Is h less than 0?
False
Let h be 152/(-10)*(-20)/(3 - -1). Let v = h - 102. Which is greater: v or -0.1?
-0.1
Let t be ((-8)/(-70))/(3708/(-740) - -5). Which is smaller: t or -10?
t
Let z be 6/8*(133/21 + -5). Which is smaller: 12/47 or z?
12/47
Let x = -10 - -38. Let c = -27.3 + x. Which is smaller: 0 or c?
0
Let m = -0.876 - 0.134. Do -0.1 and m have the same value?
False
Suppose -4 = -t + 1. Suppose 16 = -z + t*z. Suppose -6*b + z = -5*b. Which is bigger: 3 or b?
b
Let p(a) = -12*a + 287. Let h be p(24). Are 6/229 and h nonequal?
True
Suppose 3*c = w + 15, w + 4*c = 2*c + 10. Let p be (-2)/(-5)*1/(-11). Which is greater: w or p?
w
Suppose -63*g = -59*g + 132. Is g less than 2?
True
Let m = -2039 + 2037. Is m < 154?
True
Let s = 238.1 + -38.1. Which is smaller: -1 or s?
-1
Let z = -62.1 - -63.1. Which is greater: z or -5.38?
z
Let w(u) = 11*u + 308. Let k be w(27). Is 604 smaller than k?
True
Let t = 6 - -9. Let k be t/21 + (-8)/(-28). Suppose -2*d - 5 = k. Do -5 and d have the same value?
False
Suppose 5*c = 4*n + 42, -n + 11 = -3*c + 18. Which is greater: n or 3?
3
Let s = 1581 - 1582. Is 2/2541 >= s?
True
Let r be 0/(-1) - 2602/20. Let k = r - -130. Let t = -0.31 + 0.21. Is k > t?
False
Let o = -71 + 215/3. Let c = 82.87 - 83. Which is smaller: o or c?
c
Let x = 37/342 + 13/114. Is -1.88 smaller than x?
True
Let d(p) = -45 - 6*p - 4*p + 16*p - 5*p. Let b be d(9). Is -37 != b?
True
Let x(g) = -g - 4. Let k be x(4). Let l = -53/14 + 7/2. Is l > k?
True
Let m be 136 + -131 - ((-206)/1 + -1). Which is greater: 638/3 or m?
638/3
Let h = 3.42 - -2.65. Let g = -6 + h. Is -1/6 at least g?
False
Let k = -9 + 12. Let y = 32 + -23. Let b = y - k. Which is smaller: 0.1 or b?
0.1
Let h be (-3)/((24/(-26))/4). Let z(x) = -x**3 + 13*x**2 - 2*x + 19. Let v be z(h). Suppose -r - 2*r = 6. Are v and r equal?
False
Let n(v) = 16*v + 173. Let b be n(-9). Which is smaller: b or 25?
25
Let i be 5/(-27)*336/(-140). Suppose 3*b - 43 = 5*t, 2*t - 18 = -3*b + 11. Let u be 2/9 + b/(-9). Is u less than or equal to i?
True
Suppose 0*o - 5*o = -30. Suppose 2*m - 2 = -0*m - 2*y, y - 7 = -2*m. Suppose 3*t - 13 - m = -5*q, -t + 4*q + 12 = 0. Do t and o have different values?
True
Let t = 708 - 707. Which is greater: t or -1/65?
t
Let a = 131 + -239. Let n = a - -110. Which is smaller: n or 3/2?
3/2
Let w be (128/(-2448))/((-4)/(-12)). Which is bigger: 1 or w?
1
Suppose 0*h + 8 = 2*h, -3*j - 3*h + 12 = 0. Suppose 2*m = -4*x - 18, j*x + 21 = -5*m - 4*x. Let n = 271 - 273. Which is bigger: n or m?
m
Suppose -126*u = -138*u - 12. Is -5/144 smaller than u?
False
Let u(w) = -62*w**3 - 6*w**2 + 6*w + 4. Let p be u(3). Is p at least -1?
False
Suppose 2*c - 3*c = -2*n, -2*n + 3*c = -8. Is n < 1134?
True
Let r be (-994)/(-49) - 2/7. Suppose