67. Let f = w + -0.033. Which is smaller: f or 10?
f
Suppose 0 = 6154*s - 5992*s - 324. Let o be ((2 - 0)/(-2))/(-1). Let c be (-2)/o - (-52)/14. Is c < s?
True
Let v be 2 - (270385/1373790)/((-1)/(-10)). Let j = v - -1/759. Let q = -7807/724 + j. Is q at least as big as -10?
False
Let z = 3995 - 4067. Which is greater: z or -217/3?
z
Let q be (3 - 3)/(0 - 2). Suppose q*i - 27 = -9*i. Let s be (i + -5)*(8 - (1 + -1)). Is s greater than -16?
False
Let t = 0.15 - -0.05. Let w be (-126)/12*(-16)/6. Suppose -5*i + w = -n, 85 = -4*n - 4*i + 21. Which is greater: n or t?
t
Let a = -1860 + 1865. Let u be -2 - ((-2156)/(-332))/(-1). Let p = u + 1/166. Is a equal to p?
False
Let h be (-11 - (-600070)/22225) + -16. Which is smaller: h or 1?
h
Let n be 1022/(-35)*((-654)/4 - -2). Let k = -213821/45 + n. Which is smaller: k or -37?
-37
Let m = -177 - -212. Let i be 206/1 - (m + -38). Which is bigger: i or 210?
210
Let p = 859 + -834. Suppose 8*m - 420 = -13*m. Which is smaller: m or p?
m
Let h(p) = 8*p + 89. Let n be h(-13). Let r be 40/36*(-117)/n. Which is greater: r or 4?
r
Let h(n) = -n**3 - 4*n**2 - 3*n - 6. Let g be h(-4). Suppose -g*k - 70 = 32. Suppose -34 = -4*z - 106. Is k greater than z?
True
Let y = 81 + -41. Let v be y/39 - (-3 + 4). Let g = -8633 + 8634. Is g bigger than v?
True
Let t = 115.27 + -115.4. Let d = -3.2043 - -0.0743. Let s = d - t. Are s and 0.6 equal?
False
Let d = -95290186/835065 - 1/92785. Let r = d + 114. Suppose -4 = -i - 3. Which is greater: r or i?
i
Let i = 35 + -28. Let z be (-25)/(-3) + i/((-42)/(-4)). Suppose -12 = -3*t - z. Is t less than or equal to 2/159?
False
Let j = 2689 - 1464. Which is bigger: 1226 or j?
1226
Let n be (-8)/(-2150)*35/14. Let k(x) be the second derivative of -x**3/6 + 8*x**2 + 5*x + 1. Let m be k(15). Which is bigger: n or m?
m
Let l = 198 - 168. Let z be (-2)/l - 16/110. Do z and 0 have the same value?
False
Let j be (3/1)/(3/(-4)). Let h be (6/j)/(3 + (-9)/2). Is h smaller than 2/11?
False
Suppose 137*a - 136*a - 80 = y, -2*a = -5*y - 394. Is -85 smaller than y?
True
Let h(a) be the first derivative of -7*a**2/2 - 170*a + 131. Let u be h(-24). Let l be ((-2)/(-4))/((-1)/(-4)). Which is bigger: u or l?
l
Let z be (7790/85932 - 6/66)/((-6)/(-4)). Is 0 at most z?
False
Let m = 26 - -18. Let r = m - 0. Let n = 43.8 - r. Which is bigger: -1 or n?
n
Let x(i) = 19*i**3 - 2*i**2 - 2*i + 2. Let z be x(2). Let p = z + 45. Is p < 187?
False
Let a(r) be the first derivative of -r**4/4 + 19*r**3/3 - 7*r**2 - 39*r + 39. Let p be a(18). Let n = -41 + p. Which is bigger: -6 or n?
-6
Let s = -164.96 - -164.86. Let n = 653/2 + -334. Are s and n non-equal?
True
Let w be -3 - (-1 - -3 - -3 - -4). Let x be ((-8)/w)/(1/42). Let k be (3 - -1)*(2 + x/(-16)). Which is greater: k or 3/7?
k
Let q = 189 - 197. Let s = q - 18. Is -0.2 greater than or equal to s?
True
Let l = 13748 - 9749. Is l equal to 3999?
True
Suppose 8*q + 192 = -240. Let f be (2/(-6)*-1)/((-27)/q). Let i = -11.2 - -10. Is i bigger than f?
False
Let j = -19687/10 - -9841/5. Let n = 364.7 - 339. Which is smaller: n or j?
j
Let z = 8426 - 12460. Is -1/2 >= z?
True
Let w(x) = x**2 + 10*x - 22. Let o(b) = -3*b**2 - 30*b + 66. Let m(c) = -3*o(c) - 8*w(c). Suppose 82*v - 73*v = -108. Let n be m(v). Are n and 17 non-equal?
True
Let w(x) = -41*x**3 - 2*x**2 + x. Let f be w(1). Let v = f + -1. Let n = 46 + v. Which is smaller: n or 10?
n
Suppose v + 9 = -2*v, -3*s + 21 = 3*v. Let c = s + -11. Let q be -31 + 31 + c*1/16. Which is smaller: 0 or q?
q
Let a = -0.2666 - 786.8534. Let i = 787 + a. Which is greater: i or -5?
i
Let g be (-386)/965*(2/(-2030))/1*1. Is 0 <= g?
True
Let c = 795 + -1103. Let w be -6 - (-7)/((-49)/c). Which is smaller: w or 37?
37
Let x = 616/2015 - -38/403. Which is smaller: 4/1769 or x?
4/1769
Let y be (1/1)/(15/435). Let s = y + -9. Let k be (3/2)/((4 + -3)/14). Is s greater than or equal to k?
False
Let y = 15589 - 15594. Which is smaller: 0.0946 or y?
y
Let q = 0.234 - 1.234. Let h = 3178 - 3181.958. Let u = h + 0.058. Does u = q?
False
Let r be 7 - 3 - (-7 - 2). Suppose 21*m - 80 = r*m. Which is bigger: m or 5?
m
Let j(d) = 2*d - 2. Let v be j(0). Suppose -3*n + n = -54. Suppose 5*x + 0*k + 3*k = -n, 4*x = -4*k - 28. Is x equal to v?
False
Let c(b) = -2*b**3 + 22*b**2 - 19*b - 11. Let d be c(10). Let k be ((-18)/54)/(d - 0). Which is greater: 78 or k?
78
Suppose 2*h - 4*p + 11 = -9, -25 = h + p. Let a be (-1*(-2 - -1))/(h/60). Let d = -5 - -4. Which is greater: a or d?
d
Let i = 65.952 - 66. Let g = i + 0.104. Let a = g - -2.944. Which is greater: -3/5 or a?
a
Let l(x) = x**2 + 6*x + 5. Suppose -124 = -5*m - 619. Let n = -101 - m. Let b be l(n). Are b and -19 non-equal?
True
Let f be (2 + -1 + 0)/((-2)/132). Let y = -63 - f. Let l(p) = 9*p - 24. Let k be l(y). Is k <= 1?
False
Suppose -4*g + 194 = 3*v, -4*g - g + 25 = 0. Let x = 49 - v. Which is greater: x or -7?
-7
Suppose j + 0 + 9 = 0. Let n be (1/3)/(j/(-108)). Let p = 7129 + -7126. Is p < n?
True
Let y = 601 - 664. Let l be (-23848)/(-380) + (-2)/(-5). Let x = l + y. Which is smaller: x or 0.1?
0.1
Let i(p) = 316*p - 7278. Let f be i(23). Let h = -6 - -14. Suppose -h - 4 = 3*t. Which is smaller: t or f?
f
Let l = 100 + 138. Let u = -239.7 + l. Which is bigger: u or -1?
-1
Suppose k - 41 = -3*i, -5*k = -i - 0*i - 173. Let n(m) = 4 - k*m + 1 - 2*m**2 + 13*m. Let r be n(-11). Is r at most as big as 0?
False
Suppose 80*j - 39 + 66 = -53. Is -9/443 smaller than j?
False
Let k = 48 - -2. Let l be (-32)/(-80) - (-10 - 3684/90). Which is smaller: k or l?
k
Let z be 446/(-91) - (-3)/((-21)/(-2)). Suppose 5*t = 3*b - 40, t - 9*b + 6*b + 20 = 0. Does t = z?
False
Let v be (-15*(34/(-5) + 6))/((-4)/(-122)). Is v <= 367?
True
Suppose -4*r - 4*d + 236 = 0, -4*r + 260 = r - 2*d. Let y = 4767/5 + -899. Is r equal to y?
False
Let q be (0 + 1)/((-5)/5). Let v(w) = w**2 - 3*w - 26. Let n be v(7). Let d be ((28/(-14))/(16/n))/(-5). Is q greater than d?
False
Let b = 58 - 117. Let l = 484 - 435. Let y = b + l. Which is bigger: -11 or y?
y
Suppose 3*d - 1 = 5*r + 20, -5*d + 13 = -r. Suppose d = 26*p - 28*p. Let n(l) = l**2 + 4*l - 17. Let c be n(-7). Which is greater: p or c?
c
Let t = -3.34 - 0.26. Let b = 1.28 + 2.32. Let a = b + t. Is 36 at least as big as a?
True
Let l be (1 - (-8)/(-6))/(10/18). Suppose -n - 5*z - 11 = 0, 6*z = -2*n + 3*z - 15. Let g = n + 6. Which is greater: l or g?
g
Suppose -i - f + 4*f = 16, -4*i + 5*f = 29. Let n = -10 - -9. Let b be n/((-54)/(-21) - 2). Is b not equal to i?
True
Suppose -6*b = -5*a - 7*b - 20, 0 = a + 3*b - 10. Let n be (1 + a + 0)*(-3 - -2). Let j be 303/33 - n/22. Which is greater: j or 12?
12
Let d = 550598/471 + -1169. Which is smaller: d or -1?
-1
Suppose -3*x = 26 + 19. Let f be 6/x + 29/35. Which is smaller: f or -3?
-3
Let b = 9595/63 + -993/7. Is 9 smaller than b?
True
Let t(n) = 7*n**2 + 7. Suppose 0 = q + 3*a - 7 + 9, -5*q - 2*a - 23 = 0. Let l be t(q). Let p = l + -257. Is -75 greater than p?
False
Let v = -0.017 + 0.0094. Let w = v - 0.7924. Is 6 smaller than w?
False
Let h = 44 - -3469. Is h at most as big as 3512?
False
Let x(h) = 2*h**2 + 5*h - 3. Let l be x(5). Let y = l - 110. Let z = y + 39. Is -3/16 not equal to z?
True
Suppose 0 = 11*m + 283 - 107. Let b be -14 + (-3 - -6) + -3. Which is bigger: m or b?
b
Let x = 29148/5 - 669084/115. Are x and 10 equal?
False
Let o be ((-3)/3 - -1) + -2. Let h = -1003 + 1059. Let g be 16/h + o/7. Is -4/9 < g?
True
Let i be (438/3066)/((-9)/20). Which is greater: -1 or i?
i
Let x(r) = -55*r**2 - 1. Let i be x(0). Is 2/4733 < i?
False
Let a(p) = p**3 + 23*p**2 - 407*p - 16. Let x be a(12). Which is smaller: -2/85 or x?
-2/85
Let y = 0.6 - 0.9. Let c = 47.09 + -26.09. Is c smaller than y?
False
Let w = 28746 - 28722. Suppose 0 = -3*o - k + 3*k + 90, 90 = 3*o - 4*k. Let q = 55 - o. Which is smaller: w or q?
w
Suppose -21*n + 58 = -26. Let h be (-3 - (-2 - (-20)/n))*-1. Which is greater: 12 or h?
12
Let z(r) = -72*r**2 + 2*r - 3. Let m be z(-1). Which is greater: m or -62?
-62
Let a(q) = -q**2 - 18*q - 25. Let f be a(0). Let p = -14 - -16. Suppose 5*v + 84 = -4*w + w, 40 = -2*w + p*v. Is f less than or equal to w?
True
Let p = -421738120/7307 + 57717. Are p and -1 non-equal?
True
Let q be ((-21 + 2