e (2/t)/(10*4/271296). Let b = h - 1690. Is 5 bigger than b?
False
Let n be ((-11214)/1026 + 11)*15/26. Which is greater: n or 1?
1
Let j be (2/7 - 2041/(-29631)) + 183/(-549). Is j at least 1?
False
Suppose -210 = -3*c - 2*c. Let b be (-1 - -5)/((-21)/c). Let i be b/12 - 3/9. Is i at least -1?
True
Let y = 389321/21483248 - -1/43313. Is 0 at least y?
False
Let w be 0/(2*(-2)/(-4)*-1). Let a be ((-4)/22 - w)*1. Which is smaller: a or -2/37?
a
Let u = 7/3547 - -46097/7094. Is u at most as big as 73?
True
Let r = 10 + -26. Let f = -600 + 595. Which is greater: f or r?
f
Let p be (6/2 + -5)*-2 + 1. Suppose 17*x - p*x + 516 = 0. Is -49 bigger than x?
False
Let a(g) = 6*g + 3. Let s be a(-5). Let w = s + 191/7. Suppose -y - 71 = -34151*u + 34155*u, 0 = 4*y - 3*u - 58. Which is bigger: y or w?
y
Suppose -5*f + 3*g + 3159 = 0, 0 = -17*f + 19*f - 2*g - 1262. Do 633 and f have different values?
False
Let k = -3049/154 + 137/7. Let s = 1141 + -1140. Which is smaller: s or k?
k
Let x = -79 + 70. Let k = 9.141 + x. Let o = 0.061 - k. Which is smaller: -2 or o?
-2
Let u be (115 - (88 - 9))*(-2)/4. Suppose -2 - 13 = -5*f. Suppose 5*n = f*n, -n = -5*p - 95. Is p greater than or equal to u?
False
Let c be 8 + 1/5*-978. Is -189 >= c?
False
Let d be -1 + -32979 - (3 - -9 - 17). Let i be d/95 - (-10)/95. Is i < -347?
False
Let l = -2131 - -2131. Which is smaller: l or 22/217?
l
Let i = -31549 - -410206/13. Which is smaller: i or -2?
-2
Let t = -9 + -4. Let d = 404.3 - 404. Which is greater: t or d?
d
Let h be (-30 + 30)/(2 - 0/4). Let o be ((-2)/6)/((-377)/(-156)). Which is smaller: h or o?
o
Let u = -10475/8703 + -18/967. Is 0 smaller than u?
False
Suppose -6376*l = -6386*l - 6 - 4. Let u be 2/(-33)*37/(-2). Let o = -2/3 + u. Is o less than l?
False
Suppose -593*a - 3*h - 18 = -590*a, -a + 2*h = 3. Let z = 135/2 + -69. Which is bigger: a or z?
z
Let i(m) = m**3 + 73*m**2 + 324*m + 255. Let s be i(-67). Is 5482 bigger than s?
True
Let w be (13*25/119275)/(2/52). Which is greater: w or 0?
w
Let b be 328/(-56) + 6 + 1/(-7). Let j be (2/(-30) - b)*(3 - -1). Is 0 > j?
True
Let n = 4628 - 17652. Which is smaller: -1 or n?
n
Suppose -l - 5 = -0*l, -2*d + 41 = -3*l. Let s be d - -2 - (2 + 8/(-2)). Suppose 4*v + v + 49 = 3*h, -3*h + 4*v = -50. Which is greater: s or h?
h
Let s = -1645 - -1644. Is s at least as big as 22/75?
False
Let x be ((-11100)/(-175) + 13)/(2/(-10)). Which is smaller: -383 or x?
-383
Let c be 0/2 - ((-4268)/(-996) + -4). Let j = c - 4/83. Is j at least -17?
True
Let b = 839 - 1211. Let s = -335 - b. Is -2 >= s?
False
Let d = 19814.04 + -19779. Is d > -4?
True
Let q = 1595 + -944. Let m = 606 - q. Do -44 and m have different values?
True
Let t be 1*-5 - (252/(-294))/(3/21). Is -22/387 <= t?
True
Suppose -4*r - 307 = 203*h - 198*h, r = h + 47. Let g = -81 - -28. Which is bigger: g or h?
g
Let s = 225 - 255.2. Let g = 30.5 + s. Which is smaller: 34 or g?
g
Suppose 6*b - 476 = 1636. Let w = -372 + b. Which is greater: -22 or w?
w
Let c = 519 + -339. Let y = c - 567. Is y >= -2/5?
False
Let g = -13779 + 41744/3. Suppose -5*k + 406 + 279 = 0. Which is smaller: g or k?
g
Let x be 4 - 20/2 - 8095. Which is greater: -2/7 or x?
-2/7
Suppose 3*k - 199*y = -202*y + 2427, -4*y + 4036 = 5*k. Is 795 bigger than k?
False
Let f = 6.07 - 0.07. Let x = 0.751 + -6.551. Let k = x + f. Which is bigger: -1/2 or k?
k
Let o = 14029 - 14560. Is o greater than -3179/6?
False
Let v be (104/780)/((-17)/(-1135)). Which is smaller: v or 8?
8
Let w = 3316 + -3317. Which is bigger: 1952 or w?
1952
Let u be ((-230)/(-92))/((-760)/48). Let i be (-2)/(-2 - 16/(-6)). Let q(g) = g**3 + 2*g**2 - 4*g - 4. Let j be q(i). Which is smaller: u or j?
j
Suppose -5*z = -o - 2940, -4*o + 1060 = -5*z + 12730. Is -2909 smaller than o?
False
Let c = 33 + -15. Let n = c + -15. Suppose -7*j + 13 - 20 = 0. Which is greater: j or n?
n
Suppose 0 = -4*v + 14 - 22. Let u be (v/(-3))/((-22)/72). Is u bigger than -1?
False
Let f be (-1)/((-1)/3) - 0. Let k = 1100 + -1751. Let d = -647 - k. Which is greater: f or d?
d
Let o = -98863/2420 - -817/20. Let g = -8709/1210 + o. Let x(m) = -102*m**2 + 9694*m - 386. Let q be x(95). Does g = q?
False
Let k = -56/33 + 919/561. Which is smaller: -3.4 or k?
-3.4
Let w be ((-14)/(-100))/((-6)/(-12)). Let l = -3890 + 3890. Is w smaller than l?
False
Let b = 172/55 - 2306/1265. Which is smaller: b or 0.9?
0.9
Let u = 856 - -2052. Is 2908 at least as big as u?
True
Suppose -4*j = 4*c + 4, 2*j - 2*c = 5*j + 1. Suppose k + 1 = -0*k. Let z = k + 0. Which is greater: j or z?
j
Suppose -v + 52 = 5*s + 76, -v = 3*s + 14. Do v and 1/101 have the same value?
False
Let b = -2.0087 + 0.0087. Which is greater: b or -2/349?
-2/349
Let i be (6/459)/((-2)/(-12)). Let w = -91320 - -91320. Is i at most w?
False
Let v(k) = k**3 + 3*k**2 + 2*k + 1. Let q be v(-2). Let a be q/(-3) - 13/(-75). Let z = -15452 - -15453. Do a and z have the same value?
False
Let b = -16 - -13. Let y = -27.63 + 27.54. Is b > y?
False
Let y(m) = 3*m**2 - 53*m - 74. Let c be y(19). Let b be (4/(-26))/(c - (-405)/(-204)). Which is smaller: b or -11?
-11
Let l(r) = 3*r + 18. Let g be l(-6). Let k be (-2)/13*(-3 - (-33)/44). Which is greater: g or k?
k
Let p = 119888/37 + -3240. Let r be 99/132 - 1/(-4). Which is smaller: r or p?
p
Let u be 3321/90 + -8 + 4/(-10). Let m = -387/14 + u. Which is smaller: m or 6?
m
Suppose 43*x = 94*x + 4794. Are -96 and x unequal?
True
Let b be (9 + 378/(-36))/((-42)/(-8)). Which is bigger: b or -97/13?
b
Suppose 4*h = -5*u + 10*u + 1714, 2*h - 684 = 2*u. Let a = u + 342. Is a greater than 4/23?
False
Let k(p) = -12*p + 102. Let h(d) = -13*d + 100. Let o(j) = -2*h(j) + 3*k(j). Let w be o(13). Do 1/4 and w have the same value?
False
Let f = -21287141/1915 - -11116. Is f at most as big as 1?
True
Let g = 1745 + -1005. Let k(p) = -p**2 - 5*p + 8. Let i be k(-7). Let b be 4/i + (g/(-168) - -4). Is 0 less than b?
False
Let y = 431 + -1128. Let v = y - -800.8. Let c = v + -104. Which is smaller: 52 or c?
c
Let a = -152 - -152.543. Let c = a - 151.543. Which is greater: -0.1 or c?
-0.1
Let c(h) = 42*h - 2377. Let p be c(56). Suppose -2*r + r + 4*d = 38, -d = -2*r - 55. Which is smaller: p or r?
r
Let o(f) = 4*f**3 - 27*f**2 - 91*f - 12. Let l be o(-8). Which is greater: -12237/4 or l?
-12237/4
Suppose -2*u - 6 = 2*l, 33*l - 38*l - 15 = 3*u. Suppose -205 = 3*a + 2*a - 5*d, -2*d + 2 = u. Which is smaller: 3/5 or a?
a
Let f be (-5 + 5)/6 + -2 + 5. Let q(m) be the second derivative of -m**3/3 + 21*m**2/2 - 3*m. Let t be q(7). Is t less than or equal to f?
False
Let m = -12217 - -12232. Does m = 69/5?
False
Let l = 37269 + -48709. Which is greater: -11441 or l?
l
Let p = -201.5 - -204.5. Which is greater: 15 or p?
15
Let w = 8915 + -6528. Which is smaller: 2388 or w?
w
Let g be (-105)/700 - (-260505)/(-1300). Which is greater: g or -201?
g
Let y = -862 - -862.1. Let b = -120 + 222. Is y at most as big as b?
True
Let r be (-7 + 3 + (-2195)/(-555))*-264. Which is greater: 11 or r?
r
Let z = -1520 + 1699. Does z = 187?
False
Let t = -1.5 - 1.6. Let x = -2.1 + 2.22. Let d = x + -0.12. Which is smaller: d or t?
t
Let h = -7364 + 7932. Which is bigger: 564 or h?
h
Let k = 3 + 10. Let n(r) = r**2 + 40*r + 357. Let u be n(-28). Is k < u?
True
Let f = 15013 + -18160. Which is smaller: -3146 or f?
f
Suppose -2*a - 19 = -5*j, -4*j + 3*a + 6 = 6*a. Let o be ((117/(-871))/j)/((-2)/2). Which is smaller: o or -1?
-1
Suppose -10*i - 20 = -15*i. Suppose u - i = 14. Which is smaller: 14 or u?
14
Let x be (-3)/(-21) + 49820/(-10199). Which is bigger: -0.1 or x?
-0.1
Let d be (-8)/3*6504/32. Let l = 527 + d. Do l and -22 have the same value?
False
Let p = 225 - 260. Let g = -107/3 - p. Is g at most as big as 204?
True
Let a = 204569041/1316 + -2178229/14. Let o = a + 561/4. Are 0 and o unequal?
True
Let p be (-3338)/(-2827) - 604/1661. Is 0 bigger than p?
False
Suppose -4*c = 2*d - 118, -5*c + 55 = 3*d - 92. Let x be (-2 + 3)/(29/1015). Which is bigger: c or x?
x
Let u(b) = b**2 + 22*b - 44. Let f be u(-24). Suppose -s - 16*t = -17*t - 7, t - 8 = -f*s. Are s and -1 nonequal?
True
Let j = -490 + 490. Suppose j = 2*i + 4*i. Is i > -19?
True
Let w(k) = -37*k**3 - 53*k**2 - 291*k - 10. Let t be w(-7). Is t less than 1