e (510/(-3) + -4)/(-2). Let c be 4/(-6) + 59/t. Is x bigger than c?
True
Suppose 15 = -4*b + 4*f + 3, 3*f - 6 = 0. Suppose -16 = -k - 5*u, -3*u + 4 = k - 2*u. Let c be k/7 - (5544/(-5537))/(-8). Is c at most b?
False
Let o = -3/20108 - 2091079/1025508. Are o and -3 non-equal?
True
Let o = 369 + -381. Let h be (-1)/(((-1)/o)/(276/24)). Is h at least as big as -140?
True
Let a be 72/(-20)*(-180)/((-26)/(-13)). Which is smaller: a or 3?
3
Let o be -840 + 63*30/135. Are o and -832 non-equal?
True
Let k(d) = -d**2 + d + 4. Let q be k(3). Let j = 66 - 60. Let a be (-275)/15 - q/j. Is a smaller than -19?
False
Let x = 3002 + -3174. Are x and -170 non-equal?
True
Suppose 0 = 718*v + 36 + 2237 + 7779. Let r(o) = 3*o**3 + 2*o**2 + 2*o + 1. Let x be r(-1). Let h be (x/5)/((-8)/(-290)). Which is smaller: v or h?
h
Suppose -20*c = -4*s - 16*c + 4, 0 = -3*s + c - 1. Let u = -63/62 - -16949/16802. Which is greater: u or s?
u
Let u = -0.19 - -0.07. Let q = -288/11 - -1418/55. Do q and u have different values?
True
Let j be ((-5125)/5)/((-1)/(150/(-69))). Let k = -2230 - j. Which is smaller: k or -2?
-2
Let f = 2624 + -2624. Is f less than -2/1259?
False
Let j = 70973/58400 - -11/2336. Let t = 991/800 - j. Which is greater: 0 or t?
t
Let j(r) = 13*r**3 - 3 + 21*r**2 - 12*r**3 - 6*r**2 + 26*r. Let h be j(-13). Let g = -1/3629 - 145149/39919. Which is smaller: g or h?
g
Suppose 20 = 4*p - 0*p, 0 = -4*f - 2*p - 198. Let h = -48 - f. Suppose -g - 7 = 2*n, 0 = -4*g - 6*n + h*n - 4. Is -1/4 at most g?
True
Let x = 25 - 25. Suppose 2*a + 0*a + 86 = x. Let k = a - -43. Is k at least as big as 3/20?
False
Let y(a) = -5*a**3. Let u be y(-1). Suppose 5*p = -u*l - 85, 5*l + p + 85 = -2*p. Let w = -16 - l. Which is bigger: w or 1/17?
w
Let y be (-12)/(-30) - (12 - (-14651)/65). Are y and -242 non-equal?
True
Let f(x) = 22*x - 348. Let n be f(16). Let k = 23474467 - 17887547281/762. Let o = 1/381 - k. Which is bigger: o or n?
o
Let s = -8295 + 8296. Which is bigger: -70/173 or s?
s
Let b = 5563500498784/77 + -72255999904. Let f = -2746632 - b. Let r = -314/7 + f. Are r and -4 non-equal?
True
Suppose -45 = -145*i + 136*i. Suppose -3*b = 2*l + 7, -22 - 4 = -b + i*l. Is b < -10/37?
False
Let m = -66 - -65.84. Let x = m - -2.76. Let t = 21.9 - 22. Is t <= x?
True
Let p = 3838.9 + -3839.1. Does p = 14914?
False
Let a = -110/111 - -3593/3663. Is a greater than 0?
False
Let h be 1/(7*(-9)/2205). Which is bigger: h or -34?
-34
Let r = -220 + 220. Suppose 5*p + 3*p - 8 = r. Is -2/147 at least as big as p?
False
Suppose 20 = -5*h + 5. Let u(c) = c**3 - 16*c**2 + 29*c - 23. Let f be u(14). Let n be f + 3 + 9 + 164/(-36). Is n > h?
True
Let c be (57/((-59850)/(-200)))/(0 - 0 - -1). Suppose -x + 5*x - 4 = 0. Which is bigger: c or x?
x
Suppose 8*q - 3168 + 40 = 0. Let d = 731 - q. Which is smaller: 341 or d?
d
Let z(s) = s + 2. Let v be z(2). Suppose -v*l = 3*t - 1393, 138 = 2*t + 4*l - 796. Which is smaller: t or 458?
458
Let c = -11236692/37 + 303714. Is 20 > c?
True
Let g = 0.1 - 1.1. Let n = 19633 + -19692. Which is smaller: g or n?
n
Let c = -38929 + 38950. Which is smaller: c or -4.4?
-4.4
Let r(z) = z**3 + 11*z**2 + 32*z + 127. Let m be r(-9). Which is smaller: m or 407?
m
Let u be 28510/(-12)*(-1)/(-15). Let w = -315/2 - u. Which is greater: w or 0.3?
w
Let v(z) = -7*z - 1 + 13*z - z**2 - 6. Let t be v(3). Is t <= 64?
True
Let f = -6/55 - -248/1265. Let v = 2605 + -2604. Are v and f unequal?
True
Let t be (-1)/(5/(-10)) + -9*(-1)/(-3). Is -2/67 smaller than t?
False
Suppose n = -o + 144, -5*n = -4*o + 7*o - 436. Let c = o - 111. Is 31 > c?
False
Let w(b) = -13*b**2 + 1647*b + 511. Let n be w(127). Let p = -3185/6 - -535. Do p and n have different values?
True
Let w be -90*(-11)/((-66)/27). Is -407 bigger than w?
False
Let b(z) = -27*z + 52. Let n be b(10). Let j = n - -191. Which is smaller: -29 or j?
-29
Let u(y) = -y**3 + 1. Let f(s) = -7*s**3 - 8*s**2 + 11*s + 26. Let x(a) = -f(a) + 6*u(a). Let g be x(-9). Are -1/2 and g unequal?
True
Let q = -50 + 56. Suppose q*g - 12 = -0*g. Suppose 3*f - g = f. Is 2 > f?
True
Let q be 4/(4/21) - 2. Let r = -97 + 154. Suppose -4*w - r = -133. Is q at least as big as w?
True
Let b = 953 + -857.9. Let k = b - 95. Do -102 and k have different values?
True
Let k be 34/(-10) - (-258)/86. Which is smaller: -415 or k?
-415
Let l = 11 + -8. Suppose f + 5*h - 9*h + 13 = 0, 3*f = -l*h + 36. Let x be (-5*6/(-105))/(1/f). Which is smaller: x or 4?
x
Let q be (-2 + 76/24)*78/3. Let p = 365/12 - q. Let h = p - 41/60. Does h = 12?
False
Let x be (-3344)/132*(-72)/(-1). Let r be (-4)/(-38) - (-648)/x. Is -0.181 > r?
True
Let a = 47/7 + -85/14. Is 2 bigger than a?
True
Let g(a) = -a**2 - 9 + 10 - a + 3*a. Let c be g(2). Let y = -379744/93 - -12250/3. Which is bigger: c or y?
c
Let o = 3 + -14. Let l(k) be the third derivative of -k**6/120 - 2*k**5/15 - 11*k**4/24 - k**3/2 - 42*k**2. Let t be l(-6). Which is smaller: o or t?
o
Let u be (1 + -3 + 1)/(990 + -991). Which is greater: 31/188 or u?
u
Let f(x) = 14*x**2 + 16*x + 5. Let b be f(-10). Is 1246 != b?
True
Let b = -200.451 + 0.451. Let z = 172.5 + b. Which is bigger: z or 1?
1
Let j = 100 + -98. Suppose -j*r = -7*r - 2*m - 201, 0 = -5*m + 10. Is r != -41?
False
Let p = 0.2 - 0.3. Let v be (2/(-145) - 0)/((-168)/210). Which is bigger: p or v?
v
Let m be 6/4 + (35/(-10) - 0). Let b(w) = 3*w**3 - 32*w**2 + 22*w - 31. Let p be b(10). Is m smaller than p?
False
Let h(x) = x**3 + 2*x**2 - x. Let r be h(1). Let a be r + -2 + 18*(2 + 0). Suppose a = k - w, 4*k - 65 = -4*w + 63. Is 33 at most k?
True
Let l(w) = -w**3 + 6*w**2 + 14*w + 16. Let c be l(8). Is c equal to 1/912?
False
Suppose 3*a = -a + 52. Suppose -a = 6*k + 11. Which is bigger: -3 or k?
-3
Let u = 36 - 52. Let g = u - -21. Suppose 0 = g*i - 12*i - 70. Are i and -10 unequal?
False
Let g = -85.2 - -85. Let z = -104 + 99. Let r be ((-78)/91)/(z/((-315)/12)). Which is smaller: r or g?
r
Suppose -48620 = -530*m + 420*m. Do 441 and m have the same value?
False
Let v be (-14)/(-4 + 18) - -1. Is 20/329 > v?
True
Let d be (-279)/(-2) + (-4 - -7). Let l = -5079 - -5223. Are l and d equal?
False
Let n(c) = 78*c + 1255. Let q be n(7). Do 1802 and q have the same value?
False
Suppose 301 = 11*s - 29. Which is smaller: 259/9 or s?
259/9
Let d be ((-59290)/(-255))/2 + 4. Let t = d - 112/17. Let y = t - 26933/237. Is y less than or equal to -1?
False
Suppose 30*n = 28*n + 150. Let p = -40 + n. Do p and 1 have different values?
True
Let i = 199 + -118. Let s = -7 + i. Let b = s + -73.9. Is b bigger than -1/66?
True
Let z(n) = -n**3 - 7*n**2 - 6*n - 1. Let a be z(-6). Let x be 20 + (0/a)/2. Suppose 0*v + 85 = 4*p - 3*v, -p + 31 = -4*v. Does p = x?
False
Let l be (3/4)/((-4)/(-32)*141). Is 1/22 > l?
True
Let h = -33.524 - -29.954. Which is smaller: h or 0.1?
h
Let w = 135/4 - 69/4. Suppose 0*r = 2*r + x + 18, -2*x = 0. Let v be 5 - (0 + r - 2). Is w < v?
False
Let f = 34 - 65. Let q = f + 36. Suppose -10 = q*a, -n - n - a = 4. Which is smaller: n or 2?
n
Let t be -32 + (-4)/(8/(-2)). Let n = -137 + 112. Let h(f) = -f**3 - 24*f**2 + 29*f + 70. Let o be h(n). Is o less than or equal to t?
False
Let g = -1.57 - -1.55. Let h = 66 + -66.08. Which is smaller: h or g?
h
Suppose -73*k - 6066 = -77*k + 3*d, 0 = -k - 3*d + 1539. Is k smaller than 1520?
False
Let v = 2813 + -2812.81. Which is smaller: v or -0.2?
-0.2
Let j(b) = -126 + 4*b - 2*b + 15*b - 6*b + 5*b. Let n be j(8). Which is smaller: 6 or n?
n
Let f = 91.1 - -54.9. Is f at most as big as -4?
False
Let t = 0.67 + 1.66. Let n = 1.33 - t. Let m = -36 - -64. Is m < n?
False
Let n be (-6)/18*((-3)/(-9))/(2/(-18)). Which is smaller: 2/9129 or n?
2/9129
Let h = 764/21 - 110/3. Let x = 0.5 + -2.5. Let d = -1.9 - x. Is d != h?
True
Let v = -549.499 + 549.4. Let y = 0.298 + 0.103. Let z = y - v. Is z greater than or equal to -0.6?
True
Let j(n) = n**3 - 4*n**2 - 4*n + 1. Let t be j(5). Let x be (9 - 11)*57/t. Which is greater: x or -18?
-18
Let s = -6291 - -6295.93. Is s > -2/3?
True
Suppose -46*a + 61*a - 5952 = -78*a. Is a greater than 42?
True
Let t be ((-6)/(-15) + 8/(-45))*9. Let l(u) = 0 - 6 - 15 + 2 + t*u. Let h be l(5). Is h greater than or equal to -10?
True
Suppose -53991 = 32*r - 4263. Is -1555 <= r?
True
Let b