 23*p**4/12 + 26*p**3/3 + 13*p**2 + 4*p - 4. Let n be x(-25). Is -20 > n?
True
Let b = -190.305 + 183. Let h = b - -0.185. Let i = h + 0.12. Is i greater than or equal to -2/3?
False
Let d be (-742)/(-19822)*4*1. Which is bigger: d or 0?
d
Let t = 1831/87 - 334187/435. Which is smaller: -748 or t?
-748
Let g be ((-139314)/1085)/(6/40). Is -2572/3 not equal to g?
True
Let q = 0.0617 - 0.0487. Which is smaller: q or -2/13?
-2/13
Suppose -3*q - 15 = -156. Let i = q + -69. Suppose 28*t + 3*p = 24*t - 81, 67 = -3*t + 4*p. Is i >= t?
False
Let t = 446 + -451. Let d be (-5 - t/10)*-24. Is 107 not equal to d?
True
Let c = 2563 - 17975/7. Let d = -1466 - -1466. Which is greater: d or c?
d
Let i = -0.898 - 0.132. Let v = -24085 + 72253/3. Is v >= i?
True
Suppose -4*b + 143 = -15*b. Let v = -13 - b. Which is smaller: v or 3/32?
v
Let p = -22 + 11. Let m be 38/(-20) - p/(-110). Is m less than 24?
True
Let h be ((-637)/9555)/((-1)/(-5)). Suppose 0 = -b + g - 4*g - 14, 5*b + 4*g = -15. Which is smaller: h or b?
h
Suppose 0 = -o - 5*k - 19, 0 = -o + 9*k - 4*k + 21. Let y be (-43 + 42)*(1 - o). Which is greater: y or -1/112?
y
Let b = 27119 + -51459/2. Is 1391 at least b?
True
Let c be 248994434/(-124410) + (-6)/10. Let s = -2002 - c. Let p = 12433/3828 + s. Which is greater: 2 or p?
p
Suppose n + 201 = -4. Let s = 200 + n. Is -1.9 equal to s?
False
Let f = -2044 + 2051. Which is smaller: f or -118?
-118
Let c = -146 + 559. Let p = 309 - c. Which is greater: p or -0.1?
-0.1
Suppose -4*b + b = -483. Let d(u) = u**3 - 4*u**2 - 35*u + 73. Let k be d(9). Are k and b equal?
False
Let a = 3194 + -2208. Which is smaller: a or 987?
a
Let z be 50/(-175) - 4/(-14). Let b be 6/34 + z/(-4). Let g(f) = -2*f + 3. Let h be g(2). Which is bigger: b or h?
b
Suppose -2*s = 5*i + 2, 23 - 18 = -4*i - 5*s. Which is bigger: 1/2677 or i?
1/2677
Let u(p) = p**2 - 2*p - 9. Let g be u(15). Let t = g + -12094/65. Which is smaller: t or -1?
-1
Let h be (-1485)/15 + -6 + 3 + 4. Is -103 bigger than h?
False
Let y = 104 - 726/7. Let j = 16 - 18. Let w be (-4)/(-6) + j + 1. Which is bigger: y or w?
y
Suppose -p - 78 + 9 = 0. Let o be -25*3 - 18/(-3). Is p bigger than o?
False
Let j = -273.95 + 273.25. Is 1188 at least as big as j?
True
Let z = 45048 + -45035. Suppose -5*s - 44 = 3*q - 11, -4*s - 6 = -q. Let l be 2 + 3/q*1. Which is greater: z or l?
z
Let u(a) = -a**2 - 30*a - 56. Let m be u(-28). Let w be m + (-2)/(-8) + (-6)/(-8). Let d be (2/(-3))/(4/6)*w. Which is greater: 3/14 or d?
3/14
Suppose -60924 + 39368 = 71*m + 57183. Which is smaller: -1113 or m?
-1113
Let s = 1.6 + -1. Let y = 669 - 666.4. Let n = y - s. Which is smaller: n or -12?
-12
Let z = -0.11269 + 0.17869. Is 3/10 less than or equal to z?
False
Suppose -2*j + 3*v = 1589, -v = 4 - 9. Let b = -2335/3 - j. Which is smaller: 9 or b?
b
Let a(z) = -11*z + 49. Let q be a(6). Let t = -16 - q. Let s be -2 + (620/(-66))/(-5). Which is smaller: s or t?
s
Let k be ((-60)/(-80))/((-72)/(-96)). Are k and 11/147 non-equal?
True
Let j = -10805 + 10657. Which is bigger: j or 8?
8
Suppose -109 + 34 = 5*z. Let c be ((24/z)/4)/(12/(-30)). Suppose 7*y - c = 20. Is -1 > y?
False
Let o(l) = -l**2 + 38*l - 79. Suppose -11*h + 7*h + 140 = 0. Let d be o(h). Which is smaller: 7 or d?
7
Let m = -1100 - -749. Let a = -5970/17 - m. Let j(x) = x**3 - 3*x**2 + 3*x - 9. Let p be j(3). Is a > p?
False
Let c be ((-8)/((-8)/2))/2. Suppose -2*b + 18 = 2*k, 4*b + 0 - c = k. Suppose -10*t + k*t + 9 = 0. Which is smaller: 0 or t?
0
Let j(k) = k**3 - 8*k + 9. Let c be j(3). Let r be 0/(c/((-3)/1)). Which is smaller: r or 8/9?
r
Let d = -4167 + 4169. Which is smaller: d or 47/67?
47/67
Let f = 0.16305 + -0.07695. Which is greater: f or -1?
f
Let k = 19539341/273 + -214607/3. Let s = k + -258/7. Which is smaller: s or 0?
0
Let x = 107969/11 + -9783. Are 33 and x unequal?
True
Suppose 0 = 5*q + 2*y - 3, -4 = -y + 5*y. Let r be (-1190)/450 - (-1)/5. Which is smaller: q or r?
r
Let q = -11 + 13. Let z be q - 0 - (-36 - -11). Are z and 26 equal?
False
Let t = 275 + -272. Let w be (-5 + 4)*t + -21. Are w and -26 nonequal?
True
Suppose 4*i + 61*f - 297 = 56*f, -2*i - f = -153. Suppose 0 = -v - 3*v. Suppose 3*z - 3*k = -9 - i, v = -2*z - 2*k - 38. Is -24 bigger than z?
False
Let b = 415 - 376.8. Let o = b + -38.2. Let i = -0.039 - -22.039. Which is smaller: o or i?
o
Let n be (19/(684/(-24)))/((-6)/9297) + 0. Is 9310/9 at most as big as n?
False
Let v = -0.273 + 4.933. Let t = 0.36 - v. Let r = -0.9 - 0.1. Which is smaller: t or r?
t
Let o(c) = c**3 - 166*c**2 - 1374*c - 348. Let i be o(174). Are 2784 and i non-equal?
False
Let z = 540056/27 + -20002. Let x(p) = -p - 10. Let n be x(-11). Which is bigger: n or z?
n
Suppose -5*r = 1 + 4. Let x be -1*(-24)/19*27/((-1053)/26). Is x greater than or equal to r?
True
Suppose -3*z - 2*k = -1082, 1796 = 3*z + 2*z - 4*k. Suppose 352*s - z*s = 440. Is -279/5 < s?
True
Suppose -2*k = -2*y - 36, -4*k - 3*y = 2*y - 45. Suppose -17 = 3*p - 4*q, 2*q = -5*p - 0*q + k. Let f = -3414/341 - -108/11. Is p >= f?
True
Suppose 6*f + 168 = -f. Let y be f/(-42) + 25/(-7). Let i be -2 + 45/20 - y/4. Which is smaller: -1/9 or i?
-1/9
Let s = -21902 - -766568/35. Is -0.06 smaller than s?
True
Suppose -3*c - 7 = q - 2*c, -1 = -2*q + 3*c. Let x(j) = 2*j + 6. Let i be x(5). Let y be (-20)/(-6)*(-24)/i. Which is smaller: q or y?
y
Suppose 10*v - 3019 = 4381. Which is greater: v or 742?
742
Suppose 4*n + 4*x + 12 = 0, -2*n - 6*x + 9 = -7*x. Let r(g) = 4*g + 11. Let w be r(-6). Let u be 4/(-3 + w)*-9. Which is bigger: u or n?
u
Let y = 100 - 99. Let v be (806/(-15) - 2)*3/(-2). Let f = -83 + v. Is f greater than or equal to y?
False
Let v be (-39240)/(-14) + (2 - 2). Let p = 5496 + -2685. Let j = v - p. Which is bigger: -7 or j?
-7
Let v = -7104 + 6419. Is v at least -678?
False
Suppose 0 = 4*l - 4*y + 1628, 5*l - 16*y + 2019 = -19*y. Is -1 at least l?
True
Let x = 1.5612 - -652.8388. Which is bigger: 1 or x?
x
Suppose 4*i + 4*v - 36 = 0, 2*i + 22*v - 12 = 18*v. Let f(u) = u**3 - 11*u**2 - 11*u - 24. Let j be f(i). Is -13 smaller than j?
True
Let r = 34480/7 - 4932. Let t be 12/18*(-6)/(-16). Is t less than r?
False
Let j = -720399/140 - -5146. Let r = j + -3/70. Which is bigger: r or -153?
r
Suppose 5*y + 5*i - 10 = 6*i, -3*i - 18 = -3*y. Let k be (2/(-6))/(13/117). Let l be (-14)/2 - k - -3. Which is smaller: y or l?
l
Let c be ((-38)/(-8) + (-18)/72)*58. Let l be (-1)/(-2) + c/58. Suppose d = 4 - 3. Is d != l?
True
Let q(h) = h**2 - 2*h - 4. Let j be q(6). Let l = 436/85 - -9698/595. Are j and l non-equal?
True
Let w = -88785/4 - -22899. Which is smaller: 703 or w?
w
Let k(g) be the second derivative of 4/3*g**3 - 22*g + 0 - 11/12*g**4 + 15*g**2 + 1/20*g**5. Let c be k(10). Are 44/5 and c nonequal?
True
Let d = -63.732287 + -0.267713. Let i = -0.01 - -3.01. Which is smaller: d or i?
d
Let h be (815/18)/((-21)/364). Let i = h + 785. Let j = i - 109/297. Is j less than or equal to -1?
False
Let g be (-3)/7*((-9)/(-36) - 14/24). Let u = 10 + -14. Let f = -5 - u. Which is greater: g or f?
g
Let n = -122 - -123.25. Let h = n + -1.05. Are 9/10 and h equal?
False
Suppose -104 = -0*n + 2*n. Let z(g) = -3*g**3 - 8*g**2 + 5*g. Let i be z(2). Let v = i - n. Is v < 3?
False
Let k(g) = 10*g**3 - 2*g**2 - g. Let i be k(-1). Let f be (-8)/(-17)*(33/12)/i. Which is smaller: 0 or f?
f
Let w be 4 - -202*2/(-100). Let r(x) = -x - 4. Suppose -66 = 12*a - a. Let y be r(a). Which is bigger: w or y?
y
Let o = -5.99 - -5.996. Let f = o - 1.006. Which is greater: f or 103?
103
Suppose -7*m + 224 = 42. Suppose 5*z + 11 = -9. Let w be (-6 - m/z)/(1/6). Which is smaller: 9 or w?
w
Let z be (1 - (-5 + -75))*-1. Let h be 66/5*(-540)/z. Is h greater than 90?
False
Let m be 2/(-3)*(-4 + (-5 - -6)). Let o(q) = 14 - q**3 + 0*q**2 - q**2 + 0*q**2 - 5*q**m + 2*q. Let u be o(-6). Which is greater: 14/11 or u?
u
Let y = 134 - 146. Let f be 536/(((-18)/y)/(1/(-2))). Which is smaller: f or -180?
-180
Let s = -186 - -189. Let i(k) = -36*k**2 - 4*k + 17. Let x be i(s). Is x bigger than -319?
False
Let i = -2.147 + -13.853. Which is bigger: i or -71?
i
Let a(l) = 3*l**2 + 18*l - 73. Let i be a(-11). Is 832/9 < i?
False
Let i = 4107.28 + -3734.1. Let m = 373 - i. Which is greater: -0.2 or