-4*b - 983. Is -248 at most as big as b?
False
Let l be ((-115437)/630 - 1/10)/((-2)/6). Which is bigger: 548 or l?
l
Let h be (-5 + 4)/((2 + 1)*(-18)/54). Is h > 4/2709?
True
Let t(j) = -2*j**2 - 4*j - 8. Suppose -n + 2 = 0, 2*w - 4*n = -6*n + 38. Suppose 0 = -5*m + v - 23 + 4, m + 5*v - w = 0. Let u be t(m). Is u bigger than -11?
False
Let r = 7293 - 7324. Which is smaller: -209/7 or r?
r
Let l = -1857 + 1837. Let v be -3 - (1 + l/5). Let y = 24 + -10. Which is smaller: v or y?
v
Let x(v) = -147 + 116 + 103 - v**2 - 6*v. Let a be x(-12). Do a and -6/43 have different values?
True
Suppose 890 = -86*v + 30. Let d be 38/(-4) + 2/4. Is d equal to v?
False
Let z = -3 + 2. Let f = -1106/142297 + -1087182512/252007987. Let p = f + 100/23. Which is bigger: z or p?
p
Let n = -13868 + 13867.8. Which is smaller: 197 or n?
n
Let k be (2/(-95))/(16/(-10)). Suppose 24*x + 2012 = 2036. Which is bigger: k or x?
x
Suppose -3*r + r = -j - 45, j = -r + 21. Suppose -14*d - 36 = -r. Let w = 1/302 - 617/3926. Which is smaller: w or d?
d
Let u = -5162 - -5163. Is -4/505 at least as big as u?
False
Let f = -2 - -1. Let a be 7722/(-1485) - (-657)/(-15). Which is bigger: a or f?
f
Let o = -56/123 + 188653/414633. Which is greater: o or 0?
0
Let d be (3 - (-120)/(-35))/((-756)/(-72)). Which is greater: 21 or d?
21
Let m = -109.9 + 110. Is m at least as big as -2780?
True
Suppose 7*l = -246 + 253. Let p be (l - 1)/(10/(4 - 14)). Is p smaller than -3/23?
False
Let n = -492 - -906. Is n < -5?
False
Let l be ((-57)/(-38))/(15/(-170)). Are l and -34 unequal?
True
Let s = 55 - 48. Let h be 0/2 - (s - 94 - -3). Let g be (-1)/2 + (-6)/h*13. Which is smaller: g or -2?
-2
Suppose -20 = 7*t - 2*t, 2*i - 4*t + 814 = 0. Let d = i + 415. Is d at least as big as 14/33?
False
Suppose -9*z - 160 = -14*z. Suppose -2*k = -0*k - z. Suppose n = -4*d + 55, -13*d + 3*n = -17*d + 53. Are d and k equal?
False
Let d be (4/(-6))/(6*(-598)/(-207)). Is d smaller than 6/5?
True
Let s be (-9629)/170 + 10 + 6/(-20). Which is smaller: s or -46?
s
Suppose 991*u - 995*u - 2812 = 0. Which is bigger: -706 or u?
u
Let b(g) = 5*g**3 + 19*g**2 + 62*g + 8. Let f be b(-4). Are -256 and f nonequal?
False
Let x = 445.5 - 446. Let v = 8 - 8. Which is smaller: v or x?
x
Let b = -0.05521 + -229.84479. Let c = -14.1 + b. Is c < 0.2?
True
Let i = 175087/69 + -2537. Let r = 4/23 + i. Suppose 0 = -b - 3*o - 3, -2*o - 45 + 19 = 2*b. Is r at least b?
True
Let y = 1 - 1. Let p = -10.6734 - -10.2734. Which is smaller: p or y?
p
Suppose -5640 = -52*i + 42*i. Suppose 2*m + 3*c + 314 = 48, 2*c - i = 4*m. Is m <= -137?
True
Let c = 2743.02 + -2756.02. Suppose 0 + 20 = x. Is x at most c?
False
Let g = 2123 - 6370/3. Are g and -1 non-equal?
True
Let i = 8541 - 12062. Which is smaller: 0.3 or i?
i
Let x be (2/13)/(3/48). Let k(b) = -19*b**2 - 51*b + 19. Let d be k(-3). Is x > d?
True
Suppose -77 - 665 = 7*y. Let p = 106 + y. Is p greater than 4/57?
False
Let u = -130.63 + -2.37. Let a = u + -50. Are a and 0 nonequal?
True
Let m be 3/(-9)*(-8)/(-514). Let t = 2656/82497 - m. Does t = 1?
False
Suppose -4*l - 64 = -x, -3*x + 8*x + 32 = -2*l. Let t be 75/(-200) - (-826)/l. Is t at most -51?
True
Suppose 7*v = -3*x + 9*v - 64674, 3*x + 64671 = v. Is x smaller than -21556?
False
Let g be 0/(-14 + 8 - -4). Suppose g = 2*n - n - 243. Which is greater: n or 245?
245
Suppose -13*z = -10*z - 9. Suppose -4*q = -0*q - h - 8, z*q + 5*h - 6 = 0. Let g(a) = 9*a**3 - 3*a**2 + 4*a - 6. Let y be g(q). Is 63 at least y?
True
Let h = 116956 - 117021. Let o be 4 + 1*2/(-2). Let d be (65/o)/(1/(-3)). Is h less than or equal to d?
True
Let y = -84 + 82. Let x(c) = -3*c - 8. Let d be x(-6). Suppose -52 = d*i - 6*i. Which is bigger: i or y?
y
Suppose 0 = -12*b + 24*b - 432. Let h be (-4)/(-19)*(-18)/b. Is h at most as big as 0?
True
Suppose 58*j - 55*j = 12. Let c(k) be the second derivative of 3*k**3 - 13*k**2/2 - 8*k. Let u be c(j). Is 60 >= u?
True
Let s = -7802 - -7811. Is 628/71 at least s?
False
Let g(h) = h**3 + 3*h**2 + 21*h + 63. Let k be g(-3). Do 7/909 and k have the same value?
False
Let f = 201611242 + -277618692887/1377. Let c = f + 156/17. Let y be (2 - 1)*(-1 + 0). Is c smaller than y?
False
Suppose h + 143 = -84. Let v = h + 228. Is -116 at most v?
True
Suppose -190 = -3*f - 73. Suppose 4*h = -v - 5, 15 = -37*h + f*h - 3*v. Which is greater: h or 6/107?
6/107
Let p(w) = -w**3 - 24*w**2 - 24*w - 20. Let l be p(-23). Let n(z) = 3*z + z - l*z. Let t be n(1). Is 3.9 less than t?
False
Let b = -10154 + 11201. Are -0.1 and b unequal?
True
Suppose 2*q - 42 = -3*q + w, 8 = -4*w. Suppose -3*l = -q*l + 5*x + 30, 0 = x - 1. Is l at most 7?
True
Suppose 0 = -4*b - 318 - 170. Let y = -352/3 - b. Let q = 0 - -6. Which is greater: q or y?
q
Suppose -s = -3*s - 4. Let p = -546 + 510. Let j be -1 + 2 - s - p/(-9). Is 32/7 at least as big as j?
True
Suppose -2*z + z + a + 96 = 0, 3*z = 2*a + 291. Suppose -4*x - 3895 = -x - 5*n, -5*x - 3*n - 6537 = 0. Let d be (x/z + 4/22)/1. Is -12 bigger than d?
True
Suppose 0 = 2*n - 5942 - 330. Are 3135 and n equal?
False
Let h = -0.11 - 3.89. Let t = h - -5. Let w = 401 - 401.6. Is w at most t?
True
Let u(l) = 5*l + 25. Let i be u(-5). Suppose i = 4*p - 2*p + 60. Let k be (0 - 3/p)*(-25)/(-6). Which is smaller: k or 1?
k
Suppose -3*f - 2 = -8*f + 2*n, 5*f = 3*n + 3. Let y be (-8)/10*30/(-12). Let j be y/(-4)*14/(-11). Is j smaller than f?
False
Suppose 5*n + 33 = 4*k, 2916 - 2906 = -3*n + k. Let i = 2/23467 + 46144/9269465. Is i at most as big as n?
False
Let g(k) = -2*k**2 + 21*k - 49. Suppose 5*b = -2*a + 20, -3*a + 3 = 4*b - b. Let d be g(b). Let n = -11 + 7. Which is smaller: d or n?
n
Let q be 1/((-312)/726) + (-20)/(-16). Which is greater: q or -4?
q
Suppose 7*x = 136 + 179. Suppose 0 = -2*a - 4*l - 44, x = -2*a - 2*l - 3*l. Let j = a - -18. Which is bigger: j or 1?
1
Let u be (-2 + 0)/((-6)/(-1083)). Let k = -286724 + 286363. Is u at least as big as k?
True
Let j = -3.22 + -127.78. Let x = 583/105 - 206/35. Is j at most as big as x?
True
Let g = -539969/36 - -26309/4. Let a = g + 8431. Does 8 = a?
False
Let z = -224 + 302. Let k be (-117)/z*(-8)/21. Let a = 2 + -1. Is a less than or equal to k?
False
Let q(z) = z**3 - 2*z**2 - 2*z + 4. Let l be (((-4)/8)/(-1))/((-2)/(-280)). Let w = l + -68. Let u be q(w). Which is greater: 2/267 or u?
2/267
Suppose -3*k + 3*u = -42, 0*k + 4*k + 3*u - 35 = 0. Suppose 0 = 4*z + k - 27. Let b be (-38)/z - (4 - 1). Which is greater: b or -12?
-12
Suppose 8*x = 11*x + 18. Let y(z) = 13*z + 75. Let q be y(x). Is 4 equal to q?
False
Suppose -3*y - 81 + 90 = 0. Suppose c + 5*m + 33 = 0, 2*c - y*m + 50 = -16. Is c less than -31?
True
Let k(t) = -2*t**3 - 42*t**2 - 118*t. Let j be k(-3). Which is smaller: -51 or j?
-51
Let f be ((-28)/(-4) - 1292)*27/45. Which is smaller: f or -770?
f
Let u be 12/(-72) - 34/12. Let r be 5/(-10) - u/(-14). Let f = 0.362 - 0.462. Is r equal to f?
False
Let z(n) = n**3 + 3*n**2 + 3. Let l be z(-3). Let a = 26 - 21. Suppose 0 = -3*y + h - 2*h + 11, 0 = y + a*h - 27. Are y and l equal?
False
Let t = -47235 + 200229157/4239. Is 1 >= t?
True
Let w = 91027/23 - 3956. Which is smaller: w or 3?
w
Let s be (1/10)/((-4)/128). Let p = -121 + 139. Let n be (-19)/6 + (129/p - 7). Do n and s have the same value?
False
Let x = 0.25877 - 0.18277. Is 6/5 at least as big as x?
True
Let h = -179/42 - 5/21. Let p = 294 - 300. Which is smaller: h or p?
p
Let r = -14.8 - -14.525. Let n = 0.075 - r. Let w = n - -0.65. Which is smaller: w or 17?
w
Let q be (-27)/(324/8)*5*-25*3. Which is smaller: 3260/13 or q?
q
Suppose -3*d + 310 = -218. Let f = d - 174. Which is smaller: 6 or f?
f
Let v = 0.15543 - -0.04457. Is 856 < v?
False
Let l = -22 + 64. Let b = l + -42.072. Let k = b + -2.928. Are k and -3 non-equal?
False
Suppose j + 7*a - 3*a - 70 = 0, -6 = 3*a. Let w = -25767.9 - -25768. Which is smaller: w or j?
w
Let x be (2/4*26)/((23 + -1)/22). Which is smaller: x or -8/9?
-8/9
Let k(p) = 4*p + 28. Let z be k(-7). Suppose z = -i + 35 - 36. Is i > -5/9?
False
Suppose 0 = 4*z + 3*r + 17434, -5*z = -3*z - 5*r + 8704. Is z smaller than -4358?
False
Let r be (-3)/(-51) - 328290/(-2550). Which is smaller: r or -0.4?
-0.4
Let d = 1/6984 + 2723/5370696. Let t = 12325/32298 - d. Is t