- 5*h. Suppose 1821 + 323 = 4*l. Let r = l - 16614/31. Is a greater than or equal to r?
True
Let l = -956 + 72. Which is greater: -883 or l?
-883
Let l(x) = x**2 + 13*x - 12. Let j = 30 + -44. Let m be l(j). Suppose -m = 2*q, -3*g - 5 = 2*q + 6. Is g at least as big as 0?
False
Let v be (-4)/(-3) + 7940/(-6225). Let l = v + -9734/153965. Which is greater: l or 1?
1
Suppose -7 = -3*k - 0*k - 5*g, 5*k - 5*g - 25 = 0. Suppose -j + k*m + 13 = 0, j = -0*j - 3*m - 8. Is j greater than or equal to 2/261?
True
Let k = 3209 - 118729/37. Is k bigger than 6?
False
Let p(s) = 77*s**3 + 61*s**2 + 8*s + 5. Let o be p(-2). Is o at most as big as -394?
False
Let g be 2 - 3/(162/116). Suppose -17*i = -7*i. Which is smaller: g or i?
g
Let d = 22098 - 20896. Is d greater than 1202?
False
Let u be 1476/4182 + 23/(-17). Which is bigger: 12/2005 or u?
12/2005
Let d = -42 - -81/2. Suppose l = -19*l + 40. Suppose -3*w + 4*u = -5, 3*w - l*u + 4 - 5 = 0. Are w and d nonequal?
True
Suppose -3*x + 21 = -r, 4*r - 35 = -47*x + 42*x. Is -2/14763 at most as big as r?
True
Let a be 4/26 - 72834/(-793). Which is greater: a or 128?
128
Suppose o + 1 + 26 = 0. Let y = -4071 - -4041. Which is greater: y or o?
o
Let i be 6/1*-12*4/(-1008). Is 1291 greater than i?
True
Let b(z) = -z**3 + 51*z**2 + 70*z + 107. Let v be b(51). Is v at least as big as 3680?
False
Let a be 1*((5 - 1) + 3). Suppose z + b - 2*b = -a, 2*z = 5*b - 29. Let h be ((-4080)/558)/10 + z/(-3). Which is smaller: -1 or h?
-1
Let w = -70/13 - -7451/1391. Let o(t) = 7*t + 6. Let u be o(-1). Which is bigger: w or u?
w
Suppose -2*n + 4*a = -32, 6*n - 2*a - 72 = n. Let r be n/18*(-13)/((-728)/(-16)). Let h = -19/16 - -545/432. Do r and h have different values?
True
Let t be (-22044)/(-38528) - 32/56. Which is smaller: t or -1?
-1
Let t = 0.19 - 0.412. Let a = 106.222 + t. Let f = -103 + a. Which is greater: -2 or f?
f
Let i = -56617 + 623607/11. Are 76 and i non-equal?
True
Let v = -15.6 - -14. Let r be 380/171 - (-4)/(-18). Let j be ((-1)/r)/(3/(-6)). Is v greater than or equal to j?
False
Let y be (5 - 938/7) + 0 + 0. Let m(j) = -j**2 - 18*j - 161. Let a be m(-16). Is y bigger than a?
False
Let z(t) be the second derivative of -t**4/6 - 5*t**3/3 - 7*t**2 + 3*t + 11. Let p be ((-4)/(-2))/(2/(-6)). Let c be z(p). Which is smaller: c or -28?
-28
Let g = -37509747572 + 26706945347111/712. Let y = -7129 + g. Which is greater: 0 or y?
0
Suppose -2*x + 65 + 19 = 0. Let c = x + -45. Let p be c/6*(-1)/25. Which is bigger: -1 or p?
p
Let q be 5 + (-86 - -81 - 606/(-26)). Are 23 and q non-equal?
True
Suppose -66*g + 24 = -78*g. Let k be 1/(2/(-4)*(g - -4)). Are k and -7/12 equal?
False
Let w be (-1)/((-6)/(-21)) + (-10773)/(-3726). Let n = 3 - 4. Which is greater: n or w?
w
Let s be (-182)/(-178) - (-5 - -6). Suppose 340*b = 327*b - 13. Is s greater than or equal to b?
True
Suppose -4*i = 2*q + 4, 30*q = 3*i + 26*q - 19. Do 1/10 and i have different values?
True
Let m be (-1 - 6/(-9))/(4190/3). Let s = m - 6911/6155110. Is -1 greater than or equal to s?
False
Let k(t) = -2*t**3 + 15*t**2 - 13*t - 9. Let v be k(13). Is -2040 greater than v?
False
Let s(i) = 2*i**2 + 43*i + 60. Let f be s(-18). Let y be 3 + ((-140)/2 - (2 - 3)). Is y > f?
False
Let k = -413/2967345 + 8/2745. Is -1 >= k?
False
Suppose 7*u - 736 = -16*u. Suppose -13*d - 357 = -u. Which is smaller: -7 or d?
d
Suppose -194*q + 203*q = -5247. Let j = q - -600. Is j at most as big as 145/8?
True
Suppose -5*h - 5 - 5 = 0, -2*t + 2 = -3*h. Let q(b) = -5*b**2 - 8*b - 6. Let x be q(t). Which is smaller: x or 10?
x
Let l = 8/29845 - 189306859/89535. Is -2114 at least as big as l?
True
Suppose -52*u + j = -53*u + 3, 3*j = -5*u + 11. Which is smaller: -1884 or u?
-1884
Let t = -16011 + 16469. Is 1375/3 greater than t?
True
Let b = 20128/3 - 6773. Let h = b + 65. Let w be (-9)/(-108)*45 - 3. Are w and h equal?
False
Let f be (-7 - -5)/(37 - (0 + 0)). Let i(w) = -2*w**2 - 29*w - 104. Let x be i(-8). Is x greater than f?
True
Let o = 860.1 + -860.666. Which is smaller: 3 or o?
o
Let p = 14437/72 + -1799/9. Which is smaller: 123 or p?
p
Suppose -874 = 38*l - 2964. Which is smaller: l or 45?
45
Let r(j) = -8*j - 74. Let f be r(4). Which is smaller: 0.07 or f?
f
Let z = -843 + 1337. Suppose -64*u + z = -83*u. Do -16 and u have the same value?
False
Let p(z) = -3086*z - 1582. Let d be p(-3). Is d bigger than 7676?
False
Suppose 0 = -k + 4*m + 1070 + 1123, -m - 2181 = -k. Which is smaller: k or 2176?
2176
Let t(w) = -w**3 - 11*w**2 - 13*w - 22. Let d be t(-10). Let g be (24/(-5) - (-48)/60) + -42. Let q be g/(-7) + (-8)/2 + 6. Which is smaller: d or q?
d
Suppose 2*l = -8, 12 = -109*x + 107*x - 3*l. Is -68/243 <= x?
True
Let k = -172977/2 + 86489. Let b = 6/209 + 6855/1463. Which is smaller: k or b?
k
Let s = 228 + -223. Suppose -s*y + 5*z - 10 = 0, y - 4*z = -7*z + 18. Is 3 bigger than y?
False
Suppose -30*q = 9*q - 78. Do -41/7 and q have the same value?
False
Suppose -18*y - 10 + 136 = 0. Which is smaller: y or 545?
y
Let g = -93.6 + 1.6. Let h = -91.67 - g. Is 0.1 not equal to h?
True
Let z = 19445359/13288 + -11707/8. Which is bigger: z or 0?
z
Let m = -625.335 + 625.4. Which is bigger: -2.6 or m?
m
Let z(x) = 6*x**2 + 10*x + 16. Let l(o) = -6*o**2 - 11*o - 17. Let a(i) = -2*l(i) - 3*z(i). Let p be a(9). Let r be 22/99 + p/(-18). Is 33 at most as big as r?
False
Let h = 837 - 833. Suppose -5*l - 5*b + 60 = 0, -h*b = l + 4 - 7. Let k = 73125/4718 + 2/2359. Which is bigger: k or l?
k
Let f be 232/86130*2/(-12). Which is smaller: 0 or f?
f
Let i(x) = -x - 9. Let n be i(3). Let r(o) = 3*o + 21. Let u be r(-3). Let p be n/(((-8)/u + 0)*3). Is 6 at most p?
True
Suppose 5*d = 2*g - 181 - 524, 0 = -5*g - d + 1722. Let j = -741 + g. Let b be 1/(-3) + (-240)/j. Which is greater: b or 0?
b
Let k = -216 - -219.2. Let q = -2.69 + k. Which is bigger: -2 or q?
q
Let k be (-29)/((-203)/(-98)) + 214. Is k equal to 601/3?
False
Let b = 0.2 - 0. Let q = 3968.4 - 3953.4. Is q equal to b?
False
Let s = 4.5 + 7.8. Let p = -100.3 + s. Let k = 55 + p. Is 1 greater than or equal to k?
True
Let z = -11818 - -11818. Which is bigger: 9/44 or z?
9/44
Let w = 9175.027 + -9159. Let i = w + -16. Let h = -6.973 - i. Which is smaller: 3 or h?
h
Suppose 2*i - 17 = -w - i, 3*i - 12 = 0. Suppose w*f - 323 = 587. Let x be f/(-140) - (-1 - 0). Which is bigger: 1 or x?
1
Let a = -1.7 - 4.9. Let z = 8.28 - 0.68. Let g = z + a. Do g and -20 have the same value?
False
Suppose 5*r - 462 = -67. Suppose -4*s - t + 62 = 0, -5*s - 9*t + 7*t = -r. Which is bigger: 85/6 or s?
s
Let p = 1/37 - -145/111. Suppose -4*x - 3*x - 287 = 0. Let i = -40 - x. Is p equal to i?
False
Let b = -71 + 70.04. Let a = 2.46 + b. Is -1/3 at most as big as a?
True
Suppose b + 24 = 7*b. Suppose -x + 1 = -2*d, 2*d = b*d. Let l be 2*(-6)/(-8) + 1716/264. Which is smaller: x or l?
x
Let m be (40/(-21695))/((1808/4226)/4). Let f = 2/4339 - m. Is f at least 0.1?
False
Let x = 6723 + -9216. Which is smaller: x or 2?
x
Let h = 11788867/1182 - 29921/3. Is -1 less than or equal to h?
True
Let c = 1.744 - 0.78. Let n = 7.964 - c. Is n > 26?
False
Suppose -2*w + 194 = 26*z - 33*z, -5*z - 334 = -4*w. Is 33 greater than w?
False
Let u = -117 - -177. Suppose -u = 117*a - 113*a. Is -9 at most as big as a?
False
Let o = 1.5 - -15.5. Let v = -3.83 - 15.17. Let x = v + o. Is x greater than -0.5?
False
Let q(f) = f**2 + 8*f + 16. Let w be q(-9). Suppose -w = -7*o + 10. Let y(i) = i**3 - 3*i**2 - 4*i - 10. Let x be y(o). Is 21 at most as big as x?
False
Let f = 4556 + -4555.8. Which is greater: f or -21/8?
f
Let j be (1/4)/((-2)/(-12)). Let p = 16 + -34. Let s = 17.8 + p. Is s != j?
True
Let t = -876375/13 + 67329. Which is bigger: t or -85?
t
Let b(f) = -f**2 + 25. Let q be b(0). Let g be -2*18/(-12)*(0 + 1). Suppose 5*o - 26 = -x + 9*o, -52 = -2*x - g*o. Which is smaller: q or x?
q
Let z = -961 - -959. Which is smaller: z or 888?
z
Let y be -4 - 0 - (-16)/4. Suppose y = 10*n + 10*n + 340. Which is bigger: -16 or n?
-16
Suppose 22*b + 10*b - 160 = 0. Suppose -i - 4*i - 110 = -b*r, -4*i = -r + 10. Which is bigger: 25 or r?
r
Let t = -4586.9 + 4587. Let g = -26186607012/551 + 47525590. Let v = -240/19 - g. Which is greater: t or v?
t
Suppose -5*j = 2*j - 5*j + 8. Let 