greater: b or g?
b
Let j be (2/4)/((-2)/(-108)). Let r = -20 - -22. Let m be ((-1)/(2/(-84)))/(3/r). Which is bigger: j or m?
m
Let b be (-33)/(-12) + 2/8. Suppose 2*o = b + 3. Let j be 2 - (0 + o) - -1. Which is greater: j or 9?
9
Suppose u - 3 = -4*t + 7*t, t - 15 = -u. Let m be u/8*(-10)/15. Which is greater: m or -7/6?
m
Let x = 12 + -10. Let j(y) = -4*y - 17. Let k be j(-5). Suppose -o - 1 + k = 0. Does o = x?
True
Let q be 24/27*15/(-20). Let p(m) = 0 - 4 - m**2 - 2*m + 3. Let g be p(-2). Is g greater than q?
False
Let z = -7 - -1. Let y be (1/2)/((-721)/(-309)). Which is smaller: y or z?
z
Let a be (27/(-36))/(1/(-4)). Suppose -9*m + a - 147 = 0. Suppose -48 = -j + 4*j. Is m > j?
False
Let f(b) = -b**3 + 26*b**2 + 52*b + 64. Let y be f(28). Is -48 <= y?
True
Let o = 66 - 452/7. Let g be (-50)/(-120) - 2/12. Is o not equal to g?
True
Suppose 8*k = 10*k + 6. Let r be -6 - (k/3 - 3). Is -13 < r?
True
Let m be (-1)/((-220)/45 + 5). Suppose -6*y - 3*i - 5 = -7*y, y + 23 = -4*i. Is y greater than m?
True
Let v = -2 + 4. Let a = 22760 - 250348/11. Which is bigger: a or v?
v
Let n be ((-5621)/21)/11*3. Is n at least as big as -76?
True
Let o = -1503 - -1036. Let s = -973/2 - o. Let v = 18 + s. Which is bigger: -2 or v?
v
Suppose -19*i = -14*i - 95. Suppose -16 = -3*u - i. Is u less than or equal to -8?
False
Let s be (3/(-21))/((-1)/7). Which is smaller: 3/640 or s?
3/640
Let j = -1908755/57 - -33490. Let d = 14/19 - j. Suppose -2*r + 7*r + z = -10, -r = 2*z - 7. Which is greater: r or d?
d
Suppose -3*k + 4*t = -23, -5 - 13 = -4*k - t. Suppose k*n + 14 = -5*o + 2*n, 18 = -3*o - 5*n. Is o < 1/33?
True
Let p = 4 + -1. Let a = 77 + -152. Let c be (6/a)/((-3)/15 - 0). Does c = p?
False
Let s(f) = -f - 4. Let z be s(4). Let h = -16 + 23. Let k = z + h. Is -1/11 equal to k?
False
Suppose 0 = -4*z - 4*s + 440, 3*z + 3*s = 4*z - 102. Suppose 0 = -5*x + 2*l - 74, -5*l - z = 4*x - 29. Is x greater than -17?
True
Let b(p) = -3*p**2 + 14*p + 52. Let l be b(6). Which is bigger: -8 or l?
l
Suppose 2*m = 6 - 20. Let z(b) = 2*b + 6. Let t be z(m). Let x(c) = -c**3 - 7*c**2 + 9*c + 9. Let h be x(t). Which is bigger: h or -1/9?
h
Let l(j) = -j**2 - 15*j + 9. Let n be l(-16). Let q be (-9)/(-18)*(-12)/n. Which is smaller: q or 1?
q
Let n = 1007 + -3022/3. Let q = 2 + -2. Which is bigger: q or n?
q
Let n(w) = w**2 + 4*w - 1. Let j be (-2 - (-3 + -4))/1. Let r be n(j). Suppose a + 3*a - r = 0. Is 11 less than a?
False
Let l = 7 + -29/4. Let o = -5.82 + 0.02. Let g = -6 - o. Are l and g unequal?
True
Suppose 0 = 99*h - 112*h - 689. Is -366/7 greater than h?
True
Let k = -69 + 74.1. Let w = 5 - k. Let f = 52 - 66. Are w and f nonequal?
True
Let l(g) = -34*g - 33. Let d be l(-7). Let a be (246/d)/((-22)/10). Which is smaller: -4/9 or a?
a
Let d = -88 - -78.3. Which is smaller: d or 0?
d
Let c be (58/(-6))/(2/(-6)). Suppose 0 = -8*v - 2*v - 280. Let i = c + v. Which is smaller: i or -3/13?
-3/13
Suppose -39*t + 11 = -38*t. Is t <= 10?
False
Let h be ((-4)/(-3))/((-9)/(-837)). Let j = h + -121. Suppose -3*w + 3*i + 15 = 4*i, w + 4*i - 16 = 0. Is j > w?
False
Let g = -27641/4 - -6954. Which is smaller: 44 or g?
g
Let o be 60/18*6/4. Suppose o*h - 36 = -4*w, 0 = -5*w - 3*h + 7*h + 4. Suppose 3*q - 24 = -g + 3*g, 32 = w*q + 2*g. Do 9 and q have different values?
True
Let v be ((-64)/80)/(4/(-150)). Let r be (-217)/(14/2)*(-3)/3. Which is bigger: v or r?
r
Let n(i) = i**3 + i**2 - 6*i + 4. Let y be n(-3). Suppose 5*m - s - 161 = 0, 0 = -3*m + 2*m - y*s + 49. Is m less than 33?
False
Suppose 0*k - 12 = 3*k. Let s = 1506/13 + -116. Which is smaller: s or k?
k
Let l(t) = t + 7. Let m be l(-6). Let w be (7 - m) + 26/13. Let h be w/(-12) - 3/9. Is 2/5 != h?
True
Let f(q) = -5 + q**3 - 34*q**2 - 22*q + 42*q**2 - 9. Let d be f(-10). Is d >= 6?
True
Let g(n) = n**3 - 8*n**2 + 7*n + 1. Suppose -5*i = -2*i - 15. Suppose -2*u = -j - 3*j + 34, -i = -2*j - 3*u. Let p be g(j). Which is smaller: p or 0?
0
Let i = 15 - -2. Let t = 922 + -907. Is i equal to t?
False
Let c(f) = 2*f**3 + 6*f**2 + 10*f + 5. Let w be c(-6). Which is greater: w or -269?
-269
Let b(g) = -4*g + 7. Let n be b(2). Let c be (n + 2)*(-30)/156*-2. Which is bigger: c or 0?
c
Suppose -2*l - 8 = -2. Let d be 3/(-9)*27/l. Is 6 equal to d?
False
Suppose -4*p - 129 = -3*q - 364, 3*p = 3*q + 234. Is -77 not equal to q?
False
Suppose 4*c = 5*h + 220, c - 7*h + 2*h = 55. Let k be 2/(4/5*c/(-22)). Let r = 157/1015 + -3/35. Which is smaller: r or k?
k
Let x = -2018/141 - 48/47. Let b be (51/36)/(9/(-384)*-4). Let h = x + b. Which is smaller: -1 or h?
-1
Let x = -67 + 67.102. Let j = x - 0.002. Which is greater: -98 or j?
j
Let t(u) = -u**3 - 10*u**2 - 24*u. Let l be t(-6). Which is smaller: l or -14/129?
-14/129
Let t = -2.0609 + 0.0309. Let w = t - -2.2. Let h = w - 0.24. Is -1/4 less than h?
True
Let x(t) = t**3 + 14*t**2 - 4. Let u be x(-14). Let g be 1 + 185/65 + u. Is g bigger than 4?
False
Let p be (-2)/8 - 60/80. Let d be -2 + (4 - -50) + p. Which is smaller: d or 53?
d
Let o be (-6)/24 + 5/4. Let l(n) = 3*n**2 - 3*n**2 + 3*n**2 - o + n + 0*n. Let h be l(1). Is h less than 3?
False
Suppose -t + 12 = 3*f + 22, 4*f = t - 11. Is f < 40/7?
True
Let h be (590/(-1172) + (-3)/(-6))*-1. Which is greater: h or 1?
1
Let w = 11 + -8. Suppose t - x - 12 = w*x, 0 = -3*t + 2*x + 6. Suppose 2 = 2*l - 4. Which is smaller: t or l?
t
Let i = -4.21 - -88.21. Which is smaller: i or 2?
2
Let h(l) = l**2 - 18*l + 18. Let d be h(17). Let f = -0.25 - -4.25. Let w = f - -2. Which is greater: d or w?
w
Let r be (-1494)/(-1620) + 0 + 4/9. Which is smaller: r or 2?
r
Let l = -2547 - -2547. Is l < 1/2290?
True
Let g = -2 + 3. Let m = 0.9 - g. Let b = 1/994 - 1997/8946. Is m less than b?
False
Let i = -8 - -9. Let w = i + 0. Let h = -25 - -20. Do w and h have the same value?
False
Suppose 6*l - l = 5*o - 10, 0 = 3*o - 15. Suppose -4*p + l*r = p + 7, 4*r - 16 = 0. Let v be (-2)/(-8) - (-11)/36. Is v less than or equal to p?
True
Let x(i) = i**3 - 16*i**2 + 18*i - 21. Let c be x(15). Let q = c - 69. Which is bigger: -44 or q?
-44
Let h(n) = -n**3 - 7*n**2 - 10*n - 9. Let q be h(-3). Which is bigger: 1/2 or q?
1/2
Let f = 6156 - 6170. Let g(t) = t - 7. Let n be g(-6). Which is bigger: f or n?
n
Let w be 2 + 159/(-15) + 2. Suppose 14*y = -22*y - 216. Are y and w unequal?
True
Let x(t) = -3*t**3 - 77*t**2 - 51*t + 43. Let i be x(-25). Is 71 at most as big as i?
False
Let v = 32 + -28. Suppose -v*z = -109 + 41. Which is smaller: z or -2/9?
-2/9
Let y be (-5576)/3*(-6)/28. Let t = y + -396. Is 3 at most as big as t?
False
Let f = 59/105 + -2/15. Suppose 11 = -z + 5*y, -5*y = -4*z - 18 + 4. Is z < f?
True
Let i = 0.08 + -34.08. Let o = i + 57. Suppose 7*w + 9872 - 9865 = 0. Is w greater than or equal to o?
False
Let o = -103 + 177. Let z = -74 + o. Which is greater: -1 or z?
z
Let q = -28 + 23. Let y be q/(-30) - (-23)/42. Which is bigger: 1 or y?
1
Let q be -7 - 135 - (-3 - 1). Is q less than -140?
False
Suppose 2*t + 60 = 7*t. Let k = -21 + t. Is k < -9?
False
Suppose -686*f = -561*f. Let q = 72/7 - 1677/161. Which is greater: f or q?
f
Let f be 16/(-72)*(-1)/2. Let b(u) = -4*u + 63. Let d be b(16). Does d = f?
False
Let s = 19 - 28. Let t be (48/(-18))/(6/s). Let b be 0 + -1 + t + 1. Is -1 smaller than b?
True
Let l = -206 - -335.8. Let q = l - 130. Which is smaller: q or -1.4?
-1.4
Let a = 16712/19481 - 2/2783. Is a != -1/6?
True
Suppose 4*n = 5*i - 22 - 121, -36 = n - i. Let z = 67 + n. Let s be (-3)/5 + 78/z. Do 0 and s have different values?
True
Let c be 6/(-30) - 59/5. Let i be (-19)/4 + -2 + 3/c. Which is smaller: i or -9?
-9
Let s(y) = -y + 8 - 5*y + 0 + 10. Let f be s(6). Which is bigger: f or 2?
2
Let f be (-8 + -102)/(-10) + -10. Is 72/35 bigger than f?
True
Let l = -28 + 27.82. Let z = 0.42 - l. Let k = 1.1 - 0.1. Which is greater: k or z?
k
Let g = -43 - -46. Suppose 0 = g*l + 2*l - 5. Which is smaller: l or 8/7?
l
Suppose 2*a - 8 = 2, 3*t = 2*a + 119. Suppose -2*f = 2*s + t + 9, 20 = -f - 3*s. Let w be (-12)/(-42) + f/126. Is w less than or equal to 0?
False
Let n be (5/(-6))/((-6)/9). Let z(v) = v**3 - 12*v**2 - 6*v + 7. Let r be z(11). Let k be 4/22 + r/385. Are n and k non-equal?
True
Let p = 1618/7 - 225. Which is greater: p or 0.1?
p