t b = 11.9 + l. Is -16 > b?
False
Let g = 67 + -19. Suppose -41*t = -42*t + g. Suppose 8*q + 0*q = t. Which is bigger: 2/5 or q?
q
Suppose 6*x = -3*x + 9. Let b be (x + 3 + -6)*(-174)/(-4). Let m be 12 + -9 + b/33. Which is smaller: m or 1?
m
Let u be (-4)/16 + 30/56 + 44418/(-121506). Is u greater than 1?
False
Let z be 2 + 125/(-58) + 0. Let k be (-4)/(-168) + (-68)/2856. Which is smaller: k or z?
z
Let t = -64.6 + -39.2. Let v = t + 114. Let a = 9.9 - v. Is a at most -1/4?
True
Suppose 3*o - 2*k + 458 = -o, 0 = -o + 2*k - 113. Let r be (5/(-12))/(o/506). Which is greater: r or -0.1?
r
Suppose 5*p - 2 - 3 = -5*r, -4*r - 5*p + 3 = 0. Let l(m) = m**2 - 21*m. Let j be l(21). Suppose 4*v - z = -5, -5*v - 4*z + 20 = -j*v. Which is smaller: v or r?
v
Let a = 2.4 - -1.1. Let g = 0.003 - 3.103. Let i = g + a. Do 0.9 and i have different values?
True
Let t = 4199923/435 - 9655. Let h = -1892 - -1892. Is h less than t?
False
Let g = 29.79 - 30. Let p = -2.21 - g. Let w = -43 - -42.94. Does w = p?
False
Let b = -21 + 29. Suppose -8*g = -b - 8. Suppose 0 = 2*q - 5*i + 16, -5*q = i + 4*i + 5. Is g < q?
False
Let z = 461 + -510.9. Let y = 451.9 + -402.9. Let g = y + z. Which is greater: -2/15 or g?
-2/15
Let c = -291595/254856 - -1/84952. Does -2 = c?
False
Suppose 0 = -14*y + 20*y. Suppose -5*r + 2*b + 304 + 142 = y, -b + 2 = 0. Is 90 <= r?
True
Suppose -249*j - 84780 = -219*j. Which is smaller: -2825 or j?
j
Let i be 6/(-4)*(-6)/(-72)*8. Let r = -2688 - -223098/83. Is i at most r?
True
Suppose 9*c = 6*c - 9. Let h be 6/24*8/c. Suppose 5*n = 5*b - 5, -3*b - 3*n = -2 + 5. Is h != b?
True
Let h = -33224 + 465133/14. Suppose -3*t = -5*x - 5*t - 5, -4*t = 3*x + 3. Which is smaller: h or x?
x
Let k = -241 - -241. Suppose 3*c - 2*s + 4 + 6 = 0, k = 4*c - 2*s + 10. Does 12/13 = c?
False
Let x = 898 + -974. Are x and -2 non-equal?
True
Let s = 32 - 9. Let h(i) = 7*i + 11. Let q be h(14). Let b = 132 - q. Is s != b?
False
Let m be -3*(-14)/(56/(-132)). Which is smaller: m or -109?
-109
Let h be (-33)/2 - 1/2. Let i be (-1)/(-3)*(h - -8). Let l be (-4)/((4/6)/((-6)/(-18))). Which is smaller: l or i?
i
Let x be ((-72)/840)/((-176)/(-160) + (-4)/(-10)). Which is smaller: -2 or x?
-2
Let i be (-20)/75*-5 + (-3)/(-9). Which is smaller: i or -2/7?
-2/7
Let w be (-147)/(-98)*(-2 + 56/30). Which is smaller: 3/439 or w?
w
Let d(j) = -j**2 + 89*j + 775. Let w be d(-8). Which is greater: w or 42/887?
42/887
Let n be -6*(-8)/174*(-3)/(-6). Let y(q) = -4*q**2 - q. Let a be y(1). Let u be 1/a - 8/10. Is n greater than or equal to u?
True
Let b = 5951/9 - 659. Let k be 10/(-9)*156/(-60). Let x = k - b. Is 0.4 bigger than x?
False
Let l = 328/55 - 136/11. Let t = -143/20 - l. Which is smaller: 18/13 or t?
t
Suppose 76*x + 401*x = -41976. Is x < -92?
False
Let c = -51 + 84. Let v = c + -104. Let x = v - -72. Is x at most -39?
False
Suppose -2*o + 414 = 406. Suppose -2*m - 116 = o*q, 9*m = 10*m - 2*q + 46. Is m >= 2?
False
Suppose 21 = -25*m - 2 - 2. Which is greater: -2/269 or m?
-2/269
Let v = 354 + -347. Suppose 0 = -v*b + 88 + 59. Is 21 at most as big as b?
True
Let d(o) = -o**3 + 7*o**2 + 9*o + 9. Let g be d(9). Let f be (-17)/((-51)/g)*6/4. Is f <= -37?
False
Let k(s) = 84*s - 34. Suppose j + 12*q - 9*q - 7 = 0, 0 = -5*j - 2*q + 35. Let o be k(j). Is 554 less than or equal to o?
True
Let j = -13736 + 13723. Is j greater than or equal to -29?
True
Suppose 9 - 3 = -3*v. Let z be (420/3520 + v/11)*6. Do z and 0 have the same value?
False
Let k = 18656 + -74623/4. Which is smaller: -17800/9 or k?
-17800/9
Let s(y) = -56*y - 452. Let m be s(-4). Which is bigger: m or -224?
-224
Let c be (-3 - -6 - 4)*-4. Suppose -c*k = -5*b - 259, 7*b - k + 216 = 3*b. Which is greater: -52 or b?
-52
Let z(d) = d**3 + 16*d**2 + 30*d + 29. Let b be z(-14). Is 3/242 >= b?
False
Suppose -393 + 52 = 11*i. Let v be (-4)/20*0 - 32. Which is smaller: v or i?
v
Let f be -7969 - (30/(-2) + 33). Is f less than or equal to -7987?
True
Let i = 5/86 - -2900/43. Let u be 404/6 - (-42)/(-126). Is u smaller than i?
True
Let o = 485 + -478.49. Let d = 6.3 - o. Let v = d - -0.31. Which is smaller: -8 or v?
-8
Let m be ((-120)/(-135080))/((-12)/(-88)). Suppose 4*s = -s. Which is smaller: m or s?
s
Suppose -2*r = -10, 5*r - 32 = -2*t + 3. Suppose 4*s + 13 = 29. Suppose s*n + w = 2 + 23, 0 = -3*n - w + 19. Is t > n?
False
Let c(a) = 9*a - 2. Let i be c(1). Suppose -i*m = -8*m - 4. Let w be 34/8 + m + 14/(-4). Which is smaller: -2 or w?
w
Suppose 0 = -5*u - j + 786 + 1611, u = -j + 477. Suppose s = -7*s + u. Is s < 60?
False
Let t = 5/718 - -1411/3590. Let g = -95 + 272. Which is smaller: t or g?
t
Let a = -0.009 - -71.009. Let m = a + -8. Let q be (-33)/(-88) - (-14)/(-16). Which is smaller: m or q?
q
Let x = -91 + 171. Suppose -3*a - 30 = 2*h, -2*h - 2*h + 4*a = x. Suppose 8 = -k - 9. Is k at most h?
False
Suppose 5*w = -3*j + 22 - 2, 2*w - 8 = -3*j. Suppose -5*f - i - 8 - 1 = 0, f = -w*i - 17. Is f less than or equal to 3/158?
True
Let d = -1 - 0. Let l = 24523 - 24547. Is d less than or equal to l?
False
Let o be (1 + 1)*((-14)/(-1) + -2). Suppose 0 = 27*n - o*n - 36. Suppose u + u = n. Which is greater: u or 21/4?
u
Let u be (3/(6/332))/1. Suppose -34*m + 5625 - 490 = 18*m - 3601. Is m >= u?
True
Let g = -42 - -43. Suppose -d = -7*s + 3*s + 33, 3*s = -4*d + g. Let r be s/(-24) - (-7)/28. Is -2 greater than or equal to r?
False
Let r = 147.985 - -0.015. Let a = 148.204 - r. Are 1 and a unequal?
True
Let b = 1.7 + 6.3. Let w = 5194 + -5172. Is b < w?
True
Let t = -100901 - -8476781/84. Let n = t - 92/7. Let c = -85 - -83. Is c less than or equal to n?
True
Let w = -14.6 - -73.6. Let q = -57 + w. Let m(p) = -p**3 + 5*p**2 - 4*p + 1. Let s be m(3). Are q and s unequal?
True
Let r(k) = -k**3 + 13*k**2 + 15*k - 18. Let a be r(14). Let v be (-6)/a + (-6303)/4356. Which is greater: 0 or v?
v
Let t = 89 + -40. Suppose t*z + 2134 = 38*z. Is -195 less than z?
True
Let g = -38 + 66. Let o be (-1 + -1)/(g/(-14)). Is o smaller than -215?
False
Let o = -8 - -3. Let m = o + 6. Suppose -3*s + 3*i - 20 = -98, i + 134 = 5*s. Which is greater: s or m?
s
Let z = -170 - -271. Let m = 95 - z. Let h = 1.8 + -2. Is h greater than or equal to m?
True
Let o(s) = s**2 + s - 36. Let v be o(5). Let t be v/(3*(-4)/108). Suppose -t = 3*r + 96. Which is smaller: -49 or r?
r
Let j(p) = -p**3 - 2*p**2 - 2*p + 13. Let s be j(0). Suppose i - 11 + 1 = -g, 3*i + g = 30. Is s bigger than i?
True
Let c be (-13514)/(-261) + 2/9. Let y = c + -44. Suppose -d = -2*a + y, 19 = -3*d - 0*a + a. Are d and -7 non-equal?
True
Suppose 23*i = 15*i - 17*i + 1150. Is 410/9 equal to i?
False
Let o = -3772.2 + 3708. Do o and -3 have the same value?
False
Let v = 9000 - 11144. Which is smaller: -2143 or v?
v
Let a = 27118 + -27114. Are 721 and a unequal?
True
Let p = 202 + -285. Let s = -76 - p. Is -0.1 >= s?
False
Let f(m) = -m**2. Let o be f(1). Suppose -110 = 15*n - 4*n. Let i be -3 - -3 - (n + 13). Which is smaller: o or i?
i
Let n = 154637287/177 + -873661. Is -5 at least as big as n?
False
Let f = -1306 + 746. Let t = -440 - f. Do 1/2 and t have the same value?
False
Suppose -s - 49796 = -69*i + 74*i, -39820 = 4*i - 2*s. Is -9959 equal to i?
False
Suppose 0 = -24591*x + 24560*x + 465. Let t be 48/((-6)/(-2)) - -3. Is x at least t?
False
Let r = 0.296 - -13.004. Let a = r + -9.3. Let m = 2 + -9. Which is greater: a or m?
a
Suppose y + 0*q - 168 = 4*q, 168 = y - 3*q. Suppose 2*r - 38 = -2*i - y, -3*r + 5*i - 219 = 0. Which is smaller: r or -67?
r
Let p = -266 + 268. Suppose p*z - 2 = -m, -11 = -3*m - 5. Which is greater: 3/20 or z?
3/20
Let m = 18983 - 2220989/117. Let t be 3 - (-3226)/(-1170) - (-10)/(-25). Let x = t + m. Is x equal to 0?
False
Let t = -14051/196471 - -43/674. Are t and 0 nonequal?
True
Suppose -11*d = -3891 - 17427. Which is smaller: 1939 or d?
d
Let j be (-4)/(-22) + 91640/(-503151). Which is greater: j or 0?
0
Suppose -13265 = 74*m - 79*m - 5*a, 5278 = 2*m - 5*a. Is m >= 2648?
True
Let p = -73047 - -223304681/3057. Is -1 less than p?
True
Let t = -996941/10 - -99796. Which is smaller: 101 or t?
101
Suppose 5*g + 214 = 124. Let b be (g/32)/(21/(-8)*2). Let o = 4 - 3. Does o = b?
False
Let z = 1166 + -1166.1. Which is smaller: 3801 or z?
z
Sup