l at least m?
True
Suppose 0 = y - 3*r - 4 + 1, -y - 5*r - 5 = 0. Suppose 4*d - d + 4 = -4*b, y = 5*d + 5*b + 5. Let c = -50 + 349/7. Which is greater: d or c?
d
Let p = -23448 + 23448. Is 37/236 > p?
True
Let l be ((-2)/(-6227))/((-204)/(-884)). Which is greater: l or 0?
l
Let u = 15500 - 15499.8318. Which is smaller: u or 3?
u
Let k be (-30)/100 + 1364/280. Which is bigger: 0.02 or k?
k
Let y(w) = w**2 - 82. Let h be y(0). Let k(q) = 161*q**2 + 7094*q + 360. Let z be k(-44). Which is smaller: z or h?
h
Let v be ((-3458)/95 - -9) + (-4)/(-10). Which is smaller: v or -29?
-29
Let v be 2372/14 + 3276/(-98) + 34. Which is smaller: v or 1185/7?
1185/7
Let a be ((-105)/(-45))/(2/30). Let p = -28 + a. Let i be -1*p/(175/10). Is i >= 1?
False
Suppose 4*d = 6*d + 5*m - 12, m = -2*d + 4. Which is greater: d or 9/1898?
d
Let v = 12.63 - 8.63. Are 22/7 and v non-equal?
True
Suppose -20*v - 14*v - 2 = -32*v. Do v and -24/11 have the same value?
False
Let c = 31559.22 - 31563. Which is bigger: -1.4 or c?
-1.4
Let z = 4729 - 413. Which is smaller: -1 or z?
-1
Suppose -199*k + 196*k + 81 = 0. Suppose 15 = -n + k. Which is bigger: 15 or n?
15
Let h = -227.8 + 41.8. Let n = 223 + h. Which is bigger: -2 or n?
n
Let l(c) = -c**3 + 13*c**2 + 12*c - 25. Let t be l(12). Let j = t + -262. Is j at least as big as 2/571?
True
Let o be (12/(-5))/(13/(-325)). Suppose 5*l - 3*r - o = 0, -5*l + 4*r = -51 - 14. Let x = -44 - -50. Which is bigger: l or x?
l
Let n = -95638 + 95643. Let w = 107 - 751/7. Is n less than or equal to w?
False
Let v(r) = 5*r**3 - 5*r**2 + r + 6. Let m be v(3). Let u(f) = 5*f**2 + 4*f - 9. Let b be u(-5). Is b != m?
True
Let p = 310347665917/3097 + -100209126. Let z = p + 4/163. Does 2 = z?
False
Let h be ((-11)/22)/((3/(-366))/1). Let z = -52 + h. Suppose -z*o + 1 = 10. Is o > 1/7?
False
Let u(b) be the third derivative of b**5/20 - 2*b**4/3 - 11*b**3/6 + 75*b**2. Let j be u(6). Are j and -1 non-equal?
True
Let a = 10301 + -10225. Is a at least 14?
True
Let a = -2963 - -8860/3. Which is smaller: 33 or a?
a
Let t be 1/(-4) - (663729/(-1106388))/(-11). Let i = t + 4/1263. Let a = -1576/4745 - i. Is 0 less than a?
False
Let h = 194 + -206. Let x(z) be the first derivative of -z**3/3 - 11*z**2/2 + 10*z + 20. Let b be x(h). Is -3 > b?
False
Let t(o) = -o**2 - 10*o - 21. Let q be t(-6). Let s be -1*(0/7 - q). Which is bigger: s or 44/21?
s
Suppose 0 = -5*v + b + 5104, -v + 0*v + 5*b = -1040. Suppose 5*l - 240 = v. Let m be -5 + 1 - l/(-64). Does -1 = m?
False
Let z(i) = -i**3 + 10*i**2 + i + 1. Let k(x) = -4*x**3 + 29*x**2 + 4*x + 4. Let b(g) = -2*k(g) + 7*z(g). Let u be b(0). Which is smaller: 2/405 or u?
u
Let o(f) = -f**3 + 14*f**2 - 12*f - 14. Let k = 310 + -297. Let i be o(k). Is i < -2/5?
True
Let i be (-1*65/104)/(-1 - 6). Which is greater: i or -1?
i
Let z = -230.5 + 230. Which is smaller: z or 0.1548?
z
Suppose 65 = 3*m - 40. Let i(l) = l**2 - 29*l - 209. Let d be i(m). Which is smaller: d or 1/683?
1/683
Let r be (-12)/(-18)*(-6)/74. Let p = -46 + 72. Let a be p/(-91) - (-16)/7. Which is smaller: a or r?
r
Let u(s) = s**3 - 32*s**2 - 68*s + 73. Let b = 426 - 392. Let z be u(b). Which is smaller: 372/5 or z?
z
Let f be (-3)/(-6) + 7435/30. Let d = 252 - f. Let a = -3 + d. Which is bigger: a or 13?
13
Let t be 7/(-2)*(-22)/7. Suppose 10 = 3*r - t. Is 17 at least r?
True
Let s(q) = -7*q**2 + 248*q + 137. Let v be s(36). Which is smaller: v or 585?
v
Let h(m) = -3*m**2 + 8*m + 17. Let g be h(-4). Let v be (-9)/15 + g/45. Which is greater: 5 or v?
5
Suppose 0 = 5*o - c, 3*o - 5*o + 4*c = 18. Which is greater: o or 134/59?
134/59
Let y = 271 - 47. Let c = 224.02 - y. Which is smaller: -6 or c?
-6
Suppose -6*m = -4*m + 5*m. Suppose 5*b + 9 + 1 = m. Let z = -87 - -80. Is z equal to b?
False
Let p be 2/9 - (-1456)/(-72). Let u be 309/(-15) + 8/p. Let s = -19 - u. Which is bigger: 7/3 or s?
7/3
Let c be (-81)/15 + 33/(-55). Let r = 138 + -138. Which is greater: r or c?
r
Let h = -37489 + 37491. Which is smaller: h or 68/79?
68/79
Let f = -9079 - -9078.96. Let l = -13.22 + 0.22. Which is bigger: f or l?
f
Let l(r) be the second derivative of r**5/24 + r**4/4 - 5*r**3/2 - 16*r. Let k(q) be the second derivative of l(q). Let w be k(-9). Which is smaller: w or -2/5?
w
Let v(p) = -p**3 - 13*p**2 - 92*p - 1156. Let f be v(-12). Which is smaller: f or -40?
f
Suppose 6*h - 208 = -10. Suppose 3*g - 2*g - 3*k = 3, -2*k - 2 = 3*g. Is g > h?
False
Let v = 25454 + -172859/7. Which is smaller: 760 or v?
v
Let v(i) = -147*i + 1222. Let j be v(8). Is j less than or equal to 44?
False
Suppose -3*j = 4*m + 9, -9 = -0*m - 5*m + 3*j. Suppose 4*t - 2*c = 38, -2*t + 5 + 4 = c. Let f be 1 + t/(7/(-4)). Which is greater: m or f?
m
Suppose 0 = -36*t - 4*t - 4726 + 83646. Is 1972 at least as big as t?
False
Suppose 146*b - 138*b = 32. Suppose -4*l = -3*z + 41, b*z - 2 = -l + 21. Do -4 and z have different values?
True
Let w = -9 + 10.6. Let u = -131 - -219. Let j = 87 - u. Is w greater than j?
True
Let y(d) = -6*d**2 + 28*d + 10. Let t be y(5). Which is bigger: t or -1/4300?
t
Let p = 452/1165 + 14/1165. Which is smaller: -3287 or p?
-3287
Let g(t) = 126*t - 21. Let q be g(1). Let h be ((-2944)/7)/4 + 0. Let x = q + h. Is 6 != x?
True
Let o = -7529 - -7527. Is o >= 34.99?
False
Suppose 8*i = -5*u - 638, 629 = -5*u + 1121*i - 1120*i. Are -93 and u nonequal?
True
Let r = -84 - -79. Suppose -8*d + d + 301 = 0. Let z = -46 + d. Is r >= z?
False
Suppose -2*t = f + 117 + 361, -4*f = -t - 239. Let i = 351 + t. Let r be 29/(-28) - (-32)/i. Is r bigger than 2/5?
False
Suppose -2*p = q + 52, -q = 4*p + 2*q + 102. Let d be (-6)/p - (329/144 - 2). Is d less than -1?
False
Let v(x) be the first derivative of -x**3/3 - 7*x**2 - 19*x - 5. Let n = -86 + 73. Let t be v(n). Which is greater: t or -5?
-5
Let f(g) = 212*g + 1705. Let y be f(-8). Which is smaller: y or 17/2?
17/2
Let f(j) = -j**2 - 21*j - 24. Let a be f(-20). Let y be a - 150/(-45)*(-14)/(-12). Which is bigger: -0.23 or y?
y
Let g = 45.016 + -45. Let c = -24.016 + g. Let h = 10 - 11. Are h and c nonequal?
True
Let o = -1694 + 1122. Is o at least as big as -569?
False
Let p be (-4)/(-6) + (-35)/3. Let x(d) = -17*d + 107. Let h(c) = -2*c + 11. Let j(r) = 9*h(r) - x(r). Let a be j(p). Do a and 2 have different values?
True
Let w = -68 + 19. Let m = w - -37. Which is smaller: m or -9?
m
Suppose -10 = -5*j - 0*j - h, -5*h = 5*j - 30. Let c be (-45 + -99)/(j/1). Is c >= -145?
True
Let f be ((-6)/(-4635))/(21/35). Suppose 2*h = -4*x + 18, 0 = 2*h + 3*x - 13 - 0. Which is bigger: f or h?
f
Let c(x) = 28*x - 141. Let w be c(5). Is w at most 8/165?
True
Let j be (202/(-10) - 1)*-5. Let p(y) = 11*y + 598. Let b be p(-54). Suppose u - 5*d + 70 = 171, b*d - 216 = -2*u. Is j less than u?
False
Let i = -21717 - -21667. Let h(b) = -b**2 - 5*b - 9. Let n be h(-6). Let p be ((-144)/45)/((-1)/n). Which is greater: p or i?
p
Let c = -91 + 90.957. Let n = c + -20.957. Which is smaller: -3/7 or n?
n
Let q = -49001.6 - -49002. Let d = 35 - 60. Which is bigger: q or d?
q
Let v = 1445/12 - 1441/12. Is 2310 smaller than v?
False
Let a = 155 - 159. Let u(w) = -7*w**2 - 5*w - 33. Let l be u(a). Which is smaller: l or -126?
-126
Let t be (-3)/7*90/(-27). Let n = t + -36/35. Suppose -13*r - 399 = -100. Is n at least as big as r?
True
Let v(p) = -4 - 3748*p + 3767*p + 19 + p**2. Let x be v(-11). Let n = 37 - 110. Are x and n non-equal?
False
Let i(l) = -l**2 - 11*l + 2. Let u be i(-24). Let x be (-5)/u*(0 - 4). Let g(t) = -t**2 - 3*t + 1. Let z be g(-3). Is x < z?
True
Let p be 8 - 15356/(-55)*-10. Which is smaller: -2786 or p?
-2786
Suppose -25*r - 7*r + 6*r = 17446. Is r <= -673?
False
Let k = 8 + 13. Let y(r) = -k*r + 0 - 4 + 11*r + 9*r. Let h be y(4). Is h <= -9?
False
Suppose -5*s + 5*v = -0*s + 35, 4*s = 2*v - 24. Let o(j) = j**3 + 9*j**2 + 20*j + 5. Let p be o(s). Let y be ((-1)/(-4))/(6/104). Is p at least as big as y?
True
Let q = -2.7 - 0.7. Let a = -0.8 + q. Let b = -4.2 - a. Which is smaller: b or -8/3?
-8/3
Let w(z) = 2*z**3 + 3*z**2 + 11*z + 83. Let u be w(-4). Is u greater than -41?
False
Let a = -59/43 + 134/129. Are 0.02557 and a unequal?
True
Let f = -176 - -176. Suppose 4*d - 4*k + 28 = f, 2*d - 18 = -3*k - 22. Do d and -74/15 have differ