*y + 4*y = i. Let t be -1 - (-3 + y/3). Is -2/9 <= t?
True
Suppose -5*h + 16*h = 8997 + 6073. Is h at least as big as 0.1?
True
Let f = -6275 + 6967. Is 693 greater than or equal to f?
True
Let a = 81 + -62. Let d = -20 + a. Which is smaller: d or -107?
-107
Suppose l - 3*t = -t - 3261, 16272 = -5*l - t. Let h be -28*10/l*-9. Which is smaller: h or 0?
h
Let u = -0.11 + -13.89. Let z(k) = 369*k**2 - 4800*k + 44. Let f be z(13). Which is smaller: f or u?
u
Let n = 1756 + -1758. Let h = -25 + 18. Let s = -7 - h. Is s less than or equal to n?
False
Let f(i) = 81*i + 501. Let a be f(-6). Which is bigger: 20 or a?
20
Let m = 5535 - 4787. Which is smaller: m or 750?
m
Let w be (-21 - -21)*(3 + -2). Let q = -439/420 - -9/70. Which is smaller: w or q?
q
Suppose -177*j = -4008 + 1176. Suppose 4*r - 33 = -h, 4*h - 2*h + 42 = 4*r. Is j equal to r?
False
Let y = -10824 + 9704. Is -1119 at most y?
False
Let q = -738.9 + 739.9. Is -3/547 less than q?
True
Suppose -5*y + 60 = 5*r - 2*r, 0 = -r - 4*y + 27. Suppose 39 + 47 = -2*m + 4*u, -r = -3*u. Let b be -16*(0/2 - -2). Is m != b?
True
Let k = -382 - -370. Let z be 0 + 1 + (-1 - (-72)/k). Suppose 2*a = -4*x - 42, -3*x = -5*x + 2*a - 12. Is x < z?
True
Suppose 11*y - 987 = -41. Is y not equal to 695/8?
True
Suppose 4*g + 80 - 88 = 0. Suppose 0 = 5*t - 7*h + g*h, -t + 2 = -3*h. Which is smaller: t or -22/5?
-22/5
Let d = -70 + 68. Let y be (-19 + 26)*d/(-7). Suppose 4*o - x - 16 = -4*x, y*o + 18 = 5*x. Which is smaller: 1/3 or o?
1/3
Let k = 114 + 70. Suppose 4*v + 3*f - 183 = 0, -7*v = -3*v + 4*f - k. Let d = v + -44. Which is smaller: -2/123 or d?
-2/123
Let v = -31 + 37. Let x be ((-1389)/39)/(v - 3). Let w = -7/13 - x. Which is greater: 11 or w?
w
Suppose -3*t = -t - 18. Suppose 249 = -t*m - 651. Is -102 smaller than m?
True
Let d = -7632 - -7632. Do -288.5 and d have different values?
True
Let v = -52.266 + 20.366. Which is smaller: v or -2/105?
v
Let z = 145 + -95. Let j = -114 + z. Let x = j + 62. Is -2/5 equal to x?
False
Let j = -1.032 + 5.202. Let q = 2167 - 2162.8. Let b = q - j. Is b equal to 1/6?
False
Let o be 1781/(-660) - (-4)/6. Let l = o + 37/20. Let n be 1/(-2) + (-3)/(-2). Is l > n?
False
Let w(t) = t**3 + 2*t**2 + 2*t + 2. Let y be w(-2). Let p = y + 2. Let h be (p/1)/((12/(-6))/2). Which is greater: h or -8?
h
Let z be 66/(-297) + 34962/594. Which is bigger: 59 or z?
59
Let h = -45191695/766 + 58997. Which is smaller: h or 1?
h
Let z be (-1)/2 - (-58)/(-116). Does z = -2/8321?
False
Let n = -79 - -81. Suppose 5*q + 375 = 5*u, -n*u = q + 15 + 45. Let y = q - -70. Which is bigger: -1/17 or y?
y
Let f = 7294 + -7292.913. Is -4 greater than or equal to f?
False
Let x be 2 - (3 - (-664)/(-216))*-24. Which is smaller: x or -2/263?
-2/263
Let v = -7/5151 + -447115/752046. Is -2 > v?
False
Let n = 7 + -22. Let x = -78 + 75.96. Let l = x + 2.04. Which is greater: n or l?
l
Let z(n) = 8*n - 28. Let k be z(15). Let c be (5715/762)/(18/224). Which is smaller: k or c?
k
Suppose 18*y - 7347 = -403581. Let n = y - -242425/11. Are n and 25 nonequal?
True
Let h = 478463/4 - 120605. Which is smaller: -989 or h?
h
Let a be 12004/240144*10 + (-41)/82. Is a at least as big as 1?
False
Suppose 12383*l = 12355*l + 1988. Is 114 < l?
False
Let g(x) = -x**3 + 13*x**2 + 12*x - 408. Let a be g(13). Are 0 and a equal?
False
Let q be 40/14 - (7 - 4). Let a = -58.9 - -59. Is q > a?
False
Let l be 1/(-5 + (-64)/(-12)). Suppose -121 = l*p - q, 2*p - 30 = 2*q - 104. Let r = 11 - 35/3. Which is smaller: p or r?
p
Suppose -d + 255 = -13*s, 0 = 7*s - 3*s - 3*d + 65. Suppose 0 = -4*f + 3*f - 13. Which is smaller: s or f?
s
Let o = -137540 + 137539. Let h = -33659932/1777 - -18942. Which is bigger: h or o?
h
Let l be 138/23 + (-5 - -1). Suppose l*b - 11*b = 27. Which is smaller: b or -15?
-15
Let z = -32997 - -33437. Is z greater than or equal to 441?
False
Let h be ((-4)/(-5))/((-456)/(-60)). Let f = -999 - -999.01. Are f and h unequal?
True
Let c = -4.2 - -4.7. Let p = 1406 - 1406.02. Which is bigger: p or c?
c
Suppose -8*t + 60 = 4*t. Suppose 2*x + 5*m - 25 = 0, -t*x - 2*m + 10 = -3*x. Suppose -4 = -x*f + 2*f. Is f >= -13/9?
False
Let s(f) = -f**3 + 14*f**2 - 3. Let k be s(14). Let v be ((-12)/14)/(k/21). Let j be (v/(-12))/((-3)/(-2)). Is j at most as big as 1?
True
Let a = -254/45 - -214/45. Is -0.03 equal to a?
False
Let m be (3/5)/(-8 - 723/(-90)). Let b be -4*(m/12 + -2) - 20. Which is smaller: -1/5 or b?
b
Let c = -2 + 3. Let u = 77757/32 - 2430. Which is bigger: u or c?
c
Suppose m + 0*m + 3*k = -1404, -6969 = 5*m - 2*k. Which is smaller: m or -1397?
-1397
Let i = 161001/897050 + -42/233. Which is bigger: -1 or i?
i
Suppose -2*t - 2 + 14 = 0. Let y be ((-372)/24)/((-3)/t). Do y and 36 have the same value?
False
Let q be 98*2*-93*(-6)/72. Suppose 0 = 109*w - 116*w + q. Which is bigger: w or 216?
w
Let p be (-60340)/(-5600) - (14 + 2). Is p equal to -4?
False
Let n(a) = -4*a**2 - 66*a - 2. Let s be n(-17). Suppose 4*o - 5 = 7. Suppose -102 = o*j - 0*j. Are s and j non-equal?
True
Suppose 14*d = 5*w + 11*d - 17862, w - 3*d - 3570 = 0. Which is bigger: 3572 or w?
w
Let k = 51585/26 - 1984. Which is smaller: 0 or k?
0
Let s be (-1 - 1)*257/2. Let h = -176980 - -1943955/11. Let k = h - s. Which is greater: -1 or k?
k
Suppose -2*x + x = -27. Let a be (14/1043)/((-3)/(-9) + 1). Let b = 3801/149 - a. Which is bigger: b or x?
x
Let g = 1534/45 - 308/9. Let p(h) = -h**3 - 6*h**2 + h + 2. Let d be p(-5). Let b be 12/d + 36/35. Which is smaller: b or g?
g
Suppose 3*f - 12 = -3*j, -4*f + 3*j + 16 = -0*j. Suppose -61 = 45*w - 317 - 104. Suppose 0*c - r = -c + w, -r + 52 = f*c. Which is smaller: 11 or c?
11
Let a be 6/39 + 548/(-13) + 6. Is -36 at least a?
True
Suppose 31*r + 512 = 543. Suppose -6 = 5*f + 3*w - 2, -2*f + 2*w = -8. Let o be 4 + (f - (0 - -3)). Is o < r?
False
Suppose 96 = 42*j - 30*j. Let q be (-60)/(-240) + 1*6/j. Is q > -1/64?
True
Suppose -3*d - 5*c = -37, -7*c + 9*c - 49 = -5*d. Suppose w + d - 10 = 0. Is -1/25 at least as big as w?
False
Let i = 164 + -187. Suppose 5*q - 16*z = -12*z - 31, 3*q + 21 = 3*z. Is q <= i?
False
Let a(i) = -2*i**3 + 12*i**2 - 2*i + 15. Let w be a(6). Suppose 0 = -3*f - 5*c + 13, -w*f + 17 = 3*c - 2*c. Suppose 10*k = f*k - 68. Is -20 bigger than k?
False
Let w(r) = r**3 + 10*r**2 - 7*r - 92. Let m be w(-8). Let t be (92/m)/((-1)/(-107)). Is 1 smaller than t?
True
Let j be (-1026)/33 - (-15 - -24). Which is greater: -39 or j?
-39
Let f be (1*-1 + 2)/((-175)/1050). Let z be -3 + 10 + f + -27. Which is smaller: -25 or z?
z
Let i = -557/72 + 1025/8. Which is smaller: i or 119?
119
Let m be 6 + -2 - (-2 + 4). Let c = -403.214 - -403. Let h = 14.786 - c. Is h less than or equal to m?
False
Let m(q) = q**2 + q + 1. Let f be m(2). Let g be f/(-63) - ((-23)/(-9) - 0). Which is smaller: g or 6?
g
Let b be 112/(-80) + 7/5. Suppose 0 = k - 5 + 3, b = -5*y - 2*k + 4. Are -1/284 and y unequal?
True
Suppose 0 = x + 2*x - 27. Let f be 2/(-3)*((-63)/x)/1064. Which is smaller: f or 1?
f
Let s = 2/1673 + -3380/28441. Do s and 29.8 have different values?
True
Suppose -3*a + 62 = -31. Let w(f) = 4*f**2 - 5*f - 72. Let q be w(-5). Let v = q - a. Which is greater: 21 or v?
v
Suppose 4*p + 3644 = 4*a, 273*p - 275*p = -4*a + 1820. Is p bigger than -912?
False
Let l(q) = -7*q**2 - 3*q + 22. Let w(b) = 6*b**2 + 3*b - 20. Let m(c) = -5*l(c) - 6*w(c). Let n = 11 - 16. Let g be m(n). Which is bigger: -3 or g?
g
Let x(t) = -t**2 + 87*t - 1583. Let n be x(61). Let s be (8/12)/(8/(-204)). Which is smaller: s or n?
s
Let m = -321725/74498439 + 48/18827. Which is smaller: 0 or m?
m
Let l be 3 + 6 - (1 - 0). Suppose -3*u + u + l = 0. Suppose 0 = r - 4, u*m + r + 80 = -3*r. Which is bigger: 2 or m?
2
Suppose a - l = -1, 6*a = 3*a - 2*l + 17. Let f = -25 - a. Let c = -27 - f. Which is smaller: c or -1/99?
-1/99
Suppose -4*b + r + 10627 = 0, -b + 10*r - 8*r = -2669. Which is bigger: b or 2656?
2656
Let s be 38892/(-12) + -21 - -15. Is -6495/2 greater than or equal to s?
False
Suppose 0 = r - 4, 4*y - y + r = 1. Let b(o) = o**2 + 13*o + 3. Let z be b(-13). Let j be (1*4)/((z + -81)/6). Is y bigger than j?
False
Let q be (2/3 + 0)*(-9 + -60). Let c = -43 - q. Suppose c*h = -2*i + i - 2, -22 = 4*i + 5*h. Which is smaller: -