y**2 + 4*y + 50. Let n be b(9). Suppose -6*f + n = -1. Is 2/633 less than or equal to f?
True
Let i be 6/900*2005*5. Which is greater: i or 66?
i
Let s be -4 + 2 + -33 + -1. Suppose 0 = 29*v - 32*v - w - 119, 3*v - w = -109. Are s and v nonequal?
True
Suppose 48*v - 52*v - 16 = -5*w, 0 = -2*v - w + 6. Which is smaller: 2/87 or v?
2/87
Let d = 2.83 - 44.83. Let u = 35 - 34.83. Let o = -0.07 + u. Which is greater: d or o?
o
Let y(o) = -6*o + 200. Let i be y(31). Suppose -117*t = -116*t + i. Let p be ((-4)/(-6))/(2/(-36)). Is t greater than p?
False
Let d = 29719/10 - 2974. Which is smaller: -3/4 or d?
d
Suppose -5*w + 2*m - 44 = 0, 6*m + 2 = -w + 3*m. Let y be (3*w/(-18))/3. Suppose -10*x + 2 = -8*x. Is y smaller than x?
True
Let g(d) = d**3 - d**2 - 3*d - 4. Let a be g(3). Let k be -3*(a + -4) - (-70)/2. Suppose l + k = -l. Is l greater than -16?
False
Let y = 24 + -17. Let p = -525 + 285. Let v = p + 251. Is y != v?
True
Suppose -128*r + 3*j - 222 = -133*r, -r = 4*j - 41. Is r >= 46?
False
Let q = 582 + -584.39. Let i = 2.21 + q. Which is smaller: i or -2/13?
i
Let j = -4607/3 - -1536. Which is bigger: j or -257?
j
Let t be -6 - 272/(-44) - (-1)/((-33264)/6044). Is t at least 1?
False
Let i = -786.33 - -781. Let o = i + -4.67. Is o greater than or equal to 5?
False
Let j(p) = 22*p**2 + 460*p - 484. Let t be j(-22). Let y = 86 + -172. Let q be (1 - y/6)*3. Is t greater than q?
False
Let a(q) = -108*q**3 - q**2 + 1. Let o be a(1). Which is smaller: -116 or o?
-116
Let y = -12.7 + 86.7. Let v = -0.1819 + -22.8181. Let d = v + y. Which is greater: -1 or d?
d
Let l = 5707 - 6981. Which is smaller: -1273 or l?
l
Let w(a) = 22*a - 32. Let g be w(4). Let t = -53 + g. Suppose -5*m + 2*p = -98, -77 = -5*m + t*p + 20. Is m less than or equal to 21?
True
Let n(x) = x**3 + 34*x**2 + 98*x + 107. Let p be n(-31). Is -340/7 at least as big as p?
False
Let h = -21840 + 24336. Are 2500 and h equal?
False
Suppose -4*r + 26652 = -5*p, 378*r - 382*r + p = -26652. Which is greater: 6662 or r?
r
Let j(t) = 51*t - 596. Let x be j(-17). Does x = -1465?
False
Let n be -140*((-24)/156 + 32/(-130)). Suppose 0 = -2*p + 60 - n. Let l be p*(3/(-6) + 0/4). Which is greater: l or -2/57?
-2/57
Let y(l) = -l**2 - 7*l - 12. Let p be y(-3). Let o = 4559/210496 - 1/1472. Is o <= p?
False
Let f = -5 + 2. Let k be (-105)/(-9) + 2 - (2/3 + -1). Is f less than k?
True
Suppose 2*b = 4*z - 561 + 77, -4*z + 480 = -b. Let g be ((-3522)/10)/3 + -1. Let d = z + g. Which is bigger: 5/2 or d?
5/2
Let c = -3.6 + 4. Let g = 2.19 + -0.88. Let u = g - 1.81. Is c greater than or equal to u?
True
Let o = 2154.9 - 2155. Is -1410 at least as big as o?
False
Let l be ((-1456)/8)/13 + 203. Is l < 1141/6?
True
Let r = -272 + 270. Which is smaller: -57/23 or r?
-57/23
Suppose -4*t = 1 - 9. Suppose 0 = -3*o - t*o + 280. Which is greater: 60 or o?
60
Suppose -16*r = -20*r - 12, 2*c - 3*r + 299 = 0. Which is smaller: -769/5 or c?
c
Let v = 594 - 987. Let n = v - -392. Which is smaller: -110 or n?
-110
Let j be (-1)/(-1)*(45 + -22). Is j less than 756/31?
True
Let j(k) = 4*k - 72. Let r = -101 + 120. Let g be j(r). Let c be (-906)/(-195) + (2 - (-24)/(-13)). Which is greater: g or c?
c
Let f = 73.7 + -77. Let d = f + 3.5. Suppose -2*g - 9 = g, g = -5*u + 17. Which is greater: d or u?
u
Let i = 2/215873 + 2940560326/215873. Let b = i + -13584. Let t = b + -38. Which is smaller: -20 or t?
-20
Suppose 6*l = l + 20. Suppose l*w + 32 = -0*j - 2*j, -4*w = -5*j + 32. Let s(x) = 3*x + 2. Let k be s(w). Do k and -23 have different values?
True
Suppose -5*y - 2*f = -10, -1 = -5*y - 3*f + 14. Suppose -3*d + 4*g - 273 = y, d + 273 = -2*d - 2*g. Which is smaller: -92 or d?
-92
Suppose -6*y + 1324 = -542. Suppose 2*x + y - 63 = 2*a, 0 = a. Is x at least -124?
True
Let u = 10 - 717. Let q be (-188)/u + 94/(-329). Are 1 and q equal?
False
Let p be 4/6 - (-17)/((-969)/(-15238)). Suppose 12 = 4*u, 3*h - 2*u - u = 798. Which is bigger: p or h?
h
Let w = -82 + 258. Let s = -176 + w. Is -15/8 > s?
False
Let h be (-8)/((-49)/7 - -5). Let c be 126/8*(-6 + h/6). Are c and -83 equal?
False
Let t = -225.976 + 224. Let l = t + -0.024. Let b(m) = -m**3 - 2*m**2 - m - 2. Let u be b(-4). Which is smaller: u or l?
l
Let g = -292 - -315. Suppose -u + g = -0*u. Let x = 8 + -7.8. Which is bigger: u or x?
u
Let g be (9/(-12) - -2) + (-552177)/441828. Which is smaller: 1 or g?
g
Let r(z) = -27*z - 101. Let o be 24/(-84) + (-32)/(-14). Let s be r(o). Do -155 and s have the same value?
True
Let d = -110.3 + 132. Let l = 22.7 - d. Is l at least as big as 44/3?
False
Suppose y - 3*o = -4 - 0, 4*o = -5*y + 75. Let a(n) = -n**2 + 10*n + 12. Let g be a(y). Let l = 130 - 7151/55. Is l bigger than g?
False
Let i = -101 + 807/8. Let z(v) = 22*v + 56. Let j be z(44). Let o = -1024 + j. Is i equal to o?
False
Let j = -409 - -79754/195. Let g(k) = -2755*k - 24794. Let m be g(-9). Is m smaller than j?
False
Let z = 0.22 + 0.02. Let p = z + -0.06. Let w = -77/3 + 25. Which is smaller: p or w?
w
Let i = -681.969 - 0.031. Let d = i - -656. Let h = 0 - -1. Is h equal to d?
False
Let r(l) = -4*l**2 + 84*l - 96. Let k be r(21). Is 0.1 >= k?
True
Let p(m) = -m**2 + 84*m - 473. Let o be p(73). Is 330 bigger than o?
False
Let u be (-8)/12 + ((-3655)/6)/5. Let v = u + 6619/54. Does -1 = v?
False
Let p(o) = o**3 + 35*o**2 - 7*o - 50. Let l be p(-35). Which is bigger: l or 196?
196
Let l = -0.293 - -7.393. Let w = 8.478 + -1.308. Let b = l - w. Which is smaller: -4 or b?
-4
Let c = -683/5 + 135. Let s(q) = 0*q - 2*q**2 - 231 + 198 - 17*q. Let t be s(-6). Is t smaller than c?
True
Let d(c) = 176*c**2 + 4*c + 2. Let p be d(-1). Let k be (p/11252)/(3/4). Is 1 at least k?
True
Let a = 795 - 798. Let j = 6.24 + -0.24. Which is bigger: j or a?
j
Let n be (-19)/10 + (-20)/(-50) + (-3438)/(-20). Which is bigger: 169 or n?
n
Suppose -4*i - 20*f - 50 = -25*f, 3*i = -f - 47. Which is smaller: -1092/73 or i?
i
Suppose 10*t - 8*t + 72 = 2*l, -5*l = 4*t - 216. Suppose 26*d = 27*d + 3*c - 14, 0 = 2*d + 2*c - l. Which is smaller: d or 7?
7
Suppose 2*f = -0*f. Let o be (f - 3)/(2/(-2)). Suppose -102*l - 175 = -137*l. Is l bigger than o?
True
Let n be 2*1493/3*(-6)/4. Let u be 4 - (n/(-44) - (-14)/(-77)). Which is smaller: u or -1?
u
Let i(k) = 3*k. Let z be i(-2). Let a be z/(-3) + -60 + 1. Suppose -3*x - 156 = -3*g, 2*x + 8*g - 13*g + 92 = 0. Is x at most a?
False
Suppose -14*m + 8*m = -30. Let y = 5 + 41. Suppose 84 = -m*u - y. Which is smaller: -24 or u?
u
Let c = -606.1 - -605.1. Are -433/4 and c nonequal?
True
Let w = 3003/19 + -158. Suppose -84 = -6*p + 3*p. Let i be (p/35)/(4/10). Which is greater: w or i?
i
Suppose 32*b = -63 - 1. Let h be 1305/725*(-1)/(b/10). Which is smaller: h or -0.7?
-0.7
Let x be 2/(-7) - (-10)/(-14). Let r(h) = 7*h**2 + 14*h - 53. Let y be r(-10). Let u be ((-159)/106)/(y/4). Which is smaller: x or u?
x
Suppose 2 = -4*v - 14. Let l be 0 + -5 + (-1896)/18 - -5. Let h = l + 105. Which is bigger: h or v?
h
Let n = -50 + 33. Let t be (1 - -1)*(-4)/8*-18. Let b = n + t. Which is smaller: 1/20 or b?
1/20
Let t = 1815 - 655214/361. Let a(k) = 2*k - 27. Let r be a(13). Which is bigger: r or t?
t
Let a = -80 + 81.4. Let s = a + -1.4. Is s at most 0.06?
True
Let z be (36/15)/(4/10). Suppose 24 = j + 5*o, -8 = -3*o + o. Suppose j + 2 = -z*k. Which is smaller: k or 2/21?
k
Let m(z) = -2*z**2 - 92*z - 170. Let v be m(-44). Is v bigger than 241/36?
False
Let q be ((-5)/(-10))/(((-7057)/(-5))/(96/(-80))). Which is greater: q or -1?
q
Suppose 3*h - 10 = 20. Suppose 6*i + h = -2. Is i greater than or equal to -32?
True
Let t = 220.102 + -0.102. Let g = -219.92 + t. Which is greater: g or -1/5?
g
Let n = -0.37 - 7.63. Suppose -a + 10*c - 6*c = 9, c = -4*a + 49. Which is bigger: n or a?
a
Let v = -117 + 200. Suppose 0 = 5*d - v - 2. Suppose -3579*o - 2*j + 122 = -3573*o, 24 = o + 4*j. Is d less than or equal to o?
True
Let c be (-34)/1 + (-2)/(-2). Let n = 35 + c. Suppose -x = -u + n*x + 17, -4*u - 2*x = 2. Is -2 >= u?
False
Let a = 359.5 + -360. Is a greater than -55?
True
Let w be 10 - ((-296)/(-370) + 165962/18035). Is w at least -1?
True
Let c = 15.01 - 14.74. Which is greater: c or 7/5?
7/5
Let a(x) = -x - 8. Let l = -38 - -30. Let k be a(l). Suppose -7*m + 14 =