+ 40*b**2 - 39*b + 126. Let p be q(-41). Suppose -264*o = -265*o - p. Is o <= -46?
False
Suppose j - 5*m - 9 = 0, 21 = 4*j - 2*m - 3*m. Suppose y + 79 = 4*b, j*b + 0*y - 5*y - 75 = 0. Which is smaller: 21 or b?
b
Let u = -236 + 252. Suppose 0 = u*y - 7*y. Which is greater: -2/589 or y?
y
Let f = 48 - 49. Let n be (f/(-1 - 0))/(-1) + 0. Which is smaller: n or 2/149?
n
Let b = -19672281/505 + 38955. Let h = b - 14513/11110. Let c = -20/11 - h. Which is smaller: c or 0.6?
c
Let p(a) = -a**3 - a**2 + 4*a + 84. Let b be p(0). Let h be (8/(-6))/(154/b). Which is smaller: -0.4 or h?
h
Suppose -59*h = -126945 + 349729. Which is smaller: h or -3775?
h
Let g = -4923 - -4924. Do 30/347 and g have the same value?
False
Let j = -1381/189 + 5372111/735210. Is 0 smaller than j?
True
Let p be (-2)/(-17) + (-1914)/(-493). Suppose -a = -u - 0 - 5, -u = -p*a + 8. Which is greater: -12/83 or a?
a
Let v be 95/(-70) - (88/28 + -3). Let b = -17/14 - v. Which is greater: 2.2 or b?
2.2
Suppose g = 4*j + 6*g + 61, -52 = 4*j - 4*g. Let u be j/49*(-1)/((-6)/(-21)). Which is smaller: u or -4/31?
-4/31
Suppose -64*g + 2003 = -2093. Is g greater than 62?
True
Let m = -7106 - -2188643/308. Is m at least 0?
False
Suppose 6*w - 10 = -4. Let i be (-6 - 188/(-32))/(w/(-5)). Is 2 at least as big as i?
True
Suppose 2*g + 376 = 4*o, -3*o + 0*g = -3*g - 285. Suppose -5*x + 4*n + 90 = 0, -4*x - n + o = -0*x. Which is bigger: x or 67/3?
67/3
Let a = -67 - -94. Let h be a/30*(-9)/(-189). Which is smaller: 1 or h?
h
Let c = 130 + -100. Suppose -34*i - 136 = -c*i. Let s be (1/10)/(i/68). Which is greater: s or 24?
24
Suppose -37 = 257*c + 50*c - 344. Which is smaller: c or 2/40109?
2/40109
Let q(z) = -14*z + 3114. Let w be q(70). Is 2135 != w?
True
Suppose 5*m = 5*r + 20, m = -4*r + 2*r - 2. Let b = 5 + r. Suppose b*a - d - 45 = 0, -2*a + d = -25 - 6. Is a less than 14?
False
Let g(w) = w**3 - 6*w**2 - 2*w - 1. Let q be g(6). Let t = q + 10. Suppose -2*i - 20*i = 66. Is i > t?
False
Let c be 4 - 12520/(-15) - (-16)/(-24). Let g = 782 - c. Let d(b) = -13*b**2 + 3*b + 2. Let a be d(-2). Is g not equal to a?
False
Let d be 5 + 102/(-21) + -2 + 372/42. Is 7 smaller than d?
False
Let s(p) = 81*p - 3240. Let v be s(40). Is 2/2573 > v?
True
Let k(w) = -w**3 - 26*w**2 + 41. Let i be k(-26). Let p(c) = -c**2 + 41*c + 15. Let j be p(i). Which is smaller: j or 76/5?
j
Let c(q) = 2*q**3 - 37*q**2 - 20*q + 45. Let w be c(19). Suppose 3*x - 3*b = -7*b + 83, -3*b = -4*x + 119. Which is bigger: x or w?
x
Let z = 413 - 520. Let w = z - -341. Which is smaller: w or 233?
233
Let c = -17791/56 + 2289/8. Is -33 at most c?
True
Let g(a) = 2*a - 2. Let f be g(4). Suppose 54 = 4*s - f. Let p = 26 - s. Is 10 greater than or equal to p?
False
Let i be ((-21)/9 - (-2)/(-3)) + -278. Let s = i - -175. Let z = 97 + s. Is z smaller than -9?
False
Suppose -3*i = -3*s - 2*s + 236, -2*s + 2*i = -92. Suppose -19 = k + w, k - 8*w + s = -3*w. Let m be k/18*(-6)/(-28). Which is smaller: 0 or m?
m
Let m = -36.896 + 0.296. Let o = m - -36. Let t = o - -0.27. Does t = 0?
False
Suppose 2 = -3*q - 1. Suppose g - 5*z - 76 = 0, g - 856*z + 861*z - 16 = 0. Is g smaller than q?
False
Suppose a - 5*n = -647, 2652 = -4*a + 6*n - 2*n. Let b = 696 + a. Which is bigger: 28 or b?
b
Suppose -109*c + 20*c = 52*c. Is 2/14561 at least as big as c?
True
Let o = 109 - 117. Let z(k) = 12*k - 1. Let n be z(-1). Let g = o + n. Is g greater than -21?
False
Let r = -11735639/211 + 55619. Which is greater: r or 1?
1
Let m = -3472 - -3510. Let j(u) = u**3 - 9*u**2 + 7*u + 7. Let d(f) = 9*f**3 - f. Let a be d(1). Let y be j(a). Which is smaller: y or m?
y
Let c be 1*(-13 + 11) + (-16228)/(-2). Suppose 27*i - c = 12111. Which is greater: i or 748?
i
Let s(v) = -4*v**3 - 21*v + 17*v - 4*v**2 + 2*v**3 + v**3 + 2. Suppose -2*x - 3*x + 10 = 0, 2*j = -5*x + 6. Let b be s(j). Is 4/3 < b?
True
Suppose -15 - 33 = -2*c. Let g be (-3690)/(-48) + (-4)/(-32). Suppose 12*x - 341 = -g. Which is smaller: c or x?
x
Let y be (-10)/(-10) + (-1 - -88). Suppose 10*d = 2*d + y. Suppose d*i = 6*i + 5. Is i at least as big as -2.2?
True
Let l be (-6)/6 + (58/18 - 2). Let p = -21.4 - -19. Let c = 2.3 + p. Which is bigger: c or l?
l
Suppose -805*y + 800*y = -n, -2*y = 5*n. Which is greater: -1/21359 or y?
y
Let q be ((-377)/(-4))/(((-147)/(-84))/7). Which is smaller: q or 379?
q
Let j = 1.7 + -22.4. Let v = -20.962 + -0.038. Let u = v - j. Is 5/3 >= u?
True
Let y = -345.1 - -362. Let v = -1.9 + y. Do v and -6 have the same value?
False
Let a = -7132/291033 - 2/10779. Do a and -1 have the same value?
False
Let g = 2342/1659 + 4/237. Suppose -3*k = 164 - 167. Is k bigger than g?
False
Let m(c) = 3*c**2 + 72*c - 72. Let u be m(1). Is u > 1936?
False
Let z = -0.019 + 4.659. Let n = z - 4.543. Is n smaller than 2/5?
True
Suppose -30 = -g - 6*i + i, -i + 25 = 4*g. Suppose 2*b + 5*t - 9 = 4, g*t = 5*b + 20. Which is bigger: b or 7/76?
7/76
Let w = 24428 + -24404.6. Let x(k) = -k**2 + 6*k. Let i be x(6). Is i less than or equal to w?
True
Suppose -f - 4*f - 183 = o, 4*f + 4*o = -140. Let g = f + 25. Suppose -4*d = -7*d - 48. Is d less than g?
True
Let j be 30/(-1)*2/(-52). Suppose n - 4*g = -2542 + 2507, -22 = -4*n - 2*g. Is j bigger than n?
True
Let b be (665/10 + 16)*44/5. Do 725 and b have the same value?
False
Suppose -10*u - 8*u + 76133 = u. Is 4007 less than u?
False
Let m be (-1248604)/798*3*-1. Is m at least as big as 4694?
True
Let j = -154 + 144. Let n(z) = 13*z + 81. Let h be n(j). Is h >= -46?
False
Let x = 1129 + -1129.05. Let d = -1.7 + 0.5. Let w = 1.23 + d. Is w < x?
False
Let i(d) = 4*d**3 + 77*d**2 - 793*d + 4. Let q be i(11). Is q greater than 5923?
False
Let k(z) = 16*z + 88. Let j be k(-27). Let o = 322 + j. Is -13 > o?
True
Let x(o) = 2*o**3 - 327*o**2 + 164*o - 162. Let s be x(163). Which is smaller: s or 104/527?
104/527
Let n be 640/400*(2 + (-68)/(-16)). Is -14 < n?
True
Suppose -2*c - 2*c + 24 = 0. Let w be -47*5/(-15) + 2/c. Let z be ((-340)/(-6))/(w/12). Which is bigger: 44 or z?
44
Let n = 296.7 - 292. Let c = -0.23 + 4.43. Let q = c - n. Which is greater: 2/5 or q?
2/5
Suppose -2*h + 8 + 0 = 0, c - 5*h = -7. Suppose -o + n - 2*n + 1 = 0, -3*o - n = -1. Suppose -5*w - 33*q = -31*q - 54, -5*w - 3*q + 51 = o. Is c at least w?
True
Let n be (-2)/(-5) + 4/(-35). Let b = -493 - -765. Let r = 271 - b. Which is greater: r or n?
n
Let f(c) = c**3 + c**2 - 4*c + 7. Suppose -l = 1, 4*j + 16 = -6*l + 2*l. Let p be f(j). Is -13 > p?
False
Suppose 1 = d - 2*d. Let g = -4902 + 2906885/593. Which is smaller: d or g?
d
Let k = -3091 - -3090.766. Which is smaller: -2/3 or k?
-2/3
Let g(q) be the third derivative of 0*q + 0 + 0*q**4 + 0*q**3 + 1/30*q**5 + 12*q**2. Let y be g(2). Is y >= 8?
True
Suppose -175 = j + 4*j. Let w(t) = 9*t**2 + 34*t + 118. Let z be w(-4). Let d = z - 162. Which is smaller: j or d?
d
Let q(j) be the first derivative of -j**4/4 + 17*j**3/3 - 43*j**2/2 - 2*j - 3712. Let m = 10 + 3. Let f be q(m). Is f at most as big as 114?
False
Let t = -39596 - -2415452/61. Which is smaller: t or 2?
t
Let k(q) be the second derivative of q**4/12 + 11*q**3/2 + 32*q**2 + 44*q. Let i be k(-25). Let m = i + 136. Which is smaller: -10 or m?
-10
Let b = -67 + 93. Suppose 2*o - o - 30 = -3*z, 0 = -2*o - z + 55. Does o = b?
False
Let j be 50/(-3915)*1/(-3 - (0 - 2)). Are -1 and j nonequal?
True
Let u(d) = -110*d**3 + d**2 + 16*d - 18. Let r be u(1). Is -332/3 at least as big as r?
True
Let a be (-369)/(-205)*(-25)/(-3). Let d be (11 - 14) + a/17 + 2. Which is greater: d or 4?
4
Let p be -2*(-2 - (-2178)/12). Let k = -358 - p. Which is smaller: 2.2 or k?
k
Let j(i) = 13*i + 1. Let v be 1/(-2)*(14 + -12). Let p be j(v). Let d = p - -21. Which is smaller: 46/5 or d?
d
Let o = -1655 - -1656. Which is smaller: 2/3319 or o?
2/3319
Let b = -316.4 + 317.1. Is 4/5 equal to b?
False
Let x be (-5)/(-10) + -1 - 49/(-2). Suppose -18*d + 12*d + x = 0. Suppose -5*r + 3*t = -t + d, r = 2*t - 2. Is r at most as big as -1/3?
False
Let t(m) = -34*m - 118. Let a be t(-20). Let f = a + -437. Is f greater than 123?
True
Let t = 4368 - 4372. Let j = 449/9 + -50. Let p = 23/36 - j. Are t and p nonequal?
True
Let v(k) = 102*k**2 + 2147*k - 15. Let g be v(-21). Does g = -128?
False
Let t = 5.77