er: -1 or r?
r
Let g = -108480 - -12258108/113. Is g smaller than 0?
True
Let o be (1 - 268/(-20))*(-25)/10. Which is smaller: o or -110/3?
-110/3
Let s be 1 - (737185/(-45) - -9). Let w = -16355 + s. Is 18 > w?
False
Suppose -7 = 3*p + 5, 10 = n - 2*p. Let k be n - 5 - -4 - (-1 + -3). Suppose -g + 2*g - 3 = 0, -k*g + 67 = -2*u. Is 1/4 < u?
False
Let x = -0.0262 - 219.9738. Let v = -198 - -58. Let u = x - v. Which is smaller: 1/3 or u?
u
Let f = -1000.174 + 1000. Let p be 7/(-35) - (1 - 6/5). Is p less than f?
False
Let p = 36 - 35. Let f = p + -1.102. Let g = f + -12.898. Which is smaller: g or -4?
g
Let o be (69/(-4))/(63/(-48)) - (-12)/(-84). Do 4 and o have different values?
True
Let r = -10054/574437 + -2/2623. Which is smaller: -0.01 or r?
r
Let m = -0.271 - -242.271. Let f = 237.8 - m. Are f and -0.5 non-equal?
True
Let u be 1967250/219730 + 2*(-18)/4. Is u bigger than 0?
False
Let v = 93.48 - 93.48. Is v >= -1.97?
True
Suppose -3*n - s = 1, -3 = -2*n + s - 2. Suppose n = -5*k - k - 0*k. Suppose 3*g - 4*d - 26 = 0, k*g - g - 8 = 2*d. Which is smaller: g or -10?
-10
Let f be 8/28 + 20/(-70). Suppose f = -4*q + 2*s + 397 - 47, -5*q + 5*s + 425 = 0. Which is smaller: q or -0.2?
-0.2
Let x(f) = -3*f**3 + 68*f**2 - 45*f + 21. Let h be x(22). Let v = 360 + -3950/11. Let z = v - 49/66. Which is greater: h or z?
z
Let t = -1.342 - 0.876. Let w = -0.218 - t. Let j = -19.1 - -19. Does j = w?
False
Let h(s) = -8*s + 17. Let x be h(0). Let t(v) = -4*v + 48. Let g(n) = -4*n + 48. Let f(i) = -3*g(i) + 4*t(i). Let o be f(x). Is o at least -5?
False
Let y(k) = k**2 + 24*k - 77. Let a be y(3). Suppose -5*m = -18 - 2, 2*i + 62 = 5*m. Let q be (-6)/i + 95/35. Is q greater than or equal to a?
False
Let i(u) = -32*u + 62. Let f be i(0). Suppose -63 + f = -p. Is 4/107 at most p?
True
Let c = -605/662 + 7346705/1986. Which is greater: 3699 or c?
3699
Let y be 1 - (-34180)/336 - (-1 + 4). Let a = -393/4 + y. Let m = -15/7 + a. Is -2/5 smaller than m?
False
Let o = 15.26 - -10.74. Let w be (-42)/(-5)*(-180)/(-126). Is w not equal to o?
True
Let o = 74.103 - 74.1. Let f = 1.5 + -3.5. Which is smaller: f or o?
f
Let j(b) = -111*b**3 + 27*b**2 + 66*b - 5. Let l be j(-3). Is 3037 >= l?
True
Let a be (3 + -1)*1/2. Let j = 8133/754 + -305/29. Do a and j have different values?
True
Let y be (-4)/(417616/322580) + 36/12. Let k = 2/607 - y. Which is smaller: 0 or k?
0
Let r = -8 + 6. Let z(d) = -d**3 + 5*d**2 + 17*d + 21. Let j be z(7). Let o be 2/j*35/(-35). Which is smaller: r or o?
r
Let j = 80.533 + -1.833. Let x = j - 6.7. Let d = 73 - x. Which is greater: d or 0?
d
Let m be 8/20 - (-39)/(-110). Suppose 0 = -154*i + 150*i - 2*h - 4, -i - 5*h - 1 = 0. Which is smaller: m or i?
i
Let h be (4 - 4)/(2 - -2 - 5). Which is bigger: 1/9828 or h?
1/9828
Let s be 1 + 0 - (-8 + (3 - 6)). Suppose -s = -2*z - r + 4*r, -3*r - 18 = -4*z. Let f be (12/4)/(-2 + z/6). Which is smaller: 2 or f?
f
Let w = 725 + -385. Let h = -336 + w. Is h not equal to -38?
True
Let w be 6/12 + -1 + (-14)/(-4). Suppose -2*y + 5*q = 0, y - q - w = 3. Suppose 0 = y*s - 0*s - 3*s. Is s less than 2/9?
True
Let z be 11/(242/(-11))*20/(-25). Is z >= 270.05?
False
Let i be 69*(-96)/(-2)*1274/(-10647). Is -396 equal to i?
False
Suppose -5*k + 378 = 83. Let j = 119/2 - k. Let v = 3 - -2. Is j equal to v?
False
Let s = -111454/5 - -8647978/385. Let w = s - 1229/7. Is -5 smaller than w?
True
Let n = -315 + 4689. Are 4373 and n nonequal?
True
Let j = 3145 - 3143. Is j at most -254?
False
Let u be 45*((-186)/(-30) - 12/2). Suppose 0 = -u*p + 22*p - 494. Which is smaller: p or 44?
p
Let o = 14381 - 14380. Let w = 61/187 + -4/17. Which is bigger: o or w?
o
Suppose c - 3 = h, 2*h + 3 = -2*c - 3. Let f be (-2 + -1 - (0 + -3))/h. Which is smaller: f or -6/5?
-6/5
Let n(j) = -j**3 - 62*j**2 - 385*j - 1. Let w be n(-55). Which is greater: w or 1/15104?
1/15104
Let s = 112.061 - 8.05. Let x = -0.111 + s. Let d = 103 - x. Which is smaller: d or 0?
d
Suppose 0 = 23*f + 31 - 445. Let a(n) = -n**3 + 21*n**2 - 56*n - 7. Let c be a(f). Which is smaller: -45 or c?
-45
Suppose -52 = 2*v - 3*v. Let p = -83 + 88. Suppose 5*c + 28 = -2*f + 299, 227 = 4*c + p*f. Is v <= c?
True
Let b = 74348/3 + -24782. Are b and -7065 nonequal?
True
Let b(s) be the third derivative of -11*s**6/120 - s**4/24 + s**3/6 - 45*s**2. Let l be b(1). Is l greater than or equal to -8?
False
Let b = 728 + -69. Let l = -659.267 + b. Let c = l + 0.067. Is c at most -2?
False
Let x = -7/3643 - 17928/149363. Is 81 greater than x?
True
Let m = 16339 - 16331. Which is greater: 272 or m?
272
Suppose -88 = -87*r - 175. Is 1/13029 less than r?
False
Let i = 18 - 68. Let y = -50.05 - i. Is -7 greater than y?
False
Let p be (-68)/408 + (-2)/(-12) + (-533 - -2). Is p >= -7?
False
Let s = 2.483 - -0.057. Let r = s - 2.54. Is r at least as big as -2.7?
True
Let u be (-776)/9 - (-14 + 16). Let w = 12136/99 + u. Which is greater: 33 or w?
w
Let p = -1154 + 2678. Which is bigger: 1525 or p?
1525
Suppose -132*q + 98*q = 3400. Are -103 and q equal?
False
Let l(t) = -5*t - 13. Let o be l(-3). Let s be (o/(-5))/(1104/40). Which is bigger: 1 or s?
1
Let q be (15/(-6) - 26/(-20))*650/28. Which is smaller: q or -0.2?
q
Let k(w) = w**2 + 14*w + 50. Let j be k(-7). Is j at least -5/1073?
True
Let o be (13/(-6) - -2)*(-951510)/(-1773). Which is greater: -89 or o?
-89
Let p be 14/(((-1)/(-2))/((-170)/20)). Let z = p - -342. Is 104 greater than z?
False
Let p = 547 + -939. Let n = 392.28 + p. Let w = 0.1 - 0.1. Which is smaller: w or n?
w
Let w be (23 - 4641/26)*(-1 - (-2 + 3)). Which is smaller: w or 309?
309
Suppose 4*h = -2*d + 483 + 11, 4*h + 4*d - 484 = 0. Which is greater: h or -6/23?
h
Let i = 548.7 - 562. Let z = -1126 + 1077.3. Let p = z + i. Is p at most as big as 2/5?
True
Let j(u) = 11*u - 55. Let y be j(5). Suppose -4*x - 7*x - 77 = y. Which is bigger: 3/5 or x?
3/5
Let h be (-60)/16 - 3/12. Let i be 3/6*132/(-11). Which is bigger: i or h?
h
Suppose -165 = -3*s + 3*t + 78, -3*t = -5*s + 417. Let u be 512/6 + 3/(-9). Do s and u have the same value?
False
Let n = -4860 + 4866. Is -1802 bigger than n?
False
Let o be 666*(985/(-255) + 5). Let h = -757 + o. Which is bigger: h or -1?
h
Let u = 36650274/3839041 + -1327/139. Which is bigger: u or 1?
1
Let n be -2 - ((-16)/(-5) - -1). Let k(d) = 23*d**2 + 6*d + 7. Let j be k(-1). Suppose -3*t + j = 39. Which is smaller: n or t?
n
Let q = 40308/23 + -563382/391. Which is greater: 313 or q?
313
Suppose -2*i - 6 = 4*y, 0 = -3*y - 2*y + 5*i + 15. Suppose 5 = -q, -3*h + 2*q + 14 - 4 = y. Let d be h/(-5 + (3 - -1)). Is -3/8 > d?
False
Suppose -3*l + 1 = 4*z, -15 = -l - 4*z - z. Let r be -2*2 - (-3 + l). Suppose -152 = 4*s - 4*b, 2*s + r*b = -108 + 44. Are -36 and s unequal?
False
Suppose -5*g + 4*k = -16 + 19, -5*g - k = -7. Which is greater: -2/129 or g?
g
Let p be (12 + -13)/(1*(2 + -1)). Let s be (16 - 14)*((-41)/2 + -1). Which is bigger: p or s?
p
Let c(o) = o**2 + 6*o + 36. Let h be c(-25). Let n = 558 - h. Suppose 0 = 2*v + 2*b - 84, 3*v + 0*v = -4*b + 121. Does n = v?
True
Let h = 193441 - 193440. Let z = 2134 + -40555/19. Is z >= h?
False
Suppose -56*o - 34 = -54*o. Let s be (15/(-174))/(o/2). Let w = -1761/76415 + s. Do w and -1 have different values?
True
Let f(m) = m**3 - 20*m**2 + 30*m - 13. Let s = 173 - 155. Let l be f(s). Which is greater: -123 or l?
l
Let p = 27/22 - -17333/110. Which is smaller: p or 160?
p
Let s = -5194 - -5198. Let k = 10593/7 + -1510. Does k = s?
False
Let c(o) = 11*o - 25. Let f be c(3). Let s be (2 - 2) + (f - 11) - -6. Is s not equal to -6?
True
Let h = -1281 + 1281. Suppose -4*s - 2*a = -174, 5*s + h*a = -a + 225. Suppose -2*r + d = -133 + 38, -5*d = 2*r - 89. Which is smaller: r or s?
s
Let l(a) = -28 - a**3 + 4*a**2 + 75*a + 58 - 39*a**2. Let t be l(-37). Let o = -13 - -9. Which is smaller: t or o?
t
Suppose -12*z + 2 = 180*z + 2. Is 64/191 <= z?
False
Let c = -12/3395 - 20548/1870645. Are 0 and c non-equal?
True
Let q be 50/(-12) - 14/(-84). Let f = 4 + q. Let v = -51658/105 + 492. Is f equal to v?
False
Suppose -r + 293 = 4*g, 10*g - 5*g - 1465 = -5*r. Is 293 greater than r?
False
Let b(z) = 5*z**3 + 8*z**2. Let w(n) = n**3 + n. Let m(i) = b(i) - 6*w(i). Let o be m(7). Let k = 742 + -735. Is