Let i = 28988 + -29341. Which is bigger: -45 or i?
-45
Suppose 0 = 4*x - 5*v + 8*v + 204, -5*v = -5*x - 255. Which is greater: x or -20/7?
-20/7
Let w(a) = -1856*a + 144. Let j be w(1). Is -1710 > j?
True
Let u be (1 - 1/3)*(-24)/16. Let o be (-21)/(-6)*u/(-2)*-4. Let q = 3 - 5. Does q = o?
False
Suppose -3*s - 5*u + 61 = -2*s, -2*u + 106 = 2*s. Let d be (s/(-34))/((-6)/(-104)). Is d smaller than -26?
False
Let j = -279.6 - -279.5. Which is smaller: -2451.6 or j?
-2451.6
Let q = 5743 + -2062. Is 3683 < q?
False
Let y = -1228.9 - -1229. Which is smaller: -1747/3 or y?
-1747/3
Let x = 2468 + -39487/16. Let u be ((-8)/(-6))/((-2)/(-3)). Suppose -3*m + 0 = -2*z - u, -4*m - z = 1. Is x > m?
True
Let p = 10.696 - 10.78. Is p equal to -0.23?
False
Let n = -8.7 - 2.3. Let c = 108 - n. Which is bigger: -0.1 or c?
c
Let l = -646 - -362. Let z = -299 - l. Is -14 > z?
True
Let p = 571 + -566. Suppose 4*y + 68 + 4 = 0. Let z = 22 + y. Is z bigger than p?
False
Let j be (-19)/(-418)*11 - (-34)/(-24808)*362. Is j greater than or equal to -1?
True
Let h be ((-9)/18 + (-5)/(-6))*3. Let p be h - (-8)/(-6) - 1/(-3). Let d(g) = -3*g - 3. Let z be d(p). Is 4 greater than or equal to z?
True
Suppose -68*h = 37*h - 109515. Are 1041 and h non-equal?
True
Let m be (2 + 6 + 1)*-2. Let p = m - 112. Let r be (3/2)/(5/p). Which is greater: r or 1/4?
1/4
Let c = -94 + 289. Let l = c - 198. Suppose -4*h = 34 - 2. Is h <= l?
True
Suppose 0 = -4*x - 2*r + 9430 + 2882, 10*x = 4*r + 30816. Is x <= 3080?
True
Let y = -10411/3 + 3471. Which is smaller: 4038 or y?
y
Let z = -1/86 - -45/172. Which is bigger: z or -1/398?
z
Suppose -12*s + 1 + 131 = 0. Suppose -6*x - s = 7. Let c = 31/2 + -17. Is c less than x?
False
Let i(y) be the first derivative of -y**4/4 - 8*y**3/3 + 9*y**2/2 - 2*y + 23. Let w be i(-9). Which is smaller: w or -8/5?
w
Let o = 764713/8 + -95330. Let w = -259 + o. Is w greater than 0?
True
Let g = 515.948 - 516. Let q = 0.048 - g. Which is bigger: q or 92?
92
Let g be (-2)/(2/21)*(-63 - -36 - -29). Is 3 less than g?
False
Let a be 5*2/(-30) + (-1435)/(-1830). Is -1 greater than a?
False
Let q = -36878 + 36877. Which is greater: 1242.5 or q?
1242.5
Let y = 34.82 + 1.68. Let i = -33 - -69. Let n = i - y. Which is greater: -0.4 or n?
-0.4
Let v(r) = 12*r**3 - 2*r**2 + 2*r - 1. Let q = 713 - 712. Let a be v(q). Which is smaller: 34/3 or a?
a
Let c = -36078 + 33809. Which is smaller: c or 4?
c
Let d be (-3 - (-939)/240) + -1. Let o(f) = -f**3 - 29*f**2 + 103*f + 224. Let u be o(-32). Which is smaller: u or d?
d
Let m = -4526/105 + -202/15. Is m at least as big as -2?
False
Let a = 8577 - 8576. Let v be -2*(-283)/(-570) + 1. Is v less than or equal to a?
True
Let o be (-4)/((27/(-288)*-4)/((-492)/8)). Is -1 at least o?
False
Let p(w) = 4*w**2 - 170*w - 166. Let z be p(44). Which is smaller: 119 or z?
z
Let q(h) = -105*h**3 + h**2 - 6*h + 5. Let b(n) = -n**3 + n - 1. Let o(k) = 22*b(k) + 2*q(k). Let w be o(1). Is -233 at most w?
True
Let j be (-4 - (-888)/220)*140. Suppose -12 = -3*m, -5*i + 5*m - 20 = -25. Is j bigger than i?
True
Let c be 5/(-15) + 155/(-3). Suppose -4*j = -4*x + 448, -j - 11 = -2*x + 103. Let w = 58 + j. Is w at least c?
True
Let k = -4749 + 4699. Which is smaller: k or -20?
k
Let l = 5085 + -5055. Is -20 at most l?
True
Let c = -7 + 11. Let w = 15 - 24. Let d be 5/w*c/20. Which is bigger: 1/3 or d?
1/3
Let m = -1140 - -1140.02. Is 39 < m?
False
Suppose 50*r - 30*r = 260. Suppose -25 = 5*i, -3*p + 15*i - r*i = 8. Does p = -0.05?
False
Suppose 17*w = -n + 3661, -28178 = -5*n + 3*w - 10137. Which is smaller: 3614 or n?
n
Let s = 2/16489 - -65938/148401. Suppose 53 = -n - 3*n + 5*k, -4*k + 5 = -n. Is s smaller than n?
False
Let s = 163/41 + -1875/451. Which is bigger: -82 or s?
s
Let s = -13283 - -13316. Is s greater than -5?
True
Let s = 0.104 + 115.896. Let u = -126.5 + 15.5. Let i = s + u. Is 5 > i?
False
Let p be 20/8*28/(-5). Let y be (-1)/(-8) + (-565)/80*p. Are 100 and y equal?
False
Let h = -2925644679/29009 - -100853. Which is bigger: h or -1?
h
Let d(x) = -x**2 - 12*x - 18. Let q be d(-8). Suppose 39 = -5*s + q. Are -11/3 and s equal?
False
Let u = -14/19 + 146/95. Let y = -4 + 6. Suppose y*p = -0 + 2. Is p equal to u?
False
Let r be (74 - 73)/((-1)/8). Is r > -4?
False
Suppose 0 = -m + 5*y + 48, y + 4 - 7 = 0. Suppose 10*k + 123 = -77. Let f be ((-35)/k)/(10/360). Is m greater than or equal to f?
True
Let k be (-2839176)/(-7238) + (1 - (-10)/(-14)). Is k at most 394?
True
Let j = -72 + 76. Suppose -4*a = 4 + 4, -3*h + j*a = -56. Let k be 12/8*h/1068. Which is greater: k or 0?
k
Suppose y + 1130 = -5*d + 3521, -2*d + 950 = 2*y. Let r = d - 521. Are r and -42 non-equal?
False
Let b = 565.1839 + -0.0839. Let d = b - 617. Let w = 52 + d. Which is greater: w or -44?
w
Let m(p) = 3*p**3 - 44*p**2 + 60*p + 66. Let h be m(13). Suppose 2*o - 6 - 2 = 0. Suppose k + 49 = -5*f, -o*k + 26 = -2*f + 2. Is h smaller than f?
False
Let c(k) be the third derivative of -k**5/5 + 3*k**4/8 + 4*k**3/3 - k**2 - 2*k. Let q be c(-1). Is -14 smaller than q?
True
Let g = -33 + 41. Let n be 9/2*(10 - g). Let j = -5 - -16. Is n greater than or equal to j?
False
Suppose 2 = g + f - 2, -5 = -f. Let j be 72/22*g/(-2). Let c(x) = -39*x - 973. Let o be c(-25). Which is bigger: o or j?
o
Let m = -15 - -15. Let t be (-1 - 15) + (-6 - -4) + m. Are t and 2 equal?
False
Suppose c + 16 = q, 22*q - 20*q - 10 = 0. Is c < -136/13?
True
Suppose -4*m + 2*c + 3 = 5*c, -3 = 5*m - 3*c. Let v = -4395571/39 + 112707. Is m greater than v?
False
Suppose -4*o = 3*d + 334, -122 = d - 4*o - 0*o. Which is smaller: d or -119?
-119
Let o = 5 - 3. Suppose 5*c + 31 = o*u, -4*u + c + 44 = -3*c. Let s(l) = -2*l**2 - 31*l - 6. Let j be s(-15). Which is smaller: j or u?
u
Let x be -26 - ((-6)/(-3) - 7). Let n be 3*(133/x + 6). Does n = 2/23?
False
Let k(b) = -16*b + 44. Let h be k(5). Let w = 33 + h. Suppose 0 = 8*x - 3*x - i + 19, 3*i - 21 = 3*x. Is x less than or equal to w?
True
Let n = 16437 - 16419.809. Let l = n - -0.809. Are 3 and l unequal?
True
Let t be (-1376)/(-6415) - (95/(-25) + 4). Let c = t - -2400878/1212435. Let d = c + -23/27. Is d greater than 1?
True
Suppose -28*h + 213 - 185 = 0. Is h equal to 2/9239?
False
Let q = -34 + 48. Let m = 58935 + -58930. Which is bigger: m or q?
q
Suppose -7*m = -16*m - 54. Let g be (25 + -31)*(8/m - -1). Suppose 32 = -0*y + g*y. Do y and 16 have different values?
False
Let o(d) be the third derivative of 0 - 38*d**2 + 29/6*d**3 + 0*d - 7/24*d**4. Let j be o(4). Is j bigger than -3.9?
True
Suppose -292 = 2*w + 4*s, 4*w - 411*s = -409*s - 524. Which is smaller: w or -133?
w
Let p(t) = t**3 - 30*t**2 + 59*t - 78. Let o be p(28). Let q(j) = -j**2 - 11*j - 7. Let n be q(-10). Suppose -36 = -n*z + o*z. Is z at most as big as -2?
True
Let w(a) be the third derivative of -7*a**5/60 + a**4/24 - a**3/6 - 153*a**2. Let u be w(1). Let j = -11/20 + -1/20. Is u greater than or equal to j?
False
Let m be 0/(-15 + -20 + 36). Which is greater: m or -8/6647?
m
Let u be 78/(-5)*(-565)/(-16837). Let b = u - -11750/21307. Is b at least 1?
False
Let b(l) = l**2 + 36*l + 203. Let n be b(-7). Which is greater: 3/3230 or n?
3/3230
Let p = -306 - -176. Let s(y) = -317*y**2 - 6027*y - 208. Let l be s(-19). Which is greater: p or l?
p
Let t = 1695.33 - 1710. Are t and -0.1 unequal?
True
Let y = -50 + 247/5. Let w = 14 - -6. Let f = w + -19. Which is greater: f or y?
f
Let p be 5*(-904)/(-40) - 6/(-2). Suppose 4*s + 4*n = p, 2*s + 2*n - 4*n = 46. Which is bigger: s or 28?
28
Suppose -6 = 3*j + 48*z - 49*z, -2*z + 19 = j. Is j at least 1/20833?
True
Let z = -2935 - -2695. Which is smaller: -4 or z?
z
Let s = -2/167 - 491/835. Let g = -1586.2 - -1421. Let d = g + 165.1. Which is greater: d or s?
d
Suppose 5*o + 4*u + 111 = -69, 0 = -2*o + 2*u - 72. Let y be ((-34)/5)/((-1)/(-10)). Let v = y + 34. Which is smaller: o or v?
o
Suppose 2*x = x - 1. Let w = 40 + -34. Let k be 5/w - (-3)/(-6). Which is smaller: k or x?
x
Let x(o) = 2*o**3 - 3*o**2 - 3*o + 4. Let k be x(3). Suppose -29*h + k*h = 0. Does h = -6?
False
Let r = 0.16979 - 0.09671. Are 2/5 and r equal?
False
Suppose 0 = -364*c + 341*c + 23. Which is smaller: c or -2/11099?
-2/11099
Suppose -d - 8 = -u + 121, -2*d - 276 = -5*u. 