= 1. Let a(p) = p**3 + 13*p**2 + p + 3. Let f be a(-12). Let d be 2/9 - 84/f. Which is bigger: q or d?
d
Let z = 579 + -893. Let y = z + 315.19. Is 1 <= y?
True
Let f be ((-86)/36)/(-2*(-7)/17934). Let q = 3052 + f. Which is bigger: -7 or q?
-7
Let r = -63 - -67. Let x = -5 + r. Let s be 12/58*(x + (-3)/(-4)). Which is smaller: -1 or s?
-1
Let a = 2.9665 - -19.4465. Let i = -22.5 + a. Which is greater: i or 0?
0
Suppose -256 + 10 = -h + d, -3*h + 762 = 5*d. Let q = -24 + h. Is 225 at least as big as q?
True
Let t be (434/(-54))/((-7)/(-21)). Let a = t - -24. Let f = a - 11/63. Which is smaller: -51 or f?
-51
Let h be (-20)/(-102)*324/327780. Which is smaller: 0 or h?
0
Suppose 28 = 216*r - 212*r. Which is bigger: 122 or r?
122
Let l(c) = -28 + 61 - 13*c - 5*c**3 + 4*c**3 - 16*c**2. Let a be l(-15). Is a bigger than 1?
True
Let v = -177.667 - 0.333. Let a = v + 177.81. Is a greater than 1?
False
Let q = -3.006 + 3. Let g = -345.7 - -345.7. Is q >= g?
False
Let p be (-14)/(-42) - (-245)/(-87). Let b = -8798/3567 - p. Is 1 greater than b?
True
Suppose 551*x - 526*x = -202125. Which is greater: -8084 or x?
-8084
Let d = -1.47 - -136.07. Let j = d + -132. Let g(c) = -c**3 - 7*c**2 - 6*c. Let z be g(-6). Which is smaller: z or j?
z
Let c(t) = -t**2 - 19*t + 17 - t**3 + 11*t**2 + 2*t - 5*t - 10. Let w be c(7). Which is smaller: w or -1/5?
-1/5
Let l = -3035 + 9278/3. Suppose 24*d = 21*d + 171. Is l smaller than d?
False
Suppose -414*m - 10614 = -48*m. Is m greater than 7?
False
Let o be (-23)/184 + 604/3296. Is 0 greater than or equal to o?
False
Let c = 3.5 - 207.5. Let z = -201 - c. Is 2.7 >= z?
False
Let h be 24/538*15288/(-53172). Let a = h - -6/269. Let i(s) = -s**3 + 3*s**2 - s + 3. Let l be i(3). Which is smaller: a or l?
l
Let g = -369.693 - -370. Let w = -183.307 + g. Are 2/3 and w unequal?
True
Let c be 3/(-6) - (-54)/88. Let v be 356/1602 + (-4)/(-15)*(-5)/6. Is v <= c?
True
Suppose -3*a = -38 + 107. Let s = 16168/5 + -3257. Which is smaller: a or s?
s
Let n(g) = 3*g**3 - 76*g**2 - 48*g - 7. Suppose -16*o = -104 - 312. Let a be n(o). Which is bigger: 95 or a?
a
Let t = 90 - 88. Suppose -t*x - 3*n = -15, -x - 4*x = 2*n - 32. Let a be -6*(-5 + 27/x). Which is greater: a or 26/9?
a
Suppose -81*y + 79*y = 446. Is y smaller than -218?
True
Suppose -3*s = i - 75 + 77, -8 = 5*s - 3*i. Is s less than -581?
False
Let p be 6/(-21) + 1689/(-7)*-1. Is 241 less than p?
False
Let b = -18378 + 18378.02. Which is smaller: 2/673 or b?
2/673
Let p be 791/14*-2 + -1 + 7. Which is bigger: -105 or p?
-105
Suppose 5*q + 6475 = -o, 0 = 5*q - q + 2*o + 5180. Is q smaller than -1296?
False
Let v be 9/6*160/15. Suppose a + v - 4 = -5*o, -4*a - 5*o = 18. Let d(h) = h**3 - 10*h**2 + 9*h. Let f be d(9). Is a < f?
True
Let q(h) = h**3 - 11*h**2 + h - 12. Let s be q(11). Let w = s + 8. Let r be (2 - 16/w) + (-19)/(-91). Which is smaller: r or -1?
-1
Let x be 2/6 - (-4)/(48/404). Suppose 3*t + 5*y - x = 0, -4*t = -t - 3*y - 18. Do t and 9 have the same value?
False
Let i = -215 - -223. Let g(v) = 10*v - 81. Let u be g(i). Let l be 0 + 2*2/108. Which is bigger: u or l?
l
Let c = -222/5 + 44. Let a(q) = -q**3 - 5*q**2 - 9*q + 3. Let z be a(-4). Let g = z + -34. Is g >= c?
False
Let g = 48 + -150. Let o = 0 + g. Let s = 93 + o. Which is bigger: s or 1/4?
1/4
Let s = 13 - 35. Let b = 38.8976 + 0.1024. Let c = b + s. Is 0 bigger than c?
False
Let z(m) = -8*m - 43. Let o be z(-6). Let l be 5*(3/o)/1 + -3. Let x = -1068/13 + 82. Which is bigger: l or x?
l
Let z(l) = 3*l + 5. Let p be z(-1). Let o be p/(((-14)/(-122))/(-7)). Is o greater than -1?
False
Suppose -24*f = -3600 + 2318 - 4118. Which is smaller: f or -2?
-2
Suppose y - 27 = -2*c, -7*y + 9*y - 78 = 4*c. Let g(f) = -f**2 + 39*f - 213. Let q be g(y). Is -96/7 at least as big as q?
True
Let v be ((-12)/(-9))/((-10)/1). Suppose -64*n = -33*n - 651. Let y be 98/n + 4 + -10. Is v < y?
False
Let j = -3283.6 + 3284. Which is smaller: -35/3 or j?
-35/3
Let w be (738/14268*6/(-59))/((-6)/(-4)). Which is smaller: w or 1?
w
Suppose -13*v + 19*v - 30 = 0. Let g be (-6 - v/3*-3)*184. Is g >= -184?
True
Let x = 0.3233 + -0.2233. Which is smaller: -111/29 or x?
-111/29
Suppose 7*g = 4*g + 4*x - 999, 2*g + x + 677 = 0. Which is bigger: -339 or g?
g
Let n = -372 - -264. Let u = n - -108.077. Let g = u + -0.177. Is g > 29?
False
Let u = -157 - -130.4. Let w = u + 26.6. Let d = 10.5 + 2.5. Which is greater: d or w?
d
Let b = -8653162/405101 + 1303/61. Which is smaller: 1 or b?
b
Let z be -3 - (0 - (285/42 - 5)). Is -2/9 smaller than z?
False
Let r(b) = 2 + 14 - 3*b + b. Suppose 0 = g + 5*g - 36. Let y be r(g). Which is smaller: y or 1?
1
Let n = -0.00528 + -0.03472. Which is smaller: -79 or n?
-79
Suppose 5*w + 341 = 7*w + 5*x, 4*w - 612 = 4*x. Let a be 1122/7 - ((-44)/(-7) + -6). Which is smaller: a or w?
w
Let v(j) = j**3 - 7*j**2 + 36*j - 187. Let o be v(6). Which is greater: o or 1/121?
1/121
Let s be (-146 - -146)*(-2 - -3)/(-1 + -1). Which is smaller: -2/331 or s?
-2/331
Let c(j) = 7*j**3 - 90*j**2 - j - 156. Let y be c(13). Is y less than -7/430?
False
Suppose -56*z + 883 = -58*z - 919. Is z at most -897?
True
Let x(l) = l**3 + 34*l**2 + 17*l - 106. Let f be x(-33). Which is greater: 421 or f?
f
Let w be (0/2)/3 - 65. Let u = w - -725/11. Suppose -2*y + 4*y - 2 = 0. Which is smaller: y or u?
u
Suppose 0 = -5*f + 2*a - 5, -2*f - a - 2 = -6*a. Let s = 592 - 1136. Are f and s equal?
False
Suppose -5*i - 1216 = 639. Let r = -189 - i. Which is greater: r or 180?
r
Let n be (-4)/(-664)*(-304)/(-29640). Which is smaller: n or -1?
-1
Let b = 161 - 160.9441. Let t = -3.0559 + b. Which is smaller: -2.6 or t?
t
Let b = 85139/23 + -3713. Are b and -12 equal?
False
Let a(f) = -3*f**2 - 77*f - 151. Let g be a(-2). Is g at least -5?
False
Suppose 9*f = 3119 + 2137. Let y be 8072/(-210) + (-5 - f/(-120)). Which is smaller: y or -40?
-40
Let k = -10 + 3. Let b(a) be the third derivative of a**5/60 + a**4/6 - 5*a**3/3 - a**2 - 11*a. Let q be b(k). Is 11 at least q?
True
Let c be 22875/87 + 68/986. Let w be 530/2 - (2 + 3 + -3). Does w = c?
True
Let l = 8565 + -25628/3. Which is smaller: l or 23?
l
Let h = 19586861/361779 + -3086/57. Which is greater: h or -1?
h
Let y(g) = g**3 - g**2 + 7*g + 30. Let k be y(0). Let t = 34 - k. Let m be (3/(-2))/((-9)/12). Is m at most t?
True
Let c(p) = 60*p - 287. Let j be c(30). Which is bigger: 1515 or j?
1515
Let m be (-48)/(-136)*3/(-1). Which is smaller: -1 or m?
m
Let x(q) be the second derivative of -3*q**5/10 + q**4/6 - q**3/6 - q**2 - 11*q + 3. Let k be x(-1). Which is bigger: k or 70/11?
k
Let l(m) = m**2 + 10*m + 29. Let x be l(-7). Suppose -11*p - x = -3*p. Let q be (-4)/(1 - p)*(-91)/(-26). Which is bigger: q or -31/4?
q
Let z = -22 - -23. Let t be 17 + -17 + z*5. Suppose -3*y + t*n - 68 = 0, 4*y + 2*n + 110 = -n. Is y at most as big as -24?
True
Let z = -158137/3 - -179180/3. Let n = 6952 - z. Which is bigger: n or -61?
-61
Let z(m) = -m**2 - 18*m + 1. Let c be z(-8). Suppose -c = 27*g + 351. Is g at least -2?
False
Let w = 745.058 - 0.058. Let x = w + -680.4. Let z = x + -65. Which is smaller: 0.1 or z?
z
Let q = 45 + -41. Let h(p) = -p - 5*p**2 + q*p**2 - 5 - 6*p. Let t be h(-7). Which is smaller: -3 or t?
t
Let w be (-8 + 64/24)*6/(-4). Suppose -g = 5*l - 6, -5*g - 3 = -w. Which is bigger: -1/263 or l?
l
Let i = -25274 + 23855. Is -1419 < i?
False
Let y(f) = f**3 - 8*f**2 + 7*f. Let a be y(5). Let v be 548/(-7) + a/(-140). Which is greater: v or -233/3?
-233/3
Suppose -331*v + 29231 = 150708. Which is smaller: v or -366?
v
Let t = 27763 - 6524351/235. Which is greater: t or 0?
0
Let a = 335/78 - 58/13. Let n(s) = -2*s**2 - 70*s + 73. Let d be n(-36). Do a and d have the same value?
False
Let n(z) = z**3 + 3*z**2 - 4*z + 1. Let f be n(-4). Let m be (11 - 10)/(f/(-4)). Let w be (m/(-10))/(6/4). Which is bigger: 1 or w?
1
Let f be 63/8 + ((-237)/24 - -10). Which is bigger: 81 or f?
81
Suppose 0 = 46*m - 2033 + 9761. Let o = -309 - -142. Is m at most o?
True
Suppose 83*q - 80*q = 4*f + 631, -2*f + q = 315. Is 41 >= f?
True
Let j be -3 + 0 + (3/(-3) - -5). Suppose -4*n + 3 = -j. Let a be n + 0 - -1 - (-832)/(-364). Is a < 1?
True
Let y = -1.419 - -1.4. Let v = -1359 + 1359. Which is greater: y or v?