: b or 157/2?
b
Let n = 66.993 - 67. Let u = n + -0.093. Let g be 160/140*(-50)/(-8). Is g at least u?
True
Let y = -0.161688 + 67001.161688. Let h = -66930.963 + y. Let w = -70 + h. Is w less than 0?
False
Suppose 3*x + 48 - 1533 = -n, -990 = -2*x + 5*n. Let p be 1/1 - x/489. Let r = -1934/1793 + p. Is 0 smaller than r?
False
Suppose -148*x - 2019 = 1037 + 11892. Suppose 0 = -3*m - 5*v - 286, m - v = -0*v - 106. Is x greater than m?
True
Suppose -30 = 4*w + 18. Let k be -16 + 7 + (-1 - -3). Let c be (2/4)/(k/182). Which is smaller: c or w?
c
Suppose -32*q = 19*q - 30*q + 258363. Which is smaller: -0.1 or q?
q
Suppose -2*y - 2*y + 2152 = 0. Let r = -6985/13 + y. Let b(u) = -4317*u - 12951. Let g be b(-3). Which is greater: g or r?
r
Let u = 7759 + -7751.96. Which is smaller: u or -3?
-3
Let r be 16/9 + (-30)/15. Let u = -8.34 - -4.34. Does u = r?
False
Suppose -117*i + 12221 = 755. Which is smaller: i or 63?
63
Let w = -319 + 540. Suppose k - w = 3*x + 3*k, 2*x + 134 = -4*k. Let s be (3597/x + 4/(-14))*1. Which is smaller: s or -46?
s
Let m(o) = 3*o**2 - 4*o - 10. Let q = -44 + 47. Let k be m(q). Suppose k*u - 4 = -2*l + 1, -u + 1 = 5*l. Is -2/47 greater than or equal to u?
False
Suppose -14*g = 14329 + 20279. Let u be 8/(-6) - g/18. Are 2 and u equal?
False
Let z(g) = -g**3 - 19*g**2 + 19*g - 20. Let m be z(-20). Let s be 51/(-34) + 82/62. Is s bigger than m?
False
Suppose -2*t + 10 = -b, -2*t - 2*b + 22 = t. Let x(s) = -s**3 + 7*s**2 - 4*s - 12. Let i be x(6). Suppose i = 4*w + 16 - 40. Is w greater than t?
False
Let n = -199 + 604. Suppose -3267 = -27*p - n. Which is smaller: p or 1?
1
Suppose -2*o + 3 = -1. Suppose 0 = -m - o*m. Let d be (3/68)/(948/(-1264)). Is m at most as big as d?
False
Let h = -245/2 + 89. Let y be 6/27 + (-8970)/270. Which is bigger: y or h?
y
Let h(d) = 27*d**2 - 63*d - 137. Let w(u) = 5*u**2 + u + 1. Let t(o) = -h(o) + 5*w(o). Let x be t(36). Which is greater: x or -141?
x
Suppose -122*u - 1752 - 1054 = 0. Suppose q + 2*q + 9 = 0, 2*i - 3*q = 21. Suppose -i*w - 69 = -3*w. Is w greater than u?
False
Let f(m) = 27*m**3 - m + 2. Let t be f(1). Suppose 145 = -5*z - 4*i, -z + i - t = 2*i. Let o = z - -46. Which is smaller: 14 or o?
o
Let d = -14 - -6. Let k = d + 5. Let l be ((-10)/(-35))/(80/35). Which is greater: l or k?
l
Let g = -0.53 - -0.47. Suppose -5*k + 119 = -4*r, 3*r = -0*r + 12. Let x be (-27 + k)/(2/(-1)). Which is greater: x or g?
x
Let p = 253 + -162.8. Let g = p - 90. Suppose 7 = 3*y - 2*q, -q - q - 10 = 0. Which is smaller: y or g?
y
Let p = -1844 + 3577. Which is bigger: 1734 or p?
1734
Let k = -1732 + 1732.66. Let d = -228 + 207.34. Let s = k + d. Is s equal to -1?
False
Suppose m = 5*j + 4*m + 6949, -5*j - 6931 = -3*m. Is j at most -1393?
False
Let y(u) = -u**3 - 9*u**2 - 34. Let j be y(-10). Let l be (j/88)/(71/8). Which is greater: 0 or l?
l
Let c = 6.965 + -72.665. Is 2 smaller than c?
False
Let p = 1343 - 1241. Which is bigger: 90 or p?
p
Let b be (-1)/((-14)/7) - (-391)/2. Let u = b + -195. Is u at most as big as -2/227?
False
Suppose 0 = -2*s - 0*s + 30. Suppose 0 = -3*u - 3*w + 87, 18*w + 4 = 22*w. Let p = u - s. Is p greater than 14?
False
Let o be 39/(-3 - 110/(-35)). Let d = o - 273. Is 2/17 at least d?
True
Suppose 0*o = -13*o + 988. Let l be (2 - 81)/((-4)/16*4). Which is smaller: l or o?
o
Let l = 5261862/10117 - -19315/151. Let k = -648 + l. Let v(y) = -1317*y - 2634. Let p be v(-2). Is p equal to k?
False
Let q be 0/1 + ((-405)/(-980))/27. Let w = q + 377/980. Which is smaller: 6/7 or w?
w
Let d = -434 - -424. Is d less than 69?
True
Let b = 2854 + -2855. Is b less than or equal to -2/123?
True
Let q = 19 + -18.91. Let p = 66 - 7. Let v = -57 + p. Are q and v non-equal?
True
Let u be (-8)/28*(-10 - (-33)/3). Suppose 7*v = -2*p + 3*v - 32, 5*p + 56 = -2*v. Which is bigger: p or u?
u
Suppose 59*h - 20 = 54*h. Suppose 0 = -c + 2*w - 2 - 10, -w = h*c + 57. Are -41/3 and c nonequal?
True
Let f = 3.39 - 372.39. Let j = f - -368.8. Which is smaller: -100/11 or j?
-100/11
Let y = -6725201/18 + 373745. Let g = -321/2 + y. Let n = 298/9 + g. Which is smaller: n or -4?
n
Let f = -0.5 + 0.3. Let k be 24/20 + 51/85. Which is greater: k or f?
k
Let p(m) = 4*m + 69. Let d be p(-15). Suppose 0 = 2*u - d*u - 13*u. Is 5/32 greater than or equal to u?
True
Let k(b) = -29*b + 119. Let h be k(4). Let s be 60/(-75)*(h + (-57)/14). Is s not equal to -2/7?
True
Suppose 2715 - 18110 = 30*p + 39565. Is p at least as big as -1831?
False
Let g = 46394 - 46432. Suppose 2*h + h + 111 = 0. Is g at least as big as h?
False
Suppose -43*b = -47*b - 5*c + 5483, -5413 = -4*b + 5*c. Which is bigger: b or 1366?
1366
Let t = 6327 + -5684. Is t at least as big as 642?
True
Suppose -3*w - 494 = -143. Let c be -2*(-5 - -8 - (-9)/(18/112)). Which is smaller: w or c?
c
Suppose -2*b + 62 = -3*a, -2 - 26 = 2*a - 4*b. Let h be 5967/(-104) + (-9)/a. Which is smaller: h or -59?
-59
Let j = -78 + 80. Let i = 90 + -56. Let n = i - 43. Which is bigger: n or j?
j
Let z = -6545 + 2087857/319. Let l be (-2 + (-13)/(-6))/(3 + (-85)/30). Is z at most as big as l?
True
Let z(g) = 3*g**3 - 3*g**2 + 10*g - 4. Let q be z(3). Let m = -321/4 + q. Which is smaller: -126 or m?
-126
Let l be ((-111)/(-9))/((-1)/9) - 3. Let v = 112 + l. Which is smaller: v or 0.02?
v
Let s be ((-16)/8)/(4332/1077 - 4). Which is greater: s or -90?
s
Let i(s) be the second derivative of 11*s**3/6 - 79*s**2/2 + 99*s. Let y be i(8). Is 1 > y?
False
Let d = 0.2 - 0.14. Let w = -14.038913 + 0.038913. Is d less than w?
False
Let y = 2001 + 2216. Do y and 4216 have the same value?
False
Let z be (-12)/9 - 273/(-225). Let f = -197.8 + 198. Which is smaller: f or z?
z
Let f be ((-2)/(-1))/(25/(8400/96)). Let k = -69/26 - -556/65. Is f bigger than k?
True
Let s = -1269 - -2465. Let p be (-6)/((-24)/s) - (-6)/(-2). Which is smaller: p or 295?
295
Let a be ((-28)/(-21))/((-49)/45 + 1). Is a < -96/7?
True
Let y = 0.1 + 0.01. Let a be (4/(-6))/((8/(-18))/(8/(-6))). Which is smaller: a or y?
a
Let p(i) = -26*i - 8. Let n = 34 + -31. Let q be p(n). Let d = q - -82. Is -3 < d?
False
Suppose -2583 = -104*t - 815. Which is bigger: t or -4/15?
t
Let g = 1/1153 + 769049/2306. Let l = -333 + g. Is l equal to 223?
False
Let k = -79 + 193. Suppose k = 6*g - 30. Suppose 3*m - g = -5*m. Is m < 22/9?
False
Let m be 24/((2 - 3)/(-1)). Suppose 3*t + 21 = d, 3*d - 2*d - m = 4*t. Let b be (-8 - (1 - 1))/((-4)/6). Are d and b unequal?
False
Let o = -33841288/11 - -3081399. Let c = o + -4915. Let j be (-4)/8 + 9/(-2) + 9. Is c < j?
True
Let n(t) = 196*t**2 + 197*t - 94. Let v be n(-10). Are v and 17537 nonequal?
True
Let u = -292.1 - -343.1. Are -92 and u equal?
False
Let b = 1 - 0.5. Let w(m) = -m**2 - 7*m + 79. Let v be w(-13). Let g be v*0/(4 + -9) + -12. Is g less than or equal to b?
True
Suppose 8*q - 10 = 10*q. Is q at most 6/413?
True
Let p(y) = 2*y**3 - y**2 + 130*y - 838. Let i be p(6). Which is smaller: 1689/5 or i?
1689/5
Let k = 17236 - 21653. Is -4418 < k?
True
Let k = -248 + 253. Suppose -4*p + 285 = -k*d, 0 = -2*p + 3*d - 8*d + 165. Do 73 and p have different values?
True
Suppose 0 = -2*y - 4*v + 1504, 3*y + 2*v - 2597 = -361. Let m = y - 653. Is -1 not equal to m?
True
Let i = 0.8623 - 0.1923. Let s = -117.23 - -118. Let y = i - s. Is y equal to -3/7?
False
Let k(c) = -c**2 - c - 24 + 7*c + 3*c + 16. Let x be k(7). Let a be (14/x + 1)*3. Which is greater: a or 43/5?
a
Let c be (567/14)/((-6)/(-64)). Let n = c - 3890/9. Let z(h) = h + 1. Let m be z(0). Which is greater: m or n?
m
Let o = -61116/5 - -613686/55. Is -1064 less than or equal to o?
False
Let f be 7/2*-11 + -4 + 77/22. Which is smaller: 44 or f?
f
Let b(m) = m + 1. Let r be b(1). Suppose -2*x + 26 = -5*t, -2*t + r*x = 6*x - 4. Let w be -4 - (1/5)/(t/70). Is -23 > w?
False
Let i be 3/4*(-10)/15*(-16 + 18). Let j(m) = 2*m**3 + m**2 + m. Let q be j(-1). Let p be ((-3)/q)/(4/(-8)). Do p and i have the same value?
False
Let z be -11 - ((-32)/28)/((-18)/(-189)). Which is smaller: z or 87/200?
87/200
Let i = 145.5 + -138. Let g = i + -11.5. Let a = 0.977 - -0.023. Which is smaller: a or g?
g
Suppose 9*u + 102 = 1524. Suppose 3*i + u = i + 4*q, 3*i + 5*q = -182. Is i bigger than -69?
False
Let d = 230 - 230. Suppose w - 4*q - 13