10*(-19)/665. Which is smaller: 50 or p?
50
Let b = 11424 + -11423. Is 280 greater than or equal to b?
True
Suppose -4*o + 14 = -34. Let u = 3.78 - -1.12. Let v = u - 4.8. Is v > o?
False
Let b(m) = -m**3 + 42*m**2 + 33*m + 158. Let d be b(46). Which is smaller: -6786 or d?
d
Let o = -65014/15 - -4334. Let n = 0.2 - 0.3. Which is greater: n or o?
n
Let t be 318/848*40/15. Which is bigger: t or -38/267?
t
Suppose 2*i - 84 = -10*i. Let p be (-238)/i + (1 - 3). Let k be ((-18)/p)/(2/4). Do k and 2/199 have the same value?
False
Let p = -23786/1661 - 336/151. Suppose 10*q + 11 = -2*k + 5*q, -k - 8 = 2*q. Is p greater than or equal to k?
True
Let u = 109.631 - 111.1. Which is smaller: u or 0?
u
Suppose 173 = 19*o + 59. Suppose 2*u + u = 126. Let t be (-122)/(-28) + 6/u. Which is bigger: o or t?
o
Let o = 13/20934 - 164089/129393054. Which is smaller: o or 1?
o
Let w = 129 + -135. Let a = 1.26 - 0.26. Let f = a - w. Is -3 at most f?
True
Let c = -123 - -249. Let h be c/(-9) + (-16)/(-4). Is -44/5 < h?
False
Let d be ((-5)/2)/((-455)/364). Let r be 0 - (-3 + 165/70). Which is smaller: r or d?
r
Suppose -105 = -5*a - 95. Suppose 5*b = -7 + 17, 4 = 3*w + a*b. Which is smaller: w or -18/53?
-18/53
Suppose -t - 2 = -2*d, -2*t + 6*t - 19 = -d. Suppose 0 = 3*k + t*v - 19 - 41, 5*k - 100 = -4*v. Let c = k + -22. Is -4/7 at least as big as c?
True
Suppose -12565 = 5*b - 5*q, 2*b + 4*q - 1681 = -6731. Let a = b + 616663/245. Is 1 >= a?
True
Let s = -19711 + 19714.9. Are s and 1/3 non-equal?
True
Let a = 5863 - 7241. Which is greater: a or 1/3?
1/3
Let x = 1/2107 + 6011/653170. Which is bigger: x or -1?
x
Let w be (-2 - -1) + (-4)/(-6). Let u be (-1038)/(-300) - 17/(-425). Are u and w equal?
False
Let x = -416 - 972. Let z = 1325.1 + x. Let o = z - -63. Is o greater than 1?
False
Let a = 51269 - 3229817/63. Is a at least 2?
True
Let n = 31 - 62. Suppose 3*c - 2*m - 155 = -2*c, 0 = 3*c + 4*m - 93. Let h = n + c. Is -2/7 greater than or equal to h?
False
Let r(z) = z**3 + 28*z**2 + 74*z - 8. Let d be r(-7). Which is smaller: 3523/7 or d?
d
Let p = -5 + 16. Let m = 7756 - 23234/3. Is p greater than or equal to m?
False
Let v(u) = -4*u + 3. Let l be v(0). Suppose 0 = 6*n - 3 + l. Let j = 2797/66 - 127/3. Is n smaller than j?
True
Let v = -10.1 - -11. Let j = -0.1 - v. Let n be ((-50)/45 + 1)/((-26)/(-12)). Which is smaller: n or j?
j
Suppose -12 = 49*i - 53*i. Suppose 0*l = -2*u + l + 5, 0 = i*u - 3*l - 9. Suppose 0*a - 113 = -4*c + 3*a, 0 = 2*c + u*a - 74. Is c smaller than 0?
False
Let x be (-25)/(-2) + (-3 - 2) + 8. Which is greater: x or 2?
x
Let i(z) be the first derivative of 41*z**3/3 - 7*z**2 + 13*z + 92. Let j be i(1). Is j != 42?
True
Let y = 1097 + -1152.3. Let g = y + 57.3. Is -0.12 < g?
True
Let k = -5434 - -10553. Is k bigger than 5119?
False
Let f be 24/60 - (6/(-5))/(363/495). Which is greater: 1 or f?
f
Suppose 3 = 8*w - 5*w. Let b be 2135/(-315) - (-14)/2. Which is smaller: w or b?
b
Let r = 79.6 - 87. Let t = 1.6 - r. Let y = 537.6 + -538. Is y >= t?
False
Let r = 205/12 - 14675/852. Let p(b) = -b**2 + 19*b - 34. Let h be p(2). Is h smaller than r?
False
Let j = 16219 + -16223.1. Which is smaller: 0.202 or j?
j
Let j be (432/405*10)/(28/6). Which is bigger: -143 or j?
j
Let h = 13426 + -13412. Let z = 20 + -29. Let a be -21*(1 + 15/z). Is a < h?
False
Let y be (-3)/21 - (-20432)/(-348740). Let l = 3/265 - y. Which is greater: -1 or l?
l
Let d be 168/(-126)*((-583058)/291532 - -2). Are 0 and d non-equal?
True
Suppose 200376 = 51*p + 35*p + 2*p. Are p and 2277 nonequal?
False
Let z = -0.253 + -610.747. Is -2 < z?
False
Let a be (-1 - 2) + 38 + 0/(-1). Suppose -a*d + 8 = -34*d. Suppose -d*r + 5*r = -18. Is 5 at least as big as r?
False
Let j be (36/(-10))/((-23)/(1265/22)). Let z = 61 + -52. Is j greater than or equal to z?
True
Let j = 3515 + -2184. Is 1327 greater than j?
False
Suppose -q - 34 + 17 = 5*g, -2*g = 6. Is q greater than -84/101?
False
Let y = -8053 - -8025. Which is greater: 12/7 or y?
12/7
Let h be 1654958/7678 - (-20)/44. Let i(n) = -n**3 + 5*n**2 + 6*n - 3. Let d be i(-5). Which is greater: h or d?
d
Let z = 11617 + -11758. Are -3492/25 and z non-equal?
True
Let w = -1242 + 1236. Let r = -15 - -21. Let u be (-8)/2*(w + 42/r). Which is smaller: 8 or u?
u
Let j = 2751/44 + -219/44. Which is greater: 57 or j?
j
Let h = 53.51 + -1.51. Let u = 42 - h. Which is bigger: u or -4?
-4
Let s be (0 + (-19029)/4)/(1182/788). Is s at most as big as -3173?
False
Let x be (-4 + 12)*1/24*(-56 - -59). Let g be 2/(-9)*3/10. Is g at least x?
False
Let r = 11.3 + -12. Let b = 10.3 + -10. Let z = r - b. Is -0.32 > z?
True
Suppose -645 = 3*m - 2*d - d, 4*d = 5*m + 1070. Let t = -42 - m. Which is bigger: 169 or t?
169
Let s be 0 - -2*2/14. Let r be 15*2/(-12)*2. Let k be r/21 - 6/(-21). Which is bigger: k or s?
s
Let d be 43/(671230/12348) + 8/(-10). Let f = -4916164 - -5481522404/1115. Let r = d - f. Is r at most -12?
False
Let w(j) = 2*j**2 + 20*j + 75. Suppose -16*g = -20*g - 32. Let b be w(g). Which is bigger: 42 or b?
b
Let b(x) = 8*x**2 - 336*x - 355. Let t be b(43). Is t smaller than -163/14?
False
Let o = -758 + 760. Let l = 68/29 + -323/348. Which is smaller: o or l?
l
Let n = -269 - 334. Let s = -603.3 - n. Is s < -28?
False
Let p = -0.5079 - 1.4921. Which is smaller: p or 12/253?
p
Let w = 461.0043 - 461. Let z = w + -6.0043. Suppose 0 = -2*h + g + 6, -2*h - 5*g + 2*g - 10 = 0. Is z <= h?
True
Let c = -10.144 - -16.544. Is c at most 82?
True
Let q be -8 - 494/(-64) - (7 - -3). Is q greater than -9?
False
Let g = -8737/102 + 515/6. Let r be ((-2)/(-3))/(1*51/(-9)). Is g less than r?
False
Let k = 9310 + -9311. Which is smaller: k or 1/1992?
k
Let a be (10/(-4))/(5/(-4)). Let c be (3/(1 + a))/((-2)/12). Let n be (2/c)/(18/(-162)). Which is smaller: n or 42/11?
n
Suppose -5*f + 1453 = 2*x, 273*x - 278*x + 887 = 3*f. Is 291 equal to f?
False
Suppose -2*l = -0*l - z + 77, 0 = -3*l + z - 113. Let m be (-228)/(-10) + 2/10. Let f = m + -60. Which is bigger: f or l?
l
Let o(x) = -x**3 + 4*x**2 + 3*x + 10. Let h = 646 + -641. Let z be o(h). Is z less than -2/2131?
False
Let l be 4*(-16 - -15) - 51*-13. Let c be 6/(-4)*44/(-6). Suppose -197 = c*n - l. Is n at most 41?
False
Let z = 12668 + -12666. Which is greater: z or -15?
z
Let y(l) = -11*l**2 - 10 + 9*l**2 + 15*l + 3. Let o be y(7). Let s = 7 - 16. Do o and s have different values?
True
Let w be (-81)/9648*-296 + (-1)/(-2). Does 2 = w?
False
Let s = -6488 - -8217. Which is greater: 0.3 or s?
s
Let t = 3295.169 + -3303. Let k = t + -0.169. Are -2/33 and k non-equal?
True
Let y = -6191 + 6166. Is 40 greater than or equal to y?
True
Let r be (-338)/18 - 2/9. Let p be (-1 - (-7438)/(-70)) + 12/(-84). Let l = 889/10 + p. Which is smaller: r or l?
r
Suppose -3*v - 317 + 1052 = 0. Suppose 3*t - v = -4*t. Suppose -q - t = -35. Which is smaller: 9/11 or q?
q
Let i = -156 + 162. Suppose 0 = 10*q - i*q. Does -2/7 = q?
False
Let d(i) = -i**3 + 22*i**2 - 67*i - 84. Let n be d(18). Is n <= -51?
False
Let c = 1434.541 + -1515.4. Let n = -0.141 + c. Let q = n - -60. Is -0.2 equal to q?
False
Let x = 13467977/253 - 53233. Which is greater: x or 0?
x
Suppose g - 47 = 4*m, 16 = 4*m - 3*g + 53. Let u(d) = -d**2 - 4*d - 16. Let i be u(-6). Is i < m?
True
Let v = -2980 - -3137. Is 0.07 <= v?
True
Let n be (-12)/((-2)/(-28)*630/(-105)). Let s = 0.3 - 0.4. Is s > n?
False
Suppose -3*z + 236 = -22. Let i = z + -96. Is i at most -13?
False
Let t = 199 + -199. Let o = 1913/5566 - -1/242. Which is bigger: t or o?
o
Let z = -9125/42 - -1235/6. Which is smaller: -12 or z?
-12
Let w be 37/4 + (-1)/4. Let q = 61.9 - 20. Let d = q - 41.9. Which is greater: w or d?
w
Let n = 206887/15 - 13768. Is 25 less than n?
False
Suppose -112 = -27*c - 41*c + 92. Are 157/71 and c equal?
False
Let l = -220.0323 + 0.0323. Let p = l + 219. Do 0 and p have the same value?
False
Let t be (-1 + 3)/(2 - (-56)/(-26)). Let z = 4409 - 4422. Is z smaller than t?
False
Let x = -8809 - -16476. Which is smaller: 7668 or x?
x
Let o(k) be the second derivative of k**4/12 + 7*k**3/6 + 15*k**2/2 - 16*k. Let h be o(-5). Let u be 6/(-18)*(-3)/h. Is 4 < u?
False
Let u = 22356 + -39234781/1755. Is 0 < u?
False
Let h = -1.1 + 0.1. Let w = 0 - h. Let q = 651625 - 