30 + 13*h**4/24 - 15*h**3/2 - 312*h**2. Let n be d(-9). Which is smaller: 14 or n?
n
Let u = -0.2874 + 15.2874. Is -2/25 < u?
True
Let m = 1971/187 + -114/11. Let l be (-6*20/45)/(2/39). Let o = l - -52. Do m and o have the same value?
False
Suppose -33857 + 3970790 = 214*k - 1033*k. Is k greater than or equal to -4810?
True
Let c = -5267 + 5333. Which is greater: c or 25?
c
Let n = -59349/14 - -4237. Suppose -24 = 3*k + 5*k. Is n bigger than k?
True
Let y be 5/((-25)/36)*(-196)/588 - -3. Is y at most 5?
False
Suppose -k + 0*k + 38 = 3*r, -2*k - 2 = 0. Suppose 3*z = 7 - r. Let g be (216/(-32))/(z/(-8)). Which is bigger: -28 or g?
g
Suppose 2*y + 437*c - 441*c = -180, -5*c = -5*y - 435. Is y less than or equal to -16?
True
Let p = -2 - -1. Suppose 0 = 8*u + 266 - 218. Let i be u*(15/6)/(-5)*p. Which is smaller: i or -21/5?
-21/5
Let r = -1.6272 - 0.1728. Which is smaller: -2.2 or r?
-2.2
Suppose 4*i - 11 = -u, -69*u + 68*u + 15 = 5*i. Do i and 528/103 have the same value?
False
Suppose 13 = -51*h + 29 + 35. Is 6/1723 < h?
True
Let h(o) = o**3 - 6*o**2 - 2*o + 6. Let c be h(6). Let m(t) = t**2 + 14*t + 28. Let k be m(-13). Suppose 3*b + k = 3. Is c at most b?
True
Let g = -8627 + 25541/3. Let a = 114 + g. Suppose v = 4*r + 32, 245 = 5*v + 2*r - 5*r. Is a less than or equal to v?
True
Let b = -179774 + 30561581/170. Let j = 0.3 - -0.7. Is j bigger than b?
True
Let g = 0.0852 - -535.9148. Let w = -577 + g. Which is bigger: -2/3 or w?
-2/3
Let s = -750.94908 - 0.05092. Which is smaller: 6 or s?
s
Let o be 12*(712/192 - 3/8). Does o = 4?
False
Let w(j) = -2*j + 26. Let m be w(-5). Suppose -36 = -t - m. Suppose t*z = 2*v + 3*z - 9, 4*z = 4. Is v equal to 14/9?
False
Let s(n) be the second derivative of n**4/12 - n**3/3 - 4*n**2 - 63*n. Let k be 2 + 0/1 + -2. Let v be s(k). Which is bigger: v or -2/3?
-2/3
Let x be (-14 + 11)*9127/42. Let u = x + 651. Is u bigger than 0?
False
Let q be (1*(-4)/8)/((-3)/12). Let z(o) = 3*o**2 + 3*o + 3. Let k be z(-2). Let b = k + -9. Is q bigger than b?
True
Let r(t) = 54*t**3 + t**2 - t. Let s be r(1). Let j = 50 + -45. Suppose 0 = -c - 5*q + 78, -2*q + 9 + 266 = j*c. Is s at most c?
False
Let z = -0.192 - -0.192. Let l = 0.0217 - 0.0007. Is z at least l?
False
Let w be 4251/2 - (-20)/(-40). Let s = w - 2129. Let r = -2 + -2. Is r != s?
False
Let v be -17 - -1 - (-98)/49. Let t be (v/(-21))/((-1)/3). Let h(y) = -y**3 - 6*y**2 - 3*y - 3. Let a be h(-5). Which is bigger: t or a?
t
Let k(u) = -u**2 + u + 24. Let q be k(5). Suppose 3*c = -4*o + 4, q*o - 7*o - c + 8 = 0. Suppose t + 9 = -o*p, -3*p = -4*t + 1 + 1. Which is bigger: p or 0?
0
Let j = -2234 + 2222. Is -36 != j?
True
Let y = 261 - 255. Let m be -1*1*1/((-3)/39). Which is greater: m or y?
m
Let u = -2214.02 - -2214. Is 165 smaller than u?
False
Let j(n) = 2*n**2 - 15*n - 28. Let f be j(9). Let p be 219/74 + 1 + (-9 - -5). Is p less than f?
False
Let r = -0.13545 - -0.11995. Is 1 smaller than r?
False
Let p be 867 - 27/((-351)/130). Which is smaller: p or 878?
p
Let u be (-10)/(-4) - 146*65/4. Let g be 5 + u/297 + 3. Is -1 less than g?
True
Suppose 971*s - 993*s - 24640 = 0. Which is smaller: s or -1114?
s
Suppose 11*s - 7802 = -8*s + 1622. Is s greater than 496?
False
Let w = 3751850/11 + -340821. Let s = 256 - w. Is -1 not equal to s?
True
Let n = -396 + 626. Let s = 226.5 - n. Which is smaller: s or -0.2?
s
Let f = -13.9955 + -0.0045. Is 118/11 > f?
True
Let c = 44 - 43.9767. Let i = -1.0233 + c. Does i = 238?
False
Let o = -6.832 - 0.168. Let f = -20 - o. Which is smaller: 7 or f?
f
Let n be ((-1)/(-3))/((-14)/(-84)). Let j(o) = -o - 7*o**2 + o - o + 5*o + n. Let k be j(-1). Is k at least as big as -10?
True
Let s(k) = k**2 - 25*k + 31. Let y be (-32)/(-16) - -1*19. Let d be s(y). Is -58 greater than or equal to d?
False
Let s = 304977359295/4925207086 + -975225/15746. Let j = -2/1873 - s. Suppose -3*d = 5*n + 7, d = -d - 8. Which is smaller: n or j?
j
Let c(r) = 6*r**3 - r**2 + r. Suppose 5*w + 0*w - 10 = 5*i, -5*i - 8 = -3*w. Let g be c(w). Let j be 14/2 - (-4 - -7). Is j > g?
False
Let o be 1/6 - ((-676)/(-624))/((-11)/(-199)). Is o <= -20?
False
Let s = 0.045 + -0.12. Let l = -1064.925 + 1048. Let r = l + s. Does r = 2?
False
Let h(j) = 2*j**3 - j**3 + 6 - 8*j**2 + 3 + 13*j. Let o be h(7). Let u = o - 50. Which is bigger: -1/10 or u?
u
Suppose 0 = -2*p + 125*n - 121*n + 34, n = 4*p - 12. Which is bigger: 22/2031 or p?
p
Let h be (24/16)/(6/(-8)). Let m be (h/12)/(26/(-6) - -4). Which is smaller: m or -73?
-73
Let v be 2/(-6) + (-14)/(-6). Suppose 29*o + 3860 = -7*o + 3752. Is o > v?
False
Let z(k) = -k**2 - 27*k - 2. Suppose -3*l + n - 70 = 0, -l - 3*n = 4*l + 140. Let r be z(l). Let s = r + -97/2. Is 10/7 greater than or equal to s?
True
Let a = 3/4742 - 33713/820366. Are -1 and a unequal?
True
Let i be ((-462)/(-210))/((-4)/(-420) - 0). Which is greater: i or 227?
i
Let w(k) = -7*k - 1. Let n be w(-3). Let g be (-6)/((15/4)/(-5)). Suppose -y = -4*i + 80, -i + 4*y - 3 + g = 0. Do n and i have the same value?
False
Let q(n) = n**3 + 17*n**2 - 65*n - 1150. Let m be q(-15). Is m bigger than 275?
False
Suppose -2*a - 2*v = 190, 4*a + 151 + 194 = 3*v. Let g be a + ((-63)/18 - (-15)/(-6)). Is -96 != g?
False
Let q = 7043 + -7121. Suppose 4*m + 0*m + 304 = 0. Is m < q?
False
Let m = -3109 - -6175. Which is smaller: 3065 or m?
3065
Let s(r) = -r**2 - 11*r + 26. Let i be s(8). Let c be i/12*8/(-4). Let h = c - 25. Which is bigger: h or -8/3?
-8/3
Let j = -28 + 7. Suppose 32*n + 18*n - 128*n - 1404 = 0. Is j at most as big as n?
True
Let u(d) = 2*d**2 + 47*d + 86. Let l be u(-21). Let r(q) be the third derivative of -q**5/60 - q**4/6 + q**3/2 - 10*q**2. Let o be r(-5). Is l smaller than o?
True
Suppose 7*g + 38384 = -67*g - 29030. Is -910 at most g?
False
Let t = 0.04593 + 179.95407. Does t = -0.2?
False
Let w = -140.8 - -169. Let h = -855.8 + 855. Let a = h - w. Which is greater: a or -2/3?
-2/3
Let c = -160717.078 - -160384. Let m = c - -333. Let u = 3.9 + -4. Is m bigger than u?
True
Suppose 0 = -8*s - 3*s - 124487. Let i = 328231/29 + s. Do 0 and i have different values?
True
Let k(b) = -3*b**2 - 93*b + 3. Let a be k(-31). Suppose -20 = j - 5*h, 0 = j + h - a - 1. Is j less than 2/453?
True
Suppose 0 = y - s + 746, -37*y + 1495 = -39*y - s. Is y bigger than -750?
True
Let o = 91940 - 4229653/46. Is -8 < o?
False
Let y = -0.2135 + -0.0865. Which is smaller: y or 1/272?
y
Let q = -34 - -215. Let r = q - 154. Which is smaller: -0.3 or r?
-0.3
Let t = -67.9474 - -68. Let m = t - 216.0526. Which is smaller: -1 or m?
m
Suppose 0 = 3*i - 1290 + 972. Suppose -i = 3*o + 5*w, 4*w = 5*o + 26 + 126. Is o > -129/4?
True
Let b(m) = m**3 - 9*m**2 + 18*m + 6. Let s(i) = i**3 + 13*i**2 + 24*i + 26. Let h be s(-11). Let l be b(h). Which is smaller: -425 or l?
-425
Let j = -8080/3 + 2630. Suppose 61*k - 49*k + 756 = 0. Let l = k - j. Is -30 less than l?
True
Let p = 7741/41870 + 3/790. Let f(o) = 2*o**3 + 10*o**2 - o - 5. Let x be f(-5). Is x > p?
False
Let r = -118 - -133. Let g = 17 - r. Which is smaller: g or 104/7?
g
Let s be -2 + (-3 - -199)/(-14). Which is smaller: s or -8?
s
Let q be (-21)/(-60592)*(-2)/6. Let b = 121269/735760 + q. Which is bigger: 0 or b?
b
Let c be (666/14049)/((-2)/(-7)). Is c at most -1?
False
Let d = -1747/2 - -967. Let h = d + -95. Suppose 3*o + 8 = -o. Which is smaller: o or h?
o
Let r = -1597 + 1569. Let c(l) = 0 - 11*l**2 + 7 + 3*l**2 + 2*l - 1 + l**3. Let m be c(7). Is r at least as big as m?
True
Suppose -8*t + 7*t + 5483 = k, -3*t + 16481 = -5*k. Is t <= 5486?
False
Suppose 4*l - 911 = -3*f + 126, -l - 1370 = -4*f. Which is smaller: f or 315?
315
Let i be -4*1/(-4)*-33. Let c be ((-1518)/115)/((2 - 6) + 88/20). Do i and c have different values?
False
Let r be 316/942 - (-4 + 407/99)*6. Which is bigger: r or 0?
0
Let f = -6842 + 8840. Which is bigger: f or 2003?
2003
Let b = 28 - 24. Suppose 4*u - 26 = -5*x, 3*u - b*u + 4 = 0. Is 54/25 > x?
True
Let h = 13903 + -13899. Which is smaller: h or -6.4?
-6.4
Let h be (5 + (-3 - -2))/((-4)/(-6)). Suppose -w + 2*w = 3*l + h, 2*l = w - 5. Which is bigger: -2/1621 or l?
-2/1621
Let d = 2035 + -2033. Which is bigger: 9 or d?
9
Suppose -24*a = -3*a - a + 5200. Which is bigger: -1824/7 or a?
a
Let r(