eater: 77 or x?
77
Let c(u) = u**3 - 4*u**2 + 5*u - 4. Let p be c(3). Suppose -4*i - 3*f = -42, -4*i = 5*f + 2 - 40. Is p >= i?
False
Let t = 1.2 - 1.46. Let i = 26.9688 - 0.2288. Let q = t - i. Is 1/3 smaller than q?
False
Let q = -54.2 - -111.2. Let i = 58 - q. Let m = 0.25 - 0.2. Which is smaller: m or i?
m
Let z be (72/30)/(6/(-180)*4). Let f(q) = 2*q**3 + 35*q**2 - 18*q - 5. Let a be f(z). Which is bigger: a or 3.7?
3.7
Suppose -4*f + 8 = -32. Suppose -9 + f = -n. Let x be 1/n - (-1)/(-3)*6. Is x at least as big as -6?
True
Let c(r) = r**3 - 12*r**2 - 12*r + 20. Let x be c(14). Suppose x = -12*n + 2248. Are 167 and n equal?
True
Let b = -38 - -114. Suppose 0 = -82*q + b*q - 54. Does q = -4?
False
Let h(k) = k**3 + 39*k**2 - 121*k - 72. Let p be h(-42). Which is smaller: -281 or p?
p
Let o = -241/1058 - -2771929/12159594. Is o < -1?
False
Let q = -0.00232 - -109.00232. Let w = 2.1 + -1.1. Is q greater than or equal to w?
True
Let k(u) = -u**2 + u + 6. Suppose 6*j - 15*j - 18 = 0. Let f be k(j). Which is bigger: 3/298 or f?
3/298
Let h(b) = 2*b**3 - 14*b**2 + 5*b + 13. Let s be h(7). Let q be s/(-13320)*10/(-8). Is q greater than or equal to -1?
True
Let s = -90 - -101. Let f be (-368)/88 + 4 + 35/s. Let g be (5 - (-12)/(-4)) + 2 + -1. Is f less than or equal to g?
True
Let k = -338.5 + 18.5. Let l = k - -320.3. Which is smaller: l or -33?
-33
Let f(o) = 264*o - 8974. Let j be f(15). Are -5013 and j equal?
False
Let l(p) = -p**3 + 10*p**2 - p + 10. Let n be l(10). Suppose 0*z - 13*z - 13 = n. Which is smaller: -1/104 or z?
z
Suppose -2*d + 3722 + 2662 = 0. Let k = 941641/295 - d. Which is greater: -1 or k?
k
Let o = 2049 + -2127. Which is smaller: -83 or o?
-83
Suppose 2*f + 10 + 0 = 2*t, 0 = f + 2*t - 7. Let z be -5 + (3/f + 1 - -1). Let u be 18/84 - 2/(-7). Is z less than u?
True
Let t = -104 + 46. Let n = -2024 - -1969. Is t > n?
False
Suppose -5*r = -5*k - 55, 533*k - 5*r = 530*k - 65. Suppose -30 = -5*g - 2*h, 4*g = -0*h - 5*h + 7. Is k not equal to g?
True
Suppose 0 = -n + r + 3*r - 7, -3*r + 41 = -4*n. Let d(w) = -8*w + 497. Let i be d(63). Is n > i?
False
Let k = 2.585 - 1.185. Which is bigger: k or 296?
296
Let w be (-20 - -14) + 2278/(-847). Let r = -3/121 + w. Which is greater: -10 or r?
r
Let d(r) = 10*r - 117. Let u be d(12). Suppose 4*k + y + 7 = 0, 4*k = 5*k + u*y + 10. Is 2/195 greater than k?
True
Let y = 429.4 - 398. Let o = y + -31.1. Which is bigger: o or 10.5?
10.5
Let b = -84726 + 679195/8. Is 172 <= b?
True
Let q be 1/((-18)/4) - 41140/(-612). Suppose 7*i + 46 = q. Let d = 5/56 - -191/56. Is i bigger than d?
False
Suppose 23 = -3*z - 49. Let o be 6/(-76)*z/(-54). Let v be ((-30)/(-24) + 15/(-12))/1. Is o smaller than v?
True
Let n = 3348 + -3347.7. Which is greater: n or -85?
n
Let l be ((-63)/(-4074))/((-12)/(-736)). Which is greater: 1 or l?
1
Suppose 0 = -a + y + 8, -a - 2*y + 18 = -5. Which is smaller: a or 297/23?
297/23
Suppose -1081 = 5*y - 6571. Is y equal to 1099?
False
Suppose -2*u + 324 = 2*u. Let q be 327/27 + (-9)/u. Suppose k = 11 - q. Which is bigger: k or 0?
0
Let t = -1.58 - 811.42. Let l = -808 - t. Let f = 0 - 0. Are f and l nonequal?
True
Let y be (-2)/5 - (-15)/100. Let t be (-8)/(-14) + 7400/(-5698). Is y less than t?
False
Suppose -2*t = -2*p + 58, -t - 4*p + 362 - 391 = 0. Which is smaller: t or 0.74?
t
Suppose -5*y - 12 = -2. Let z(o) = -16*o - 98. Let s be z(-7). Suppose 37*q = 30*q + s. Are q and y equal?
False
Suppose 0 = -5*l - 13 - 7, 5*x + 2*l = -3. Let v(d) = -2*d**2 - 17*d + 18. Let h be v(x). Which is smaller: -181 or h?
-181
Let v be (5/10)/(-2*(-2)/16). Let u be (-11862)/(-42) + 3/(-1). Let t = u - 277. Which is smaller: v or t?
v
Let n = 11 + 874. Suppose -5*v + 5*x + n = 0, -14*v - 4*x = -12*v - 342. Which is smaller: 347/2 or v?
347/2
Let n be 4/3*10*198/165. Let l = -17 + n. Which is greater: l or 7/18?
7/18
Let h = -146 + 354. Let d = h + -207.9. Which is bigger: 198 or d?
198
Suppose 55 = 5*z + 2*q, -3*q - 41 = 23*z - 25*z. Is 173/12 at least as big as z?
True
Let j = -173 - -230. Let y = 135 - j. Is y at most as big as 80?
True
Suppose m = 2*n + 3*n - 30, 60 = 5*n + 5*m. Suppose 15 = 12*x - n*x. Suppose -4*i + 6 = x*g - 5, 0 = -3*g + 3*i - 3. Is 7/9 at least g?
False
Let l be (-366)/820 - (-213)/710. Which is greater: l or 1?
1
Suppose 3*v = -10*x + 6*x + 17, -5*x = -6*v + 8. Are x and -1873 equal?
False
Let g = -64 + 101. Let q(m) be the second derivative of m**5/20 - 2*m**4/3 + 5*m**3/3 + 7*m**2 + 17*m - 1. Let k be q(7). Is k less than g?
True
Let f = 1389 + -1001. Which is greater: f or 387?
f
Let l be 4/10 - 2/5. Let g = 22/295 - 7783/116230. Let x = -561/3940 - g. Which is smaller: x or l?
x
Suppose -28*s + 32*s = -6 + 10. Are s and 8/807 equal?
False
Let r = 2948 + -2385. Which is bigger: 0 or r?
r
Let x = -129 - -133. Suppose 2*k - x*k - 106 = -2*w, -4*w = 20. Which is smaller: k or -59?
-59
Suppose -1257*u = -1258*u - 2*y - 1032, -3*u - 3069 = -3*y. Which is smaller: -1027 or u?
-1027
Suppose -2*n + 45 + 43 = 0. Suppose 3*d = -2*t + 64, t = -2*d - t + n. Suppose -u = -5*v, 0*u - 15 = -3*u. Which is greater: v or d?
d
Let j = -81.55 - -80.7. Which is smaller: -6 or j?
-6
Let d(u) = u**2 + u + 1. Let o(f) = -f**2 - 13*f + 14. Let q(x) = 2*d(x) + o(x). Suppose 2*n + 375 = 77*n. Let k be q(n). Which is greater: -12 or k?
-12
Let j(r) be the third derivative of r**6/120 + 17*r**5/60 + 3*r**4/4 + 16*r**3/3 + 98*r**2. Let z be j(-16). Which is bigger: -1/497 or z?
z
Let w = -4357 + 3972. Which is bigger: w or -381?
-381
Let q(d) = d - 8. Let i be 340/40 - (-2)/4*1. Let s be q(i). Which is smaller: s or -3/62?
-3/62
Let h = -6.6 + 17.5. Let s = -254 + 265. Let g = s - h. Which is smaller: 83 or g?
g
Suppose -2*j = 2*c + 8, -11*j + 7*j - 26 = 2*c. Let o be 2*((-21)/(-6) - 1). Suppose 3*w + o = w - 5*z, -3*w + 2*z + 2 = 0. Is w at least c?
False
Let j(c) = c**2 + 8*c + 4. Let f be j(-3). Let z = f + 23. Suppose 0 = -3*g - 4*r + 16, 0*g = -g - r + 7. Is z greater than g?
False
Let l = -2626.681 - -2627. Which is smaller: 0.07 or l?
0.07
Let h = 5816 - 5811. Do h and 256 have the same value?
False
Let h be 48/(-4)*(73 - (-11 - -11)). Are h and -2/5 nonequal?
True
Let r = 2843 - 2858. Are r and -4/3 nonequal?
True
Let b(x) = -120*x + 3121. Let a be b(32). Is -4307/6 bigger than a?
True
Let i = 77.1 - 223.1. Which is greater: i or -1/4?
-1/4
Let x = -16 + 303. Let k be (-5)/30*4/x. Is k < 1?
True
Let g = -3942 - -3942. Which is smaller: g or -2431/5?
-2431/5
Let c = -9435/544021 - -63168676391/2459518941. Let z = -1/1507 - c. Is -26 at least as big as z?
False
Let q be 2561/(-1404) - (1 + (-5)/4). Which is smaller: -2 or q?
-2
Let f be ((-6)/(-15))/(18/45). Let t be 26/143 - 30/154. Do f and t have the same value?
False
Let r = -810301/19 - -42693. Which is smaller: 47 or r?
r
Suppose -53*h = -50*h + 4*y - 7539, -5*h + 11*y = -12512. Is 2508 smaller than h?
True
Let i = 211 + -148.2. Let x = 63 - i. Let n = -3/43 - 37/86. Which is smaller: n or x?
n
Let n be (-6)/225*(-2 - (-4112)/(-12)). Let h = 271/14 + -1291/126. Let j = n - h. Which is greater: j or 1?
1
Let s(d) = -d**2 - 2*d + 4. Let r be s(-3). Suppose -563 + 133 = 5*b - 4*a, b + 5*a + 115 = 0. Let f be ((-85)/b - 1)/((-3)/12). Is f not equal to r?
True
Let o = 6292 + -18521/3. Let x = o + -118. Which is greater: -1/3 or x?
x
Let x(j) = -2*j**3 + 86*j**2 + 89*j - 20. Let i be x(44). Is i bigger than 28?
False
Let l(m) = 2*m**2 + m - 3. Let x be l(-3). Let g be 9/(-2)*3/(1971/x). Which is smaller: g or -1?
-1
Let v = -20/11 + 38/33. Which is greater: v or 2413?
2413
Suppose -3930 = -42*i - 2418. Is i equal to -13?
False
Let a = -2192/3 + 731. Let s(p) = p**3 - 5*p**2 - 6*p. Let c be s(6). Which is smaller: a or c?
c
Let r = -659 - -660. Which is smaller: 13/243 or r?
13/243
Let w = 1/68278 - 3038491/8193360. Let n = w + 3/80. Let c = 148/27 - -1/54. Which is bigger: n or c?
c
Let x = 386738/5 + -78488. Is x at least -1141?
True
Let m = 357 + -357. Which is greater: 2/2259 or m?
2/2259
Let d(x) = -x**3 - 29*x**2 + 38*x + 289. Let q be d(-30). Which is smaller: -9 or q?
-9
Suppose -b = -2*b - 4*v - 64, -v = -2*b - 101. Let j be (-480)/(-4599) + b/546. Are j and 1 nonequal?
True
Suppose 16*l = 3634 + 2414. Suppose -61*w + 