*i. Which is smaller: x or -73?
x
Let r = 593.6 - 516. Let o = -30 + 108. Let x = r - o. Is 14 greater than or equal to x?
True
Let z = 8951.89 + -8952. Which is smaller: 79 or z?
z
Let t = -118/29 + 2789/493. Which is greater: 4 or t?
4
Suppose 6 = 2*i + n, -4*n = 5*i - 1 - 17. Let u be 1 - (1 - (1 + 4/(-4))). Suppose -2*z + i*o = -u*o - 4, -4*z = -o + 1. Are z and 3/11 non-equal?
True
Let r = 12678 - 12677.7045. Is r <= 0.1?
False
Let p be (-6)/10 - (-21)/(-15). Let a be 0 + 3 + -3 + (p - -2). Let o be (-224)/282 + -13 + (-369)/(-27). Which is bigger: o or a?
a
Suppose -191*s + 211*s = 20. Let c = -383/400 + 15/16. Which is smaller: s or c?
c
Let v = -8 - -9. Suppose 35*z - 110*z + 9600 = 0. Which is greater: v or z?
z
Let k = 1743546/71 + -555685731/22223. Let q = 448 + k. Which is bigger: q or 0?
q
Let n(q) = 5*q**2 - 775*q. Let x be n(155). Let y be (2/6)/(44/6). Is y equal to x?
False
Let s(h) = -h**2 + 4*h + 49. Let j be s(9). Suppose -j*z = -z + 2*z. Suppose g + 2 = 6*f - f, -2*g + 6 = 0. Which is smaller: f or z?
z
Let z(w) = -w**3 + 37*w**2 - 180*w - 5. Let s be z(9). Are s and 646 non-equal?
True
Let a = 3 - 10. Let i = -7.3 - a. Suppose 3*z + 3 = s, 9 + 4 = z - 5*s. Which is bigger: z or i?
i
Let n = 292.98211 + -293. Which is greater: -0.2 or n?
n
Let m(q) = -q**2 - q + 2. Let f be m(-2). Suppose 300*i + 42 = 307*i. Let l be (i - (-3 + 5)) + f. Is 14 less than or equal to l?
False
Let u(c) = -c**3 + 67*c + 76. Let h be u(-12). Is h less than 1000?
False
Let y = -8.4 - 17.6. Let z = -63 - y. Let f = -7 + z. Is 1 less than or equal to f?
False
Let v = 3091 + -1781. Does v = 1310?
True
Let u = -5589 + 5589. Is u less than or equal to -4/1513?
False
Let f be ((-3)/(-6) - 5)/(6/8). Let k be ((-264)/(-18))/(2/f). Let c = 48 + k. Is 7 at most c?
False
Suppose 5*t = -25, -t - 7 = -2*n + 4. Let p(c) = -2*c**2 - 10. Let m(g) = 3*g**2 + 11. Let x(f) = n*m(f) + 4*p(f). Let z be x(6). Which is smaller: 28 or z?
28
Suppose 4*o - 1 = 19. Suppose -11*i + o*i - 318 = 0. Is -52 >= i?
True
Suppose 13 = -3*p + h, 5*p + 13*h - 11*h = -40. Suppose -6*n = -1 - 11. Suppose -n*x - l = 14, 5*x = x - 4*l - 32. Is p bigger than x?
False
Let z(u) = u**3 + 18*u**2 - 11*u - 65. Suppose -4*r = -4*h + 76, -r - 33 = r + 3*h. Let k be z(r). Is 131 > k?
False
Let p(h) = 111*h - 3758. Let b be p(34). Which is bigger: b or -13/19?
b
Let j be 420271/(-186)*(-2 + 6 - 2). Let o = j + 4519. Which is smaller: o or -1?
-1
Suppose -3*c + 4 = -w, 0*w = w - 2*c. Suppose -w*n - 120 = 32. Let q be (-22)/16*-2*-8. Is n bigger than q?
True
Let g = 19895 - 4494. Do g and 15401 have different values?
False
Suppose 5*a - 15*p = -13*p + 11, -2*a - 4*p = -14. Let b be a/(-2)*(-54)/(-81). Is b not equal to 1/18?
True
Let j be 7 + 0 + ((-10230)/1416 - 18/(-72)). Let d be (-1)/3 + (-2)/(-6). Do d and j have the same value?
False
Let t(d) be the second derivative of d**4/12 + 5*d**3/6 - 3*d**2 - 12*d. Let b be t(-8). Let g be (-3)/(-1)*(69/b + -4). Is g <= -2?
False
Let i = -1880 - -1716.4. Let u = i + 163. Which is smaller: u or 2/9?
u
Let p = -10149 - -54764005/5396. Which is greater: -1 or p?
p
Let t = 13399 + -13398.96. Which is bigger: 1.33 or t?
1.33
Let l = 3081 + -4441. Let u = l - -363118/267. Is 0 at most as big as u?
False
Suppose 5*g - 151 = -l - 153, 4*l = 6*g - 112. Is l >= 528?
False
Let k(w) = -271*w**3 - 60*w**2 + 63*w - 1. Let h be k(1). Which is bigger: 4 or h?
4
Let a(b) = -b**3 + 15*b**2 - 27. Let h(z) = z + 15. Let v be h(0). Let j be a(v). Is -1 less than j?
False
Let i = 7058777228/29885 - 236198. Are 1 and i unequal?
True
Let i be (-17)/(60/120*2). Let h = -6 - 9. Which is greater: i or h?
h
Let f be ((-250)/(-3750))/(-1 - ((-2981)/2979 - 0)). Do 98 and f have the same value?
False
Let h(v) = -76*v - 478. Let w be h(-4). Which is bigger: w or -177?
w
Let k be (18/14)/((-280)/(-196)). Suppose -2*c = c - 18. Let r = c - 6. Which is smaller: r or k?
r
Let l(d) = -7*d - 7. Let t(z) = 78*z + 78. Let h(y) = -65*l(y) - 6*t(y). Let k be h(-4). Which is smaller: 36 or k?
36
Suppose -10*y - n + 95847 = 20543, 0 = 3*y + 2*n - 22581. Is 7529 > y?
False
Suppose 0 = 3*m + 201 + 18. Let w be 894/(-12) + (-5)/5 - (8 + -10). Is w > m?
False
Let m(i) = -2*i**3 + 18*i**2 - 29*i + 24. Let g be m(8). Which is smaller: -10 or g?
g
Let v be 36443/165330 - 24/108. Which is smaller: v or 0?
v
Suppose -2*q + 4*x = 0, -4*q - 2*x - 11 = -11. Which is smaller: q or -139/169?
-139/169
Let b be 4/12 - 1/((-6)/10). Let s be b/(-4) + 198/12. Which is smaller: 4 or s?
4
Let z = -10033.9 + 10034. Do 0.771 and z have the same value?
False
Suppose -4*b + x + 1 - 8 = 0, 7 = -3*b - x. Let f = 15 + -12. Let t be 5/45 - 1/f. Which is bigger: b or t?
t
Let n = 304 + -404.5. Let j = n + 56.8. Let s = j + 46. Which is greater: s or 1?
s
Let m(i) = 4*i**3 + 13*i + 0*i - 19*i**2 - 5*i**3 - 11*i + 94 + 3*i. Let n be m(-19). Is n smaller than 2/25?
True
Let x be 1 + 48*2/(-95). Let v(j) = -9*j**2 + 39*j - 12. Let h be v(4). Which is smaller: x or h?
x
Let w = 167 + -164. Suppose w*x = -5*j + 26, -10*j = -9*j + 5. Which is smaller: 21 or x?
x
Let s = -4420 + 4420. Which is smaller: s or 24/121?
s
Let v = -209 + 209.207. Let s = 159.207 - v. Are s and -1 equal?
False
Let q = 0.385 - 0.13. Let g = q - 0.355. Which is smaller: 2/33 or g?
g
Let w be 2/(88/(-14051)) + 44/(169 - -7). Which is smaller: w or -319?
w
Let d = 990.0779 + -0.0779. Is d less than or equal to -2?
False
Suppose 5*j - 1 - 69 = 0. Suppose 2*z = j + 6. Let p(o) = o**3 - 9*o**2 - 13*o + 7. Let i be p(z). Which is greater: -24 or i?
i
Let y be 844/1320 + (-2)/3. Let s = -541 + 542. Which is bigger: s or y?
s
Let u be (-3)/(-24)*6 - (-500633)/(-476). Which is smaller: -1053 or u?
-1053
Let r = 49 + -35. Suppose s + 18 - 81 = 0. Suppose -13*d + s + 119 = 0. Are d and r unequal?
False
Let v = -2540 + 2544. Let g = -13 + 13.12. Is v equal to g?
False
Let b be 19*(182/28 - 7). Is b at least -10?
True
Suppose 10*x = -21*x - 837. Let q be (2 - 762/(-15))/(-3 - -1). Which is greater: q or x?
q
Let d = -4393/2690 - 18/269. Let x be 6 + 17/(85/(-35)). Is d at most x?
True
Let l be (-2 - -23)/3 + -7. Suppose l = -2*m + b + 3, -7*b = -5*b + 6. Is 1/315 less than m?
False
Suppose 4*k + 27 = 183. Suppose -4*j + 40*z = k*z - 1, 3*j = z. Which is greater: 1/8 or j?
j
Let w be (-1)/((-1)/2*1). Suppose 3*b + 2*z - 16 = 0, -b + 5 + w = z. Suppose 42*o - 88 = 150*o - 130*o. Which is bigger: b or o?
o
Let s(g) = -3*g + 37. Let t be s(12). Let h be (7/126)/(t/(-1220)). Let m = h + 68. Is 0 at least m?
False
Suppose 0 = -4*v - 12, 4*v = s + 2*s - 279. Let p = 700 + -611. Is p equal to s?
True
Let s be -1*4 - 81/(-9) - -2. Suppose 120 = -s*x + 176. Are 80/11 and x nonequal?
True
Let f(d) = 58*d + 355. Let l be f(-6). Which is greater: l or -4?
l
Let o = 208049 + -246121949/1183. Which is smaller: -1 or o?
-1
Let r(z) = -2*z - 4. Let f be r(-5). Let u = f - 138. Let b be 8/12 + 64/u. Which is greater: 0.6 or b?
0.6
Let w = -6875/12792 - 1/984. Let h be 6/21 - (282/(-42) + 7). Is w != h?
True
Let u = -107 - -385. Is -0.22 greater than or equal to u?
False
Let l be (-2)/(-14) + -7 + 239406024/15162. Let x = l - 15783. Let d = -2637/7942 + x. Which is smaller: 1 or d?
d
Let y be 10 + 684/8 + 1/2. Let f be y/8*(-45)/12. Which is bigger: f or 5?
5
Let r = -7748450 - -224619456/29. Let x = 2951 + r. Is x >= -2?
True
Let i be 15 + 2 - 12 - -5*(-42)/(-35). Let p = 1261/3 + -410. Is p <= i?
True
Let p be 5198/(-24) + (-6)/9. Let v = p - -215. Which is smaller: v or 4?
v
Let d be ((-33)/22)/(12/367). Let a = 3025/56 + d. Let l = -2 + 10. Is a < l?
False
Let d(g) = 7*g**2 - 44*g + 268. Let k be d(-10). Is k >= 1410?
False
Let n = -8.355 - -8.1. Let w = -3058.945 - -3059. Let h = w + n. Which is smaller: h or 28?
h
Let b be 2 - (-993)/(-105) - 166/415. Let u = 24 + -32. Is u smaller than b?
True
Let n = 14.6 + -15.051. Let r = n - 4.549. Let d be 4/11 + (-1 - -1). Which is smaller: d or r?
r
Let n(x) = -x**3 - 2*x**2 + 2*x + 2. Let t be n(-1). Which is smaller: t or -65/261?
t
Suppose -10*m + 15*m + 1347 = 4*g, g - 268 = m. Which is smaller: m or -274?
m
Suppose 2*o + 29 = 3*o + 2*a, 0 = 3*a. Suppose -13 = -x + o. Let f = x + -41. Is 4/33 bigger than f?
False
Let y be 8 - (4952006