ppose 64 = 7*n - 3*n. Let x(y) = 5*y**2 + 291*y + 62. Let z be x(-58). Let p be ((10 - -2) + (z - -1))/1. Is p > n?
True
Let l(w) = 3*w + 48. Let f be l(-7). Let y be f/(-6)*40/(-12). Suppose -11*b = 136 - y. Is -6 <= b?
False
Let q = -1166992 + 8148250/7. Let n = q + 2962. Let f = n + -39/7. Is f >= 0?
True
Let d be (-93)/105 + 9/15. Let w(a) = -2*a - 3. Let z be w(-2). Let r be z*(-1 - (2 + -3)). Which is smaller: r or d?
d
Let z = -199.858 - 0.142. Let b = z + 199. Is b greater than or equal to -1.57?
True
Suppose 16 = 4*z, 5*b + 9*z = 10*z - 39. Let h be 46*(b - 43/(-6)). Which is smaller: h or 7?
7
Let m(v) = 26*v**2 + 26*v + 11. Let c be m(-2). Is c >= 79?
False
Let g be 1/(39/6 - 6). Suppose -113 = g*f + 141. Is f at least -129?
True
Let j be 73852/22 - 2496/(-2288). Which is bigger: 3355 or j?
j
Suppose 1 = 5*u - 2*u + 4*o, u - 2*o + 3 = 0. Is 3/3736 < u?
False
Let q = -219 + 153. Let g be (q/(-56)*(-56)/21)/(-4). Let k = 85/28 - g. Which is smaller: k or 1/2?
1/2
Let c = 0.3641 - 1.4711. Which is smaller: -2/9 or c?
c
Let r = 1117 - 1101.02. Let s = r + 0.02. Which is bigger: -4/3 or s?
s
Let z(t) = -356*t**3 - 3*t**2 + t + 1. Let x be z(1). Is -357 at most x?
True
Suppose -4753 = 4*w - 5*m, -3*m - 1184 = 7*w - 6*w. Let o = 1188 + w. Let n be ((-4)/(-6))/((-4)/6). Is n >= o?
False
Let k = -1821 - -1821.1. Let o be (-2)/8 + (-1 - 0) + 1. Which is smaller: o or k?
o
Let o(d) = -2*d**3 + 3*d**2 + 120*d - 236. Let j be o(2). Is j at least -27/560?
True
Let d = -3137.3 - -3048. Is -3/4 <= d?
False
Let n be -1 + 0 - (2 - 3). Suppose 23*c + 154 = -352. Let l be 5 + (-18 - c)/(5/(-6)). Which is smaller: n or l?
n
Suppose 5*c + 178 = -467. Let b(a) = -2*a**3 - 56*a**2 + 89*a + 2363. Let t be b(-28). Is t at least c?
True
Suppose 8*g - 36 = 5*g. Suppose -b - g - 44 = 0. Suppose 4*p + 3*w + 231 = 0, 4*p + 2*w + 228 = -2. Which is smaller: b or p?
p
Let z be (9*247/39)/(-1). Suppose 0 = -x - 53 - 2. Which is bigger: z or x?
x
Suppose -b + 2*c - 8679 = 7410, 2*c - 32162 = 2*b. Which is smaller: b or -16074?
-16074
Let l = -262772/62935 + 171/41. Which is smaller: l or -1?
-1
Suppose -6*o = -5*h + 1050, -41*h = -3*o - 40*h - 525. Which is bigger: o or -171?
-171
Suppose 3*b = 6*v - 10*v + 105, -2*b - 2*v + 66 = 0. Which is smaller: -154 or b?
-154
Suppose -549*c + 153402 = -512*c. Is c < 4144?
False
Suppose 2*p = 0, 0 = -4*s - 0*s + 2*p + 4*p - 3720. Is -938 < s?
True
Let a be 53452/112 - 10/8. Let j = -476 + a. Which is bigger: -2/49 or j?
j
Let m = -192 - 28. Let s = m + 221. Is 2/173 at least as big as s?
False
Let y = 25/54 - -1/27. Let u = 642317.975 + -642318. Is u bigger than y?
False
Let k be ((11 - -1) + -15)/((-6)/(-4)). Let v be (k + 8/(-5))/(27/(-3240)). Is 431 != v?
True
Let h = -0.065 + 0.615. Let l = -1.55 - h. Which is bigger: 1 or l?
1
Let j = 1898 - 1946. Let m = 0.036 + 42.964. Let p = m + j. Which is greater: -2/13 or p?
-2/13
Let k = 113 - -67. Let p = k - 66. Which is smaller: 0 or p?
0
Let j be 9/(-2)*24/(-18). Suppose 12 = 2*b + j. Let c = 0.84 - -0.16. Is c greater than b?
False
Suppose -3*g - g - 12 = 0. Let y(n) be the second derivative of n**5/20 + n**4/3 + n**2/2 - 149*n. Let r be y(g). Does r = 13?
False
Let z(q) = -q**2 - 5*q + 12. Let r be z(-6). Suppose -x - 10 = 5*g, x + g + 0 = -r. Which is smaller: -7 or x?
-7
Let r = -14056 + 14057. Is r greater than 136.28?
False
Let f be ((-3)/2*-2)/(24/(-416)). Let m = 56103526/49 - 1145022. Let d = m - f. Which is smaller: d or 1?
d
Suppose 0 = -4*o - 87 - 129. Let z(v) = v**2 + 27*v + 116. Let r be z(-10). Is o >= r?
True
Let o(x) = x**2 - 13*x - 10. Let r be o(13). Suppose -3*m = -4*w - 2*m + 16, -m - 8 = -2*w. Suppose -3*a + 4*c = 30, -a + 5*c + 30 = -w*a. Is a greater than r?
False
Let r(y) = -264 - 218988*y + 219022*y + 78. Let m be r(-7). Are m and -423 equal?
False
Let o(y) = -75*y**3 + 4*y**2 + 74*y + 193. Let b be o(-3). Which is bigger: b or 2029?
b
Let k be 3/537*((-5)/10 + -3). Are -1 and k equal?
False
Let w be (15/3469)/3*8/(-40). Is 0 at most as big as w?
False
Let x = -4.336 + 4.3. Let r = x + -0.044. Let v = r + -0.92. Is v bigger than 0.25?
False
Suppose 1384 = 81*t + 34906 + 1875. Which is bigger: -444 or t?
t
Let r be 70/(-175) + 968/(-5). Let w be (r/(-4))/((-30)/(-12)). Which is greater: 20 or w?
20
Let y(r) = 20*r**2 + 3*r + 13. Let f be y(6). Let q = -443 + f. Suppose -4*p = -5*i - q, 380 = 5*p - 5*i - 0*i. Which is greater: p or 71?
p
Let b(r) be the third derivative of 7*r**4/24 + 145*r**3/6 + 7*r**2. Let z be b(-17). Which is greater: z or 18?
z
Suppose 2*r + 579 = -3*o, 0 = -r - 347 + 353. Is -2176/11 less than o?
True
Suppose r = 4 - 1. Let u = 3987.901 - 3993. Let x = u - -0.099. Is x greater than r?
False
Let n(u) = 4*u - 24. Let r be n(6). Suppose 3*c = -z + 56, r = -3*c - 2*z + 65 - 13. Which is bigger: 23 or c?
23
Let v(g) = -g**2 + 7*g. Let o be v(5). Let r = 314/933 + -1/311. Is r bigger than o?
False
Let m = -6334 - -742. Is m less than -5592?
False
Let w = -53754638 + 770572736129/14335. Let o = w + -2/305. Which is smaller: o or -1?
-1
Suppose -3*k + 146 = 5*f, -2*f + 7*f - 144 = -2*k. Let x be (-9184)/30 + f/2310*11. Is -307 at most x?
True
Suppose 21*y + 281 + 706 = 0. Suppose t - 4 = -v - 54, -v - 5*t = 66. Which is bigger: v or y?
v
Suppose 0*s = 2*s - 1824. Let c = -17332/19 + s. Let f = c - -6/209. Is -3 at most as big as f?
True
Suppose -k = -3*t + 399, 5*t + 349 + 383 = -2*k. Which is smaller: k or -382?
-382
Let o be 42/(-630)*(5699/(-3) - -3). Which is greater: o or 125?
o
Let k be 450 - (-1)/(33/15 + -2). Let z be 22*7/k*5. Is 1 less than z?
True
Let a = 6.646 + -6.446. Are a and 19 nonequal?
True
Let g be ((-58)/9512)/((-123)/156). Which is smaller: 1 or g?
g
Let p be (22/(-176))/((-12)/32). Is 304 bigger than p?
True
Let l be 3 - (2 - (-8020)/(-3084))*-5. Let m = 140/12079 - l. Which is greater: 1 or m?
1
Let s be (-7)/((-21)/(-109)) - -5. Suppose -p = 36 - 5. Let t = s - p. Are -90 and t unequal?
True
Let b(q) = -q**2 - 13*q + 65. Let t be b(-12). Suppose 0 = 4*l + 4*c - 420, 318 = 4*l - c - t. Is l greater than or equal to 101?
False
Let d = 45212 - 9132847/202. Is -1 < d?
True
Let g = -0.46 + 0.36. Let a = -4.9 + g. Let t = 1.83 - 1.75. Which is smaller: t or a?
a
Suppose a + 125 - 124 = 0. Let m be -5 - 2*3/a. Let q = -881/10 - -88. Which is smaller: q or m?
q
Let c = 18849 + -18665. Which is smaller: c or 180?
180
Let u = 12.5 - 0.5. Let o = u + -12.2. Let b be ((-1)/5)/(99/(-165)). Which is greater: b or o?
b
Let a = -30.07 - -30. Let u = a + -0.93. Which is smaller: -0.44 or u?
u
Let b be 729094/28 - (27 - 3393/126). Is 26039 at most b?
True
Let f = 11137 - 11124. Let z be (-22)/(-13) + 1/(-1). Let d = z - -281/26. Is d < f?
True
Suppose 921 = -7*l + 130. Let w = l + 192. Let g = w + -1186/15. Which is bigger: 0 or g?
0
Let f = 1.2 + -1.3. Let t = -99.29 - -100. Is t > f?
True
Let f = 39940 - 39894. Suppose 0*t + 4*t - 5*w - 174 = 0, -5*w = -3*t + 133. Which is greater: t or f?
f
Let r = 433 + -385. Suppose -3*y = n + r, 290 = -20*n + 15*n - 5*y. Is n less than or equal to -62?
True
Let j = -68 + 72. Suppose -j*w = 8, -329 = -3*d - w + 5*w. Which is greater: d or 106?
d
Suppose 0 = -11*n + 8*n - 2*s + 7, -1 = -4*n - s. Is n < -7/393?
True
Let h(k) = k**3 - 4*k**2 - 2*k - 3. Let o be h(4). Let x be 698/(-5) - (-15)/25. Let r = 126 + x. Which is bigger: r or o?
o
Let f = -32.4 + 9.69. Let s = f + -0.29. Suppose 3*n + 6 = 0, -5*r - 10*n + 5*n = 0. Is s bigger than r?
False
Suppose -3564 = -2*o + i - 1228, 3*i - 3504 = -3*o. Which is smaller: -5 or o?
-5
Let a be (-1)/(-2)*(-112)/34. Let v(w) = 2*w**3 - 424*w**2 - 1. Let k be v(212). Which is bigger: a or k?
k
Let x = -3 - -3.12. Let h = -95.72 - -95. Let z = 3.72 + h. Are x and z non-equal?
True
Suppose -4*c = -c + 3, r - c - 3 = 0. Let s(h) = -h**3 + 41*h**2 - 47*h + 283. Let u be s(40). Is u less than r?
False
Let q = -13 + 14. Let w = -1417 - -1414. Do w and q have the same value?
False
Let p(u) = -7*u**2 + 26*u + 3. Suppose -5*q - 3*y + 12 + 8 = 0, 0 = -2*y. Let z be p(q). Which is greater: z or -56/11?
z
Let p be ((-570)/57 - 32/3)/43. Which is bigger: 1 or p?
1
Let x(f) = -17*f + 30. Let k be x(4). Let b be (-516)/6*5/10. Which is smaller: b or k?
b
Let i(h) 