j?
False
Let s = 14 + -8. Suppose 0 = l - 0 - s. Suppose l*d - 18 = 3*d. Is 5 at most d?
True
Let a be 1/(1 + 2/(-1)). Let m be 32/(-16) - (a + 91 + 0). Is m at most -92?
True
Let c = -28 - -13. Let w be (6/(-2835))/((-12)/c). Let k = w + 221/189. Is 2 at most as big as k?
False
Let l(h) = -3*h + h**2 + 98*h**3 - 99*h**3 - 12 + 4. Let r be l(-3). Which is smaller: 38 or r?
r
Suppose -f - 16*f = -187. Is f less than 75/7?
False
Suppose -3*c + 2*b - 6*b = -235, b + 76 = c. Let y be -3 - 0 - c/(-21). Is y bigger than -6?
True
Let h = 0.675 + -2.575. Is h < -0.1?
True
Let n be -2 + 9/7 + 1. Let g(x) = x**3 - 15*x**2 - 56*x + 37. Let c be g(18). Which is bigger: c or n?
c
Let z = -269 + 270. Which is greater: 5/19 or z?
z
Let z be 178/26 - (3 - (-123)/(-39)). Suppose 5*k + z*m = 5*m + 21, -m - 7 = -k. Which is smaller: 7 or k?
k
Let t(i) = -i**3 + 6*i**2 + 4*i - 9. Let x be t(6). Let w be (2/x)/(7/((-35)/(-4))). Is 0.4 equal to w?
False
Let a = 425547691/3869319 - -30/75869. Let o = a + -110. Which is smaller: o or -1?
-1
Let o = -0.0335 - 72.9665. Is o at least -3?
False
Let a(c) = -c**3 - 2*c**2 + 1. Let b be a(1). Let n = -4276/5 - -833. Let m = n - -757/35. Is m smaller than b?
False
Let s = -124 - -125. Which is smaller: s or -19/6?
-19/6
Let y = 557 - 556.8. Do -111 and y have different values?
True
Let y(f) = 31*f + 43. Let h be y(-7). Let w = h + 160. Let m = 2 - 3. Is w less than m?
True
Let x be (-6)/9*3*(-1)/(-2). Do x and -4.6 have the same value?
False
Let x be (-2)/(-3)*(-54)/(-4). Suppose 0 = k - 5, 2*k - x - 49 = -4*f. Suppose -19*h + 157 = -33. Which is greater: h or f?
f
Let a = 393/799 + -8/17. Let l = a + 40/329. Which is bigger: l or 1?
1
Suppose -2*r + 204 = -36. Suppose -2*s + 30 = -2*c, r = 5*s - 3*c + 39. Let v = s + -20. Which is smaller: v or 4?
v
Suppose -4*r - 5*x = -158, 2*r - 6 = 5*x + 88. Suppose 6*g = r + 60. Which is greater: g or -0.1?
g
Let r = 15838/17 + -932. Let y = r + 154/51. Let b = -110/39 + y. Does 1 = b?
False
Let u(q) = q**3 + 8*q**2 - 11. Let o be u(-8). Let d = -5 - o. Suppose b = d*b. Is 1/2 at least as big as b?
True
Let o(a) = -a**2 - 6*a + 19. Let u = 56 - 64. Let d be o(u). Is d not equal to 7/4?
True
Let y = 0.9 - 1. Let s = -121.3 + 123. Let i = s + -1. Is i at least y?
True
Let g = -668494 + 11359890/17. Let y = -265 - g. Let w = 1 + -2. Which is smaller: y or w?
w
Let q = -26.7 + 26.72. Let x = 0.04 + 0.26. Is x at least as big as q?
True
Let x = -23 - -27. Suppose 16 = 4*d - 4*t, -2*d - 6 = -x*t - 22. Let w = -89/14 - -13/2. Is w at most as big as d?
False
Let v be (-46)/(-11) - (-10)/(-55). Suppose -v*a + 4*w = -76, -a - 3*w - 23 = -2*a. Which is smaller: a or 1?
1
Let c = -52275/23 + 2272. Which is smaller: -1 or c?
-1
Let x(p) = p + 4. Let a be x(7). Suppose 5*d = a + 4. Suppose -5*h = -10, 2*h = -d*i - i + 4. Which is greater: -2/15 or i?
i
Let m be 1/1*-1*1. Suppose 30*k - 6*k = 720. Let a be (16/k)/4 - (-960)/(-10575). Which is smaller: a or m?
m
Suppose 0*y = 6*y - 330. Let c = -50 + y. Is c equal to 6?
False
Let d = 83/18 - -8/9. Is 2 greater than or equal to d?
False
Let r(a) = a**3 - 12*a**2 + 5*a - 13. Let n be r(12). Suppose -3*p - n = 139. Is p at most -63?
False
Let o = -34 - -64. Let k = o - 40. Let t be (1 - -1) + (-6 - k). Is t less than 7?
True
Suppose 48 = 51*v - 55*v. Is v greater than -22?
True
Let p be ((-430)/(-3) + 0)/((-2)/3). Which is smaller: -216 or p?
-216
Let j be -9 + 423/45 - (-194)/(-10). Is j not equal to -19?
False
Let t = -38182/196103 + -2/4783. Let y = -59/328 + t. Is -1 at most as big as y?
True
Suppose -2*a + 2 = 10. Suppose 5*i + 4*x - x - 155 = 0, 0 = i - 4*x - 8. Suppose -30*p - i = -16*p. Which is smaller: p or a?
a
Let y(z) = z**3 - 11*z**2 - 4*z - 4. Let t(j) = -j**2 - j. Let p(i) = -6*t(i) + y(i). Let g be p(5). Suppose -6 = -4*c + g. Which is greater: 2 or c?
c
Let h = 37471 + -337597/9. Is -41 < h?
True
Suppose 3*p = -58 + 55. Which is greater: -1/391 or p?
-1/391
Let o(w) = 4*w**2 - 2*w - 2. Let t be o(-1). Suppose 0 = t*p - 6*p + 2. Let i be (p/2)/((-25)/(-30)). Is 1 equal to i?
False
Let j be (4/(-6))/(2*-1). Suppose 558 = 159*f - 221*f. Is j > f?
True
Let q = 0.057 - 0.006. Let m = q - -0.009. Let y(s) = -s**3 - 3*s**2 - 1. Let g be y(-3). Is g >= m?
False
Let t = -166 - -1161/7. Let q = -25.2 + 20. Let b = q + 5. Which is greater: t or b?
t
Let v = -84 - -89. Suppose 6*p - v*p - 2*f = 6, 4*f + 12 = 5*p. Which is greater: 0.6 or p?
0.6
Let z(l) = -l**2 - l + 4. Let w be z(3). Suppose 4*n - 5*g = 8, n + 4*g + g = -23. Which is smaller: n or w?
w
Let l(m) = m**3 + 52*m**2 + 26. Let r be l(-52). Let n = -3.1 + 3. Is r at least n?
True
Let q = 1281 - 1163. Are 118 and q non-equal?
False
Let m = 529 + -529. Which is greater: m or 345?
345
Let l = 208 + -207. Which is bigger: 7/19 or l?
l
Let j be (2 - 7/3)/(2/6). Let w be (-2)/(j/((-705)/474)) - -3. Which is smaller: 0 or w?
0
Suppose 18*u - 30*u + 780 = 0. Is 65 greater than u?
False
Let u(s) = s**2 - s. Let m(f) be the third derivative of f**5/12 - f**4/3 + 6*f**2. Let n(x) = -m(x) + 6*u(x). Let z be n(-3). Is -2 at most as big as z?
True
Let t be (-2)/6*(-1378)/(-154) - -3. Which is smaller: 1 or t?
t
Suppose 0 = -15*t - t + 17520. Let b = -1419412723/1297584 + 1/432528. Let i = t + b. Is i less than 2?
True
Suppose -140*h = -2*h + 100188. Which is smaller: h or -724?
h
Let r = 150 - 151. Let t = 2034/19 + -107. Which is bigger: t or r?
t
Let l = 652 + -774. Which is greater: -123 or l?
l
Let i be 2/10 + (-39)/45. Let k = 154.2 + -138. Let w = 16 - k. Which is greater: w or i?
w
Suppose -2*q = 177 + 247. Let i(p) = p + 5. Let w be i(-5). Let t be w + (-4 - q/54). Which is smaller: t or 1?
t
Let o = 77 - 56. Is o less than 182/9?
False
Suppose 4*o + a = 19, 5*o - 5*a = 3*o - 7. Suppose -4*t + t + 5*p = -32, -o*p = 3*t - 23. Are 7 and t unequal?
True
Let b = 8.548 + -8.5. Let p = 9.952 + b. Which is smaller: p or -0.2?
-0.2
Let i = 85.2 + -85. Let b = -1264 + 192129/152. Let z = 451/760 + b. Which is smaller: i or z?
i
Suppose 158 = y + 2*f, 2*f - 315 = -2*y - f. Which is bigger: 155 or y?
y
Let x = 39 - 49. Let n = 9 - x. Is 20 equal to n?
False
Let o(r) = -7*r**3 - r + 1. Let b(z) = 6*z**3 + z - 1. Let y(x) = 6*b(x) + 5*o(x). Let h be y(0). Let w = -415/6 + 69. Which is greater: h or w?
w
Let o = -25.9 - -26. Is 11 at most o?
False
Let d(k) = -2*k**3 + 14*k**2 - 3*k + 9. Let w be d(6). Which is greater: w or 62?
w
Let i be (-1)/(-3)*5*-3. Let n = i + 4. Let m be ((-2)/42)/((-10)/30). Is m < n?
False
Let n be (-8443)/65 + (-2)/(-10). Let h = n + 130. Are h and 0 non-equal?
True
Let s = -18 + 17. Let i = s - -1.2. Is 3/2 less than or equal to i?
False
Suppose -3*g = 4*k - 12, -6*k + 5*k + 3 = 4*g. Is -1/1271 > g?
False
Let a = 101 + 43. Is a at least as big as 0?
True
Let a be 3/(((-18)/(-4))/1). Let w = 45 - 33.8. Let p = w + -11. Is p >= a?
False
Suppose -22*y + 26*y + 688 = 0. Let n = y - -95. Is n not equal to -77?
False
Suppose -3*s + 5*b + 177 = 2*b, 0 = 2*b. Suppose 0 = -3*q + 5*u + s, 2*u + 112 - 38 = 4*q. Is 17 bigger than q?
False
Suppose 0*h + 2*h = 3*h. Suppose 3 = 3*r + 3*z - 4*z, h = 2*z. Which is bigger: -37 or r?
r
Let s be 8/((-48)/42) - -7. Is 2/397 at most as big as s?
False
Let a = -5135/516 + 125/12. Is 0 equal to a?
False
Let g = 1.3 + 12.7. Let c = -8.74 - -8. Let r = c - -0.64. Which is smaller: r or g?
r
Suppose 0 = -7*c + 6 + 8. Let y be (((-42)/(-119))/((-3)/c))/30. Which is bigger: y or -1?
y
Let p = -85 + 88. Suppose 0 = -5*c + p*c - 3*d + 1, 4*c = -5*d + 1. Which is smaller: c or 1?
c
Let q be (578/(-255))/((-32)/(-3)). Let i = -3/16 + q. Let j = -1.6 + 2. Is i equal to j?
False
Let z be (4/10)/((-6)/(-10)*7). Let i be (-1)/(-2)*-2 - 2. Let w = 3 + i. Is w >= z?
False
Let d(s) = -21*s + 2 + 1 + 27*s + s**2. Let t be d(-2). Suppose 31 = -4*c + 11. Is t <= c?
True
Let r(t) = 12 - 25*t + 54*t - 18*t - t**2. Let y = 10 - -3. Let u be r(y). Is u smaller than -13?
True
Suppose 2346 = -5*i + 2351. Are i and -8 unequal?
True
Let w = -54/25 + 19/25. Is w at most 2/23?
True
Let h be -1*(1 - 0)*2. Let i = 15/149 + -507/596. Is h bigger than i?
False
Let m be ((-143)/39)/(8 - 7). Which is smaller: m or 1/5?
m
Suppose 0 = 5*z - 2*y + 4, -4*z + 3*y = -9*z + 6. Let c(r) = -