2*q = 8 + 104. Suppose 2*i + 58 = q. Which is greater: b or i?
b
Suppose 0 = 66*c + 88569 - 28509. Which is greater: -911 or c?
c
Let d = 0.281 - 0.29. Let a = 0.009 + d. Which is smaller: 5 or a?
a
Let t = 4018/505 - 36/101. Which is smaller: t or 0.4?
0.4
Suppose 4*h = -6 + 2, 3*w + 5*h = -8. Let x be (148/(-37))/((-18)/10 + 1). Which is bigger: x or w?
x
Let u be (-86)/8 + 1*(-3)/12. Let p be (u/(66/(-63)))/(2/4). Which is greater: -0.2 or p?
p
Suppose 2*u = 5*u + 255. Which is smaller: -84 or u?
u
Let a = 2.25 - -16.55. Let m = a - -0.2. Let b = m - 20. Which is greater: 0.07 or b?
0.07
Let i(x) = x**2 - 8*x - 3. Let p be i(8). Let o be p/((-10)/(-8) - 2). Let d be o/12 - (-2)/3. Which is bigger: d or 17?
17
Let g be 1*(3 - (-4 - 72)). Let w = 791/10 - g. Which is greater: w or 0?
w
Let p = 231 + -237. Is p at most as big as -17?
False
Let c be (-1)/(-2)*2/49. Suppose -2*p + 7*v = 4*v + 17, -p = -v + 6. Which is smaller: p or c?
p
Suppose -13 = -3*f - 2*u, -2*f + 3 + 19 = -2*u. Let r be 7/f - 174/176. Which is smaller: r or 0?
0
Let f = 21 - 20.86. Let h = -0.14 - 0.1. Let l = f + h. Are l and -2 non-equal?
True
Suppose 5*p + 6 = 7*p. Which is smaller: p or -3?
-3
Suppose 0 = 2*q - 7*q - u + 11, -q + 4*u = 2. Let k be (-4)/2 - (6/q - 6). Which is smaller: k or 7/17?
7/17
Suppose 21*d + 6*d - 135 = 0. Which is bigger: d or 31/6?
31/6
Let f(d) = 13*d + 53. Let p be f(-4). Do 82 and p have the same value?
False
Suppose -5*y + 2*d = 8 - 2, 4 = y - 3*d. Suppose 0 = 5*j - 77 + 87. Does y = j?
True
Let p = 14721 - 11703197/795. Which is greater: p or 0?
0
Let q(m) = m**3 + m**2 + 2. Let o = -16 + 13. Let t be q(o). Let l = t - 4. Which is smaller: -21 or l?
-21
Let d = 27 + -29. Let i = -3.35 - -0.35. Is i at most d?
True
Let a = -4/213 - -166/16401. Is -1 bigger than a?
False
Let r = 103 - 102. Let n = 58/3 - 523/27. Is r greater than n?
True
Let k = -1/1856 + -3701/20416. Is k greater than -27?
True
Let x be (-128)/10*(-185)/74. Is x != 28?
True
Let l = 6 + -4. Let g be ((-108)/(-55) - l)/(10/(-150)). Is 2 < g?
False
Let g(a) = -a**3 - 41*a**2 + 40*a - 93. Let b be g(-42). Do b and -12 have different values?
True
Let m(i) = -i**2 + 9*i - 4. Let b be m(9). Let w be b + 30/24 + (-1)/4. Which is bigger: w or -7/2?
w
Let w = -12 - -16. Suppose -17 = -3*k + w. Suppose -k*j + 3*j = 0. Is j < -8/9?
False
Let z = 1 + -2. Let o = 0.6 + z. Let x be ((-11560)/50)/(-17) + -14. Is x smaller than o?
False
Let i = 5/44 - 87/1540. Let n = -9/245 + i. Which is smaller: 0 or n?
0
Let v = 372/595 - 264722/595. Let n = -445 - v. Which is bigger: -0.2 or n?
-0.2
Let q be (-35)/(-3 - -2) + 0. Let h = 8 - q. Are -27 and h non-equal?
False
Suppose -7*c - 173 = 9. Is c bigger than -49/2?
False
Let g = -19 - -8. Let a = g - -20. Let c = a - 8. Which is smaller: 6 or c?
c
Suppose -g = -5*v + 23 - 96, -13 = 2*v + 5*g. Let f(b) = -15*b**2 - b - 1. Let t be f(-1). Is t not equal to v?
True
Let a be (-3)/(-5)*(-130)/10634. Which is greater: 1 or a?
1
Let x be (26/(-338))/((-4)/(-38)). Which is greater: x or -2?
x
Let n(q) = 0*q - q + 3 + 3. Let t be n(6). Let a = t - -6. Which is bigger: a or 5?
a
Let c be (-102)/(-24) + 3/(-12)*1. Suppose c*z - 12 = 0, -6 + 93 = 5*g + 4*z. Is g smaller than 15?
False
Let y be ((-35)/21)/((-10)/12) - 2. Suppose -2*n + 8 - 4 = -2*w, 2*n + 4*w + 14 = y. Is n <= -2?
False
Suppose 108 = -18*h - 36*h. Are h and 0 nonequal?
True
Suppose m - 8 = -5*s, 0 = 5*s - 5*m - 6 - 14. Suppose 5*w + 3*v = 2*w, 0 = s*v. Which is greater: 0.07 or w?
0.07
Let f(r) = 2*r - 3*r + 2*r. Let q be f(2). Suppose 3*w + 34 = -q*b, -19 = b + w + w. Is 0.1 not equal to b?
True
Let y = -0.079 + -0.221. Let c = -3/19 - -71/209. Is y at least c?
False
Let t = 90 + 19. Are t and 0 equal?
False
Let t = -146 + 151. Which is greater: 2/161 or t?
t
Let b = -5632 - -326665/58. Is b > -1?
True
Suppose -3*s = -6*j + 5*j - 300, -3*s + 606 = -2*j. Let z = j + 1251/4. Which is smaller: 7 or z?
z
Suppose -8*f + 80 = 2*f. Let s(u) = -u**2 + 9*u - 8. Let t be s(f). Which is smaller: t or 1/36?
t
Suppose 0 = -q - 5*f - 18, 6*q - 2*f + 3 = 3*q. Let h be 0 + (-12)/(9/q). Suppose 12*s - 31 = 41. Which is greater: s or h?
s
Suppose 210 = h - 52. Suppose 5*x + 308 = -4*r, 4*x + 0*x = 2*r - h. Which is greater: -63 or x?
-63
Let t(f) = -f**3 + 15*f**2 - f + 19. Let z be t(15). Let s(d) = -5*d + 11. Let a be s(z). Let k = 15 + a. Which is greater: 0.1 or k?
k
Let h = 0 + -1. Let c = 62 - -42. Let b = c - 835/8. Which is bigger: b or h?
b
Let i be -4 + 6 + -3*(-8)/(-24). Is i greater than or equal to 24/89?
True
Let i = 37885/8 + -4745. Is -2 greater than i?
True
Let q = 26 + -27. Let z be 1/(1 + (-24)/21). Do z and q have the same value?
False
Let v = 273 + -361. Is v bigger than -88?
False
Let p(b) = 27*b**2 + 47*b - 179. Let d be p(4). Is d at least as big as 440?
True
Let h = 0.169 - -67.831. Let g = -0.471 + 0.371. Is g < h?
True
Let t be (1/3)/(28/84). Let y = 0.03 - -4.97. Which is greater: y or t?
y
Let f be (4 - 5 - -180)/(-1). Is -179 at least as big as f?
True
Let k = 228 - 225. Is k greater than 8?
False
Let a be (-2660)/7620 - 2/(-6). Is 0 greater than a?
True
Suppose g + 0*g = 0. Suppose g*c = 4*c - 5*o - 66, -2*o + 42 = 2*c. Let w = 19 - c. Which is bigger: w or 1?
1
Let p = 8.3 - 7. Let i = p + -1.2. Let z = -6.12 - -0.12. Is i greater than z?
True
Let c = -10.9324 + -0.0676. Is 20 less than or equal to c?
False
Let h = 168 + -268. Which is smaller: -99 or h?
h
Let i be 176/(-2541) - 2/(-12). Let m = i - 4/77. Which is greater: -1 or m?
m
Let x = -337 - -337.2. Is x <= -87?
False
Suppose 0 = 3*m + 4 - 1, 3*z + 34 = -4*m. Let t be ((-4)/z)/(-1) - (-60)/150. Which is smaller: t or -2/75?
-2/75
Let j be (-18)/24*(2 - (-20)/6). Let q be 26/(-14) - (2 + -1). Is q > j?
True
Let b = 58 - 59. Suppose 3*x - r = -2*r - 8, 3*x = r + 2. Is b at least as big as x?
True
Let n = -2 + -7. Let c = 20 + n. Let j = 10 - c. Is j at most -0.1?
True
Let m = 5.79 + 125.21. Which is smaller: m or 2/5?
2/5
Let k be 2/(-8) - 244/(-16). Suppose -5*p - k = -0*p. Let a = -1777/4 + 441. Is a smaller than p?
True
Let f be ((-10)/(-6))/((-25)/(-180)). Let h be (-2)/f*(1 + -2)*14. Is 2 less than or equal to h?
True
Suppose -4*s + 21 = 5. Let b = -1211 - -1217. Which is smaller: b or s?
s
Let s be (4/(-6))/((-14)/(-6)). Which is greater: 1 or s?
1
Let c = 6.08 - 6. Let m = c + -9.08. Let d = m - -12. Which is greater: d or 0?
d
Suppose -11*i + 13 = -9. Suppose 5*q + 23 = 3*u, 4*u + 3 = -u - i*q. Is u != 2?
True
Let g be (-9)/(-1)*16/(-6). Let p be 58*(-2)/g - 2. Let z = 10/3 - p. Which is bigger: 2 or z?
2
Let g(y) = y**3 + 35*y**2 + 34*y + 3. Let w be g(-34). Is 2 smaller than w?
True
Let r = -309.09 - -309. Is r > -20?
True
Suppose 65*o + 420 = 95*o. Which is bigger: o or 129/10?
o
Suppose 30*m - 25*m = 5. Which is greater: -3/35 or m?
m
Let k = -20.33 + 21.33. Let w = -564 - -4519/8. Is w at least as big as k?
False
Let m(a) = 123*a - 804. Let f be m(8). Which is smaller: 2 or f?
2
Suppose w + 6 = -2*c, 2*w + 16 = 4*w - 3*c. Which is greater: w or 32/11?
32/11
Let p be -5 + ((-212)/12)/(13/(-3)). Let g be 0 - ((-3)/(-1) + -2). Is p greater than or equal to g?
True
Let a = -60 - -63. Suppose w - 5 = 4*k, k + 3*k + 1 = -a*w. Which is smaller: 4/61 or k?
k
Let n = 23.002 - 0.002. Let o = -16.9 + 17. Is o <= n?
True
Let a be ((-1)/((-6)/2))/(1/(-3)). Let r be (16/18)/(2/(-5)). Is r < a?
True
Suppose -5*l - 127 = -2*g + 4*g, -3*g - 184 = l. Is g < 1?
True
Let i = 20 - -90. Is 110 smaller than i?
False
Let c be 2/(-4)*(-32)/(-20). Let z = 10.95 - 11. Let p = -1.05 - z. Is c < p?
False
Suppose 2*w + 12 = 2*y, 3*w = -y + 7*w + 3. Let i = -22 + 22. Let g = i + 8. Which is bigger: g or y?
g
Let k(l) be the first derivative of 2*l**3/3 + 9*l**2/2 + 3*l + 156. Let f = 1 - 6. Let s be k(f). Is 10 at least s?
True
Let j(r) = 2*r**2 - r + 1794. Let f be j(0). Let g be f/455 + (-3 - (-1)/(-1)). Is g bigger than -1?
True
Let d be 192/320*5/(-476). Which is bigger: -1 or d?
d
Let n = 736 + -732. Is n greater than or equal to 0.04?
True
Let v be 15/(-35) - (-460)/(-70). Which is greater: v or -80/11?
v
Let m = 106 - 98.1. Let r = m - -1.1. Let c = r - 10. Is 5 at least as big as c?
True
Let w = 226.1 - 253. Let k = -27 - w. Is