 b?
214/337
Let b(q) = q**3 + 28*q**2 + q + 27. Suppose -220 = 12*l + 116. Let h be b(l). Is h smaller than -8/9?
True
Let h be (-185 - -1 - 3) + 3. Let g = h - -107. Let b = -51 - g. Which is smaller: b or 23?
23
Let k = -826 + 826. Let u(a) = a**3 - 9*a**2 + a - 9. Let g be u(9). Let s be -2 + (4 + -2 - g). Are s and k non-equal?
False
Let k = 340 + 778. Suppose -16*w + 2787 = 5*j - 13*w, -2*j = -2*w - k. Let m be 2*(-3 + 1671/j). Which is bigger: m or -1?
m
Let m = 83 + -79. Let i(s) = -4*s**2 + 16*s - 4. Let f be i(m). Is f less than or equal to -1?
True
Let v = -2173 + 2178. Is v equal to 32/5?
False
Let c(j) = j**3 + 18*j**2 + 30*j - 29. Let q be c(-16). Suppose 0 = -3*g - q*d + 84, 17*g - 13*g - 2*d - 118 = 0. Which is greater: g or 28?
g
Let l = 149384254 - 197187236891/1320. Let r = 180/11 + l. Which is smaller: r or 0?
r
Let h be 2328/(-448) + 12 - 6. Which is smaller: 0 or h?
0
Suppose 0 = 10*f - 41 + 11. Suppose -f = -3*h, -4*z + 2*h = -3*z + 2. Let b be (-1)/66 - 28/(-154). Which is greater: b or z?
b
Let u = 24 + -22. Suppose 0 = 3*z + v + 9, -15 + 0 = 5*z + u*v. Let q be z/(7/((-28)/30)). Is q at most as big as 0?
False
Let j = 0 - -0.04. Let i = 1056 + -1055.4. Which is greater: i or j?
i
Let d = -3460 - -38054/11. Do -65 and d have the same value?
False
Let h = -26.9 - 81.1. Let g = -108.3 - h. Which is bigger: -13 or g?
g
Let f = 297223/1036 - -92/259. Is 288 <= f?
False
Suppose -43*f + 10*f + 10 = 10. Is -65.6 not equal to f?
True
Let i be 25/4*4*-1. Let n = 70 - 64. Let m(p) = -2*p - 12. Let g be m(n). Is g at least as big as i?
True
Let f(u) = -u**3 + 8*u**2 + 21*u - 7. Let x be f(10). Let a = 9422/25 - 377. Which is bigger: x or a?
x
Let z = 8.65 - 8.55. Which is smaller: z or -26?
-26
Let k = 0.02 + -0.32. Let m = -142 + 29. Let f = m - -108. Do f and k have the same value?
False
Let r be (-1)/(-4) - 63/12. Let h = -7 + r. Let w = 1.985 - -0.015. Which is smaller: w or h?
h
Let w(q) = -5*q**2 + 7*q - 1. Let i be w(-5). Suppose -4*f = -24, 10*f - 816 = 5*k + 9*f. Which is smaller: i or k?
k
Let f = 24213 + -26195. Is -1981 <= f?
False
Suppose 2*r = -x + 50, -89*r - 230 = -4*x - 87*r. Is x greater than or equal to 55?
True
Let s(n) = n**3 - 2*n**2 + 9. Let j be s(-3). Let r = -46 - j. Let y be 28/45 - (-2)/(-9). Is y at most r?
False
Let z = -125813 + 983983475/7821. Is 1 < z?
False
Let z = 454 + -831. Let i = z + 368. Is 2/17 at most as big as i?
False
Let t = -285.9558 - -286. Which is smaller: 1 or t?
t
Suppose 0 = 5*k, -11*k = -5*i - 13*k - 3175. Let f = i + 634. Which is bigger: -22/21 or f?
f
Let v(o) = -o**3 - o**2 - o + 13. Let f be v(0). Let h = f - 9. Suppose y - 42 - 20 = h*x, x = -4*y - 24. Which is greater: -17 or x?
x
Let u(m) = m**3 + 5*m**2 - 22*m + 17. Let n be u(-8). Which is smaller: -0.783 or n?
-0.783
Suppose -146*j + 133*j = 2206 - 295. Are j and -156 non-equal?
True
Let u = -2746693/5 + 545108. Let x = u + 42919/10. Let v = x - 61. Which is smaller: v or -1?
-1
Let y = 3739805/728 - 41447/8. Let t = y - -314/7. Is 0 <= t?
True
Let x be 8 - 7/((-28)/(-16)). Suppose -x*k = -20*k - 1312. Let l = 82 + k. Is -10/17 greater than l?
False
Suppose -a + 87 = -4*a. Suppose 0 = 4*j - 5*q - 22, -3*j + 21 = -5*q + 2. Suppose -j*f - 4*m - 80 = -0*m, -23 = f + 5*m. Is a bigger than f?
False
Let g = -2340 + 11773/5. Suppose 0 = y - 7, 4021*p = 4017*p - 2*y + 74. Are g and p nonequal?
True
Let c be -3*4/18*-30. Suppose -n - 4*n - c = 0. Suppose -3*r = 13*r + 32*r + 192. Do n and r have the same value?
True
Let t be ((-3916)/22)/(1/2) + 4. Is -319 at most as big as t?
False
Let o = -1/6768 - -194023/47376. Which is smaller: 4 or o?
4
Let z be (-9766)/338212 + (-4)/94. Is z at least as big as -29/19?
True
Let f = 18372461/280 + -65616. Is f < 2?
True
Let k(c) = 2*c**3 - 14*c**2 - c - 13. Let o(t) = -t**3 + 6*t**2 + t + 6. Let y(r) = -3*k(r) - 7*o(r). Let q be y(-1). Is q >= -76?
True
Let t(c) = 17*c - 105. Let f be t(6). Let a be 194/(-315) - (-12)/20. Let p = -187/126 + a. Is f equal to p?
False
Let x be (32/12)/((-31)/1736). Which is smaller: x or -149?
x
Let a = -383/80 + -365/16. Suppose -732 - 109 = 29*w. Which is bigger: w or a?
a
Let u(n) = 2*n**3 - n**2 + 36*n - 218. Let p be u(5). Do 197 and p have different values?
True
Let p be ((160/(-48))/(-10))/(2/(-3)). Which is greater: -16914 or p?
p
Let n = 1723 + -1216. Let s = n - 507.5. Is 32 at most s?
False
Let f be (-14)/21 - 8/(-3). Let d be (1 - -1)*f/(-9 - -5). Let z be d/(12/(-57)) + (-2)/2. Which is smaller: 3 or z?
3
Let u(c) = c**3 + 6*c**2 - 9*c + 55. Let s be u(-8). Is 8/99 at most s?
False
Suppose 80 = -35*o - 67 + 602. Suppose 0 = -3*h - 0*d + 3*d + 18, 6 = h + d. Which is bigger: o or h?
o
Let b = 668 + -217. Suppose -447*o - 92 = -b*o. Which is greater: o or 30?
30
Let m(w) = -w**2 + 4*w + 265. Let f be m(19). Let l = -17 - -25. Let x be 208/f + l/20. Is x less than -10?
False
Let p = 49 - 46. Let c be -1 + ((-1998)/(-11964))/(p/18). Which is smaller: 2/5 or c?
c
Let w = -14630 - -190188/13. Is -566/7 less than w?
True
Let s = -8071 - -8129. Is 51 greater than or equal to s?
False
Let i = -11600 - -12074. Is i at least 472?
True
Let r be -2*(-12 + 2)/1. Suppose -3*n - 4*p = -8 - 9, -4*p = -r. Let i be 2/29*(2 + -5). Are n and i equal?
False
Suppose 297*d = 412*d - 38410. Which is greater: d or 2995/9?
d
Let q = 2926.71 + -2928. Which is smaller: -8 or q?
-8
Let l = -33825/14 - -2415. Let r = 515 - 477. Let g be (-15)/(-10)*r/(-57). Is l > g?
False
Suppose -5*d + 2 = -0*g + 4*g, -4*g + 2*d + 16 = 0. Let t(u) = -145 + 2*u - 7*u**2 - 3*u**2 + u**g + 124. Let p be t(10). Which is smaller: -7/23 or p?
p
Let y(g) = g**2 + 16*g + 108. Let m be y(-28). Let n = 445 - m. Which is greater: 2/291 or n?
n
Let t be -1650*3 - (-17)/((-170)/(-70)). Is t at most as big as -4944?
False
Let q = -0.129922 - 359.870078. Let h = 0.5 - 0.6. Which is bigger: q or h?
h
Suppose 4*g + 57 = -15*g. Let y be (4 - 5/((-5)/g))/56. Let f = -3/44 + -2/11. Is f greater than or equal to y?
False
Let s = 14.29 - 14.09. Let c = -96541/80 - -1207. Let x = c + -7/16. Which is smaller: x or s?
x
Suppose d + 456 - 458 = 0. Let j be 33/(-22) - (-3 - (-419)/d). Is j equal to -208?
True
Let a be 1/(37/(-3) - -12) - (2 - 15). Is a smaller than 6.8?
False
Suppose 0 = -81*b - 0*b + 248427. Which is smaller: b or -0.2?
-0.2
Let m(x) = x**3 + 7*x**2 + 8*x - 11. Suppose 14*r + 82 = 40. Let a be m(r). Which is bigger: -233 or a?
a
Let l be ((-3)/((-60)/(-545)))/((-10)/(-40)). Suppose -228 = -2*h + 4*h + 5*b, -b + 325 = -3*h. Is h greater than l?
False
Let z = 94 - 86. Suppose -46 = z*f + 18. Let n be f/(-12)*-7*15/55. Which is smaller: 0 or n?
n
Let t = -926 - -799. Let o = t + 377. Are 249 and o non-equal?
True
Let k = -201 + 197. Let w be (3 - 1)*k/852. Is -1 at least w?
False
Let r(h) = 142*h**3 - 3*h**2 + 9*h + 11. Let g be r(-1). Which is smaller: g or -117?
g
Let b be ((-7699198)/255)/(-26) - (3 - (-10)/(-3)). Do 1161 and b have different values?
True
Let z(h) = 5*h - 45. Let o be z(20). Let s = 28 + o. Let b = -20 + s. Which is greater: 62 or b?
b
Let c(t) = 5*t**2 + 3*t + 0*t + 0*t**2 + 8*t**2. Let g be c(6). Let o be -3 - (g/(-123) + 1). Which is smaller: o or 0?
o
Let t be 3*4/14*4/168. Let m = t + 93/245. Suppose q + q = 0. Which is greater: q or m?
m
Let w be ((-51)/(-9))/(11/4587). Suppose 28*o = -773 - w. Is o >= -774/7?
False
Suppose -1 = s + 4*i, 3*s + 0*i = -2*i + 7. Let v be (2/s - 0) + 8/(-3). Let u be 6/((-6)/v) - -1. Which is bigger: u or 5?
5
Let j be ((-2443)/42 - 6) + 2/3. Let c = j - -63. Which is bigger: 25 or c?
25
Let k = -1239 + 6183. Let f = k - 19513/4. Is 67 not equal to f?
True
Let c = -118.1069 - -0.1069. Let j = 21.1 - 21. Is c greater than or equal to j?
False
Let c be (-3)/9*72/(-3). Suppose 3*k + 8*y = 10*y + 11, 0 = -5*k - 3*y + 31. Which is bigger: k or c?
c
Suppose 0 = o - 2*o + 3, 18 = -4*b + 6*o. Let f be ((-1)/(-4))/(5/(-10)). Which is greater: b or f?
b
Let u(m) = 4*m + 4 - 2*m**3 + 0*m**3 - 3*m - 13*m**2 + m**3. Let s be u(-14). Let y be s/12 - 8/2. Which is greater: 13 or y?
13
Let u = 1521 + -1251. Is 265 less than or equal to u?
True
Let t be 0 + -1 + 3 - (-2456)/(-1236). Let m = 791/103 - t. Is -1 at most as big as m?
True
Suppose -36*i + 7*i - 8