e p/10 - (-8)/(-70). Let b be (-1 + 2 - 1)/(-2). Is a less than or equal to b?
False
Let y be 3 - 2*(-2631)/(-1752). Let j = y - 539/13140. Is j greater than 0?
False
Let v(g) = g**2 - 6*g - 1. Let h = 3 + -10. Let l = h - -13. Let q be v(l). Which is greater: q or 2/7?
2/7
Let r(n) be the third derivative of n**6/720 + 7*n**5/120 + n**4/8 - 2*n**2. Let w(a) be the second derivative of r(a). Let d be w(-7). Is d at most 0.2?
True
Suppose 5*j - 7 = 8. Let p(f) = -f**2 + f + 1. Let l be p(0). Which is smaller: j or l?
l
Let f = 1017378/1345 + -3782/5. Let h = 670/8877 - f. Do h and 0 have the same value?
False
Let q = 19 + -39/2. Let v = -2 + 2.2. Let j = v - 3.2. Which is greater: q or j?
q
Let w = -203 - -216.9. Let h = 14 - w. Let m = 9/13 + -107/117. Which is smaller: h or m?
m
Let g = 0.6 + 4.4. Let b = g - 4.9. Is 0 at most b?
True
Let b be (-4)/(-5)*2/(-4). Suppose -4 = q + 1. Let v = -4 - q. Which is bigger: b or v?
v
Let b = -30 - -130. Which is smaller: b or 99?
99
Let q = -15332/215 - -882/43. Let r = 51 + q. Let c(y) = y**2 - 5*y + 1. Let v be c(5). Which is smaller: r or v?
r
Let n(c) = 2*c**2 - 2*c - 1. Suppose -5*h = -3*o + o - 17, 4*o - 2 = -2*h. Let d be n(o). Let x = -24 - -49/2. Which is greater: x or d?
d
Let o be 4 + (1 - 2 - 0). Let v be (-4)/o*3/2. Suppose -3*u = -3*g - 18, 7*g - 2*g - 4*u + 25 = 0. Is g at most as big as v?
False
Let d = 3/65 - -251/195. Is d at least -1/2?
True
Suppose 0 = -4*w - w. Suppose w = 2*r - r. Is -1/2 less than or equal to r?
True
Suppose 5*r + 27 = 2*r. Which is bigger: r or -6?
-6
Let a(p) = p**3 - 3*p**2 - p. Let o be a(0). Let b = 3 + -8. Do b and o have the same value?
False
Let u = 62 + -62.41. Let o = u + 0.23. Which is greater: -0.1 or o?
-0.1
Let z = -301/4 + 73. Is z less than or equal to -1?
True
Let k be (4/20 + 0)*14. Is 2 < k?
True
Let m be (6/(-3) + -3)*1. Let n be m/(-28) - 5/(-20). Let k = -5 + 4. Is k greater than n?
False
Suppose w + 1 = -2*w + r, 4*w - 5*r - 17 = 0. Let f = -72 + 70. Is w greater than f?
False
Let m(f) = 3*f**2 + 24*f + 2. Let h be m(-8). Is -5 > h?
False
Let k = 197 + -381/2. Let y = 6 - k. Which is greater: -0.2 or y?
-0.2
Let u = 11 + -9. Let q = -22 + 21.82. Let c = q - -0.08. Is u != c?
True
Let y be (-16)/(-6) + (-8)/12. Is 3 > y?
True
Let c = 46 + -45.6. Which is smaller: c or -0.08?
-0.08
Let a = -177/4 + 917/20. Are a and -1/4 nonequal?
True
Let d be 5*4*7/14. Let f = -19 + d. Which is smaller: f or -10?
-10
Let i(b) = -b**3 - 9*b**2 - 8*b - 4. Let y be i(-8). Let n(f) = f**3 + 5*f**2 + 4*f - 4. Let o be n(y). Do o and -4 have the same value?
True
Let w = -42 - -40. Which is smaller: -5 or w?
-5
Let x(l) = l**2 - 7*l + 9. Let w be x(7). Suppose 9 = -3*c, -2*c = 4*i + 12 - 46. Which is smaller: w or i?
w
Suppose 0 = 2*p - 2*a + 10, -2*p = -3*a - 2*a + 25. Is -11 bigger than p?
False
Let z be 5/(-1) + (-102)/(-18). Which is bigger: 0 or z?
z
Suppose -3*h + 0*h + 6 = 0. Which is greater: h or 1/12?
h
Suppose -18 = -6*m - 3*m. Is m > 10/13?
True
Let p = 11 + -9. Is -3/7 not equal to p?
True
Let d = -0.03 - 0.27. Let f = 0.41 + -2.51. Let m = f + 2. Is d != m?
True
Let o be (-8)/20 + (-7)/(-5). Let j(h) = -2*h. Let d be j(-1). Let x be (d - -1)*2/3. Which is bigger: x or o?
x
Let n(r) = -11*r - 2. Let y be n(-1). Suppose 0 = -j + 2*j - 8. Which is smaller: y or j?
j
Let m = -14 + 13. Which is greater: 2/15 or m?
2/15
Suppose -5*w + 12 = -3*w. Which is bigger: w or 8?
8
Let k be (-4)/(-10)*(-10)/(-6). Let v(o) = o - 5. Let b(x) = -x - 6. Let g be b(-14). Let j be v(g). Which is bigger: j or k?
j
Suppose -a - 8 = 3*a. Let u(m) = -3*m**2 - 16*m - 9. Let z be u(-5). Is z at least as big as a?
False
Suppose 0*s = -s + 1. Let l = 63/2 + -31. Is l bigger than s?
False
Let s = 0.8 - 1.2. Let a = 1.4 + s. Is 11/4 less than a?
False
Let u = -1 - -2. Let i be 4 + (u - 1) - 3. Which is bigger: 2/9 or i?
i
Let n = 12 - 7. Let y be (-6)/20 - (-123)/410. Is y less than or equal to n?
True
Let t = 2 + -1. Let y = -12 + 231. Let v = -3283/15 + y. Which is smaller: t or v?
v
Let n be (5 + -180)/(-7) - (-1 - -2). Which is greater: -1 or n?
n
Let m = -353/3 + 119. Is 1 <= m?
True
Let a be ((-9)/(-15))/(((-54)/188)/(-9)). Is 19 bigger than a?
True
Let g = -11.8 + 13. Which is smaller: g or 0?
0
Let a = 50 + -49.6. Are 2/15 and a non-equal?
True
Let r be 1/(-4)*(-128)/(-2064). Which is smaller: r or 1?
r
Let j = 127.06 - 125. Let z = -0.06 + j. Which is bigger: z or 0.1?
z
Let q be 16/6*-3*1. Let s(d) = d**2 + 8*d + 2. Let h be s(q). Which is smaller: 4/7 or h?
4/7
Let g = 2.4 + -0.4. Let w = -4 - -9. Let n = g - w. Is -1 less than n?
False
Suppose 3*k = 15 - 105. Let m be ((-54)/k)/((-6)/4). Which is bigger: m or 0?
0
Let j(y) = -y**3 - 5*y**2 + 6*y - 4. Let r be j(-6). Let z be ((-1)/2)/(r/(-8)). Let d be (-1 - 0) + (-18)/(-24). Does z = d?
False
Suppose -c - 4 = -2. Is 3 > c?
True
Let t = 0 + -7. Let d = t - -10. Which is smaller: d or 5/2?
5/2
Let p(h) = h**3 + 6*h**2 + 5*h - 3. Let t be p(-5). Let f be t/2*(2 + 0). Let s = -4 - f. Which is smaller: s or 2/5?
s
Let z be 0 + 22/(-4) + 5. Is -2.7 > z?
False
Let m be 3/(-39)*1/(-2). Let i = 6/13 + m. Let n = -0.1 + 0.2. Which is smaller: i or n?
n
Let j(y) = 20*y. Let b be j(4). Is 80 at most as big as b?
True
Let v = 3.2 + 0.8. Which is smaller: 1 or v?
1
Suppose 2 = o - 0. Let w be (6 - o)*3/2. Let k be w/(-15) + 17/30. Which is smaller: k or 1?
k
Let b = 55 - 59. Let q = 4 - 7. Is b equal to q?
False
Suppose -2*w = 2*w + 4. Let r(m) = m**3 + 10*m**2 - 9*m + 6. Let f be r(-11). Let n be (-15)/20*f/78. Which is smaller: n or w?
w
Let y = 734.99 + -738. Let g = 0.01 + y. Which is smaller: 0 or g?
g
Suppose 2 = 2*h + 14. Is -1 > h?
True
Let h be (-1)/2 - (126/(-81) - -1). Is 1 at most as big as h?
False
Let r = -26.9 + 27. Is -6 not equal to r?
True
Let s be (-44)/144*3*1. Which is smaller: s or -1?
-1
Let a(l) = -l + 10. Let t be a(5). Suppose -10*h + t*h + 80 = 0. Which is smaller: 17 or h?
h
Let y = 244/2565 - 2/95. Let c = 1/22 + -47/66. Which is smaller: c or y?
c
Let n = -126 + 1259/10. Let y(v) = -v + 4. Let z be y(5). Let a be 0 + 0/1 + z. Which is smaller: a or n?
a
Suppose 12*a = 8*a + 4. Let p be 1 + -1 + (-4)/120. Does a = p?
False
Let t(a) = a**2 - 18*a + 4. Let j be t(17). Is -12 equal to j?
False
Let k = 23 + -12. Is k at most as big as 12?
True
Let h be (2 + 12/(-4))*(-4 + 8). Is h greater than or equal to -21/5?
True
Suppose k + 0*k + 3 = 0. Let v(z) = -z**3 + 5*z**2 - 2. Let i be v(5). Which is greater: k or i?
i
Let h = -49 - -44. Which is smaller: -1 or h?
h
Let n be 15/228 - (-3 + (-22)/(-8)). Which is greater: 1 or n?
1
Let w = -22 - -30. Which is smaller: -2/9 or w?
-2/9
Let k be (-250)/1554*(-4 + 3). Let c be 448/(-222) + 0 - -2. Let i = c + k. Which is smaller: i or 1?
i
Let w(m) be the third derivative of m**5/60 + m**4/24 - m**3/6 - m**2. Suppose 3 = 2*o + 5. Let i be w(o). Are -2 and i non-equal?
True
Suppose -2*r - 5 = -7*r. Which is bigger: r or 7/3?
7/3
Let p = -6.84 + -0.16. Let d = p + 6.1. Let j = 0.5 + d. Is j equal to -1/4?
False
Let u(b) = -3*b. Let v = 1 + -3. Let x be u(v). Let h = -3 + x. Which is greater: 1 or h?
h
Let n be (-7)/2*(1 - 3). Let s be 2/7 + (-2)/n. Which is smaller: s or -1/4?
-1/4
Suppose -12 = 6*r - 2*r. Let a(f) be the second derivative of -f**5/20 - 5*f**4/12 + f**3 - f**2 - f. Let l be a(-6). Which is bigger: r or l?
l
Let o be 2 - 4*(-1 + 2). Suppose 9 = -4*h + 2*s + 27, 0 = -5*h - 2*s + 45. Let i(y) = y - 8. Let w be i(h). Does w = o?
False
Suppose -3*r = -28 + 7. Suppose -y - 3*y = -24. Which is greater: y or r?
r
Let o = -64/5 + 586/45. Is 1 at least o?
True
Let z be (-2)/(-8) + 968/(-1440). Let v = 1/45 + z. Which is greater: -0.2 or v?
-0.2
Let t(a) = a**3 - 2. Let s be t(0). Let v(c) = c**2 + 2*c - 3. Let h be v(-4). Let f = h - 7. Is s > f?
False
Suppose 3 - 5 = 5*o - 3*a, -4*o - 5*a = -28. Suppose 3 = o*m + 1. Let q be -1 + (7/m - -1). Is 6 at least as big as q?
False
Let p = 61/140 + -3/20. Suppose 4*c - 2*k = 14, c - 2*c = -3*k - 1. Suppose 2*i + 2 = -c. Is p greater than i?
True
Let c be (0 - (-3)/(-414))*95. Let t = c + 1/46. Which is smaller: t or 0?
t
Let x be (174/(-3625))/(((-6)/20)/(-1)). Is x equal to 1?
False
Let f be ((14/(-63))/((-1)/(-6)))