1). Let j = 880 + -880.948. Let l = j - -1.004. Are m and l equal?
False
Let y be 4/4 + (-1203)/(-27). Let c = 10277/225 - y. Which is bigger: c or 0.1?
c
Let y = 140 - 78. Let w be 50*20/400*124/(-5). Let c = y + w. Is c at least 5/4?
False
Suppose -v + 4*p - 212 = 0, -3*v = -3*p + 816 - 198. Let m be (-4)/8 + v/(-24). Suppose -j + 2 = -4. Is m >= j?
True
Let x(d) = -d**2 + 10*d + 11. Let o be x(11). Let b be 1 - o - (-2 - (-2930)/962). Let i = 4/37 - b. Is 0 at most as big as i?
True
Suppose -2*y = -2*v - 12, 2 + 1 = 4*y + 3*v. Suppose -3*o - 35 = 5*h - 10*h, -5*o = -25. Suppose -4*a = -x + 5, -y*a + h = 2*x - 0*x. Which is smaller: -1 or a?
-1
Let c(u) = -u**3 + 10*u**2 - 6*u + 14. Let o be c(9). Suppose o = -2*g - 9. Which is bigger: g or -101/4?
g
Let d(f) = 5*f - 8. Let m be d(-7). Let l = -2.131 + 3.131. Which is smaller: l or m?
m
Let d = 3369 - 3451.85. Let i = d + -0.15. Let l = i + 82.1. Which is greater: 3/4 or l?
3/4
Let z(v) be the first derivative of -16 - 8/3*v**3 - 1/4*v**4 + 8*v + 11/2*v**2. Let t be z(-9). Is t at most as big as -10?
True
Let a(u) = 175*u + 1472. Let p be a(-9). Let x(j) = -10*j**3 + j**2 + j + 2. Let o be x(-2). Let w = p + o. Are w and -20 non-equal?
True
Suppose -2*g - 5*l = -2612, -2*g + 1012 = 3*l - 1596. Is g at most 1298?
False
Let j(q) = -75 + 104 - 54 + 10*q. Let d be j(-5). Which is smaller: d or 2?
d
Suppose -2*a - 1287 = 259. Are a and -773 unequal?
False
Let l = 1148.3 + -53.3. Let w = -1035 + l. Is 2/9 smaller than w?
True
Let u = 144 + -222. Suppose -4*c = -3*j - 258, 4*j + 122 = -5*c - 160. Is u bigger than j?
False
Let k(a) = -8*a**2 - 36*a + 85. Let j be k(-6). Is j not equal to 193?
True
Let v be ((-27)/15)/((-90)/(-74850)). Which is smaller: v or -7488/5?
-7488/5
Let g(i) = i**2 + 4*i - 11. Let n(s) = 1 - 15 + 9 + 4 + s. Let a(v) = g(v) - 6*n(v). Let k be a(3). Which is smaller: k or 5?
k
Let l(n) = n**3 + 32*n**2 + 38*n + 71. Let w be l(-31). Let p = -174 - w. Suppose 4*o = 9 - 125. Which is bigger: o or p?
p
Let c(l) = l - 8. Let r be c(19). Suppose -42 - 46 = r*t. Let h = 4.4 + -4. Which is smaller: h or t?
t
Let v be 4 + (386/183 - 6). Are v and 1 non-equal?
True
Let l = -197.9758 + 198.2. Which is greater: -2 or l?
l
Let o(t) = 18*t - 34. Let c(j) = -40*j + 75. Let x(q) = -6*c(q) - 14*o(q). Let f = 0 + 4. Let r be x(f). Which is bigger: -21 or r?
-21
Let n be ((-805)/490)/((-2)/636) - 6/14. Is n <= 1.2?
False
Let q = 20152 - 20204. Suppose 3*y + 153 = 2*u, -3*u + 82 = 3*y + 250. Which is bigger: y or q?
q
Let h(t) = 8*t**2 + 12*t**2 - 16*t + 125 + t**2 - 20*t**2. Let u be h(19). Which is smaller: 181 or u?
181
Let l = -282 + 314. Let z be ((-36)/(-8))/(5 + (-161)/l). Is -144 at least as big as z?
True
Let y(q) = q**3 - 4*q**2 + 5*q - 1. Let d be y(2). Let b be (5 - 29)/(-6)*d. Let n = -4 - -7. Which is smaller: b or n?
n
Let f = -4/753 - 22282/57981. Is -1 > f?
False
Let v = -470 + 602. Let k = v + -156. Which is bigger: k or -28?
k
Let k = -8540 - -9073. Which is bigger: -5 or k?
k
Let w = 13.2476 - 0.2376. Let v = -13 + w. Let f = 962 - 956. Is v greater than or equal to f?
False
Let w be (-970)/(-90) + (-15 - 1 - -5). Is -6909 at least w?
False
Let q be (-1 + 1)/(-59 - -58). Which is smaller: -2/13277 or q?
-2/13277
Let c be (-9)/2*(-56)/126. Suppose 99 - 41 = 2*y. Suppose -1 - 12 = -q - w, -c*q + y = -w. Which is bigger: q or 13?
q
Let k(i) = -i**3 - 3*i**2 - 2*i + 14. Let s be k(-4). Suppose 2*b = p - 3*p + s, 2 = 2*p. Which is greater: 17 or b?
b
Let w(y) = -y**3 - 18*y**2 + 114*y + 16. Let o be w(10). Is o greater than -6579/4?
True
Let n = 261.3 - 262.3. Which is smaller: n or -15?
-15
Suppose -77 = -5*p - 2*p. Let f = p + -6. Suppose 3*v - 4*v = -3*i + 24, f*v - 6 = i. Is i < 8?
False
Suppose 6*w - 9*w = -18. Suppose 30 = -4*r + w*r. Let b = -6 + r. Is 8 greater than or equal to b?
False
Let o(v) = -v**3 - 7*v**2 - 8*v - 6. Let y be o(-6). Suppose 10*z - 135 = -75. Suppose 2*j = 2*f, f - y = -z*j + j. Which is smaller: 2/23 or f?
2/23
Let g = -13556 - -13554. Which is bigger: g or -16/27?
-16/27
Let f = 212 + -272. Let m = -538/9 - f. Is m at least 2?
False
Let j be ((-30)/(-50) + 1918/10)*5. Which is smaller: j or 963?
j
Suppose -o - 515 = -0*o. Let g = -9308.72 - -9309.72. Which is greater: o or g?
g
Suppose -5*i = -9*i + 4. Let n(l) = -2*l**3 + 4*l - 3. Let c be n(1). Let j be ((-28)/12 - c)*(-9)/(-152). Is i < j?
False
Suppose -2*a - 3*n - 100 = 0, 2*a + 56 = -n - 52. Suppose t - 113 = -5*b - 10, -4*t = -12. Let l be ((-12)/105)/((-8)/b). Is a smaller than l?
True
Let b(a) = 138*a**2 - 8*a + 8. Suppose 2*p = -z + 4*z + 1, 0 = 3*p - 6. Let t be b(z). Which is smaller: 139 or t?
t
Suppose -36*t + 31*t = -35. Let r(b) = 0 + 6*b - t*b + 14 + 9*b. Let c be r(-2). Is c <= -8/11?
True
Suppose -4*t + 2*t + 8 = 0. Suppose 0 = -7*c + t*c + 3. Let k be ((-54)/33)/2 + c. Which is smaller: 0 or k?
0
Suppose -4*t = -3*t - 0*t. Suppose -17*i - 2836 - 20 = t. Are -169 and i equal?
False
Let v be ((-5715)/12)/(-5) - (-6)/(-24). Suppose 13*u + v = 17. Let p = u - -22. Is 16 greater than p?
False
Let a be (-15 + (-1368)/(-88))*96/2. Which is greater: 25 or a?
a
Let f = 0.7 + -1.3. Let r = -0.11 - -0.81. Let t = r + f. Which is smaller: t or -2/27?
-2/27
Let s = -0.956 - -1.156. Is 0.358 greater than s?
True
Let b be (-2)/(-1 - 118/(-14)). Suppose 78 = -13371*z + 13449*z. Does z = b?
False
Let z = -95 + 95. Let g be 408/(-136)*(-2)/(-50). Is g < z?
True
Suppose -23*l + 2*p + 40 = -21*l, 5*l = 2*p + 91. Suppose -3*c = -24 - 6. Suppose -c = -g + 9. Which is smaller: l or g?
l
Let n be (0 + (1 - 0))/(-1). Let v = 556204/21 + -79459/3. Does v = n?
False
Suppose -3*i + 3*k = -3, 4*i + 68*k = 71*k + 3. Let h = -375546503/10909580 - -3/128348. Let p = 173/5 + h. Is p smaller than i?
False
Let p(w) = w**2 + 3*w - 2. Let l be p(-3). Let m be -5 + l/(-2)*-1. Let b be (908/(-681))/(14/75). Is b less than m?
True
Let n be (-12)/30 - (-36)/(-10). Let g = 3991598210/627 + -6366182. Let p = 2/209 - g. Which is greater: p or n?
p
Let s = 1028.2 + -1025.2. Let x = 0 - -2. Let r be (-1)/x*(3 + -15). Which is smaller: s or r?
s
Suppose -4*n + 20 = 4*y, 5*n - 2*y - 6 = 12. Let f(u) = -23*u + 4. Let w(z) = -11*z + 2. Let g(c) = n*f(c) - 9*w(c). Let r be g(2). Is 10 bigger than r?
False
Let m = 8 - 9. Let d be (m/(-2))/(44/(-88)). Which is bigger: -3/94 or d?
-3/94
Let z be 209/33*(5 - (6 + 0)). Suppose 2*u + 10 = -2. Which is bigger: z or u?
u
Let f be 136/(-5372) + (-1826573)/(-553). Is f not equal to 13209/4?
True
Let p be 0/(-3 - (-1 + -1)). Let a be 0/(-1) - (-1 + p). Suppose 4*o = -5*c - 1 + 10, 0 = -2*c + o + a. Is c >= 1/9?
True
Suppose -9*q + 218 = 83. Let h be (q/10)/(9/330). Which is greater: 2 or h?
h
Let q be 3/(-19)*(-4 + 126/35)*10. Suppose 0 = -3*p + w - 6 + 1, -p + w = 5. Which is smaller: q or p?
p
Let n = -0.9 - -0.7. Let r = -7952 - -7953.48. Which is bigger: r or n?
r
Let f = 402 + -891. Which is smaller: f or 2?
f
Let t be (-2)/(-3) + (-20)/21. Let l be (-2 + 4 - 4)/((-2)/(-14)). Let d be ((-6)/(-10))/(l/140). Which is bigger: t or d?
t
Let i be 2 - (-636142)/90870 - (1 + 8). Is 3 at most as big as i?
False
Let h(l) = -7*l**2 + 6*l + 2. Let j(s) = -4*s**2 + 2*s + 1. Let o(m) = -3*h(m) + 5*j(m). Let i be o(9). Which is smaller: i or -7?
-7
Suppose -23 = 2*z + 5*d, 16 = -4*z + 5*z - 3*d. Let o = 42 + -27. Let x = 11.8 - o. Is z <= x?
False
Suppose -30*q = -225*q - 303615. Is q smaller than -1561?
False
Let t(u) = -u - 14. Let h be t(-8). Let o be 44/(-11)*(-2 + (-13)/h). Which is greater: 2/93 or o?
2/93
Let i = -195 - -199. Suppose i*t - 1485 = -t + 2*r, 0 = 4*r + 20. Which is bigger: t or 296?
296
Let w be ((-7020)/(-2080))/(402/(-88)). Which is smaller: -2 or w?
-2
Suppose 9*n = -11*n - 140. Let p be (14/(-60))/(n/14*-1). Is 0 at least as big as p?
True
Suppose -3*w + 10*w - 1127 = 0. Let v = w + -165. Is -5 smaller than v?
True
Let s = 6979.4 - 7065. Is -3 less than or equal to s?
False
Suppose -3*b + 11 = 2*j - 2*b, 4*j - 4 = 4*b. Let n be (-1 - -1 - (-14)/j)*6. Let o be 4020/(-13335) - 3*(-2)/n. Is 1 smaller than o?
False
Let u = -102.019 - -4.019. Is u greater than or equal to 27?
False
Let x = 753 + -712.025. Let p = x + 0.025. Let q = 43 - p. Which is smaller: q or -1/5?
-1/5
Su