 k = 85.84 - 85.8. Is k greater than -5?
True
Let i(f) = 2*f + 1 - 3*f + 3 - 5. Let y be i(-4). Suppose 0 = -m + a + 3, 0 = 3*m + y*a + 9. Which is smaller: 2/7 or m?
m
Let m = -11 - -22. Suppose -o - 9 + m = 0. Let h be -1*(5 - 4 - o). Which is smaller: -3/17 or h?
-3/17
Let q = 0.086 + -0.096. Is 5/4 smaller than q?
False
Let u(g) = g**3 + 7*g**2 - 10*g - 10. Let i be u(-8). Suppose -f = -22 + i. Let m be f/56 + (-9)/7. Is m greater than -1.2?
True
Suppose -8 = -2*g + 4*x, -1 = 3*g - x - 3. Is g > 3/16?
False
Let d = 12 - 23/2. Let l be 0*(4 + (-45)/10). Which is smaller: d or l?
l
Let k(u) = u**3 + u. Let q(h) = -5*h**3 + 27*h**2 + 12*h + 12. Let t(b) = 3*k(b) + q(b). Let m be t(14). Do m and 26 have different values?
False
Let j be 5/(-4)*6/(-42). Let x = -1/14 - j. Is 3/4 equal to x?
False
Suppose 7*g = -5*g + 2*g + 60. Let q(c) = -c**2 - 2*c + 4. Let v be q(-3). Which is greater: g or v?
g
Let s be (-119)/(-84)*4*-3. Is -34 equal to s?
False
Let u = -270209 + 24319061/90. Let d = u + -26/9. Which is bigger: 0.3 or d?
0.3
Let o be (2 + 11)/(2 + -1). Let w = 1180 - 1167. Is o bigger than w?
False
Let m = -467 - -466. Which is smaller: m or 2/645?
m
Let t = 83 - 82. Is t > -839?
True
Let g = -218 - -233. Let t be (14/(-8))/(2/(-16)). Which is smaller: t or g?
t
Suppose 4 = -10*l - 6. Which is greater: 8/31 or l?
8/31
Let h = -2023 - -2283. Are 4 and h equal?
False
Let f = -0.115 - 0.185. Which is greater: -32 or f?
f
Suppose 2*b - 22 = -4*n, n + 4*b = -n - 4. Let r(l) = l**2 - 8*l - 1. Let j be r(n). Let u = -745/8 - -93. Which is bigger: u or j?
u
Let h be 16/(-6)*12/80*-5. Let t = 2/9 + -17/36. Which is smaller: t or h?
t
Let j(z) = -4*z**2 + z + 15. Let h be j(4). Let x be 0 - -1 - (-345)/h. Let a = -20 + 14. Which is bigger: x or a?
a
Let j(a) be the third derivative of a**6/120 - a**5/20 + a**4/8 - a**3/6 - 7*a**2. Let s be j(2). Suppose -4*p - 7 = d, d - 5*p - 11 = -0*p. Is d > s?
False
Let b = -1922 + 3839/2. Let i = -2.9 + -1.1. Is i not equal to b?
True
Let p be 4*(-2)/3 - -2. Let j(q) = -q**2 + q**3 + 1 - 2 - 2*q**2 + 2*q**2. Let o be j(0). Is o less than or equal to p?
True
Let y(m) = -2*m - 2. Let a be y(-7). Let i be 4/10 - a/75. Which is smaller: i or 1?
i
Let p be (-3864)/(-33) + 28/(-308). Is p > 116?
True
Let i be (-84)/(2/5*(-195)/52). Is 1/3 at least i?
False
Let a(i) = -2*i**2 + 2*i - 2. Let v be a(0). Let b be (-1 + 3 - 3)/(v + 0). Which is bigger: b or -8?
b
Let o be (69/46)/(1/2 + 1). Is 1/221 smaller than o?
True
Let s be 1743/(-133) - -13 - 708/(-950). Is s at most as big as 1?
True
Let u(q) = -q**2 - 9*q + 21. Let s be u(-15). Is -67 at least s?
True
Let r(y) = -28*y**2 - 174*y - 11. Let l be r(-6). Are l and 19 nonequal?
True
Suppose 0 = -0*w + 2*w - 6. Suppose 0 = w*g + 9 - 36. Let x be 5/12 - 6/9. Which is smaller: x or g?
x
Suppose -12*f - 62 = -74. Is f at least as big as 14/15?
True
Let m = 188 + -253. Are -64 and m equal?
False
Let g be (4 + 7)/((-6)/6). Let u(h) be the second derivative of h**4/12 + 5*h**3/3 - 9*h**2/2 - 4*h. Let b be u(g). Which is smaller: 5/7 or b?
5/7
Suppose -19*s + 22 = 79. Which is bigger: -7 or s?
s
Let r be (-3 + 4)/((-16)/(-24)). Which is smaller: r or -10?
-10
Suppose -f = -2*l + 4, -3*l + 2*f - 4*f - 8 = 0. Let u = -199729/67 + 2981. Which is greater: u or l?
l
Let s be (4176/360)/(1/(-25)). Which is smaller: s or -4?
s
Suppose 4*w + 115 = y, -4*w - 7*y - 97 = -2*y. Let n = 29 + w. Is n != -1/15?
True
Suppose 0*y + 4*y = -24. Suppose 6*v - 14 = 16. Suppose v*a = -13 - 12. Which is greater: y or a?
a
Let w(b) = -175*b**3 + 3*b**2 + 8*b + 7. Let j be w(-1). Which is bigger: 532/3 or j?
532/3
Suppose -6*u = -u + 105. Let k be 6/u*21/(-9). Which is bigger: 6 or k?
6
Let f = 5/38 - -1961/114. Which is greater: 18 or f?
18
Suppose 2*t = 3*d - 335, -11*d = -2*d - 3*t - 993. Which is bigger: 108 or d?
d
Let g = -1414657/166 - -8522. Is 0 bigger than g?
True
Let g be (2/(-4))/((-43)/4). Are g and 0 nonequal?
True
Suppose 69*o = 121 + 86. Let g = 22 + -16. Is g less than o?
False
Let b be 705/84 + (-3)/21. Which is bigger: 9 or b?
9
Let w be -116*(185/20 + -6) - -4. Is -373 > w?
False
Let f be (84 - 14) + (0 - 2/(-2)). Is f < 70?
False
Suppose -160*s - 65 = -159*s. Which is bigger: s or -68?
s
Let m = -8 + 26. Let u be -1*6 - -3 - -1. Let f = u - -19. Which is smaller: m or f?
f
Let g be (-2)/(14 - (5/5 - -2)). Suppose 2*t = 4*l - 5 - 3, 0 = 3*l + 3*t - 24. Suppose l*j = -0*j. Is j > g?
True
Suppose 4*x - 17 = -5*h, 3*x + 5 - 15 = -h. Suppose x*z + 2*s + 266 = -z, 5*s = 5. Which is greater: -66 or z?
-66
Let t be 15/(-35)*(0 + 10/(-6)). Let u(h) = 8*h**3 - 9*h**2 - 5*h - 9*h**3 + 3*h**2. Let j be u(-5). Which is bigger: t or j?
t
Let h be (-36)/272 - (-48)/(-408). Let m = 6 - 11. Is m greater than or equal to h?
False
Let f be (-7 - 23)*(5 - (-260)/(-12)). Which is smaller: f or 499?
499
Suppose 4*a = -a + 50. Let y(z) = -z**3 + 16*z**2 + 19*z - 25. Suppose -2*s + 34 = -3*v - 9, -4*s - 5*v + 53 = 0. Let n be y(s). Is a >= n?
True
Let j = 0.94 - 37.94. Let g = -36.6 - j. Is 2 >= g?
True
Let m = 17 + -14. Suppose 0 = 5*l + m*s + s - 9, 0 = 4*s - 4. Which is smaller: -1 or l?
-1
Suppose -8 + 2 = -2*o. Let v be (-2)/2*-3 + (2 - o). Is v bigger than -5?
True
Let p = 5 - 11. Let d be (0 - 1)/(6/(-150)). Let b = d + -30. Which is greater: b or p?
b
Let h = 0.413 - -4.587. Is -3.8 greater than h?
False
Let y be (-555)/(-222) + ((-1486)/(-4) - 1). Which is smaller: y or 372?
372
Let a = -90.4 - -92.4. Is a less than 2.72?
True
Let w = -1745/7 + 250. Suppose 0 = -37*q + 33*q + 8. Which is bigger: w or q?
q
Let h = -3245 + 3245. Let q = -3675/26 - -283/2. Which is smaller: h or q?
h
Suppose -2 = f, 3*h + 3295 = -17*f + 15*f. Is 1/3 at most h?
False
Let f = -0.08 + 0.28. Let s = 13.8 + -1.8. Let h = s + -12.3. Is f smaller than h?
False
Let b = 3777/4 - 944. Are b and 27.9 nonequal?
True
Let n be (2*-9)/((-9)/24). Which is greater: 49 or n?
49
Let f = 4843382/9 - 538945. Let z = -794 - f. Let d = 1/18 + z. Which is smaller: d or -1?
d
Let u = -233500 + 2789033/12. Let c = u - -1080. Is -1 smaller than c?
True
Suppose 0 = 2*n - 5*t - 0*t + 5, t + 11 = -2*n. Let y(i) = 6*i + 2. Let d be y(n). Let m be 49/d*(-3)/(-7). Is 0 >= m?
True
Suppose 0 = -x + 15 + 25. Let y = -202/5 + x. Which is bigger: y or 13?
13
Let j = 69 + -413/6. Suppose -i + 0*i + 2*n = 13, -3*i - 5*n - 6 = 0. Let z be (-8)/(-28) + (-5)/i. Do j and z have different values?
True
Let h be -11*(-6)/(-18)*30 + 5. Which is smaller: h or -91?
h
Let h = 22 - 13. Suppose h + 3 = -4*r. Which is greater: -3/2 or r?
-3/2
Let y be (-4)/22 - 380973/429. Let s = y - -887. Is 0 < s?
False
Suppose 0 = -l - 27 + 18. Let w be (2/14)/(1/l). Let p = w - -10/7. Is -1 at most as big as p?
True
Let i = 282 - 277. Is i smaller than 0.31?
False
Let g = -1.04 + 1.64. Which is smaller: g or 0.07?
0.07
Let x(d) = d**2 - 10*d + 6. Let i be x(10). Suppose -3*z + 2*c + i = -2*z, -3*c - 23 = -5*z. Suppose 2*h + 14 = z. Is h > -6?
True
Suppose 9 + 2 = -11*f. Let w(j) = -19*j**2 - 17*j - 8. Let m(a) = -5*a**2 - 4*a - 2. Let u(y) = -9*m(y) + 2*w(y). Let d be u(f). Which is smaller: 6 or d?
6
Suppose 0 = 4*z - 5*j - 55, -3*z = -0*z - 2*j - 43. Suppose 7*y - 3*y + 156 = 0. Let h = y - -55. Which is greater: z or h?
h
Let t(v) = -v**3 + 20*v**2 + 23*v - 43. Let a be t(21). Is -1.73 less than or equal to a?
True
Let o(x) = x**3 - x**2. Let b be o(-1). Let m be (30/2)/(13/(52/6)). Suppose m*v = 10*v + 5*v. Which is bigger: v or b?
v
Let j be (-2 - -6)/20*2 - (-520)/(-1050). Let l = 4 - 2. Suppose -m - 3*m = -3*v - 11, -m = -l. Which is greater: j or v?
j
Let f be -5 - 56 - (-3 - -2). Let a be 3 - (4 - f/2). Is 1 greater than a?
True
Let p be 2772/(-2376)*(2032/14)/(-2). Which is smaller: 85 or p?
p
Suppose -5*o + x = 2*x - 26, -21 = -5*o + 4*x. Let f be (-26)/(-5) - 1/o. Is f > -1?
True
Let q = 4 + -2. Let y = 9 + -9. Let w be y/(1/(-1) + 3). Which is greater: w or q?
q
Let i = -589 - -573.65. Let j = i + 0.35. Let c = 14.5 + j. Which is smaller: c or 1?
c
Let h be (-4)/((-110320)/21)*-8. Which is smaller: h or -1?
-1
Suppose -2*k = q - 14, -2*k + 6 = -q - 0*q. Let y be 4/(k/(-40)*2). Let w be 0 + -16 - (-2)/2. Is y at least w?
False
Let q be 4/4*(1 + -1). Which is smalle