= m*p - 0*p - 9. Let w = -13665/7 + 901897/462. Which is smaller: w or x?
w
Let l(o) = -8*o**2 - 18*o + 24. Let z be l(-3). Is 27 > z?
True
Let c be 7/((-21)/3336) + 9 + (-30)/3. Which is greater: -8895/8 or c?
-8895/8
Let a be 18/21*(1 + -50). Let v = -39 - a. Suppose -2*q + 11 = -2*t - 7, -v*q - 4*t = -48. Are q and 9 non-equal?
True
Let p be (-46)/(-69) - (-35)/33. Let j = 1.41 + -1.31. Is p greater than j?
True
Let g = -1.74 - -0.74. Is g at least as big as -0.151?
False
Suppose 343*n = -397*n - 27*n. Let u be ((-4)/6)/((-2)/21). Which is greater: u or n?
u
Let l = -0.024 + 149.024. Let t = 144 - l. Which is greater: -0.1 or t?
-0.1
Let u = -48.7 - 2.3. Let q = u + 53. Which is greater: -12 or q?
q
Let o = -14.29 - 25.779. Let a = 0.069 + o. Let d = a - -38.7. Are d and 2/7 unequal?
True
Let t = 82634899/834135 + 5/55609. Let f = t - 99. Let i(d) = -d - 9. Let y be i(-11). Are y and f nonequal?
True
Let o(h) = -h**3 - h**2 + 104. Suppose -25*q + 14*q = 0. Let s be o(q). Is s not equal to 105?
True
Let x be (0 - 454)/(6/(-33)). Let z = x - 22445/9. Suppose 4*l + f - 27 = -2*f, 20 = 4*f. Which is greater: l or z?
z
Let w = 454 - 448.98. Let k = w + -2.02. Is -10 bigger than k?
False
Suppose -11*l - 214 = 3474 + 2186. Which is greater: l or -533?
-533
Let o = -17 + 49. Let w(h) = 6*h**2 + 119*h - 90. Let j be w(1). Which is smaller: o or j?
o
Let u be ((4/32)/((-30)/120))/(2/4). Let h be 231/237 + -1 - 0. Is u greater than or equal to h?
False
Let r = -416 - -415.5. Suppose 5*g = 5*m - 70, 0*m - 47 = 4*g + 5*m. Let j be ((-26)/g)/((-20)/2). Which is smaller: r or j?
r
Let n be -38*16338/101760 + 6. Let m = n - 11/160. Is 0.2 <= m?
False
Let i = -3208 - -3209. Which is smaller: i or -4077?
-4077
Let p = -364 - -542. Suppose p + 757 = 17*r. Is r less than or equal to 54?
False
Suppose 175*h + 174 = 174*h + 2*n, -880 = 5*h - 5*n. Which is bigger: -175 or h?
-175
Let l = -0.02 - 0.88. Let h = 15.099 + -0.099. Let n = 14 - h. Which is smaller: l or n?
n
Let u = -1241446/7 + 177709. Which is greater: 360 or u?
360
Suppose -7 + 2 = -5*t. Let y(n) be the third derivative of -19*n**5/30 - n**4/24 + n**3/3 + 34*n**2. Let l be y(t). Which is smaller: -0.1 or l?
l
Let s(z) = z**2 - 11*z + 22. Let w be 9 - ((-2)/3)/(1/(-6)). Suppose 4*t + 0 = w*x + 7, 5*x = -2*t + 41. Let y be s(t). Which is bigger: -7/11 or y?
-7/11
Let r = -388 - -385.95. Let v = -2 - r. Let f = 11/14 + -2/7. Which is greater: f or v?
f
Let i = -0.2248 + 41.2248. Is i < 9?
False
Let p = -95.9 - -8.9. Let h = 865.3 - 865.4. Which is smaller: p or h?
p
Suppose 19240 - 56024 = -176*k. Is k smaller than 1466/7?
True
Let v(c) = -c**3 + 3*c**2 + 10*c. Let h be v(5). Is 71/221 > h?
True
Let c = -76 + 638. Let s = 551 - c. Is s <= -73/6?
False
Let z(u) = 2*u - 166. Suppose 28*m - 42*m = 140. Let h be z(m). Is -188 >= h?
False
Let q be (2 - -7) + 3935 + -5. Is q at most as big as 3939?
True
Let c be 171*33*(-64)/(-22176). Let a be 1/(32/(-34) - -1). Does c = a?
False
Let z = 115223 - 331727012/2879. Are z and 1 non-equal?
True
Let h be (-8)/(-108) + 27753218/(-2538). Is -1/3 at least h?
True
Let x be (-405)/(-6120)*(-90)/(-2) + -3. Let k(u) = -10*u + 30. Let w be k(3). Are x and w unequal?
True
Let p = -375 + 373. Let z = -0.0122 - 88.9878. Is z >= p?
False
Let z = 1231 + -1764. Let b = z + 607. Which is smaller: b or 69?
69
Suppose -2*o = -16, 4*q - 3*o = 6803 + 5805. Is 6315/2 at most q?
True
Let b be (9 - 8)*0/(-5 + 9). Let a = 838/5 - 144964/865. Which is smaller: b or a?
b
Let g = 0.056 - -33.944. Let x = -34 + g. Which is smaller: x or -3/43?
-3/43
Let l = 3805 - 26609/7. Is 5 equal to l?
False
Let y be (4/(-6))/(39/21). Let s = y + -4/13. Let x = -3681 - -3680.5. Is s >= x?
False
Suppose 2*a = -0*a - 2*m + 324, 0 = 3*a - 3*m - 510. Suppose 0 = -x - 58 + a. Suppose 0 = 9*q - 3*q - x. Does 16 = q?
False
Suppose -1924 = -2*l + 66*u - 68*u, -5*u = 2*l - 1918. Is l less than 963?
False
Let q = -38.2 - -0.2. Let m = 38.18 + q. Let h = -0.98 + m. Are h and -1/3 equal?
False
Let w(f) = -2*f + 6. Let h be w(-5). Let y(u) = -2*u - 23. Let l be y(-13). Suppose -76 = -l*v - 28. Do v and h have the same value?
True
Let l(y) = 2*y + 29. Let k be l(-17). Let b(s) = 3*s**2 - 3*s - 2. Let v(x) = -7*x**2 + 5*x + 5. Let c(i) = -5*b(i) - 2*v(i). Let q be c(6). Is k less than q?
False
Let n = 8513 + -8517. Is n less than or equal to -2/41?
True
Let k = -23 + 224. Suppose -k = -5*f + 169. Which is greater: 75 or f?
75
Let d = 80673727/25705 - 231/5141. Which is bigger: d or 3139?
3139
Suppose 15*l - 1483 = 497. Let o = 162 - 31. Let r = o - l. Is r equal to -1/16?
False
Let d = -10563 - -10562. Is d >= -2/3429?
False
Let c = 1922 + -1678. Which is greater: 225 or c?
c
Suppose 60 - 12 = 4*o. Suppose h + 13 = -11. Let r be 70/6 + 8/h*2. Which is greater: r or o?
o
Let z(s) = 387*s + 2494. Let q be z(-8). Is q < -607?
False
Let c = -296 + 295. Which is smaller: -3782 or c?
-3782
Suppose 0 = -106*b - 17*b + 40344. Is 326 greater than or equal to b?
False
Let b(o) = 519*o - 152. Let t be b(1). Which is bigger: 371 or t?
371
Let m(q) be the third derivative of -7*q**4/24 + q**3/2 - 13*q**2. Let w be m(-1). Suppose 0 = -2*j - 2*u + w, 4*u - 7 = -2*j + 11. Is 4/11 at least j?
False
Let d = -0.2962 + -1.7038. Let m(z) = 2*z + 6. Let k be m(-5). Let g be (2 + 0)/(k + -2). Are g and d unequal?
True
Let i be (38981/(-2159) - -18)*2. Is i > -1?
True
Let z be 2/(-18)*(-2 + 1*-4). Let r = -26.45 + -5.31. Let k = r + 32. Which is bigger: z or k?
z
Let t = 143.28 + -144.3. Is t greater than -0.07?
False
Suppose 92 - 400 = -14*q. Let x be (-386)/q + 90/165. Is x at most -15?
True
Let d = 3271.73 + -3210. Let v = d - 63. Let f = -0.27 - v. Are 3 and f non-equal?
True
Let i = 1.07412 - 0.07412. Let q = 65 + -16. Which is smaller: q or i?
i
Let g = 2088 + -1451. Do 638 and g have the same value?
False
Let u(a) = 4*a**2 - 120*a - 30. Let m be u(33). Let y be ((-18)/168)/(-1 - (-357)/m). Is 5 at least y?
True
Let b = -721.8 + -76.2. Let h = b + 799. Let x = -0.1 - 0.1. Do h and x have the same value?
False
Let v = -10860.4 + 10842. Is v less than -1/4?
True
Suppose -2*u - 3*z - 9 - 10 = 0, -5*u + 5*z - 110 = 0. Let t be 15 + u - 6/(-2). Let m be -2 + (t/(-4) - -2). Which is bigger: -0.09 or m?
-0.09
Let f(n) = n**2 + 13*n - 27. Let q be f(2). Suppose -6 = -5*y + 29. Suppose -y*h - 36 = -q*h. Is h less than or equal to -7?
True
Suppose -4*w - 245 + 641 = 0. Let r be (1/(-21))/(561/w). Let o = 13 + -13. Which is smaller: r or o?
r
Let c be (-1)/5 - (-99)/1710*8. Let n = 63/95 - c. Is 57 > n?
True
Suppose -10*r = -4*r + 11*r. Suppose r = p - 11*p + 10. Is p equal to -2?
False
Let g = -3966 - 15279. Which is smaller: g or -19244?
g
Let j = -0.2318 - -255.0318. Let q = j - 225. Let u = -30 + q. Is 0.05 at least as big as u?
True
Let d be (-2)/(-25) + 23 + (-2316)/(-300). Are -0.06 and d nonequal?
True
Let k = 2 + -3. Let u be (-1*(-6)/(-4))/(69/(-6992)). Let j be (450/u)/(-9) - (-2)/8. Is k less than or equal to j?
True
Let n be (861/(-32) - 0)*1780/(-1335). Which is bigger: n or 37?
37
Let p be (-3273)/(-425) - 182/(-3094). Which is greater: p or 9?
9
Suppose r - 2 = 2*r + 3*c, -4*r = 5*c - 6. Suppose 4*z - 9*f + 11*f - 70 = 0, 82 = r*z - 2*f. Are 22 and z unequal?
True
Let i(y) = y**3 - 10*y**2 + 8*y + 11. Let b be i(9). Let q(v) = 72*v - 2. Let t be q(b). Suppose -58 = 7*z - t. Which is bigger: 11 or z?
z
Let n = 181 + -174.211. Let y = n + 0.111. Let a = 7 - y. Which is greater: 0.09 or a?
a
Let s be (468/(-65))/(3/20). Is -99 bigger than s?
False
Let n = 12855 - 12855. Are n and -13/10 non-equal?
True
Let s be (1140/40)/(9/(-12)). Is s greater than or equal to 89?
False
Let l be (8/(-1))/(-3 - -6 - 1). Let w be l/(-6) + (32725/(-42))/17. Let m = 89/2 + w. Is m at least as big as 8?
False
Let j = -775.2 + 730. Let f = -45.24 - j. Is f at most as big as -19?
False
Let x be 415/(((-60)/(-12))/(-5)). Is x at most -418?
False
Suppose -2*n - n + 6 = 0. Let x be 0 + (-16)/20 + n. Let f be ((-10)/(-35))/1 - 0. Which is greater: f or x?
x
Let p be (-4)/5*5500/(-88). Suppose 53 - p = 3*h. Which is greater: -4/9 or h?
h
Let f = -3661 - -3662. Is 3/1270 at most f?
True
Let s be (-564)/(-566) + -2 + 1. Suppose 107*r - 1 = -87 - 21. Is s les