se 7*a - 227 + 1109 = t. Which is smaller: a or 0?
a
Let a = 3603023521/48416 - 2381529/32. Let l = a + 83/17. Let i = l + -16/2759. Does i = -1?
False
Suppose 408 = -9*y + 5*y. Which is smaller: y or -513/5?
-513/5
Let b = -0.1 - -2.1. Let m = 7063.23 - 7063. Is b < m?
False
Let d = -40523/3 - -13471. Suppose -7*f + 2*f = 180. Does d = f?
False
Let j be (3*4/(-8))/((-3)/(-160)). Let v = j + 64. Let b be (2/v*-10 + -1)/1. Which is smaller: 4 or b?
b
Let b be 4/(-35)*80/(-75). Let i = -4/105 - b. Which is greater: 1 or i?
1
Suppose -14*n - 184 = -117*n + 11*n. Which is smaller: n or 62/27?
n
Suppose -6*b = -b + 775. Let q be (0 - 66/10) + 62/b. Is q greater than -4?
False
Let u be 1471626/(-141505) + 10 - (-6)/15. Which is bigger: -1 or u?
u
Suppose 2*i = 32*k - 35*k + 58, 91 = 4*k - 11*i. Which is bigger: 570/29 or k?
k
Let s be 74 + -17 + (13 - 5). Let f be (39/s)/(1/25). Is 11 bigger than f?
False
Let s = -4022 + 2054. Is -1968 equal to s?
True
Let k = -198 + 593/3. Suppose 4*i = 5*f + 29, 0*i + 4*i + 3*f + 11 = 0. Suppose y - 23 = i. Are y and k non-equal?
True
Let y = 4004 - 4073. Which is bigger: y or -59?
-59
Let t = -489935/39 - -12562. Which is bigger: 1/11 or t?
1/11
Let z = 6 - -76. Let x = 76 - z. Are x and -8 nonequal?
True
Let g be ((-71)/3)/(-1*(-6)/(-36)). Let y = 138 - g. Which is smaller: y or -3?
y
Let z(q) be the second derivative of -6*q**2 - 13*q + 0 + 2/3*q**3. Let c be z(4). Which is bigger: 5 or c?
5
Let t be ((-25)/10)/(1 - (-6)/(-4)). Suppose -5*n - 3*o + 5 = -n, t = -5*o. Suppose 3*g - n = -4*f, 3 = -4*f + 3*g - 7. Which is greater: f or 2/57?
2/57
Let b(k) = -140*k - 10143. Let n be b(-72). Suppose -189 = z + 2*z - 3*l, 3*z + 190 = 2*l. Is n <= z?
False
Let i(m) = m**2 - 21*m - 11. Let v be i(22). Suppose -v*h - 28 = 17*h. Is -5/41 less than h?
False
Let g(b) = 11*b + 192*b**2 - 388*b**2 + 197*b**2 + 4. Let j be g(-11). Let v(u) = 2*u**2 - 4*u + 1. Let r be v(j). Are r and 17 equal?
True
Let s = -15072/7 - -2153. Let x = 157 - 94. Which is greater: x or s?
x
Let q = -2808 - -2884. Let f = -2.2 - -3.2. Which is bigger: q or f?
q
Let h be (-558)/(-4) + -2 + -6 + 4. Let s = h - 154. Do s and -18 have the same value?
False
Let a = 57.18 - 54.88. Which is smaller: 5.3 or a?
a
Suppose x = -11*x + 12. Let s be ((-5)/((-5)/(-2)) + -75)/x. Which is smaller: s or -75?
s
Suppose 0 = -q + 1 + 1, 5*q + 25 = 5*m. Let y be 2/(-7) + 268/m. Which is smaller: y or 0.1?
0.1
Let p(l) = l**2 + 22*l + 115. Let q be p(-8). Suppose 3*g + 8*u - 6*u = q, 0 = -5*g - 4*u + 5. Is g at most -52?
False
Let i = 235 + -2113/9. Let d = -0.264 + -6.258. Let b = 1.522 + d. Is b > i?
False
Suppose 17089 = -14*k + 17383. Is 430/21 <= k?
True
Let w = 32519 + -32518. Which is smaller: -21/1352 or w?
-21/1352
Let a(n) = -n**3 + 27*n**2 + 3*n - 3. Let m be a(27). Let t be m/(-8) - -2 - 32/16. Is -9 at most as big as t?
False
Let c = -209.4 + 204.4. Let a be (-4)/(-6) - 140/(-15). Let h be 5 + -2 + (-35)/a. Do h and c have the same value?
False
Let m be (-10)/9 - (-16412223)/(-2403). Is m bigger than -6832?
True
Let c(z) = 2*z**2 - 166*z - 1972. Let k be c(96). Is 0.1 at least k?
False
Let n(t) = 2*t**2 + 31*t - 11. Suppose -9*a - 78 = 66. Let k be n(a). Suppose 0 = b - 0*b - 6. Which is smaller: k or b?
k
Let f = -1.3073 + 1.5073. Which is greater: f or 2.944?
2.944
Suppose 3*w = w + 22. Suppose -59 = 4*o + 5*b + 22, 2*o - 4*b + 8 = 0. Let u be 8/o - 9/(378/(-192)). Is w bigger than u?
True
Let l(t) = -t**3 + 12*t**2 + 18*t + 139. Let j be l(14). Is 9/106 at least as big as j?
True
Let v = -48380/479 + 101. Which is smaller: v or -2/11?
-2/11
Let m = 50729 - 558099/11. Suppose 1 = -h + 5*i, 0 = h + 4*i - 5*i + 5. Are m and h equal?
False
Let l be 5/(-2) - 13/(-26). Let d(g) = -18*g + 9. Let c be d(l). Let y be 1/(((-6)/105)/((-24)/c)). Is 10 >= y?
True
Let q = -3209.66 + 3164. Let p = 45.3 + q. Which is smaller: p or -2?
-2
Suppose 2*t = 3*t + 3. Suppose 0 = -8451*y + 8417*y - 136. Which is bigger: t or y?
t
Let h = 5598 - 5993. Is h != -393?
True
Suppose 0 = 6193*f - 6203*f. Is 6868 less than or equal to f?
False
Let q be 12 - 7 - -40 - (-4 + -3 + 0). Let d = -17 - -7. Let p(t) = -t**2 - 14*t + 12. Let k be p(d). Is k less than or equal to q?
True
Let r be 0/(6 + (-4 - 1)). Let s(n) = -n**3 - 14. Let u be s(0). Let j be u/(-270) + 2/(-10). Is r >= j?
True
Suppose 0 = -8*s + 9*s - 4*k - 140, 167 = s + 5*k. Is s != 158?
True
Let k = 45625/1572516 + -7/3249. Which is greater: 1 or k?
1
Let z be -40*(-9625)/440*(3 + -1). Which is greater: 1748 or z?
z
Let h(x) = -x + 1. Let l be h(1). Let m be 9/3*12/9. Let q be -2 + (-1)/(m/(-16)). Is q at least l?
True
Let v be (-2540)/415 + (-10)/(-6)*15/5. Are -1 and v non-equal?
True
Let x(s) = -44*s - 130. Let r(b) = 1. Let o(h) = r(h) - x(h). Let m be o(-3). Is m > 2/437?
False
Suppose -13*x - 7 = -x + 5. Do x and -17/7 have different values?
True
Suppose 14 = -11*x + 3. Let j be -6 + (-4)/x + (-44)/(-25). Let t = -0.113 - -0.013. Which is smaller: t or j?
j
Let b = -0.028 - -0.028. Let y = -39 - -40. Let q be ((-13)/39)/(y/(-5)). Which is smaller: b or q?
b
Let j = 2.7 + 25.9. Let t = j - 28.7. Which is smaller: t or 3?
t
Let r = 686.7 - 686.8. Let n = 44 - -5. Which is smaller: r or n?
r
Let v be (-238)/1524 + (22/(-24) - (-156)/208). Is 1 less than v?
False
Let d = 40.97298 - -0.05702. Let a = 41 - d. Which is smaller: 4/3 or a?
a
Let u = 1.5211 + -1.7461. Which is smaller: -20/3 or u?
-20/3
Let k = 11049 - 11072. Let i(t) = -t**3 + t**2 - t + 1. Let w be i(3). Which is bigger: w or k?
w
Let n = 0.435 - -0.565. Is 2101 < n?
False
Let r be (220 - 216) + 6/(-18) + 4180/(-6). Are r and -694 unequal?
True
Let z(y) = -y**3 - 39*y**2 + 77*y - 344. Let t be z(-41). Which is bigger: -133 or t?
-133
Let m = -360 - -370. Let s = -9.8 + m. Are s and 0.42 nonequal?
True
Let j(t) = t**3 - t - 1. Let r(v) = 5*v**3 + 7*v**2 + 5*v + 15. Let y(n) = 4*j(n) - r(n). Let k be y(-6). Is k at least 1/44?
False
Let j be 4 + 13/((-78)/12). Suppose -6*b - i = -4*b + 9, -4*b + j*i = 14. Is 24 at most as big as b?
False
Let q be -2 - (3 - -4)*1. Let j = -279 - -63. Let f = j - -220. Is f at least q?
True
Let t = -2580 - -18104/7. Let g be 1/2*(-21 + 15). Let x be (56 - 56)/(g*6/(-9)). Is t at least as big as x?
True
Let r(s) = 1426*s**2 + 28*s - 41. Let x be r(2). Is 5718 smaller than x?
True
Let c = -358647/103 - -3482. Do 0 and c have the same value?
False
Let n = 33964 + -300728/9. Let t = 551 - n. Is t greater than 2?
False
Suppose 8*v + 379 = 283. Let p be ((-14)/28)/(2/56). Is p at most v?
True
Let k = -11514523/9 + 1278133. Is k <= -1258?
True
Let a = 944 - -576. Is 1520 smaller than a?
False
Suppose -4*k = -2*o + k + 83, -k - 219 = -5*o. Suppose 8 = -6*n + o. Suppose 0 = 8*v + n*v - 966. Is 70 less than v?
False
Suppose 0 = 4*o - 700*x + 696*x - 116, 3*o - 4*x = 85. Is o smaller than -24?
False
Let u be 2 - (-10 - -6) - -8. Suppose -24*j = -u*j. Is 6/71 <= j?
False
Suppose -6*s + 19195 = -5*s. Let j = s - 1669723/87. Let m = j - 17/6. Which is greater: m or -1?
m
Suppose -o = -4*o + 9. Suppose -5*j + z = -63, -3*j + 0*z + 45 = -o*z. Let v be 1/((-2)/j - 1/3). Is v != 4/7?
True
Let h = 166 - 140. Suppose 2 = -b + l, -15 = -3*b + 2*l - 17. Is b at least h?
False
Let n = 0.08 - 0.17. Let l = n + 22.09. Let f = -54 - -55. Are l and f unequal?
True
Let s = -14.28 - 127.72. Which is bigger: 3/4 or s?
3/4
Let z be 3/(-2)*(-384944)/5880. Which is smaller: z or 97?
97
Let k be -2 + (188 + -186)*(18/4)/3. Which is smaller: k or -3/92?
-3/92
Suppose -20 = -21*t + t. Does -6/61 = t?
False
Let u be ((30/3)/2)/((-80)/(-64)). Let l be 2 + 2*3*1. Suppose w + u*q + l = 0, -5*w - 3*q - 2 = -2*q. Is -5 greater than or equal to w?
False
Let x = 3.62 + -3.63. Let c = -0.29 + x. Which is bigger: -97 or c?
c
Let m = -12385 + 111787/9. Which is bigger: 37 or m?
37
Suppose -5*v = -q + 8, v + q = -1 - 3. Let j be 3 + -1 - v/5. Let c(x) = -13*x + 536. Let k be c(41). Which is greater: k or j?
k
Let r = -8001 - -8025. Is r at least as big as 11?
True
Let h(u) = -u**2 + 11*u - 12. Suppose 2*v - 65 = -11. Let g be h(v). Let a be g/(-54)*6/4. Which is smaller: a or 12?
12
Let v = 1940 - 1535. Which is smaller: v or 0.3?
0.3
Let n = 3592 + -3835. Is n equal to -2