alse
Let d(h) be the third derivative of h**5/60 - 7*h**4/24 + 5*h**3/6 + h**2 + 24. Let r be d(-6). Let w = r + -84. Which is bigger: 4/53 or w?
4/53
Let k = 3 - 0. Suppose 6 - 3 = -k*w. Let g be (7/(280/(-48)))/(-15). Is g < w?
False
Suppose -24*o = -32*o + 64. Let q be (456/(-32))/(-19) + (-45)/o. Are 0 and q equal?
False
Suppose -5*i + 4633 = -3882. Do i and 1701 have different values?
True
Suppose -25*i = -30*i + 10. Let r be (9/6)/(i/(-28)). Suppose 3 = d + 24. Is r > d?
False
Suppose 5*o - 361 = 4*i, -2*o + 63 = 3*i - 63. Suppose 0 = -4*y + 17*m - 14*m + 89, -o = -3*y + 3*m. Which is smaller: -2/5 or y?
-2/5
Let w = -1818 - -1820. Which is bigger: -0.08 or w?
w
Let n = 18964 - 18989. Let d = -43 + 21. Which is smaller: d or n?
n
Suppose 2*v - 2*q = -528, -5*v + 14*q = 13*q + 1324. Let t = v - -110. Which is smaller: t or -158?
-158
Let m be ((-18)/1 - 0)*(-2)/(-2). Let x be (-1 + (-6)/(-8))*144/m. Suppose -x*r + 16 = 6*r. Is r greater than -1?
True
Suppose 2*z = -d + 771, 2*d = 2*z + 1007 + 517. Let l be (-340)/d - 143/(-18). Let c = -3 - -4. Does l = c?
False
Let x = -1.641 + 0.001. Let w = 119.86 - 120.5. Let l = x - w. Do l and 1 have different values?
True
Let j be 2*(-54)/72*(-4)/(-18). Which is bigger: j or 2/5273?
2/5273
Suppose -10215 = -161*b + 152*b. Which is greater: -1/7 or b?
b
Let n = 3537 + 908. Is n equal to 0?
False
Suppose 45*y - 47*y + 4*w + 70 = 0, -4*y + 110 = -2*w. Let h = -25 + y. Which is greater: h or 7?
7
Let x = -3/2068 - -2905/576972. Let h be (8/((-16)/6))/(-3). Is h less than or equal to x?
False
Let k(h) = h**2 - 11*h - 7. Let x be k(12). Suppose x*t = 10, 3*i + t + t - 4 = 0. Suppose -3*f + 279 = 5*y, -4*y = -i*y - 5*f - 201. Which is smaller: 53 or y?
53
Suppose 0*s = -s - 1. Let l = -54/23 + 3479/1472. Is s less than l?
True
Suppose 3*c + 38 = -4*n, 5*c + 3*n + 6 + 50 = 0. Suppose -5*y + 15 = 0, 0 = -2*s - 4*y - 346 + 72. Let v be (-26)/s + 246/(-22). Is c at most v?
False
Let h = 0.19 - 0.94. Let o = h + 0.781. Let f = 124 - 370/3. Is o <= f?
True
Let t(m) be the first derivative of m**3/3 + 19*m**2/2 - 40*m + 10. Let i be 10/(-25) + 2 + (-452)/20. Let x be t(i). Do 14 and x have different values?
True
Let x = -49479 + 546671/11. Is x < 218?
False
Let x be 46192/4618 - (-1690)/(-169). Which is bigger: -1 or x?
x
Let h = -398 + 637. Let q be h/6 + (-11 - (9 - 14)). Which is smaller: q or 35?
q
Let w be -116*((-2)/(-6))/(52/(-273)). Let c = -338 + w. Is -134 at least as big as c?
True
Let m = -1501 + 1504. Which is smaller: m or 112/43?
112/43
Let t(r) = 2*r**2 + 17*r - 8. Let f be t(-12). Suppose 2973 - 2289 = 9*n. Is n >= f?
True
Let c = 0.1722 + 0.8278. Is c smaller than -5189?
False
Let o(f) = -f**3 - 43*f**2 - 460*f - 1. Let s be o(-20). Is -43/51 != s?
True
Suppose 84 = 10*s - 8*s. Let a be 2/(-3) - (-4191)/(-99). Let u = a + s. Which is smaller: -1/11 or u?
u
Let r = 3 - 168. Let j = r + 165. Which is greater: j or -158?
j
Let u = -321 + 212. Let o = -17877/164 - u. Which is bigger: 0 or o?
0
Let n = 61 - 23791/390. Let b = -5978989/24458850 + 71/37629. Let h = n - b. Which is smaller: 1 or h?
h
Let w = 1830 + -1857. Let p = -0.0208 - 27.0792. Let q = p - w. Is 5 at least as big as q?
True
Let i = -161.7 - -359.5. Let a = -198 + i. Let s be (-6)/27 - (-19)/126. Which is greater: s or a?
s
Let i be (9 - -1) + 37656/(-99). Do -370 and i have the same value?
False
Let x = -2 + 1.9. Let q = 330.77 - 333. Let v = -2.13 - q. Which is smaller: v or x?
x
Let c(n) = -82*n**2 + 2. Let f be c(-4). Let o be 82339/63 + (-10)/(-1 + 91). Let k = f + o. Which is smaller: -2 or k?
k
Let y = -289 - 191. Let p = -475 - y. Which is greater: 1 or p?
p
Let t = -36 - -73. Let d = t + -36. Suppose -f - d = -0. Which is bigger: f or 9?
9
Suppose -85 = 5*g + 2*p - p, 0 = 2*g + 5*p + 11. Let t be 10 + (7 - (-3 - g)). Is t < -0.3?
False
Suppose 7*c + 20 - 26 = -6. Which is smaller: 0.02062 or c?
c
Let r = -56761 - -56783. Suppose 60 = 4*f - 24. Suppose b = -0*b + f. Which is greater: b or r?
r
Let p = 109 - 37. Suppose 4*r - 4*s = 36, 4*s + 0*s - p = -5*r. Let b = 92 + -79. Which is smaller: b or r?
r
Suppose x - 2*p + 12 = -6*p, -10 = 2*x + p. Suppose 2*w - 332 = -5*h, 4 + 0 = -w. Suppose -3*r = -z, 4*z - 4*r + 9*r = -h. Which is greater: x or z?
x
Let z = 193.2 + -164.2. Let w = 29.022 + -0.022. Let j = z - w. Is j at least as big as -1/6?
True
Suppose j - 20 = -2*x, -69 - 55 = -5*j - 4*x. Let b be (14/j)/(1/(-22)). Is -8 less than or equal to b?
False
Suppose 0 = 4*m + 5*a + 1338, -9*a + 6*a = 5*m + 1666. Is -326 at most m?
False
Let b be ((-7)/((-2025520)/90))/((-3)/4). Which is bigger: 1 or b?
1
Let k(n) = 32*n - 256. Let g be k(9). Suppose g*x - 44 = 30*x. Let s = 0.8 - -0.2. Which is bigger: s or x?
x
Let u be (-6)/45*3 - (-3160)/25. Let y = u + -74. Let k = y + -467/9. Which is greater: k or 0?
k
Suppose -518*w = 314 - 3422. Let j = -6193/15 + 413. Let y = j + 481/105. Is w at most y?
False
Let d be (117/(-78))/((-5)/(50/(-15))). Is d < 54/163?
True
Suppose -f + 0*f = -48. Suppose 445*o - 230*o = 10105. Which is greater: o or f?
f
Let s = 3145.9 + -2941. Let p = s + -203. Is p at most as big as -0.1?
False
Let p = -452 + 452.02. Which is smaller: -2/125 or p?
-2/125
Suppose -3*k + 1 = b - 3, -5*k - 16 = -4*b. Let q be b/(-14) + 3/14. Suppose -4*n + 12 = 0, -4*f - 17 + 5 = -4*n. Which is smaller: q or f?
q
Let g be 40/48 + 76/24. Suppose -g*i - 5*z = 18, 3*z + 25 = -6*i + 7. Let f = 6 + -36. Which is smaller: f or i?
f
Let q = -5454.6 + 5454. Which is smaller: q or -14/9?
-14/9
Let n be 111 - (-96)/(-36)*3. Is 93 equal to n?
False
Let r = -4 - 14. Let a = -2101/574712 + -3/1592. Let j = a - -367/1083. Which is greater: r or j?
j
Let i be (-1 + -69)*24/(-98)*(-50086)/75129. Suppose 40 = -3*m - m. Is i bigger than m?
False
Let i be (1 - 1)*3/(-3). Let y be (-182)/111 - (44/6 - 9). Which is greater: y or i?
y
Let d = 9312 - 9317. Let k = 455744/7 - 65242. Let u = k + 136. Is d at least u?
False
Let f = 96 + -95. Let y be f/6*((-400)/95 - -4). Which is smaller: 0 or y?
y
Suppose 3*n - 12 = 0, 0 = 5*r - r + 4*n - 40. Suppose -r*w - 683 = 4561. Is -875 smaller than w?
True
Let s(k) = 8*k - 34. Let i be s(6). Let p be ((-36)/i)/((-40)/(-56)). Let d(f) = f**3 + 5*f**2 + 5*f. Let w be d(-4). Which is smaller: w or p?
w
Suppose -794*w + 793*w = -78. Suppose -72*d - 246 = -w*d. Which is greater: 40 or d?
d
Let u = -58 - -100. Suppose -40 = -v + 3*y, 92 + 94 = 5*v - y. Let m = v - u. Which is smaller: 0 or m?
m
Let h(k) = -k**3 - 22*k**2 - 47*k - 119. Let v be h(-20). Let w = -80 - -108.1. Let b = w + -28. Does v = b?
False
Let f(j) = 33*j - 288. Let r(p) = 15*p - 143. Let k(s) = -6*f(s) + 13*r(s). Let b be k(-24). Are b and -64 non-equal?
True
Suppose 3*u - 1062 = 180*u. Is -54 less than or equal to u?
True
Let y = -199 + 316. Suppose -3*o - 126 + y = 4*q, -4*o = 3*q + 5. Which is smaller: -2/1697 or o?
-2/1697
Suppose 9*u + 11*u - 20 = 0. Let o be (14/4)/u*(-4176)/(-1218). Are 6 and o non-equal?
True
Suppose 5*r = -l + 127, -2 = l + 1. Suppose -102 = 12*f - 15*f. Let u be 4/20 + f/(-70). Which is greater: u or r?
r
Let k = 218 + -282. Let m = 63.93 + k. Is m less than or equal to 2/11?
True
Suppose -3*j + 4*j + 2 = c, 3*j = -6. Suppose -3*r = -5*d + 6, c*r - 2*r + 18 = 4*d. Suppose 0 = -4*h - 0 + 8, 5*h - 19 = d*q. Which is bigger: -26/7 or q?
q
Let o = -1121/2 + 572. Suppose -44*z + 227 = -257. Let j = o - z. Which is smaller: j or 2/9?
2/9
Let k be (1339/(-2860) - (-2)/5)*116 - -6. Which is smaller: -2/13 or k?
k
Let h(y) = -1213*y - 23. Let a be h(-4). Let k = 53079/11 - a. Are k and -4 nonequal?
True
Let k(b) = -b**2 + 11*b - 24. Let u be k(8). Let f be (-57)/9 - (u + 2/3). Let x be ((-3)/35)/((-28)/f - 7). Which is bigger: 1 or x?
1
Let h = 299.151 + -299. Let g = -1.151 + h. Which is greater: g or -0.2?
-0.2
Let s be (-4)/10 - (38142/(-15))/(-13). Let n = s - -41. Is -156 > n?
False
Let i = -1479 - -6535. Is 5055 <= i?
True
Let r = 80.6 + -61. Let m = r - 19.4. Is -165 <= m?
True
Let c = -5166 + 5115. Are c and -347/7 non-equal?
True
Let n = 17876 - 17873. Let y = 17.28 - 0.28. Which is smaller: y or n?
n
Let g be -5*(3/(-5) + 1). Let m(h) = -5*h + 14*h - 8*h - 2*h + 8*h**2 + 5*h**2 - 1. Let y be m(g). Is 53 greater 