
False
Let f = 3019 - 1895. Is 1123 at least f?
False
Let c = -1986 + 1982. Which is bigger: -25/6 or c?
c
Let f be ((-10)/(-165))/(2/(-24)). Let m = f + 75/88. Which is smaller: 1 or m?
m
Let p be 2 + (-684)/430 + (-108)/270. Is 5 less than p?
False
Let s(w) = -21*w - 16. Let x be s(-1). Is 0 greater than or equal to x?
False
Let z = -10 + 17. Suppose j = -6*j + z. Is j != 1?
False
Let d = -2 - -3. Let w(t) = t**2 + 3*t + 6. Let u be w(-5). Let v be 2/u*-2 - 75/20. Which is smaller: d or v?
v
Let m = 0.1 + 0.9. Let i = 26.02 + -26. Let q = -0.12 + i. Which is smaller: q or m?
q
Suppose 141 = -5*p + 4*b, p + 23 = -3*b - 9. Let t = -21 - p. Let w = t - 19. Is w not equal to 0?
True
Let s be (-332)/(-156) - ((-12)/(-18) + 1). Do s and 8 have the same value?
False
Let q = -758 - -751. Which is greater: -5 or q?
-5
Suppose 3*y + 5*d - 4 = 0, y - 2*d + 8 = -y. Let b be 4/2 + (5 - -5). Suppose 8*i - b*i - 8 = 0. Is y less than i?
False
Let b be 2 + (-4 + 15 - 1). Let j be (b/16)/((-6)/(-8)). Is j at most 4/11?
False
Suppose 3*k = 2*k + 37. Suppose 9 = 2*f + k. Is f < -15?
False
Let m be -2 - (-3*21 + -1). Suppose 2*a = 3*r + m, -41 = 3*a - 4*a - r. Is a less than or equal to 38?
True
Let u = -1.6 + 5.6. Let g = 5 - u. Let p = 0.01 + -2.01. Does g = p?
False
Let n = -2835 + 2834.577. Is 2 > n?
True
Let f be (((-16)/(-32))/((-6)/164))/4. Which is smaller: -2 or f?
f
Let p be ((-28)/4 - -5) + -10. Suppose -5 = 2*v + 17. Which is bigger: p or v?
v
Let x be -5 + -5 - -12 - -5*54. Do x and 272 have different values?
False
Let g(a) = -a**2 - 7*a + 1. Let z be g(-3). Let n = z - 11. Let d = 3 - n. Is 0 at least d?
False
Let s = 14 + 0. Let u = -7 + s. Let p = 8 - u. Which is smaller: p or 0.3?
0.3
Let q = 323405511/145 + -2230402. Let r = q - -96/5. Is 0 less than r?
True
Let d = 113257/29 - 3905. Let q be (-7 - (-241 + -5))*(-1)/(-87). Let l = d - q. Which is greater: l or -2?
-2
Let w = 24 - 1. Let n = w - 23.5. Which is smaller: 0.1 or n?
n
Let o = -130 + 79. Which is bigger: -52 or o?
o
Let d = -637/860 - 2/215. Suppose s = 2*b - 6 - 4, 10 = 3*s + 2*b. Suppose 5*v = 2*r - 11, 3*r = -2*v - s*r + 7. Are d and v non-equal?
True
Let c be 8/14 + (-12325)/119. Which is smaller: c or -106?
-106
Suppose -4*s - 9 = -5*m - 4, 4*s - 35 = -3*m. Suppose l = 5*l - w - 37, -2*w = m*l - 56. Suppose 0 = -4*g + g - 5*r - 38, -g = r + l. Is g > -6?
False
Let a = 1.97 - 1.87. Which is greater: 152 or a?
152
Let d(t) = -2*t**2 + 11*t + 5. Let j be d(8). Let q = -31 - j. Let h(r) = -r - 3. Let k be h(-6). Is k less than q?
True
Let f = 18 - 21. Suppose -8*x = -6*x + 8. Which is bigger: x or f?
f
Let h = -709 + 4961/7. Let w = -1609/24 + 200/3. Is h <= w?
False
Suppose 1148 = c - 523. Let h = -87373978 - -6378178409/73. Let n = c + h. Is 0 greater than or equal to n?
True
Let u(t) = -t**2 + 2*t + 2. Let x be u(3). Let y(l) = -46*l + 1. Let r be y(0). Is x smaller than r?
True
Let q be (1/2)/(15/(-210)) + -188. Which is greater: q or -191?
-191
Suppose 2*c + 8 + 2 = 0. Let t be (1 + 1)/(c/10). Let g be t/19 + -1 - -1. Is g < 0?
True
Suppose -r - 3 = -4*m, 2*m - 6*m + 2 = -2*r. Let a be (m + -2)*-1*7. Let l be -7 - -8 - (-2 + (-5)/1). Which is greater: l or a?
l
Let h = -2.5 + 2. Let w = 40 - 39.45. Let u = w - 0.35. Which is smaller: h or u?
h
Suppose -2*s + 3*s = -9. Let a = -4 - s. Suppose 3 = -z - h, a*z + 0*h + 3 = -h. Is z > 20?
False
Let s = 122 + -122.2. Which is greater: -3/82 or s?
-3/82
Let i be (-8)/(56/133) - (-8 + 5). Is -49 <= i?
True
Suppose 4*y + 13 - 17 = 0. Let p be (y - (-16)/(-6))*(-45)/100. Which is smaller: -3 or p?
-3
Let k(s) = s**2 + 4*s - 127. Let j be k(-14). Is 152/13 not equal to j?
True
Let h = -0.017 + 0.103. Let t = 10.086 - h. Does t = -2/3?
False
Let p = 160 + -161. Which is greater: p or 1/1481?
1/1481
Let l = -146 + 296. Let h = l - 135. Suppose 0 = -4*t + 39 + 17. Which is smaller: h or t?
t
Let a = 28.6 + -11.9. Let r = a - 9.7. Are r and 2 equal?
False
Let o(w) = w + 63. Let y be (-22)/((44/(-77))/(4/(-14))). Let i be o(y). Is i less than 51?
False
Suppose 6 = -2*y + o - 17, -y = 3*o + 22. Let i be 0 + 2/(4/(-26)). Do y and i have different values?
False
Let g(k) = k**3 + 8*k**2 + 5*k - 16. Let s be g(-7). Let u be 1*(s + 2 + 0). Is u at most -3?
False
Let u be (-2232)/(-5655) - (-4)/(-10). Let x = 525/27898 + u. Do -1 and x have different values?
True
Let t = -1.8 - 7.2. Let x = -10.4 - t. Let q = -1.4 - x. Which is greater: q or 4?
4
Let w = -53 + 56.1. Let t = 8.9 + w. Which is smaller: t or -1?
-1
Let t = 1363228 - 47716831/35. Let z = -110 - t. Is -1 not equal to z?
True
Suppose 5*k + 19180 = -0*k. Let p = 652123/170 + k. Let m = p + -19/306. Is m < -1?
False
Let l(q) = -6*q**2 - 4*q + 4. Let g be l(3). Let f = g - 8. Which is smaller: -71 or f?
-71
Let f = -1/6 + -1/12. Let i(k) = k**3 - 4*k**2 + 3*k + 2. Let s be i(3). Suppose 0 = 3*l - 5*m - 21, 4*l + s*m = -3*m - 7. Which is smaller: l or f?
f
Let o = 190 + -221.2. Which is smaller: o or -0.1?
o
Let v = -2 - -5. Let j(g) be the first derivative of g**3/3 - 7*g**2/2 + 9*g + 57. Let o be j(v). Is -4 bigger than o?
False
Let m(i) = 1. Let h(f) = -2*f + 5. Let b(p) = h(p) - 2*m(p). Let y be 2*2/(-18) + (-80)/(-36). Let q be b(y). Is -3 at most as big as q?
True
Let t be (0/(-4))/(4 - 2). Suppose -6*p + 0*p - 24 = t. Let w be (56/(-1330))/(p/(-10)). Is w greater than -1?
True
Let s(x) = -x**3 + 9*x**2 + 9*x + 11. Let r be s(10). Let f be 0/(r + -2)*1. Which is greater: f or 1?
1
Let f = -100/27 - -722/297. Which is smaller: f or 0?
f
Let z(u) = u**3 + 5*u**2 - 7*u + 4. Let b be z(-6). Let y be (-3)/(-6) - b/1072. Let a = -9/67 - y. Which is smaller: -1 or a?
-1
Let k(s) = -s**3 - 21*s**2 - 7*s - 19. Let a be k(-21). Let j = -125 + a. Do j and 3 have the same value?
True
Let v(c) = -3*c**2 - 7*c + 19. Let m(y) = -y**2 - 2*y + 4. Let w be m(-3). Let t(o) = -o**2 + o + 1. Let g(i) = w*v(i) - 4*t(i). Let p be g(10). Is 4 < p?
True
Let w = 34/11 - 350/99. Is -0.06 at most as big as w?
False
Let l = -1560 - -1571.17. Let j = -11 + l. Let y = j + -3.17. Is -1/3 > y?
True
Let x = 2924.316 + -2914. Let t = x - 0.016. Let y = 10 - t. Which is smaller: 1 or y?
y
Let w be 14*(34/(-7) - (-1 - 3)). Let d be (-13 - -1)*110/100. Is w at least as big as d?
True
Let y = 2253 + -49551/22. Suppose n + 4*g - 7 - 7 = 0, 3*g = -2*n + 13. Is n at least y?
True
Suppose -3*h = 4*f - 1230, 1285 = 4*h - 3*f - 380. Is h equal to 1?
False
Let q = -155 + 82. Let i = -110 - q. Let m = -38 - i. Is m greater than 2/19?
False
Let r(d) = 14*d**2 + 6*d - 11. Let n(i) = -5*i**2 - 2*i + 4. Let m(k) = 17*n(k) + 6*r(k). Suppose 0 = 4*p + 1 + 3. Let g be m(p). Which is bigger: g or 2/29?
2/29
Suppose 2*w + 0*y = -5*y - 1, -2*w - 5 = y. Let z = w - -3. Let l be -3 + 0 + (z - -3). Which is smaller: 1/7 or l?
l
Let z(i) be the third derivative of -i**4/12 - 7*i**3/6 - 8*i**2. Let r be z(-6). Let d be (-4)/2 - (3 - r). Is -1/3 not equal to d?
True
Let a = 689 + -36522/53. Is a at least as big as 1?
False
Let a be 168 + 6/6*-1. Is 167 at least as big as a?
True
Let w be (1262/(-8))/((-14)/8). Let n = 90 - w. Let f = 80 + -79. Which is smaller: n or f?
n
Let o = -117 + 92. Let i = o + 59. Which is bigger: 0 or i?
i
Let t = 1092 - 1097. Is t >= 2/67?
False
Let b(s) = -2*s**2 + s + 1. Let p be b(-1). Suppose -70 = 16*a - 2*a. Let m be ((-8)/(-5))/(32/a - -5). Which is bigger: m or p?
m
Let h = 6897/5 + -1380. Let o = -2 - -1. Are o and h equal?
False
Suppose -3*r + 48 = 3*r. Let z be (r/182)/((-6)/(-21)). Is z != 0?
True
Let l(i) be the second derivative of -i**3/3 - 6*i**2 - 11*i. Let m be l(-14). Is m greater than or equal to -2/3?
True
Let l = -11 + 11.14. Which is bigger: l or 7?
7
Suppose l = -4*b + 6, -6 = -l + 32*b - 27*b. Which is bigger: l or -8?
l
Let o be 1*79*(-1 - -9)*-1. Let v be 4/22 + o/88. Which is smaller: -5 or v?
v
Suppose -27 = -2*p - p. Let k be 138/33 - (-5 + p). Which is bigger: 0 or k?
k
Suppose 7*f + 422 - 2326 = 0. Is f equal to 272?
True
Suppose -2*y + 2 = -2. Suppose 2*m = -3*s + m + y, 2*m + 3 = s. Let h be 2/((-2)/3) + 2021/688. Which is smaller: h or s?
h
Let d be 2*(-2)/10*5. Let g = 9 + d. Let k = 670 + -663. Is k at least as big as g?
True
Let t be ((-12)/(-14))/((-4)/28). Let l be 2 - t/(-4 + 