5*t**4/24 - 19*t**3/2 + 54*t**2. Let l be r(10). Is l less than or equal to 92?
False
Let b(y) = -y**3 - 10*y**2 + 48*y + 13. Let o be b(-13). Let h = o + 110. Is h < 0?
False
Suppose 10*h - 8*h - 12 = 0. Let o = 0 - h. Let t(u) = u**3 + 8*u**2 + 11*u - 6. Let f be t(o). Are -1/65 and f equal?
False
Let l = -408 + 408. Let t be l*5/(-30) + 22 + -1. Is t >= 15?
True
Let k(i) = -i**2 + 7*i + 4. Let p be k(9). Let r be 10/(-245)*p/40. Is r bigger than 0?
True
Suppose -8*b - 3*z - 621 = -11*b, -832 = -4*b + 5*z. Let v = 207 - b. Which is greater: 92 or v?
92
Let g be 1*2/(-11) + 12/66. Suppose 2*s + g*a + 138 = -4*a, -5*s = 4*a + 333. Let f be (-273)/s + 2 + 0. Do f and 5 have different values?
True
Let a = 7 + 69. Suppose -a = -3*j - 16. Suppose -3*h = 2*h + j. Which is bigger: h or -3?
-3
Let m = -2 + -138. Let u be (-2)/5 + (-96)/m. Let x = 1129/706 + -35/353. Is u bigger than x?
False
Let u be 18/(-24) - (-4 + 447/180). Let g = 4/15 - u. Let b = -55 + 167/3. Which is smaller: g or b?
g
Let k = -42.2541 - -0.2541. Let y = 43.49 + -0.49. Let a = k + y. Is 8 greater than or equal to a?
True
Let w be 1554/(-12)*(-8)/14. Let k = 52 - w. Which is bigger: k or -26?
k
Let x be (-1)/4 + (-1425)/(-228). Let m be 10/40 + -2*x/(-16). Which is bigger: m or 2?
2
Let r = 5.97 - -0.03. Let b = -77.05 - -14.35. Let u = b - -56.7. Is r >= u?
True
Let l = -27.098 + -0.902. Is l at most -19/4?
True
Suppose 368 = -8*b - 2*n, -27*n = -5*b - 32*n - 245. Is -56 at most as big as b?
True
Suppose 666 = -4*o + 3*i, 3*o = -0*i - 2*i - 508. Let j be (-3)/24 - 501/o. Let x = j + -31/7. Is -1 at most as big as x?
False
Let n = -0.0331 - -1112.1331. Is n greater than 0?
True
Let g = -14503 + 14552. Is 1 at most g?
True
Suppose 2*f + 2666 = 4*r, -112*r + 110*r + 3*f + 1339 = 0. Which is greater: 2663/4 or r?
2663/4
Suppose -79*r + 18*r = 130418. Which is smaller: r or -2139?
-2139
Let z = 0.7667 - 0.706. Let a = 0.1307 - z. Which is bigger: 8 or a?
8
Suppose 0 = 238*p - 240*p + 2. Let b be ((-11)/5)/(p - (-4)/(-5)). Is b <= -7?
True
Let x(t) = t**3 - 5*t**2 - 15*t + 8. Let l be x(9). Let b be (3 - 1) + l + 1. Suppose -b = 15*v - 19*v. Are 50 and v equal?
True
Let a = 4 + -25. Let d = -269 - -288. Let s = a + d. Which is smaller: s or -16?
-16
Let a be 3/(-9)*(36/10)/(808/(-505)). Do a and -292 have the same value?
False
Let k = 0.0909 + -0.1699. Let y = -1.179 - k. Is -0.29 at most as big as y?
False
Let j be 10 - 1432816/134860 - 6/(-10). Which is smaller: 0 or j?
j
Let p = 2979 + -3004. Which is smaller: p or -48?
-48
Let l be -21 + (34425/(-36))/(-45). Is 261/7 equal to l?
False
Let z = -215 + 126. Which is bigger: -14 or z?
-14
Let c(t) = 3*t + 5. Let x be c(-1). Suppose -864 = -14*q + x*q. Which is smaller: q or 71?
71
Let q(d) = 4*d**2 - 16*d + 3. Let k be q(4). Suppose 2*x = -k*h + 51, -2*x + 8*h = 13*h - 53. Suppose 0 = i - 35 + x. Which is greater: i or -3?
i
Let k = -802649 + 7237639/9. Is 1532 < k?
True
Let y(h) = -40*h**2 - 19*h - 65. Let i be y(-4). Is i greater than or equal to -629?
True
Let z = 163 - 77. Let i = 81 - z. Let h be (0 - (-8 - i)) + -4. Which is smaller: -2/15 or h?
h
Let a(u) = -u**3 + 4*u**2 + u - 3. Let p(n) = 2*n - 8. Let s be p(6). Let q be a(s). Suppose 0 = -7*t - q + 8. Which is bigger: t or -3/22?
t
Let n = -0.303 - -4.303. Let w = 3 - 2.6. Let o = n - w. Is -1 less than o?
True
Let w(c) = 2*c + 16. Suppose 0 = -5*p - 15 - 35. Let t(b) = 3*b + 23. Let d be t(p). Let u be w(d). Do 3 and u have the same value?
False
Let p be 5*(-16)/200 - -3*2932/2640. Which is smaller: 4 or p?
p
Suppose -5*c + 0*c - 4*g - 24 = 0, -9 = 5*c - 11*g. Which is bigger: 0.48 or c?
0.48
Let l = 658 + -1696. Let i = 7286/7 + l. Is i < 4?
True
Let k = 0.1748 - -49.0652. Let s = k - -0.76. Let y = s + -49. Which is greater: y or -3?
y
Let j be 2/(4 - 2) + 10. Let g be (-12)/(5*(-5)/25). Let x = g - j. Which is smaller: x or 3/13?
3/13
Let d = -61 + 67. Let g = 6.008 - d. Let o = 1.292 + g. Which is bigger: o or -0.1?
o
Let h(t) = t**3 + 2*t + 3. Let m be (21/(-6) + 3)*0. Let o be h(m). Suppose -58 = -5*g + 2*n, -21 = -o*g - 4*n + 19. Is 12 at most as big as g?
True
Let v be ((-22)/(-44))/(3/2472). Which is greater: 413 or v?
413
Let k = -18202 + 18203. Which is bigger: -5/3879 or k?
k
Let p be (((-132)/9)/(-4))/((-2)/(-12)). Suppose -382 - 1444 = -p*b. Is 82 bigger than b?
False
Let a = -14 + 15. Let y be (-372)/217 + (a - (-18)/(-14)). Let r be (-210)/66 + y/(-1). Do 0 and r have different values?
True
Let u = 106694669/1299 + -82136. Which is greater: u or -1?
u
Suppose 0*q + 2*q - 2 = 0, 5*l + 4*q - 24 = 0. Let u be l - (-8)/((-31360)/15685). Is u equal to -1?
False
Let u = 66.1142 - 0.3442. Let d = -0.77 + u. Which is greater: 0 or d?
d
Let h be 7/((-21)/(-6)) - 8. Suppose -372 = 24*k + 38*k. Does h = k?
True
Suppose -50 = -8*g + 6. Let a be 4/256*(-21)/g. Suppose -2*r = -0*r - 2. Is r bigger than a?
True
Let w = -40 + 29. Let a = -201 + 60. Let k = -150 - a. Is k at most w?
False
Let j(q) = 3*q**2 - 39*q + 101. Let m be j(9). Are -3 and m equal?
False
Suppose 0 = -11*x - 6*x + 782. Let m be (x + -13)/11 + -5 + 1. Let y be 0 + ((-10)/3 - -1). Which is smaller: m or y?
y
Let y be (-10634)/(((-15)/90)/(2/(-12))). Which is smaller: -1/4 or y?
y
Suppose -4*w - u - 3 - 4 = 0, -6 = 2*u. Is 2/67443 > w?
True
Let t = 43 - 41. Suppose -4*v = -t*v. Suppose v = -3*r + 2*r + 1. Is 3/20 smaller than r?
True
Suppose -d + 17 = 22. Let f(z) be the third derivative of z**4/24 + 5*z**3/6 - 4*z**2. Let i be f(d). Which is smaller: 3/19 or i?
i
Let d = -1 + 3. Suppose p - d*a = 3 + 9, a = -p. Suppose 0 = 4*s + 3*t - 16, 0 = s - p*s - 2*t + 13. Which is smaller: 9 or s?
s
Suppose -4*y - 230 = 4*s - 6*y, 5*y + 30 = -s. Which is greater: -57 or s?
s
Let f = -235 - -240. Suppose -15*o = -10*o - f. Is o != 4/17?
True
Suppose -2*k = 3*o - 6, -2*o = 3*k + 3*o - 10. Let d = -1740819/10 + 174083. Which is smaller: k or d?
k
Suppose 210*p + 21*p - 696603 = 706491. Is 6074 at least p?
True
Let h = -4955949/4180 - -13042/11. Let k be (-4)/14 - 4/(-14). Is k <= h?
True
Suppose -3*j + 35 = -j + u, -20 = -4*u. Let d be ((-15)/(-6))/(j/12). Suppose 0*o - 2 = -d*o. Which is bigger: o or 0.1?
o
Suppose 4*k + 222 = -3*m - 19, -3*k = -4*m + 212. Let n be (-72 - (4 - 8)) + 2. Which is bigger: k or n?
k
Let u be ((-41670)/120)/((-39)/(-208)). Is -1851 > u?
True
Let g(m) = m**2 + 7*m - 61. Let b be g(-12). Let w be ((40/(-97))/4)/b. Which is greater: w or 1?
1
Suppose -4*p + 6 = -2*p. Suppose 20*l = 15*l - 3*s + 378, -4*s + 4 = 0. Let t = -293/4 + l. Is p smaller than t?
False
Let z = 20946 - 209471/10. Which is smaller: z or 144?
z
Let h = -51 - 118. Let c = -170 - h. Which is smaller: c or -4/17?
c
Let g(t) = t**3 - 11*t**2 - 39*t + 489. Let d be g(10). Let i = -75/7 + 4289/399. Which is bigger: i or d?
i
Let d = 1924/3 + -1300621/2028. Which is bigger: d or -1?
d
Let t = -1008 - -1007. Let y = 2570 - 352093/137. Let o = y + -86/2329. Do o and t have the same value?
False
Let n = -8025 + 8026.5. Which is bigger: 1/94 or n?
n
Let y = 1120/3 + -373. Let w = -1.001 - -0.796. Is w greater than y?
False
Let j = 42779/1315 - -18/263. Let v = 44 - j. Let x = 523 + -512. Is x less than or equal to v?
True
Let g(d) = -25*d**2 + 0*d - 43 + 26*d**2 + 16 + 5*d. Let b be g(-10). Is b at least 17?
True
Let t be (-298)/(-1 - (-5 + 3)). Let f be t - (-8)/(-40)*0. Which is greater: -297 or f?
-297
Let b = -38 + 289. Suppose -46 = -249*r + b*r. Which is greater: r or -70/3?
r
Let a = 8063 - 8061. Let t = 32/195 - -11092/3705. Which is smaller: t or a?
a
Let q be 60875/(-8695) + (-336)/(-48). Which is greater: q or -1?
q
Let y = 2652.04536 - 0.04536. Is 1 greater than y?
False
Let z(g) = -74*g**2 + 25*g**2 - 6*g**3 + 16 + 13*g + 23*g**2 + 28*g**2. Let y be z(-3). Is 156 greater than y?
False
Let v = 384 + -250. Suppose -5*p - 121 = 359. Let d = p + v. Is 38 smaller than d?
False
Let q = -10 + 9. Suppose -3*c + 5*x - 6 = 0, 2*x + 29 = -3*c + 2. Let t be (-81)/24*(c + 2)/(-15). Is t at least as big as q?
False
Suppose k = 17 - 5. Suppose -5*y - k = -y. Let j be 4/(-8) - y/6*-43. Is -21 > j?
True
Let r(t) = -t + 2. Let u be r(0). Let l = -530 + 523. Let a be 3 + (-1)/(l/14). Is a smaller than u?
False
Suppose 0 = 120*i +