e l(6). Let s = c + 190/3. Let j = s - 0. Is j != -1.1?
True
Suppose -54*i + 4359 = 3604 - 9775. Which is greater: 200 or i?
200
Let s = -30826 - -30840. Is s greater than 428?
False
Let v = -0.6 + 0.48. Let u = 172 + -171.84. Let q = v + u. Is q >= 0?
True
Let m be (3/(-2))/(((-14)/2)/70). Suppose -m*o = -14*o - 95. Which is greater: 97 or o?
97
Suppose 20*j = 19*j + 4. Suppose 2*o + 165 = -5*m, j*o - 3*o - m = -72. Which is greater: o or -76?
o
Let s = -91 - -136. Suppose 5*q + s = -5*j, -4*j = -9*j + 3*q - 45. Let y be (8/j)/((-130)/(-39)). Is 0 smaller than y?
False
Suppose 285*v - 104*v - 6432 = -88244. Is -462 greater than v?
False
Suppose -d + 2*p - 11 = 0, -30*p + 25*p + 31 = d. Is d less than 2/11449?
False
Let n be (-13)/78*(-313665)/13070 + -4. Which is smaller: -1 or n?
-1
Let t = 155939/103 - 1514. Let p = t - 509/206. Suppose -5*z = 2*u + 21, 5*z - 18 + 45 = -4*u. Is z at least p?
False
Let p be (-9 - (0 + -4)) + 5. Suppose 2 + p = -2*t. Let f = 40/7 - 454/77. Is f equal to t?
False
Let y = 11875 - 12157. Which is bigger: -283 or y?
y
Let i be 4*13*(11 + 2). Let p be 2 + (-49724)/(-74) - (-7 + 5). Let m = i - p. Which is smaller: 2 or m?
m
Let m = 378 - 363. Suppose -m*t + 220 = -305. Which is smaller: 37 or t?
t
Let r be (-23)/138 - (-1 + 26/(-12)). Suppose 0 = -0*o - r*o - 6, 0 = 5*q - o + 8. Which is smaller: q or -31/10?
-31/10
Suppose -290 = -6*c + 286. Suppose 3*p - c - 51 = 0. Let h = 49 - p. Is -1/12 smaller than h?
True
Let z = -5901 - -5901. Let y = 2997 + -1081915/361. Which is smaller: y or z?
z
Let l be (-6)/(-21) - 146910/557550. Let c = -22 + 11. Does c = l?
False
Let m be 3049/277 + (-1562)/142. Is m < 4?
True
Let d = -3585517/11 + 325633. Let c = d - -323. Which is smaller: 1.1 or c?
c
Let v = 1493 - 1484.97. Let x = -6.03 + v. Is x > 64?
False
Let t be (-2 - (-3 + 1))*3/(-3). Let s be (t - (-644)/245)*15. Which is smaller: 39 or s?
39
Let k = 12.856 + 0.244. Let g = 20.1 - k. Is g at most 8?
True
Let b(s) = -s**3 - 11*s**2 - 8*s + 19. Let f be b(-10). Let a be f*(2 - -190)*3. Let i = a - -1667/3. Which is greater: -20 or i?
-20
Suppose -4*u + 31*v - 1116 = 35*v, 4*u + 1104 = -v. Let n = u + 250. Which is bigger: n or -5?
-5
Let o = -37588/143 + 2910/11. Suppose -967*a + 3062 - 998 = -279*a. Is a greater than o?
True
Let p = -27.563 - -25.563. Let v = -6.5 + 4.6. Let i = v - -20.9. Is i at most p?
False
Let a = 13.3 - 13.7. Let q = -0.38 - -0.45. Let m = 0.03 - q. Is m smaller than a?
False
Suppose -18*x = -28*x + 5330. Suppose 0*y + x = -13*y. Is -44 equal to y?
False
Let m be 20/80*7/((-28)/(-16)). Let l(y) be the second derivative of -2*y**3/3 + y**2 + y. Let h be l(m). Which is bigger: h or -11/4?
h
Let y be (-1)/((-6)/42*-7). Let o = 46 + -64. Let k be (-3)/6*4/o. Which is bigger: y or k?
k
Let m be (2/(-4))/(17/(-34)). Let z be (8 - 5)/(-30) + (7 - 5). Which is smaller: m or z?
m
Let f(v) = -2*v**3 - 11*v**2 + 3*v - 18. Let i be f(-6). Is i at most -2/6783?
False
Let d(s) = -s**3 - 7*s**2 - 7*s + 14. Let f be d(-6). Suppose 2*j + 2*j - f = 0, 15 = 5*m - 3*j. Are m and 20/3 nonequal?
True
Let a be ((-1062)/(-90) - 11)*1/(-12). Let p = 6 - 4. Let v = 1 - p. Which is smaller: v or a?
v
Suppose -38*u + 41 = -35. Let t be (432/(-84))/(u/70). Is t at least as big as -181?
True
Let z be 10150/375 + (-4)/60. Suppose -z*o + 36*o = -36. Which is greater: -74/21 or o?
-74/21
Let r be (20 - 19)*(-96 + -1). Let s = r - -98. Is 1/23 equal to s?
False
Let d(y) = -4*y**3 + 70*y**2 - 15*y - 76. Let n be d(18). Which is smaller: -993 or n?
n
Let y = -1213448/963 - -13870/107. Does -1131 = y?
False
Let j = -4840 - -4838. Which is smaller: j or -2/8135?
j
Let w(u) = u**3 - 20*u**2 + 31*u + 187. Let a be w(18). Which is smaller: 96 or a?
96
Let n(q) = 34*q**2 + 227*q + 890. Let t be n(-4). Is t <= 526?
True
Let w = -2123/2 - -6323/6. Which is greater: w or -7?
-7
Suppose 1117 - 160 = 33*p. Let z = 10 - 12. Is z != p?
True
Suppose -4*w + 2*w - 59 = -5*m, -5*m + 5 = 0. Let h be ((-153)/w - 6)/((-179)/(-18)). Which is greater: h or 1?
1
Let d(n) = 16*n - 5. Let c be d(2). Let j = 23 - c. Let o be (j/(-6))/(10/(-6)). Is 27 smaller than o?
False
Let o = -5893.91 + 5894. Is o > -14.9?
True
Let a = -13.8 + 1.8. Let d = 0.491 + 0.079. Let f = d + -0.67. Which is bigger: f or a?
f
Let t = 1948 + -1956.98. Do -1 and t have different values?
True
Let q = 5586 + -5586.07. Which is smaller: q or -2/7?
-2/7
Let r be -2 + 0 + 4 + -1. Let x be ((-4)/(-15))/(3 - r). Suppose 2*c = 2, -11*c + 38 = 3*w + 24. Is x greater than w?
False
Suppose 91*w + 193*w = -74*w + 27924. Is 91 bigger than w?
True
Let l(a) = -4*a**2 - 83*a + 24. Let p be l(-21). Let o be (0/p)/((1 + 9)/2). Is o <= -3/109?
False
Let s be ((-1)/3)/((-924)/2079). Is s less than 18.03?
True
Let i = -5.01 - -382.01. Let u = -361 + i. Which is smaller: u or 2/5?
2/5
Suppose -v = 3782 - 3477. Let w be -306 - (-1)/(3/6). Which is greater: v or w?
w
Let t(r) = -2*r + 19. Let a = -262 + 272. Let i be t(a). Let o be (2*-1)/((-4)/74). Is i bigger than o?
False
Let d = 25 + -63. Let i = d - -40.7. Let u = i - 9.7. Which is smaller: u or 2/7?
u
Suppose 38*k - 35*k = 5*a + 12, -k = 3*a - 4. Which is smaller: -3/5267 or a?
-3/5267
Let m = -537/88 + 115/22. Let h be 2*1/(-2)*-11. Suppose 0 = 5*t - 5*l + 20, -3*l = -3*t - t - h. Is m greater than or equal to t?
False
Suppose -348 = -8*r + 660. Suppose 122*q + 780 = r*q. Which is greater: 196 or q?
196
Suppose -100*l + 907 - 6707 = 0. Are -58 and l unequal?
False
Let w(g) = -2*g**2 - 131*g - 188. Let c be w(-59). Which is greater: 581 or c?
581
Let w be (-263)/(-6) - 5/6 - -5. Suppose -8*t = 16 - w. Which is bigger: t or -1?
t
Suppose 0 = -4*c - 5*d + 1589, 4*c - 1172 = 3*d + 377. Let y = c - 374. Is y greater than 20?
False
Suppose 1 + 2 = 3*k. Let v = 376 + -498. Let a be v/658 - 113/(-791). Are k and a equal?
False
Suppose -38*u + 16464 = -52*u. Let a = u - -36472/31. Is a greater than 2?
False
Suppose -o - 3*h + 36 = 0, -9*o + 10*o - 2*h - 21 = 0. Let t be 66/4*99/o. Which is smaller: 62 or t?
t
Let x be (-1 - 0)/(6/60*5). Let t be (-2)/((-22)/(-1)*x/(-4)). Is -0.9 < t?
True
Let g be (55 + 13)*6/4. Let l = g + -74. Which is bigger: l or 31?
31
Suppose -45318 = -6*m + 2*a, 12*m + 3*a = 8*m + 30212. Which is smaller: 0 or m?
0
Suppose 15*a = -65*a - 2640. Let u = 1 - -2. Suppose u*c + 51 + 48 = 0. Do a and c have the same value?
True
Let t(u) = 66*u**2 - 25142*u - 1415. Let j be t(381). Suppose p - 79 = 32. Which is smaller: j or p?
j
Suppose -p = 4*l + 11, 5*p - 2*l = -0*l + 55. Suppose 28*v = 31*v - p. Is 12 at most as big as v?
False
Let x = -5049 - -5006. Is x bigger than -1?
False
Let x = 855 + -782.9. Let m = -1.1 + x. Is 0 less than m?
True
Let c = 3288 + -3238. Suppose -3*z + 153 = -0*z. Suppose z*b - c*b = 10. Which is greater: 14 or b?
14
Let u = -11/725 + 1097/34075. Do u and -1 have the same value?
False
Let k be ((-33)/22)/(710/(-15)*3). Let q be 0*(0 - 1/2). Are q and k equal?
False
Let z = -26 - -32.9. Let y = z + -1. Let d = -5.1 - y. Which is greater: -0.1 or d?
-0.1
Suppose 162*s - 115 - 47 = 0. Which is bigger: s or 12/35?
s
Suppose -3987*v = -4516*v + 7406. Let s = 18 - 8. Is v < s?
False
Suppose 79 = -26*u - 25. Let h(c) = -2*c**3 - c**2 - 2*c - 8. Let w be h(u). Which is smaller: 110 or w?
110
Let u be 154/(-42) - ((-10)/6 + 2). Let l be (-3185)/7525 - u/10. Which is smaller: 0 or l?
l
Suppose 83*g - 86*g + 3 = 6. Is 0.376 greater than g?
True
Let g(d) = d**2 + 16*d - 340. Let z be g(15). Which is bigger: z or 1001/8?
1001/8
Let o = -417 + 233. Let p = o + 202. Suppose 3*q - g = 50, 3*q = -q - 5*g + 92. Is q < p?
False
Let u = -234 - -143. Let n = u - -36. Let p be 3 - n/30*-2. Are -2 and p nonequal?
True
Let t = 0.4261 - 1.8261. Is 2.7 equal to t?
False
Let b be 84/3 + -7 + 2 + 1. Suppose -3*z - 3*o - 2*o + 34 = 0, 3*o - b = -3*z. Which is smaller: 6 or z?
z
Suppose -118*t + 136*t = -18. Let n = 1027/2689659 - -2/2889. Is t at least as big as n?
False
Let o = -66 - -48. Let d be (-5364)/(-25596) + 4/o. Is d equal to -1?
False
Let a = -0.5 + 0.4. Let i = 0.6 + a. Let h = 7079 - 7074. Which is smaller: i or h?
i
Let x = 10901 + -21803/2. Is x at least 0.1767?
False
Let b = -13350 + 13349. Is b greater than or equal to -80