 k be 7/3 + 3/(-9). Suppose -4*j = c - 13, -3*c - 2*c + 5 = 0. Let f = k - j. Is f bigger than 2/19?
False
Let s be (648/(-28))/(1/(-7)). Let c be s/60 + -2 + -1. Which is smaller: c or 1?
c
Suppose 3*x - 3*t - 450 = 0, -9*x = -6*x - 4*t - 446. Which is bigger: 155 or x?
155
Suppose 4*a = -0 - 0. Which is bigger: 2/67 or a?
2/67
Let i(l) = l - 2. Let w be i(5). Let k = 1 - w. Let h = 294 + -297. Which is smaller: k or h?
h
Suppose -19*i = -21*i + 4. Suppose 0 = -2*k + 3*k - 3. Let v be (k - 3) + (0 - 0). Is i > v?
True
Let g = 12/23 + -25/92. Let k be 3/1 + 1/(-1). Suppose 4*i - 3*m - k = 0, 3*i + 3 + 8 = -4*m. Are g and i equal?
False
Let y = 1719 - 5047/3. Let s = y + -36. Let q = -61/2 + 30. Are q and s equal?
False
Let v(g) = g**2 - 2*g + 2. Let f be v(3). Suppose m = -2*c - 0*m - f, -c - m - 5 = 0. Which is smaller: 1 or c?
c
Suppose 2*j - j = 3. Suppose -1 - j = 4*o. Is o smaller than 1/3?
True
Let z(g) = -333*g**3 + 1. Let h be z(-1). Let k = h + -6344/19. Which is smaller: k or 1?
k
Suppose a - 4*a = 0. Suppose 3*x = -4*f - 12, -x + a = 5*f + 4. Is 0 greater than or equal to f?
True
Let i = 1 - 1. Let u = -0.03 + 0.13. Let h = 0.2 - u. Is i less than h?
True
Suppose p - 5*p + 16 = 4*z, -3*p = 5*z - 18. Suppose 0 = z*y - 7*y + 4. Let o be (y/(-5))/((-2)/(-5)). Are o and -2 nonequal?
True
Let r = -3.03 - -0.03. Let b(h) = h**3 - 9*h**2 - h + 9. Let u be b(9). Is r at most as big as u?
True
Let v be ((-30)/(-2))/(-5) - -3. Which is smaller: v or -1.6?
-1.6
Let a = -201/5 + 40. Is a greater than 6/7?
False
Let n(a) = 2*a**3 - 3*a**2 + 2*a + 1. Let o be n(2). Let t be 4/18 + 52/o. Suppose h = -2*h - t. Which is smaller: -1 or h?
h
Suppose 3 = 5*c - 2. Let g be (-24)/(-18)*c/(-2). Which is smaller: g or 0?
g
Suppose -2 - 3 = 5*d. Suppose a + 2*l = -12, 5*a + 35 = -l - 4*l. Which is smaller: d or a?
a
Let p be 3*1 + 11/(-11) + -13. Is 0.3 at most p?
False
Let d = -1.2 + 0.32. Let t = 0.12 - d. Let h be (-2)/5 + (-3)/(-5). Which is smaller: h or t?
h
Suppose -4*f = -4*h - 40, 0*f + 5*f = -h + 20. Which is greater: -32/7 or h?
-32/7
Suppose 5 = -v - a + 16, -4*a - 12 = 0. Is 12 > v?
False
Let x be 48/51*(2 + -4 + 3). Which is bigger: 1 or x?
1
Let c = -59/21 - -22/7. Which is smaller: c or 1?
c
Suppose 0 = 4*g + 5 + 3. Let q be 12/10*(-15)/(-6). Let u = 1 - q. Is u less than or equal to g?
True
Let j(l) = -l**2 + 17*l. Let f be j(17). Is f at least as big as -5?
True
Let g = -55112/10782123 + 2/27159. Which is bigger: 0 or g?
0
Let y = 4 - 4. Which is bigger: -2/13 or y?
y
Let x(s) = s**3 - 6*s**2 - 9*s + 4. Let t be x(7). Let g = 71/7 + t. Are 0 and g equal?
False
Suppose -4*n + 3 + 5 = 0. Suppose -11 + n = 3*l. Let i = 5 + -7. Which is greater: i or l?
i
Suppose 5*c + 37 = -18. Let s = c - -10. Let i = -5 - s. Is -5 less than i?
True
Let j(f) = f**2 + 5*f + 7. Let k be j(-5). Suppose 0 = w - i + 2, 4*i - 8 = 2*i. Which is smaller: w or k?
w
Let j be 69/21 - 6/21. Suppose -4*g + 5 = b, 2*g = -0*g - 5*b - 11. Does j = g?
False
Let d = 10.8 + -3.8. Which is bigger: d or -0.2?
d
Suppose -4*w + 24 = 2*w. Which is smaller: w or 29/6?
w
Let j = 11 - 12. Let y = 3.5 + 0.5. Are y and j unequal?
True
Let v = 74964910/391 + -191726. Let o = 10/779 - 2352/304589. Let g = o + v. Is g less than or equal to 0?
False
Let d be (-1)/3 - 5/3. Let p be 2199/(-351) + 5 - (-6)/39. Is d >= p?
False
Let a be (-30)/(-105) - (-4)/(-14). Which is smaller: a or 10/7?
a
Suppose -y + 108 = -4*y. Let w = -56 - y. Let x be ((-6)/w)/((-2)/4). Do x and -1 have the same value?
False
Let p(v) = -22*v + 6. Let n be p(3). Let r be (n/9)/((-6)/9). Is 10 bigger than r?
False
Let k = 24 + 14. Let u = k + -37.73. Let n = -0.07 + u. Do n and 0.4 have the same value?
False
Let a(h) = -h**3 + h - 1. Let n be a(1). Let v(x) = 3 + x + 2 - 6. Let j be v(n). Which is smaller: -3 or j?
-3
Let b be -1*(0 - -1)*1. Let l = -583381 - -9913773/17. Let v = 218 + l. Is v < b?
False
Let q = 3 + -2. Let p = 436 - 616. Let i be (-6)/p*(0 + 3). Which is smaller: q or i?
i
Let k(r) = r**2 + 5*r - 4. Let f be k(-6). Let u be 5/f + (-1)/(-2). Suppose 5*a + 0*s = -2*s - u, 0 = -5*a - 5*s. Is a < -1?
False
Let f(w) = 3*w**2 - w - 2. Let h be f(2). Suppose -4*c = n + 5, -2*n - c + h = -2*c. Let x be 8/n*12/(-8). Are x and -4 equal?
True
Let m be ((-46)/(-6))/(2/6). Suppose -m = p - v + 26, 10 = -2*v. Let k = p + 217/4. Which is greater: -1/4 or k?
k
Suppose 0*f - 4*f = 5*a - 20, 3*f - 20 = -5*a. Suppose 5*n - 4*m - 1 = 0, 4*n + 0*m + 20 = -2*m. Let j(z) = z + 3. Let w be j(n). Is f less than or equal to w?
True
Let b = -4.66 + -0.34. Is b smaller than -0.1?
True
Suppose 0 = a - 5*d - 0*d, 0 = 3*d - 3. Suppose 3*n + 10 = -2*n - m, 0 = 4*n - a*m - 21. Which is smaller: -2 or n?
-2
Let b be 343/(-126)*12/(-21). Which is smaller: 2 or b?
b
Let f = 1701/13 + -131. Is 2/9 > f?
True
Let m = -0.017 + 0.017. Let k = 1.3 - 0.3. Which is greater: m or k?
k
Let j = 4 + -3.8. Let q = 1.2 - 1.1. Let g = j - q. Which is smaller: g or -1/4?
-1/4
Let f be (9/(-18))/(0 + -1). Let d = -3 - -15. Let l be 1/(-2)*d/(-21). Which is smaller: f or l?
l
Let a = 15 + -21. Let u(p) = -p**2 - 4*p + 8. Let b be u(a). Is -1 > b?
True
Suppose 5*k = -3*z - 69, -4*k + 3*z - 45 = 2*z. Let w be k/(-45)*10/(-4). Are -2/13 and w equal?
False
Let l = 0.1 - 0.1. Let i = 14.6 + -15. Are i and l equal?
False
Let y(b) = -4*b + 2. Let o be y(-1). Let u be 2/4*(3 + -11). Let p = u + o. Is 2 <= p?
True
Let d(v) = v**3 - v**2 + v + 1. Let p be d(0). Is 8/9 > p?
False
Let g = 10 - 2. Suppose b = 3*b - g. Suppose -4*y + 0*y = b. Which is smaller: -1/7 or y?
y
Let b = -7.7 - -7.8. Is b <= -13?
False
Suppose 3*m - 2*i = 8*m + 595, -3*i = -4*m - 499. Which is bigger: -120 or m?
-120
Let b be -1 + 1 - 2/(-5). Let i(u) = -2*u - 6. Let y(a) = a + 3. Let w(z) = 3*i(z) + 5*y(z). Let l be w(-2). Is l >= b?
False
Suppose -6*s + 119 = 41. Let n be (10 - s) + 23/7. Is 2 at least as big as n?
True
Let o = 0.08 - -0.07. Let b = 1.35 - o. Let a = b - 1. Which is greater: -1 or a?
a
Suppose -5*g + w - 5*w - 1 = 0, 0 = -5*g - 5*w. Is -4/7 >= g?
True
Let j = 2 + -5. Let h = -6 - j. Let d = -4 - h. Is 0 less than d?
False
Let n be (1 - 2)/((-3)/6). Do 10/7 and n have the same value?
False
Let z = 25 + -24. Which is smaller: 3/8 or z?
3/8
Let q = -499/710 + -14/71. Let a = q + 1/2. Suppose 3*l - 2*i - 7 = 0, -4*l + 5 = -3*i - 6. Is l bigger than a?
False
Let h be -4 - (-5 + 0 + -4). Which is smaller: h or 3?
3
Let f be ((-12)/(-16))/((-6)/4). Let r = -3 - -4. Let v = r + -3. Which is smaller: v or f?
v
Suppose 2*z - 5 = -9. Let c = z - -3. Let l be 0 - (-2 - 4/c). Is 0.1 >= l?
False
Let f(w) be the third derivative of w**5/60 - 5*w**4/24 - 5*w**3/6 - 2*w**2. Let g be f(7). Which is bigger: g or 10?
10
Let c = 2 + 0. Let x(j) = -j**3 - 8*j**2 - 7*j + 2. Let o be x(-7). Suppose 0 = -o*l - l + 6. Do l and c have different values?
False
Let g = 14 + -9. Suppose -p + 20 = -g*p. Let f be 3/2 - (p + 6). Which is greater: f or 2?
2
Suppose -3*o - a = -8, -2*o + 0*a = -5*a + 23. Which is smaller: o or 9?
o
Let x = -1385/21948 - 1/708. Are x and 0.1 equal?
False
Let u be 1 - (-3 + 4/2). Suppose 4*m - 2*t - t = 1, 3*t + 5 = u*m. Which is smaller: m or -4?
-4
Let c be 8/(-18)*(-6)/16. Let s be 14/6 + 8/12. Suppose -s*v + 3*m - 12 = 0, 0 = -5*v - 0*v - m + 4. Is v < c?
True
Let d = -8 - -4. Let l be (-2)/d - 29/10. Is -3 less than or equal to l?
True
Let t(n) = 40*n - 1. Let f be t(-1). Does -41 = f?
True
Suppose -33 = -4*v - 5*f, -4*v + 28 = 7*f - 3*f. Is v equal to 12/17?
False
Let i be (-10)/50 - 62/(-10). Suppose -2 - i = -4*y. Is 3 at least as big as y?
True
Suppose -3*z + 6*z = -3. Is z equal to -4/7?
False
Suppose 3*p = 4*p. Let t = p - 5. Which is greater: t or 2?
2
Let x be -212*2/(-2090) + 0. Let o = -2/95 + x. Let d = 32.1 + -32. Which is greater: o or d?
o
Let k = 93557/11242 - 183/22. Which is bigger: 1 or k?
1
Let z be ((-1)/(-12))/((-9)/24). Let d = 1.7 + -2. Let r = -1.3 - d. Is z != r?
True
Let r = -18 + 26. Suppose -2*s - 2*s - r = 0, -u - 3*s + 1 = 0. Suppose -m = 3*c + u, 3*m + 1 + 0 = c. Is -1 < m?
False
Let f be ((-30)/12)/((-2)/(-4)). Which is bigger: f or -7?
f
Let j be 116/36 - 3 - (-376)/(-72). Which is smaller: j or -19/3?
-19/3
Let b(o) = -o**3 + 10*o**2 +