u*m. Suppose 10858 = 144*w + 12442. Which is greater: w or m?
w
Let x(i) = -i**3 - i**2 + 2*i - 6. Let c be x(-4). Is 477/14 at least as big as c?
True
Suppose -10*h - 181 = -117*h + 140. Which is greater: h or 70/41?
h
Suppose 11*k = 3*k + 4444 - 14100. Which is greater: k or -1209?
k
Let y = 3662.26 - 3662. Which is bigger: 4 or y?
4
Suppose 0 = -3*z + 54 + 165. Suppose -5*o + 3*f = -374, 5*o - 8*o + 238 = 5*f. Is z < o?
True
Let b = -3264 + 4054. Do 2369/3 and b have different values?
True
Let a be ((-60)/1720)/(3/(-6)*(-2)/(-1)). Suppose -s = 2*x - 2*s - 3, -3*x - 4*s = 23. Is x not equal to a?
True
Let o(g) = -g**3 + 18*g**2 + 2*g - 3. Let j be o(18). Suppose 8*i = 105 - j. Suppose i*n + 11 = 10*n. Is 10 >= n?
False
Suppose -2*h = -2*z - 182, -3*h = -7*z + 6*z - 283. Let g = h + -862/9. Which is bigger: 8/17 or g?
8/17
Suppose -51*m = -49*m + 650. Does -325 = m?
True
Let f = -7560 - -7613. Which is greater: 213/4 or f?
213/4
Let a = -7.3 - -4.5. Let q = a - -0.8. Which is greater: 10 or q?
10
Let g = -10546 + 10544. Which is smaller: -100/39 or g?
-100/39
Let a = -274789/11 + 25003. Is -2 at least a?
False
Suppose -84*y + 56 + 28 = 0. Which is smaller: y or -4/709?
-4/709
Let m = -108 - -108. Suppose -4*o + m*r = 3*r + 78, 3*o + 2*r = -59. Let i be (-3)/24 - o/(-24). Is 2/89 greater than i?
True
Let k(x) = -x**3 + 7*x**2 - 12*x + 8. Let f be k(4). Let c be (-2)/(-3)*12/f. Let a be (-68)/(-16) - 4*c. Which is bigger: a or -10?
a
Suppose 0 = -13*a + 7*a. Suppose 5*x - d - 3400 = a, 4*x - 2720 = -d + 2*d. Let p be 1/(-3) - x/30. Do -24 and p have the same value?
False
Let m be 26 - 27 - (-1 + 872). Which is greater: m or -875?
m
Let j = 4023 - 3877. Which is greater: j or 133?
j
Suppose 0 = 35*y - 6*y - 28304. Is y at least as big as 977?
False
Let v = 11817 + -10908. Which is smaller: -1/6 or v?
-1/6
Let q = -55856079/1238 + 45118. Which is bigger: -1 or q?
q
Suppose 0 = 4*k + 3*b - 80, k + b - 30 = -9. Suppose -5*c = 4*t + 33, t + 4*c = -5 - k. Let m be (t/(-6))/((-3 + 4)/3). Which is smaller: m or -4?
-4
Suppose -5*u = -23 - 32. Let y(l) = -l**2 + l - 1. Let p(o) = -6*o**2 + 6*o - 5. Let j(i) = u*y(i) - 2*p(i). Let x be j(0). Is x != -2/9?
True
Let g(x) = 115*x**2 - 12*x + 5. Let u be g(3). Is u greater than or equal to 1004?
True
Let g = -11 + 42. Let w = 4 + g. Let q be 130/w + 2/7. Which is greater: q or -1/4?
q
Let l be (-136)/(-18) + (18/(-3) - -1). Is 2 > l?
False
Let l be (-116)/(-87)*3/(-2)*-6. Suppose 13*f = 9*f + 16, -l = -2*x - f. Which is smaller: 2 or x?
2
Let n be 6 - ((-36)/(-5) + 9/(-45)*1). Is n <= -1/1296?
True
Let q = -3626.75472 + -0.24528. Which is smaller: 0.3 or q?
q
Let q(p) = -p - 2. Let g be 2*(0/2 + (-15)/(-10)). Let d be q(g). Let x be (-8)/((-120)/9)*d. Is x >= -0.5?
False
Let v = -1912 + 74566/39. Is v bigger than -126?
True
Let k = 2.277 - 2.244. Which is smaller: k or -1/9?
-1/9
Let f = -15 + 15. Suppose -3*q + 3*y - 15 = f, 3*q - y + 12 = y. Let d be q/(-7) - (0 + 185/35). Which is smaller: -3 or d?
d
Let g = -5021 + 8179. Which is greater: 3159 or g?
3159
Let r(v) = -2*v + 1. Let a be r(-5). Suppose -3*y + 3*h + 14 = h, -a = -3*y - h. Suppose -y*s + 0*c = -c + 13, 3*s - 3*c = -21. Which is greater: -13/4 or s?
s
Let o = -698.677 + 698. Let m = -51.323 + o. Is 0.1 != m?
True
Let j be 30/584 + (-56)/672. Is j smaller than 0?
True
Let y = 666/551 - 32/29. Is y smaller than 76?
True
Suppose -247 - 279 + 130 = -132*d. Which is smaller: 31/14 or d?
31/14
Let h be (0 - (-2)/4)*2. Let q = h + -3. Let v = 780.1 - 780. Is v > q?
True
Suppose 3*y - 111 = 2*c, c = -3*c + 12. Let a be y/(-52) + 7/4. Let u = 456 + -451. Which is smaller: u or a?
a
Suppose 0 = -2*n - 3*g - 26, -597*n + 5*g + 36 = -593*n. Which is greater: n or -11/481?
-11/481
Let m be 4/44*-1*98. Let s = -2994/341 - m. Which is smaller: s or 1/3?
s
Let b be -3 - (-89)/(2 + -1). Suppose 183*y - 194*y = -946. Is y greater than or equal to b?
True
Let a = -0.0994 - -0.3304. Which is greater: -4 or a?
a
Let u = -302623/1598200 + 93/488. Are -1 and u nonequal?
True
Suppose 0 = -34*q + 4625 + 4827. Is q smaller than 282?
True
Suppose 5 + 5 = 5*k. Let b = 8461 - 126871/15. Which is greater: b or k?
b
Let s be -3*(-1 - (6 + -2)). Let r be 1 + (-66)/s - (-1 - 2). Are 21 and r equal?
False
Suppose 18*z + 25814 = -36250. Let t = z - -568922/165. Are -1 and t equal?
False
Suppose -220*i + 185 + 35 = 0. Is 2/65 > i?
False
Let x = 1434 - 1161. Which is bigger: x or 0.3?
x
Suppose -c = 2*p - 5*c - 24, 4*p = -c + 48. Let w = 0 - 6. Let j be w/9 + (-30)/(-72). Is p < j?
False
Let r be (-4)/(-1736)*-242 - 3/(-7). Is r >= 0?
False
Suppose -1352 = 54*p - 6421 - 4543. Which is smaller: p or 120?
120
Suppose 0 = 4*u + 2*q + 532, 2*u + 266 = -q - q. Let s = u - -88. Let j be (55430/964)/(0 + (-10)/(-8))*-1. Is s bigger than j?
True
Let r(s) = -s**3 - 21*s**2 - 73*s - 241. Let w be r(-18). Are 102 and w equal?
False
Let m be 2/7 + (-11)/(-35). Let j = 63026 - 63012. Is j at least m?
True
Let p = 33.302 + -33. Let t = 0.502 - p. Is t less than -75?
False
Let w = -1.689 + -0.311. Which is bigger: 4/33 or w?
4/33
Let m = 536 - 216. Suppose 2*r + 3*v = -2*r + m, 0 = -3*r + v + 227. Let u = r + -70. Do u and 7 have different values?
False
Let z(r) = r**3 + 5*r**2 + r + 5. Let p be z(-5). Suppose -u - 80 - 3 = p. Let q = u - -1247/15. Is 0.17 less than q?
False
Let i = -29 + 28.77. Let z = -0.034 - -0.104. Let c = i - z. Is c smaller than 1?
True
Let h be (((-4)/5)/(-2))/(4/40). Suppose 0*a + h*a = -44. Do a and -112/9 have different values?
True
Let c be 12/126*6*(-8 + (-23)/(-2)). Let t = -4 - 4. Let i = t + 12. Are c and i non-equal?
True
Let o be 21/3 + -5 + (-2176)/464. Is -4 at least as big as o?
False
Let p be (-4)/(-1) + 0 - 22. Suppose 0 = 2*g - 3*y + 24, -14*y = 5*g - 10*y + 83. Is p at most as big as g?
True
Let t = -31032 + 31029. Are t and -85/38 nonequal?
True
Let z = 1327375/6 + -221230. Let l = -0.5 + 0.2. Let f = l - -0.2. Is f less than z?
False
Let o = -472 - -27377/58. Let t be (53/8)/(7395/(-204)). Let r = o - t. Is 6 <= r?
False
Let u be (-33)/(-30) + (-1)/10. Let w = -6907/19 + 364. Do w and u have the same value?
False
Let l be (-176)/33*(0 - -3). Let i be ((-6)/10 - 12/(-70))/((-570)/(-22420)). Is l not equal to i?
True
Let r = 1 - 26. Let m = 25 + r. Let n = 0.092 + -37.092. Is m at least n?
True
Let b = 166 - 108. Suppose -173 = 37*a + 197. Let i(q) = 3*q**3 + 29*q**2 - 17*q - 13. Let c be i(a). Are b and c unequal?
True
Suppose 4*w + 469 - 3317 = 0. Let j = w - 810. Are -98 and j unequal?
False
Let t be (-6)/(-11) + (-346320)/3663. Is t at least as big as -23/5?
False
Suppose 0 = -2*o - 5*t - 19, 66*t = 2*o + 67*t + 7. Is o at least as big as -111/40?
True
Suppose 42 = -9*m + 231. Suppose m*t - 24*t - 213 = 0. Which is bigger: -72 or t?
t
Let m = 19611 - 26246. Is m smaller than -6633?
True
Suppose 0 = 2*d + 3*v - 6, 2*v = 2*d - d + 4. Suppose d = -2*c + 4 + 4. Suppose -a = 4*x - c - 3, -5*a + x = -56. Which is greater: 12 or a?
12
Suppose 247*z + 39 + 22 + 186 = 0. Is z smaller than -10/4819?
True
Let n be (-6)/2 - 5/((-5)/18). Suppose -25*j = -24*j. Suppose -5*i - 10 = -j*z + z, 4*z - 35 = -5*i. Is n smaller than z?
False
Let g = -34154 - -25720. Which is bigger: -8432 or g?
-8432
Let w = -53 + 54. Let n be w - (2 + (-824)/80). Are n and 10 nonequal?
True
Suppose -4*o + 147 = -189. Let t = o + -77. Suppose 21 = -4*c - t. Is c greater than -2?
False
Let f be (-10)/((-90)/(-9)) + (-8906)/(-8). Let t = f + -1118. Suppose -2*g - 29 = 5*q, 0 = -2*q - 0*q - 3*g - 16. Is t greater than q?
False
Let z(b) = 11*b - 649. Let h be z(59). Let x = 6 + -1. Let w be h/((60/x)/(-4)). Which is smaller: w or -1/106?
-1/106
Let l = 75.7 - -19.3. Let b = 95.2 - l. Is -21 <= b?
True
Let h be (-10)/(-4)*(108/15)/(-9). Let y be -3*34/24*h. Let b(a) = 10*a**2. Let i be b(1). Which is smaller: y or i?
y
Suppose 2*a + 3*a + 32 = -i, -3*i - 160 = -a. Let w = i - -66. Let q be -2 + -1*(-26)/w. Is q at least as big as 1?
False
Suppose 0 = 106*c - 105*c + 2*i + 896, -4*c - 4*i - 3608 = 0. Which is greater: c or -4539/5?
-4539/5
Let j = 3 - 5. Let i = 0 - j. Suppose 0 = -2*v - 5*t + 12, 3*t - 10 = -i*v - 2*v. Is 3/7 < v?
True
Let w(r) = 5*r**3 + 2*r**2 + 15*r + 31. Let t be w(-2