). Is -16/5 at least as big as f?
False
Let f(y) = -y**3 - 29*y**2 - 77*y + 21. Let s be f(-26). Suppose -14 = -6*p - 2. Suppose 14 = -5*b - 2*k, 0 - p = 2*b + 2*k. Which is greater: b or s?
b
Let c be 2/(-5505)*10/12. Which is bigger: c or 1?
1
Let g = -2640651 - -76537230/29. Let z = g + 1436. Which is smaller: 0 or z?
z
Let v be 865 - (-5)/20*-8. Let m = 867 - v. Which is smaller: 98/19 or m?
m
Let u(s) = 2*s**2 + 8 + 7 - 6*s**2 - 8*s + 3*s**2. Let q be u(-10). Let a be 8/4 + q - -7. Which is bigger: a or 8?
8
Suppose 23*u = -52*u - 2175. Let t(a) = -a**3 - 6*a**2 - 2*a - 5. Let k be t(-4). Is u at least k?
True
Let w = -7 - -7. Suppose w = 5*b - 4*x + 429, -5*x + 4 + 1 = 0. Let n be (-5)/8*2 + ((-3741)/(-172))/87. Are b and n unequal?
True
Let b = -17.13978 + 0.13978. Is b not equal to -42/5?
True
Suppose -4*o + 250 = f - 1652, -4*f = 5*o - 7553. Which is greater: f or 1880?
f
Let g = -146/1821 + 2010899/29136. Let x = -277/4 + g. Which is smaller: 1 or x?
x
Let i(x) = -x**3 - 14*x**2 - 35*x - 750. Let k be i(-15). Which is bigger: k or 1/24248?
1/24248
Let a = -437 - -428. Let q = -9 - -14. Suppose q*o + 24 = -11. Does o = a?
False
Suppose -69 = -4*n + 111. Suppose 5*i = 109*d - 104*d - 220, 2*i - 88 = -2*d. Which is bigger: d or n?
n
Suppose -1650 = 1637*j - 4924. Suppose 4*q - 5*p = -41, -30 = -3*q + 8*q - 2*p. Which is smaller: q or j?
q
Let x = -41 - 29. Let m = x + 74. Let i = 0.98 + 4.02. Is m greater than or equal to i?
False
Let g = 422 - 429. Let f = -2161/291 + 9/97. Which is smaller: g or f?
f
Let j be ((-2)/(-2)*-5 - (-8064)/8) + -8. Is 991 smaller than j?
True
Let p(o) = -o**3 - 6*o**2 + o + 2. Let y be p(-6). Let n be ((-8)/21)/(25 - 11936/480). Is y less than or equal to n?
True
Suppose -3*q = -o - 0*q - 12, -3*o + 3*q = 12. Suppose -2*u + 6*u + 48 = o. Let x = 286321 - 286321. Which is greater: x or u?
x
Let t be 30/(-20)*178/96. Let l = t - -13/32. Is -3 at least as big as l?
False
Let j be 2241/(-2988)*(-8)/(-210). Suppose 5*x - 20 = x. Suppose -4*g + 9*g = -x. Is j != g?
True
Let a(w) be the second derivative of 5*w**3/6 + 39*w**2/2 + 2*w - 4. Let k be a(-8). Let z = -1063/18 + 59. Which is greater: k or z?
z
Let q = -59/70 - -2677/560. Which is smaller: q or 5?
q
Let r = 272.91 - -5.09. Let t = r + -279. Which is smaller: 3/13 or t?
t
Let z be (24/(-15))/(64/(-5920)). Suppose 85 = 7*d + z. Let h be 1/(-2) - 351/42. Is d < h?
True
Let h(x) = -x**3 - 12*x**2 + 2*x + 25. Let m be h(-12). Let g be m/((-36)/(-9))*2/(-3). Do g and -1/34 have the same value?
False
Suppose h - 52 = 5*a, 2*a + 34 + 187 = 3*h. Let t = -34 + h. Is t bigger than 43?
False
Let o = -26289 + 26052402/991. Is o < 1?
True
Suppose -270076 - 215276 = 1284*h. Let f be (-1135)/3 + (-4)/6. Is h equal to f?
False
Let l(x) = -x**2 + 2*x + 20. Let q be l(6). Let d be (-3)/(-1) + -90*q/(-128). Do d and 1 have the same value?
False
Let k(b) = b**3 - 20*b**2 + 32*b + 63. Suppose 3*p = 3*r + 54, 5*p - 41 - 51 = 4*r. Let c be k(p). Which is bigger: c or 702?
c
Suppose 0 = 301*l - 1149 + 2353. Let v = -1516 + 16646/11. Is v at least as big as l?
True
Suppose 455 - 2760 = 4*p + 3*j, -j = -2*p - 1175. Which is greater: 13 or p?
13
Let d = 11958221/481263 - 1466/59. Is 1 at least as big as d?
True
Suppose -43*a + 41*a + 94 = 0. Let d = 29 - a. Suppose 0 = 5*l + 123 - 28. Which is bigger: d or l?
d
Let o = -320 + 376. Let g = o - 66. Which is smaller: -12 or g?
-12
Let k be (0 - (-1)/3) + 134029/42. Let p = k - 15427715/4834. Let w = 82188/12085 + p. Is 8 at most as big as w?
False
Let i = 31675948/20955 - 74/4191. Let t = -82138/55 + i. Is 19 >= t?
True
Let l = 386 + -382. Let p be (l + -3)/(9/(-729)). Is p >= -81?
True
Let u be 10/(-3) + 3300/45. Suppose 2*s = -0*h + 3*h + 141, 5*s = 3*h + 357. Is u greater than or equal to s?
False
Let l be (2/10)/((84/(-21130))/14). Let s = -95789/136 - l. Is s <= 1?
True
Let y(w) = 12*w**3 + 3*w**2 + 54*w + 95. Let d be y(-2). Is -1628/17 bigger than d?
True
Suppose 45 = -5*o + 2*u, -2*u + 0*u + 36 = -4*o. Let z be o*15/51 + 6 + -3. Is z less than 0?
False
Let z be 0/(-1) + (-3)/(-177). Let u be (33 - 33)/(9/(-3)). Is z at most u?
False
Let n = -36 - -27. Let q = n - -14. Suppose -2*p = -q*j - 19, -1 - 3 = -2*j - 5*p. Which is bigger: j or -28/9?
j
Suppose 27*c - 24*c = 4*i + 287, c - 5*i = 70. Which is greater: c or 114?
114
Let f(b) = 7*b - 6. Let o be f(5). Suppose 0 = 4*x - 734 + 218. Let j = -100 + x. Do j and o have different values?
False
Let n be (-1*(2 + -9))/1. Suppose -4*a = -5*k + 5 - 18, 0 = 4*a - k + n. Let f be (14/(-3))/2 + -1. Is f at most as big as a?
True
Let z = -351 - -281. Let x be (-1 - -57)/((z/40)/7). Which is bigger: -225 or x?
x
Suppose -21*z - 36146 = z. Which is smaller: -1644 or z?
-1644
Let y(q) = -37*q**3 - 8*q**2 - 22*q - 66. Let a be y(-4). Suppose -414*i = -388*i + a. Suppose -362 = 4*m - 5*s, -4*m + 4*s + 168 = -6*m. Is i >= m?
True
Let i = 0.02 - 0.12. Suppose -6*u = -29 - 1. Suppose -4*d = -2*b + 10, 4*b + u*d - 33 = -0*b. Which is bigger: b or i?
b
Let x be 668/5880 + (-4)/(-120)*-3. Let a = -43/441 - x. Which is smaller: a or -0.1?
a
Suppose 0 = 4*u - x - 11, -5*u - 2*x - 2 = 7. Which is smaller: u or 24/253?
24/253
Suppose 6*a - 29 = 1. Let r be (-6)/4*-4*a/(-2490). Is -2 < r?
True
Let v = 32819 + -32825.271. Which is greater: 0.2 or v?
0.2
Suppose -9 = -5*q + 11. Let x be -152*(25/10 - (q - 1)). Let k = x + -56. Are k and 0 nonequal?
True
Let h = -134 - 159. Let l = h + 265. Which is bigger: -34 or l?
l
Let m = 225 + -233. Let r be m/(48/(-57)) + -8. Is 0.5 equal to r?
False
Let j be 1/2*-5*(-1464)/30. Which is smaller: j or 128?
j
Suppose 9891 - 102481 = -47*g. Is g at least 1974?
False
Let t = 0 + -11. Let z = t - -21. Suppose z*c + 4 = 6*c. Is c < 5/2?
True
Let d = 2.1 + -2. Let h = 1.1 - d. Let s = -390884 + 390888.8. Is s equal to h?
False
Let f(w) = -3*w + 1. Let n be f(1). Let j = -11 - n. Let y be (-12)/198 - (-420)/(-693). Is y >= j?
True
Suppose 3*f + 146 = 2*n - 2*f, 3*f = -12. Let g be (18/105)/((-72)/n). Let r = 4 + -3. Which is smaller: r or g?
g
Let t = -15942 + 15941. Is t equal to 1/10546?
False
Let z(k) = 3*k - 42 + 18 - 5. Let j be z(11). Suppose g - 3*y = -3*g + 214, 0 = 2*g + j*y - 96. Which is smaller: 50 or g?
50
Let z = 10058 + -2132. Which is bigger: 1 or z?
z
Let q be 2/58 + 3052980/4060. Which is greater: q or 747?
q
Let v = -619/2556 + 17/852. Let h = -185 - -42. Which is smaller: h or v?
h
Suppose 5773*c = 5783*c - 390. Which is bigger: 9 or c?
c
Suppose 0*p - p + 5*f = -19, 4*p + f = 13. Let b be ((-10)/6)/(p/(-12)). Suppose 137 = -b*r - 188. Is -65 at most as big as r?
True
Suppose -3*v + 2513 = 2525. Let p be (v + -6)/(3 - 1). Let k = -998/95 + 116/19. Which is bigger: k or p?
k
Let j = 0.951 - 1.1234. Let q = -0.0466 + j. Is q less than 0.1?
True
Suppose -136*h + 90*h - 85422 = 0. Which is smaller: h or -1856?
h
Suppose 0 = -11*p - 76 + 362. Let c(q) = 12*q - 33. Suppose -11*k + 9*k + 10 = 0. Let i be c(k). Does i = p?
False
Let c = 105/134 - 330817/422100. Which is smaller: c or -1?
-1
Suppose 5*b = b + 4*h + 88, -2*b - 3*h = -44. Suppose 0 = -26*p + 31*p - 15. Suppose -3*a - 2*c = p*c - 72, c = 0. Which is greater: b or a?
a
Let v be (-3 - 10/(-3))*147. Let f = v - 48. Let g = -361/385 + 10/11. Is f at most g?
False
Let d = 8.2 - 0.2. Let v = 3 - d. Let t = -38 + 37.98. Do v and t have the same value?
False
Let m be (-5)/(30/(-1008)) - 6. Let s = m + -225. Are s and -62 equal?
False
Suppose 3*l - 2*l = -1. Let f be (-2455)/(-4910)*4/433. Is l greater than f?
False
Suppose -3*z - 1168 = 2*v, -4*z - 1039 + 3913 = -5*v. Let u = 574 + v. Which is smaller: u or 5?
u
Suppose -4*g - 8 + 16 = 0, -5*m + 64 = -3*g. Suppose -14*r = -m - 0. Let j be 1 + -4 + (-186)/(-54). Which is smaller: j or r?
j
Let r(o) = o + 13. Let v be r(2). Let n be (-8)/5352*v*(-12)/20. Is n less than or equal to 0?
False
Let w = 22863 + -19410685/849. Let d = -108091 - -108090. Which is smaller: d or w?
d
Let q = 671 + -661. Let t be (q/10)/((2 - 1)/(-11)). Does t = -16?
False
Let v be (2/(-6) - -1) + 2896/543. Suppose 25*k - v*k = -14*k. Is 18/17 not equal to k?
True
Suppose 0 = 18*y + y - 76. Let u = -3 + y. Which is bigger: -3.7 or u?
u
Suppose 27*i - 111 = -138. Is i not equal to 1