igger than n?
False
Let a be 54/(-27) + (20/70 - 8164/(-4746)). Let h(x) = -x**2 + 8. Let k be h(-3). Which is smaller: a or k?
k
Let p = -29 - -36. Suppose 2*m = p*m. Suppose -6*i + 4*i + 20 = m. Is 11 >= i?
True
Let i = 582762/41 + -14214. Is 1 equal to i?
False
Suppose 3*j + 1819 - 557 = c, 4*j + 5000 = 4*c. Which is smaller: c or 1245?
c
Suppose -11 = -3*q - 2. Suppose 5*h - 10*m + 1239 = -6*m, 0 = 3*h - 2*m + 745. Let z = h + 254. Is z equal to q?
True
Suppose -5*f + 40 = -5*q, -5*f - 453 = 2*q - 493. Is 18 greater than or equal to f?
True
Let d be 17 + (-4)/(-12) + 39/(-9). Let c be d/9 - (-16)/48. Which is smaller: 1 or c?
1
Let i be ((-512)/(-960))/(30088/(-20)). Which is bigger: 1 or i?
1
Let l be (2068/165 + -12)/114. Is -1 equal to l?
False
Let x be (47 + 7)/((-1)/(-3)). Suppose 4*d + 3*b = -590, 3*d + 277 = -4*b - x. Is -149 less than d?
False
Let l = 101.235 + 600.655. Let s = 702 - l. Is -23 equal to s?
False
Suppose 63 = -p - 15. Let k be 913/(-11) + 12/14*7. Which is greater: k or p?
k
Suppose -a = -3*a. Let g be (-2)/(a - (-1)/6). Let l be (17/255)/(4 + (-136)/32)*9/(-6). Is l less than g?
False
Suppose -5*p = -18*w + 19*w + 8, -4*p = -4*w + 16. Suppose -w*t = -4*l + 5*l - 133, -3*t + 192 = 3*l. Which is smaller: 344/5 or t?
344/5
Suppose 9 = -3*x + 2*v, -2*v - v + 7 = 2*x. Let h(i) = i**3 - 13*i**2 + 23*i - 7. Let q be h(11). Let y be (q/8)/(4 + 0). Is y smaller than x?
False
Let q be 8/(-12) + 97/96. Suppose 298*t + 10 = 4*k + 297*t, 5 = -k - t. Are q and k equal?
False
Let q(f) = 3*f - 8. Let y be (-15)/(-12) - 76/(-16). Let u be q(y). Which is smaller: 11 or u?
u
Let h be (7 - 0)/(-1) + 654. Are h and 645 unequal?
True
Let d = -0.4509 - 702.5491. Which is bigger: d or 0?
0
Let q = -8 + -34. Let j be 67/q + (-1)/(-6). Let g(n) = -n**2 + 576. Let p be g(24). Are p and j unequal?
True
Let y = -31 - -20. Let o = -16 - y. Let f be -11 + (2 - (-5)/o). Is f not equal to -8?
True
Let n(i) = i**2 + 3*i - 5. Let k be n(4). Suppose 0 = 7*p + 34*p + 5*p - 1058. Is k at least p?
True
Let x be 67 + 4 + -2 + 2 - 3. Suppose 77*z = x*z. Is z equal to -1/21?
False
Let x = 103416 + -413665/4. Let a be 1*-1 + 5/9. Which is smaller: a or x?
a
Let n(d) = -9*d**3 + 36*d**2 - d + 5. Let m be n(4). Let g be (-1 - 3/42)*-2. Which is greater: m or g?
g
Let w(v) = 31*v - 443. Let m be w(10). Does m = -140?
False
Let m(i) = -121*i + 256. Let x be m(2). Which is smaller: x or -2/55?
-2/55
Let b = -7176/539 - -146/11. Let t(j) = -79*j + 80. Let o be t(1). Is o greater than b?
True
Let c = -53 + 128. Let n be c/12*2/(-3). Let u = -37.1 - -37. Is u > n?
True
Let c = 0 - 4. Let z = -42.092 + 0.092. Let x = 35 + z. Which is bigger: c or x?
c
Let g be (-20)/8*(-4)/40*-7988. Which is smaller: g or -1996?
g
Suppose -1147*g + 1095*g = 3588. Let c be (-1 - 67)/(1 - 0). Which is bigger: g or c?
c
Let o = 39162 + -9203072/235. Suppose 0 = 2*v + 2 - 0. Is o at least v?
True
Let u = -31038 + 342000/11. Which is bigger: 53 or u?
53
Suppose -220 - 131 = -117*s. Let f = -32543/10 + 3258. Are s and f unequal?
True
Let v(d) be the third derivative of -45*d**4/8 + 315*d**3/2 + 5*d**2 - 19*d. Let q be v(7). Let r be (-4)/6*27/14. Do r and q have the same value?
False
Let p = -210.451 - -207.5. Let i = p + 2.78. Which is bigger: -1/4 or i?
i
Let k = 1047 - -724. Is 1771 > k?
False
Let u(d) = -128*d + 7609. Let o be u(99). Which is smaller: -5064 or o?
-5064
Let a be (176/(-520))/((-12)/(-15)). Is a >= -1/11?
False
Let g be (25509/(-2))/(-3) + 129/86. Let a = g - 38335/9. Are 2 and a unequal?
True
Let a = -0.4 - -0.3. Let l = -132 - -33. Let u = 98.6 + l. Which is smaller: a or u?
u
Let f(r) = 3*r**2 + 7*r + 2. Let c be f(-6). Let t be ((-10)/(-4))/(3/(-9)*(-300)/80). Which is smaller: c or t?
t
Let y be ((-13)/(-2) + -6)*8. Suppose 520 = y*s - 4*v, 0 = 8*s - 10*s + 4*v + 260. Which is greater: 131 or s?
131
Suppose -5*g = 16*g - 2079. Suppose 112 = -2*h - 118. Let r = h + g. Which is bigger: r or -15?
-15
Let m = -0.0379 - -0.012. Let h = m + 0.1259. Which is smaller: h or -495?
-495
Suppose -26458 = 3*s - r, -44074 = 105*s - 100*s + 4*r. Is s at least -8820?
True
Let p(o) = -2*o**2 + 2*o + 20. Let w be p(-4). Let r be (-6)/(-4) + 5/w*-62. Let a = 93 - 75. Is a not equal to r?
True
Let z = -76 - -79. Suppose -4*y = -5 - 3. Suppose -4*l - z*k = 10, -y*l + 3*l + 5 = -2*k. Is l bigger than -3/5?
False
Let i(a) = a**3 + 20*a**2 + 2*a + 76. Let o be i(-19). Let x be o/(-15) + 38/(-95). Is -27 greater than or equal to x?
True
Let n = -21.8 + 16.04. Let s = -0.66 - n. Let t = s + -3.1. Do t and -0.02 have different values?
True
Let m(y) = y**2 + 300*y - 2137. Let x be m(7). Is x less than or equal to 252?
True
Let o(i) = i**3 - i**2 + 3*i - 7. Suppose -28*n + 34*n = 12. Let d be o(n). Which is smaller: 0 or d?
0
Let j = 5527/14 + -395. Let a(c) = 3*c**2 + 183*c + 1138. Let n be a(-7). Is j equal to n?
False
Let d = 344 + -332.91. Let t = d - 0.09. Let f(a) = -3100*a - 24799. Let y be f(-8). Which is smaller: y or t?
y
Suppose 2*i - 23 = 5*o, -4*i = -0*o - o - 1. Let l = 3/6880 + -5762691/6880. Let r = 834 + l. Is o smaller than r?
True
Let v = -5619 - -11279. Let p be (-8)/28 + v/(-35). Let u be (6/(-4))/(p/(-72)). Are 0.2 and u equal?
False
Let i be (-6)/10 + ((-171306)/390 - 1). Let h = i - -441. Which is bigger: h or -65?
h
Let h = 2/2479 - 121481/12395. Let a = -205.417 - -205.717. Is a at most as big as h?
False
Let x = 647 + -3219/5. Suppose 0 = 8*p - 44 + 12. Which is bigger: p or x?
p
Let h be 75/(-90) + 2476/(-24). Which is bigger: -80 or h?
-80
Let a = -27439/4 - -6918. Which is bigger: -0.3 or a?
a
Let o = 4251613/221 - 19238. Is o <= -6?
False
Let w = -137 - -138.07. Let f = w + -9.07. Let x = f - -11. Which is bigger: 1 or x?
x
Let t = 84 + -77. Let l = -28/191 - 8855/3438. Let h = l + 11/9. Is t at most h?
False
Let v be (-164)/(-168) - (-4)/(-3). Let z(l) = 5*l**2 + 4*l. Let p be z(0). Which is greater: v or p?
p
Let t be 12/30 + 1312/20. Suppose -3*g = -4*a + t, 5*g - 4*a = -a - 121. Which is greater: g or -3?
-3
Let u(q) = 3*q**3 - q**2 + 119*q - 469. Let f be u(5). Which is smaller: 458 or f?
458
Suppose 2*j + 2 = -4*d, 0 = 2*d + d - 4*j - 26. Let k be (d/(-18))/(123/3303) + 3. Let h = k + 1450/1599. Which is bigger: h or 1?
1
Let j be (-2*51/2)/((-30)/(-270)). Let i be ((-1)/138)/(34/j). Is i <= 0?
False
Let b(q) = -9*q + 172. Let r be b(17). Suppose v - 10 = -4*v. Suppose 2*p - 84 = -v*p. Which is smaller: r or p?
r
Let o = 51295 - 51193. Suppose -5*n = -5*b + 505, -5*b - n + 529 = -0*b. Which is bigger: b or o?
b
Let r be (-18)/(-27)*5/(5/(-47)). Suppose -2*f = -f + 31. Which is smaller: f or r?
r
Let j be 5*((-57)/(-15) - 3). Let f be (-2)/j*16/(-20). Let c = -9.978 + -0.022. Is f greater than or equal to c?
True
Let x = 4.644 - 3.644. Let f = 2 + 11. Which is bigger: x or f?
f
Suppose 0 = -3*t + 5*p - 212, 5*t + 4*p + 375 = 8*p. Let h be 1/6*(-11 - -8). Which is bigger: t or h?
h
Let p be (2 - 1 - 4)*-3. Let r(q) = -2*q + 8. Let a be r(p). Suppose 386 = -58*y - 302 + 166. Is y smaller than a?
False
Let k be -1 + 2 + (-29 - -30) + 0. Which is bigger: 47.2 or k?
47.2
Let p = 35.13 + -35.33. Is -7/205 >= p?
True
Let p(a) = -10*a - 342. Let n be p(-30). Which is greater: -0.16 or n?
-0.16
Let r(c) = c**3 + 19*c**2 - 2*c - 26. Let z be r(-19). Suppose 81 = z*o + 9. Let f be (-2)/(-4)*(o + -4). Is -1/31 <= f?
True
Let h(q) = -q**3 + 10*q**2 + 10*q + 15. Let x be h(11). Suppose u - 2*u + x*s = -25, 3*u - 4*s = 35. Suppose -3*k - 233 + 78 = u*j, -k - 49 = 3*j. Is k >= -56?
True
Let u be (1914/88 - 23)*4. Let l(p) = p**3 + 2*p**2 + 3*p + 2. Let r be l(-2). Which is smaller: r or u?
u
Let v = 69 - 57. Let j be (5/(20/8))/(8/v). Let t be j/(((-75)/(-70))/1). Which is smaller: t or 3?
t
Let b = -22.93 + 22. Let z = -0.965 - b. Let r = -14.035 - z. Is 0.1 not equal to r?
True
Let h(k) = -4*k**3 + 19*k**2 - 8*k - 18. Let b be h(5). Do b and -585/7 have the same value?
False
Suppose -6656 = 3032*a - 3016*a. Which is smaller: a or -419?
-419
Suppose 0 = -5*p + 8*p - 21. Suppose 0 = p*g - 5*g - 18. Let z = g + -9. Is z >= 2/21?
False
Let b(i) = -6*i - 108. Let z be b(-14). Suppose -3*c + 30 - 1 = -2*d, 15 = 3*c. Is z greater than or equal to d?
False
Let u be (-11 - (-8