n or equal to m?
True
Let o = -496 - -524. Suppose -o*p + 10*p = 0. Which is bigger: p or 12/31?
12/31
Let d(h) = 50*h**2 - 64*h - 465. Let i be d(-7). Are 2435 and i nonequal?
True
Suppose 0 = -r - 0*r + 5*f - 3, 0 = f. Let d be -2 - 211/(-126) - r/27. Is d greater than -1?
True
Let y(l) be the first derivative of -7*l**2/2 - 7*l - 14. Let g be y(4). Let m be (-161)/g + 2/5. Is m less than -1?
False
Suppose 0*l + 5*l - 20 = 0. Suppose 1180 + 130 = 5*h + a, 2*a - 1054 = -l*h. Let z be 12/h*(-12)/8. Which is smaller: 0 or z?
z
Let v = -71 + 68. Let t be v*(-28)/414 - (-8)/12. Is 1 at least as big as t?
True
Let i = 3774 - 3654. Is -2/67 greater than i?
False
Let s = 3.66 - 3.76. Let p(l) = -l**2 + 6*l + 9. Let r be p(7). Let x be r/(-6) - (-12)/144. Is x at least s?
False
Suppose -205*s + 456 = -229*s. Let f = 21 - 47. Let j = s - f. Which is smaller: j or 5?
5
Suppose -21 = -5*g + 4*c - 32, -21 = -5*g - 4*c. Let y be (-395)/(-1358) - 6/21. Which is bigger: g or y?
g
Let h = -3505 - -3329. Which is greater: h or -7?
-7
Let o(c) be the second derivative of c**4/12 + 4*c**3 + 40*c**2 + c + 75. Let r be o(-20). Are -2/405 and r unequal?
True
Let i be (7/((-21)/(-12)))/1. Let d be 43/(i/(-2) - 6/(-2)). Let f = d + -39. Is 3 at least as big as f?
False
Suppose -867 = 19*s - 69. Is -43 > s?
False
Let b(o) = -21*o**2 + 347*o - 11. Let d be b(-5). Is -2270 >= d?
True
Let k be 2/((-612)/750) - (-5 + 2). Which is smaller: 2 or k?
k
Let c = 4024 + -4086. Let o = -1 + -61. Are c and o unequal?
False
Let z be (18/(-21))/(216/(-189)). Is z smaller than -59?
False
Let k = 10604 + -10605. Which is smaller: 0.035 or k?
k
Let t = -4705 - -4788. Which is greater: t or -1/5?
t
Suppose 0 = -4*k - 3*w - 132, 40 = -161*w + 156*w. Which is smaller: k or -76?
-76
Suppose 50*w + 8 = 5*w - 37. Is w bigger than -10/63?
False
Let c = 382 + -372. Let r(k) = k**3 - 11*k**2 + 10*k - 12. Let z be r(c). Which is greater: z or -9?
-9
Suppose 2*l + 6*q - 3*q - 162 = 0, q = -3*l + 257. Let c be (140/(-114))/((-58)/l). Which is smaller: c or 3?
c
Suppose 2*a - 204 = 8*a. Which is smaller: -32 or a?
a
Let j = 0.34 - 1.24. Let x = j + 1. Let q = 735 - 5156/7. Is x > q?
True
Let p = -613 - -124. Let m = p + 486.9. Is 3 >= m?
True
Suppose -4*c + 4*t - 184 = 2*t, 5*c + t = -223. Let i be 22*(-8 - -4)/2. Let j = c - i. Which is bigger: j or -7/16?
-7/16
Suppose -138*z = 111*z - 24*z. Suppose -3*m + 6 = -18. Suppose -m*q + 4*q - 8 = z. Are -0.025 and q equal?
False
Let d(v) = -300*v**3 - v**2 + v - 1. Let t be d(1). Let l = t + 919/3. Is l bigger than 5?
True
Let r be -7 - (19/(-57))/(2/72). Suppose 6 = 2*d + 2*b, d - 3*b - 31 = -d. Is r at most d?
True
Let z = -0.3 + 1.3. Let x be 6 + -8 - 781/(-416). Let s = x - 1/32. Which is bigger: z or s?
z
Let i(p) = -p**3 - 12*p**2 + 2*p + 26. Let y be i(-12). Let v(b) = -36*b**2 + 67*b**2 + 3*b - 33*b**2 - y*b**3. Let l be v(1). Which is smaller: -2/161 or l?
l
Let m be 188932/(-44) - 560/(-616). Which is smaller: -4291 or m?
m
Let v(j) = -j**3 - 7*j**2 + 19*j + 12. Let i be v(-9). Let o be (((-42)/(-8))/i + -1)/87. Is o >= 0?
True
Let h = -21.644 + 25.544. Which is smaller: h or 1/11?
1/11
Let p = -282 + 151. Let o = p + 195. Let h = o + -91. Which is smaller: h or 2?
h
Suppose 3*w - 643 = v, 21*w - 4*v - 844 = 17*w. Which is greater: 223 or w?
223
Let m = 165 + -214. Let y = 3.78 - -45. Let q = m + y. Is q greater than -1?
True
Let y be 2/(-6) - ((-221)/(-3) + -5). Let v be (1*21/(-7))/y. Suppose 4 = -0*n + 4*n. Is n != v?
True
Let i = -296/1379 + -14/197. Is -140 smaller than i?
True
Let o(q) = -q**3 - 8*q**2 - 3*q - 102. Let p be o(-9). Suppose 146*i - 143*i + p = 0. Let t be (-1 + -1)*2/6. Which is greater: t or i?
t
Let j = 24.974 + -25. Let s = j - 43.974. Let r = 43 + s. Is 19 >= r?
True
Let o = -1.55 + 1.25. Let l = 341 - 387. Which is greater: o or l?
o
Suppose t + 471 = 2*t + 547. Which is bigger: t or -56?
-56
Suppose 7*n - 10*n + 18 = 0. Suppose 0 = n*d - 11*d + 20. Suppose 3*g - 32 = 5*r, 0*r = -4*g - d*r + 64. Is g < 14?
False
Let z = -0.9 - -1. Let a = -1835.9 - -1835.704. Which is smaller: z or a?
a
Let c be 1/(-4)*(-12 - 112/21). Which is smaller: -78 or c?
-78
Let f = -2 - 55. Let x = -127 - -51. Let s be (-2)/8 - f/x. Is -5/16 < s?
False
Let v be 2/(-3)*(-15)/95. Suppose -12*a + 3 = -9. Which is smaller: v or a?
v
Let m = 7324 - 212420/29. Suppose 0 = -3*f + 29*x - 32*x - 15, 5*f = -x - 5. Is f > m?
True
Let j be 52/(-506) + -17*(-64)/5984. Are j and 0 equal?
False
Let y(q) = -111*q + 55*q + 154 + 50*q. Let i be y(-19). Is 269 bigger than i?
True
Let n be (129/387)/(1/(-51)). Is n at least -924/59?
False
Let a = -7 + 6.7. Let c = -189 + 129. Let u = -67 - c. Which is smaller: a or u?
u
Let r(g) = g**2 + 24*g - 1. Let m be r(-25). Let t = m + -23. Let d = 13 + -9. Which is bigger: t or d?
d
Suppose 5*n + 11 = 81. Suppose 2*q + 2*p + n = 3*p, -4*q - 3*p = 8. Suppose w = 51*j - 54*j - 21, -5*w + 2*j - 20 = 0. Is w bigger than q?
False
Let c be ((-53)/(-22))/((-117)/6). Let j = 118 + -1536/13. Let f = j - c. Is f at least as big as -1?
True
Let n = -88/98363 - -1/167. Let t = n + -23/31. Is t at least as big as -2?
True
Let r = -40.79 - 0.21. Let k = r - -39.5. Let g = -10.5 - k. Is g smaller than 0.2?
True
Let x = 4577 - 4524. Let t = -4589 + 18569/4. Is x smaller than t?
True
Let i = -142 - -139.04. Let x = 3 + i. Let c be (1 - 1)/(5 + -21 + 20). Which is greater: c or x?
x
Suppose -388 - 86 = 3*y + 5*x, -2*x + 147 = -y. Let o = y + 167. Which is smaller: 16 or o?
o
Suppose -553*y + 595*y - 8670 = 1368. Let k be 3*1*(79 + 0). Are y and k non-equal?
True
Let t be (-6)/(-14) + (-16200)/(-126). Let f = 129 - t. Which is smaller: -6/17 or f?
-6/17
Let x = -109 - -109. Let n = -9.44 + 0.44. Let h = n + 8.5. Are h and x equal?
False
Suppose 30 = 4*g + 5*i + 53, -4*g - 32 = -4*i. Let h be -18 + -2*7/g. Do -16 and h have the same value?
True
Suppose 0 = 67*f - 45*f - 1166. Which is bigger: f or 678/13?
f
Let w = -2711/9 - -301. Is w less than 50/27?
True
Let w = -5854 + 46833/8. Which is smaller: 66 or w?
w
Let h be (-4)/8 + (-21)/6. Let q(v) = 2*v**2 + 6*v + 5. Let f be q(-3). Suppose -3*t = -3*u + 5 + 46, -3*t = f*u + 19. Which is smaller: h or t?
t
Let w = 2047 + -1443. Let j = w - 653. Is j greater than or equal to -43?
False
Let q = -33 + 87. Let f = q - 51. Let n = -3.32 + f. Is n at most as big as 1?
True
Let t = 81 - 80.94. Suppose 3*r + 3*c = -24, c + 21 = -3*r - 11. Is t at most r?
False
Let j(c) = 2*c**2 + 2*c**2 - 3*c**2 + 17 - 18. Let f be j(1). Suppose -2*d = -2*n + 176, -4*n + 4*d + d + 350 = f. Is 0 > n?
False
Let x be 1047/(-12) - 1/(-4). Let a = -22 - x. Let b = 5.532 + -5.532. Which is bigger: b or a?
a
Let j be (8/12)/(10/(-9)). Let q = -1501 + 1515. Which is smaller: q or j?
j
Let d be (-471072)/(-98)*14/(-4). Is d at least as big as -16824?
True
Let b(f) = -7*f + 88. Let w be b(12). Suppose -5*q = w*q - 36. Let n be q/9 - (-184)/(-252). Which is smaller: n or 0.036?
n
Suppose 0 = 4*c + 5*l + 80 + 30, -3*l - 84 = 3*c. Let t = c + 45. Let d be (18/24*-4)/((-3)/13). Is t at least as big as d?
True
Let q = 127 - 325. Let c = 286 + q. Suppose -c = -3*z + z. Is 44 at least as big as z?
True
Let g(o) = 10*o + 35. Let l be g(5). Suppose -3*i + 5*f + l = 77, 4*f - 32 = -4*i. Suppose 5 = -2*d - 1. Is i > d?
True
Suppose 4*k = 3*f + 12, 3*k + 5*f = 2*f + 30. Let m be (-2)/k + 187/210. Let b = -2/35 + m. Which is bigger: b or 16?
16
Let o = 10 + -7. Let d be 1*17 + (-17050)/8050*7. Is o greater than d?
True
Let p be 17/5 + 168/280 + -1. Let f(c) = c. Let z be f(2). Suppose -p*m = -z - 22. Is 11 greater than m?
True
Let c = 49781/100 + -639/25. Let h = -472 + c. Which is greater: h or -135?
h
Suppose 2*f - 7 = 3*f + v, -5*f = -3*v + 27. Let s be (-174)/(-540) - f/(-18). Is -1 != s?
True
Let d = 2257 - 182821/81. Let i be 2/(-3) + 2/(-6). Which is greater: d or i?
d
Let r = -52 + 54. Suppose -r = o + 6. Let b be (1 + -2 - 5)*8/o. Which is smaller: b or 2?
2
Let s be ((-12)/14)/(5/105). Let a be (s/(-4))/(15/18) - 3. Is 3 > a?
True
Let o be (4 + -2)/(-4)*-4. Suppose -5*a - o*q = -40, a = -3*a + 5*q + 65. Is a < 6/11?
False
Let c = 1.42 - -16.28. Let b = 17.6 - c. Let s = 0.18 - -0.04. Is b != s?
True
Let i = -10107 - -10100.