Let u(n) be the second derivative of -n**5/20 - 5*n**4/6 - 3*n**3/2 - n**2/2 - 5*n. Let l be u(-9). Let b = -23/36 + -11/18. Is b < l?
True
Let f = -259 + 263. Is f > -0.011?
True
Let o = -3 - -5. Let r be 195/(-44) - (-26)/143. Let t = r - -67/12. Are t and o nonequal?
True
Let z = -2367 + 2349. Is z less than or equal to -19?
False
Let l be (3/(-2))/(((-270)/(-160))/3). Which is greater: -4 or l?
l
Let y(a) = -a**3 - 13*a**2 + 13*a - 5. Let h be y(-14). Let k be (-7)/(-5) + h/15. Does k = 22/9?
False
Suppose 3*l - 7 = -m, 2*m = 2*l - l - 21. Let o(d) = -d**2 - 9*d - 4. Let x be o(m). Let b be x/((-5)/((-25)/2)). Is b greater than or equal to 10?
True
Let k be (0 + (1 - 1))/(0 - 1). Let r(f) = 3*f**2 + f + 1. Let c be r(-1). Suppose -c*b + 0 = 4*m - 3, 0 = -m + 3. Is k != b?
True
Let c = 92 - 90. Let t be (c/36)/(11/165). Which is smaller: t or 1?
t
Let u be 46/10 + 4/(-2). Let w(f) = f**3 + 9*f**2 + 15*f + 15. Let k be w(-7). Suppose -4*o = -4 - k. Which is greater: u or o?
o
Let p be (1/4)/(20/1072). Which is smaller: p or 13?
13
Let z be 12*(20/56)/(-5). Let b = z + -37/14. Which is smaller: -3 or b?
b
Suppose 8*r - 1228 = -1364. Suppose 0*j - 36 = 2*j. Which is smaller: r or j?
j
Suppose 0 = -6*d + 34 + 50. Let i be 134/10 - (-4)/(-10). Does i = d?
False
Let a be (-8)/((-44)/(-36) - 1). Let l be (-4)/a*6 - 2/3. Which is bigger: -2/73 or l?
l
Let z(i) = -18 - 30*i + 29*i + 20*i**2 - 4 + 6*i**3 - 5*i**3. Let c be z(-20). Which is greater: c or -7?
c
Let c be (0/1)/(15 - 16). Let h be (c + -4)/((-28)/21). Is 8/3 less than or equal to h?
True
Let y(u) = u**2 + 6*u - 5. Let v be y(-7). Let w = 52 - 50. Is w not equal to v?
False
Suppose -3*u - 4*z = 15, 3*z - 13 = 2*u + 14. Suppose 3*s = -4*g - 6, -5*g + 0*g - 13 = s. Let k be s/12 + 335/(-30). Which is greater: k or u?
u
Let t(s) = -s**2 - 7*s - 7. Let k be t(-5). Let f be (-14)/18 - k/27*2. Which is smaller: f or -8/19?
f
Let l = 36 + -32. Suppose -h + 54 = 3*h + g, -l*g = -2*h + 18. Which is smaller: 14 or h?
h
Let f(k) = 8*k - 6. Let m be f(9). Which is smaller: m or 64?
64
Let f = -4.2 + 3.38. Let x = 1.31 + f. Is -0.2 != x?
True
Let w = 4 + -1. Let i be (-3)/(w/(-1)) - 0. Suppose -4*x + 3*s = -28, 0 = -4*x + 2*s + 14 + 14. Is i at most as big as x?
True
Let p(t) = 4*t**2 - 2*t - 8. Let d be p(-2). Let a be (1/(-2))/(2/(-52)). Does d = a?
False
Let n = 184 - 424. Let r be 11022/n - (-2)/(-10). Let c = -47 - r. Is c greater than 0?
False
Let l(y) = -5*y + 1. Let j be l(1). Let r be 9/6 - 2/4. Suppose -b - r = m - 0, 4*m + 3*b = -5. Is m at most as big as j?
False
Let i(o) = -2*o - 29. Let s be i(-12). Let x be 41/s + (18 - 14). Let v = x + 87/20. Which is smaller: 0 or v?
0
Let i(j) = j**2 - j + 1. Let c(g) = 4*g**2 + 3*g + 2. Let a(k) = c(k) - 3*i(k). Let s be a(-6). Is s less than 6?
True
Suppose -84 = -9*q - 5*q. Which is smaller: q or 57?
q
Suppose 0 = 13*m - 10*m. Let j be m - (-1 + (-57)/(-21)). Are -1 and j nonequal?
True
Let i = -4 - -7. Let p(x) = x**3 - 15*x**2 + 14*x - 3. Let u be ((-5)/((-5)/(-28)))/(-2). Let g be p(u). Which is greater: i or g?
i
Let a = 7880823/74 + -106500. Let n be (-94)/(-185) + 4/(-10). Let g = a - n. Which is smaller: -0.3 or g?
g
Let c = 6 + -3. Let z = c - 7. Let l(y) = -y**3 - 4*y**2 - 2*y - 1. Let p be l(-3). Is p at least z?
True
Let r = 3385230/11 + -308007. Let h = r + 259. Which is bigger: 0 or h?
h
Let y = -15 - -17.7. Let f = y - 2.8. Which is greater: 1 or f?
1
Let z = -287 + 143. Which is smaller: z or -145?
-145
Let x = 6/1841 + -8846/454727. Is -1 >= x?
False
Let x = 5.7 + -7.75. Let t = x - -0.05. Let i = -782/3 + 262. Which is smaller: t or i?
t
Let f = -0.53 + 0.63. Let v = -0.6 + -0.1. Do v and f have different values?
True
Let y be (-3 - -1)/(-5 + 3). Let z(q) = 8*q**3 - q**2 + q - 1. Let t be z(y). Let u = 0 - t. Is -7 equal to u?
True
Let s = -18 - -24. Let h be (10/s - 1)/((-16)/344). Which is smaller: -14 or h?
h
Let p be (-8)/1*(5 + (-1808)/64). Is 186 less than or equal to p?
True
Let v = 7398 + -1072701/145. Which is smaller: 1 or v?
v
Let u(c) = 8*c**3 - 6*c**2 + 4*c - 4. Let i be u(2). Let s = 25 - i. Which is smaller: s or -18?
s
Let c be (-39*1/(-3))/(2/10). Suppose -c = 2*h + 3*h. Which is greater: h or -1/4?
-1/4
Suppose 19 = 53*u - 52*u. Is 20 less than or equal to u?
False
Let h(u) = -u + 2. Let i be h(-3). Suppose i*k = 2*n - 42 + 204, -5*n - 48 = -2*k. Let q be 2/k*(-6)/3. Which is smaller: q or -2?
-2
Let m = -71.021 + 0.021. Is m at most as big as 1?
True
Let r be (2/10)/(13/39)*-46. Is -28 greater than r?
False
Let y = 132 + -156. Is y > -21?
False
Let i = 424140 + -166944. Let p = -2305423/9 + i. Let v = p - 1039. Is -1 <= v?
False
Let r be 2/7 - 72/7. Let q be 15/r*(-4)/3. Suppose q*s = -0*s - 20. Is s less than -11?
False
Suppose -12 + 36 = -6*m. Which is smaller: m or 0.028?
m
Let y(o) = -o**3 + 5*o**2 - 3*o + 2. Suppose 1 = c + 3*m - 16, 2*c + 1 = m. Let g be y(c). Let u = -10 + g. Is 0.1 < u?
False
Suppose v - 96 = 5*v. Let r = -4 - 0. Let k be r - (-5)/((-20)/v). Is 3 less than k?
False
Suppose -3*x + 22 + 5 = 2*q, 0 = 2*q - 4*x + 8. Let s = 113/19 - q. Which is smaller: s or -1?
-1
Suppose 3*r = -4*r + 203. Let y = r - 28. Which is greater: y or -3/31?
y
Let q = 25.986 - -0.014. Let y = 12 - q. Let c = -13.9 - y. Which is smaller: c or 1?
c
Suppose 89*b + 300 = 91*b. Which is smaller: 149 or b?
149
Let n(j) = 1 - 3*j + 17 - 7*j - j**2 + 1. Let m be n(-9). Which is bigger: 27 or m?
m
Let n = -1.7 - 47.3. Let r = n - -36. Which is bigger: r or 1?
1
Let i(j) = -6*j**3 - 17*j - 1. Let z be i(-8). Let a = z - 41671/13. Is a less than 1?
False
Let w(i) = -3*i + 0 + 3 - i. Let o(p) = -p + 1. Let g(u) = -3*o(u) + w(u). Let f be g(-2). Which is bigger: f or -0.1?
f
Let k = 1.2 - 62.2. Let h = k - -60.7. Let n = -5.9 + 6. Which is greater: h or n?
n
Let o(c) = -93*c - 3. Let h be o(-1). Suppose -88*y + h*y = 16. Let m = -2 - -10. Is m <= y?
True
Let j = -120 + 24. Let c = -96 - j. Which is bigger: -8/11 or c?
c
Let s(f) = -47*f + 511. Let h be s(11). Which is smaller: 0.02 or h?
h
Let h be 2/(-14) + 696/168. Suppose h*t = -3*s + 18, s + 41 - 15 = 4*t. Which is smaller: t or 3?
3
Let d be (64/16 + -1*5)*1. Is d > -4/29?
False
Let l = -19 - -8. Let d = -4 - l. Is d less than or equal to 4?
False
Suppose 47*u + 1634 = -716. Which is smaller: u or -3?
u
Suppose 0 = -9*c - 346 + 49. Let y = c - -199/6. Which is smaller: y or 1?
y
Suppose -68*n - 2*n = -98210. Which is smaller: 1402 or n?
1402
Let i = -1.02 + 1. Let s(c) = c. Let u(q) = 3*q - 18. Let b(y) = 5*s(y) - u(y). Let l be b(-8). Is l > i?
True
Let w be 4/30 + (-3959)/36630. Is w greater than or equal to 0?
True
Suppose -10 = -2*l - 0. Let g be ((-6465)/432)/l + 3. Let v = -125/2736 - g. Is v > -1?
True
Let n = 23 + 1. Let h be ((-6)/n)/((-38)/32). Which is bigger: -0.1 or h?
h
Let z(b) = b**2 - 10*b + 12. Let m be z(9). Let w(x) = -x**3 + x**2 + x. Let i be w(0). Suppose -5*a = -3*j - 7, i*a = -m*j - a + 5. Is j bigger than 2/21?
True
Suppose -6*q + 25 = -q - 5*d, 0 = 5*q + 5*d - 35. Let y be q - 5 - (0 - (-1 - 2)). Which is smaller: -3 or y?
-3
Suppose 1891 = -3*l - 5*w, 2*w = -4*l + 5*w - 2531. Let g = -31601/50 - l. Is -1 != g?
True
Suppose 0 = 4*r + 5*d - 254, 1 = -d + 3. Is r greater than or equal to -2?
True
Let f = 6.88 + 0.12. Let m = f + -3. Which is bigger: 3 or m?
m
Let q(d) = d**3 - 10*d**2 + 5*d + 4. Let f be q(10). Let j = f - 93. Is -39 bigger than j?
False
Let n = -60 - -58. Let s be (-1*2 - n)*(-1 - -2). Let r be (-1 + 2 + -1)/(-1). Is r equal to s?
True
Suppose -2*k + 2 = -4. Suppose -39 = 2*h - 5*b, 0 = -h - 0*h - k*b + 8. Which is bigger: -20/3 or h?
-20/3
Let z = 1.552 + -5.552. Let n = 6 - 4. Which is smaller: n or z?
z
Let j = 4.28 - 4.41. Is j greater than or equal to -3?
True
Let s = 23454851/165 - 142150. Let x = s + -6/11. Which is smaller: x or 0?
0
Suppose 3 = -5*s - 7. Let d be (0*4/(-8))/(2/2). Is s greater than d?
False
Let w be (-9)/(36/28) + (-7803)/(-1115). Is -1 smaller than w?
True
Suppose 77 - 80 = 3*h. Let i be (-2)/8 + 774/3288. Which is smaller: h or i?
h
Let s = 2/241 - -200/33981. Is s bigger than 1?
False
Let z = 36.6 + -36.621. Are z and -8 non-equal?
True
Let w be 3 + -4 - 2 - -14. Let f be 1*-2 - -2 - (w - 12). Is