ive of l**6/20 + l**5/2 + l**4/24 + 5*l**3/6 + 16*l**2. Let g be q(-5). Let r be (-3 + 77/26)*-4. Is r at most g?
False
Let i(d) = -3*d - 2. Let v be i(-3). Let m(b) = 2*b**2 - 3*b**2 + 2*b**2 + v + 13*b. Let y be m(-8). Is -33 >= y?
True
Let j = -8 + 3. Let b(i) = -3*i**3 + 725*i**2 - 472*i - 2421. Let o be b(241). Which is greater: o or j?
j
Let n = -0.01 + -0.39. Let p = 31476 + -31479. Which is smaller: n or p?
p
Suppose 52*m = 33*m + 779. Suppose -2*w + g = -0*w + 23, -2*w = 5*g + m. Is w smaller than -6?
True
Let h(g) = -106*g - 88. Let w be h(-1). Is w greater than 20?
False
Let u = -144.1755 + 144.52. Which is smaller: u or -3/4?
-3/4
Suppose -141*s - 10852 - 1274 = 0. Which is greater: s or -73?
-73
Suppose 19 = -6*i + 73. Suppose 4*u - 4*h + 12 = 0, 3*u - h = h - 8. Let m be (-8)/u + (-5 - -1). Which is greater: i or m?
i
Let k(l) = l + 12. Let p be k(-11). Let n be (8 - 10) + 26*p. Let u = -2756 + 2781. Is u >= n?
True
Let v = 22 - 21. Let z = 5774 + -98166/17. Which is smaller: v or z?
z
Let w = -8025/4 - -85355/44. Which is smaller: w or -65?
w
Let p = -404.7204 - -405. Let g = -0.0064 - p. Which is smaller: g or -1?
-1
Let f be (2/(-4))/((-17)/(-29206)). Let x = 22331/26 + f. Suppose 2*y - 1 = -3. Is x greater than y?
True
Let v = 0.2 + -0.1. Let a(l) be the first derivative of -l**2/2 + 15*l - 57. Let w be a(14). Is w >= v?
True
Let j be ((-1098)/(-66) - 17) + (-1 - -1). Which is smaller: -13/3 or j?
-13/3
Let b = 70265/9 + -7815. Let h = -12/185 + 406/555. Do b and h have different values?
True
Suppose x + 180 = 23. Let h = 156 + x. Which is bigger: 1/153 or h?
1/153
Let j(o) = -212*o**2 + 19 - 10*o + 433*o**2 - 4*o - 219*o**2. Let k be j(6). Is k smaller than 9?
True
Let d be (675/342 + -2)*(1 + -7). Suppose 2*q - 2*p = 22, p + 35 = 7*q - 2*q. Suppose g = -2*t + q*t + 5, -t + 3*g = 15. Are d and t nonequal?
True
Let r be (53 + -14)/((-14)/(-7914)) + (-14)/98. Is r < 22046?
False
Let k = 832.56 + -832. Which is greater: 7/3 or k?
7/3
Let y be 3/((-27)/(-69)) - 4/6. Suppose y*r - 5*r = 62. Does r = 61/2?
False
Suppose -5*w = -2*l + 303, l - 125 + 4 = 2*w. Does w = -54?
False
Let q(w) be the second derivative of -w**4/12 - 5*w**3/3 + 3*w**2/2 - 22*w. Let n be q(-10). Suppose -g + 4 = n. Is g >= 1/94?
True
Let o = -10388 + 10669. Is o > 0.09?
True
Let r(l) = 17*l - 17. Let y be r(-5). Let v = -108 - y. Let n be 2 - ((-5)/1 - v). Which is smaller: n or 4/11?
4/11
Let a(i) = i**3 - i**2 - i + 98. Let t be a(0). Suppose -94*v = -t*v. Suppose -4*r - 5 = 3*s, -3*s + s = -r + 7. Is r >= v?
True
Let a(o) = o - 5. Let w be a(7). Let c be (4/(-1))/w + 1. Is c bigger than -4?
True
Let b(u) = -2*u**3 + 64*u**2 - 111*u - 56. Let w(o) = o**3 - 32*o**2 + 55*o + 28. Let s(y) = -4*b(y) - 7*w(y). Let q be s(30). Is 1 at least q?
True
Let z = 69/77 - 2/11. Suppose 2*d = -2*d. Suppose -5*a + 3*k - 9 = -d*a, -2*k = a - 6. Which is bigger: z or a?
z
Let o be 42/36*(-104)/(-14). Let p = -9 + o. Are -2.2 and p nonequal?
True
Suppose 2*o = -3*r + 32 + 38, -2*r + 4*o + 36 = 0. Suppose -5*u = -12 + r, -2*u - 145 = 3*x. Is x equal to -46?
False
Let l be 2*(-3)/4 + 834/16. Let u be 334/6 + (-2)/3 + -3. Which is smaller: u or l?
l
Suppose -g + v = -7684, -3*g - 2*v = -g - 15368. Is 7686 at least as big as g?
True
Let p be (54/6 - 1) + 3. Suppose 0*w = -w + 20. Let j = 32 - w. Which is bigger: p or j?
j
Let p be (-1555)/1034 - (-11 - 57/(-6)). Which is smaller: 1 or p?
p
Let l be -1 + (-18)/12*-4. Let g be (l + -2)*(-798)/(-126). Is g less than or equal to 19?
True
Let n = 78 - 78.1. Let a(f) = -f**3 + 5*f**2 + 14*f - 2. Let o be a(7). Let q(x) = 4*x**3 + 3*x**2 - x - 4. Let c be q(o). Which is smaller: n or c?
c
Suppose y - 4*f = -5*f, 0 = 5*y + f + 8. Let x be 8/(0 + y/(-3)). Suppose x*r - 9 = 3*r. Is r smaller than 4?
True
Let g(c) = -c**3 + 9*c**2 + 4. Let o be g(9). Let m = 74 - 66. Let d be m/6 + (-3)/((-63)/56). Is o at least d?
True
Let b be 40/(-12*(-5)/45)*-9. Which is smaller: -199 or b?
b
Let h = -401 - -228.9. Let o = h + 172. Is o bigger than 0.04?
False
Suppose 0 = 5*y + 10, -4*i = -7*i + 3*y + 12. Suppose 427 = 5*k + i*k. Suppose -2*r = -3*r - k. Which is greater: -60 or r?
-60
Let n = 5287 + -5286.9. Which is smaller: n or 149.5?
n
Let w be ((-14)/(-50))/((-1)/(-2)). Let i(b) = 12767*b + 165973. Let u be i(-13). Which is smaller: w or u?
w
Suppose 0 = -7*n + 50*n - 138 - 378. Which is smaller: 14 or n?
n
Let g = -17/139 - -224/695. Is g at most as big as -1/257?
False
Let h = 36.6 + -36.515. Which is bigger: -2/5 or h?
h
Let g = -23 - 41. Let o be (16/g)/(((-3)/(-8))/(-1)). Let h = -2.1 + 2.089. Are o and h equal?
False
Let o = 570/7 + -32491/399. Which is smaller: o or 0.1?
o
Let m(z) = -113*z - 206. Let p be m(-3). Suppose 0 = 4*l + f + 32 + p, -5*l + 4*f - 180 = 0. Which is greater: l or 0.4?
0.4
Suppose -5*l - 4 = -l. Let z = -0.015 - -118.015. Let u = 141 - z. Is u > l?
True
Let x(h) = h**3 + 11*h**2 + 33*h + 32. Let w be x(-13). Let z be w/11 - (-126)/(-693). Is z greater than -67?
False
Let m(j) = -7*j**2 - 2*j - 2. Let z(c) = c**2 - c. Let u(a) = -m(a) - 6*z(a). Let i be u(-7). Let q be (-2)/2 + (-16 - i). Is -13 greater than q?
False
Suppose 0 = k + 1 - 13. Let c = 53.652 - 49.652. Is k >= c?
True
Let d be (2 - (-29)/(-14))/(-1). Let w be -5 + 6 - 60/75. Which is smaller: w or d?
d
Let h = -45/2 - -70/3. Suppose 0 = 4*m + 35 - 79. Suppose 2*o = 2*i - 2, 4*i + o - m + 12 = 0. Which is bigger: h or i?
h
Let i = 278 + -278. Let t be ((i + 0)/(-2))/(8 - 10). Which is smaller: 2/11 or t?
t
Let v(s) = -481*s + 1160. Let b be v(2). Which is smaller: b or 200?
b
Let i = 1.7132 - 2.7132. Is i bigger than -991/5?
True
Let i be -5 - (-6 - 17636/(-17628)). Let t = -32308/22035 + i. Is t less than or equal to -1?
True
Let g be 1/(18/34976) - (-159)/(-1431). Is 1947 >= g?
True
Let u(i) = 2*i**2 + i + 1. Let t be u(-1). Suppose 4*o - 8*o - t*c = -6, -3 = -4*o - 5*c. Let d be (-1 + o)/(15/30) - -62. Is d smaller than 64?
False
Let u(w) = w + 5. Let r be u(-6). Let i(s) = -s**3 - 41*s**2 + 3*s + 136. Let p be i(-41). Let d be 9/((-54)/p) + 4/6. Is d > r?
False
Suppose -136 = -56*r + 48*r. Let d be (-6)/4*(-50)/75. Which is greater: d or r?
r
Let m(q) = q**3 + 28*q**2 - 77*q + 24. Let j be m(-25). Does j = 3824?
True
Let h = -1447 + 2106. Is 0 at least h?
False
Suppose -5*j + 2*f + 9 = 0, 0 = 3*j - 2*j - f. Suppose 4*k + 74 = j*g, 5*k = 3*k + 5*g - 30. Is k bigger than -134/7?
False
Let g be 6*((-2486)/497 - -2 - -3). Let j = -11862/5467 + g. Suppose -5*u + 15 = -10*u. Which is bigger: u or j?
j
Let k(x) = -6*x**2 - 48*x + 53. Let d be k(-9). Is d smaller than 9/2458?
True
Let r = -0.2319 + 0.3319. Are 300 and r unequal?
True
Let i be (-10)/(-85) + 1*196/68. Which is bigger: i or 237/62?
237/62
Let w = 1113 - 603. Let x = -397 + w. Do x and 0 have different values?
True
Let a(p) = 2*p + 6. Let k be a(-3). Let s be (-323)/171 + (27/6)/3. Is s greater than or equal to k?
False
Let w be (-1 + -1)*((0 - -14) + -16). Let n be 2/(-4) - 6/4. Let c be (-1 + 0)/(n/4). Which is smaller: w or c?
c
Let o = -0.43 + 0.03. Let t = -343.4 + 343. Let u = o - t. Which is smaller: u or -1.3?
-1.3
Suppose 14 = -2*l - t, 17*t = 3*l + 14*t + 39. Suppose b = 6*b + 45. Is l at least as big as b?
True
Let u be -2 + (-1)/1*-1. Suppose -116*z + 114*z = 0. Suppose -5*i - 2*o = 0, 2*o = -z*i - 4*i + 2. Which is greater: u or i?
u
Suppose -4*p - 21 = -6 - 11. Is 3/332 greater than p?
True
Let w be -266 + (-15 - (-3 - 3)). Let k = 276 + w. Which is smaller: k or 14/23?
14/23
Let g = -12251 + 12272. Do g and -0.71 have the same value?
False
Let v be ((-435)/(-54) + -8)*-4*1. Is v less than -0.49?
False
Let t = 5397 + -5413. Which is smaller: -53 or t?
-53
Let j be (-5)/(-15) - -3*(-1)/9. Let d(y) = -y**3 - 27*y**2 - 26*y + 5. Let x be d(-26). Suppose 2*n + x - 1 = j. Which is smaller: n or -6/11?
n
Suppose 521 = -3*l + 4*j, 2*l + 309 = -4*j - j. Let o be (8 + -11)/((-3)/l). Let r = 134 + o. Which is greater: 0 or r?
0
Let a be -4 + 1419/(2 + 1) + -3. Are 461 and a equal?
False
Let i = -23 + 97. Let d = -74.01 + i. Let s = 12 + -12. Which is bigger: s or d?
s
Let g = 55 + -31. Let b(j) = 23*j + j**2 + 16*j - 81 - 2*j**2 + 117 - 16*j. Let z be b(g). Is z less than or equal to 13?
