?
False
Let a(r) be the third derivative of 7*r**6/10 - r**5/60 + 7*r**4/24 - 7*r**3/6 - 173*r**2. Let h be a(1). Which is smaller: h or 85?
h
Suppose -9 = 3*g - 0. Let d be 1 + -4 + (-17)/g + -2. Which is smaller: d or 25?
d
Suppose 5*x + 11119 = -3*z, -4*x = 5*z + 23045 - 4535. Which is bigger: -3696 or z?
-3696
Let s = -4115 - -4115.6. Is s at least 1/3?
True
Suppose 1 - 6 = -4*a + s, -5*a + 5*s = 5. Suppose -3 = -p, -p - a*p = -3*x - 24. Let l be ((-4)/10)/(2/10). Which is greater: x or l?
l
Suppose 0*v - 3*v - v = 0. Suppose 2*j + 30 - 28 = v. Let n be (-27)/(-57)*4/6. Which is smaller: j or n?
j
Suppose 1910 = -x - 2*x - 5*t, 0 = 2*x + 2*t + 1276. Let l be 32/x*4*1. Which is bigger: l or 2/7?
2/7
Let j(r) be the third derivative of -r**6/12 - 7*r**5/60 + r**4/4 - r**3/3 - 2*r**2 - 5. Let q be j(2). Is q at most -98?
True
Suppose 10*v = 246 + 374. Let m = 81 - 21. Which is smaller: m or v?
m
Let f be (-90)/180*4/(-1346). Are 0 and f nonequal?
True
Let b(l) = -5*l**2 - l - 2. Let d be b(-1). Let g = 9 - d. Suppose -g = 7*s - 10*s. Which is smaller: 0 or s?
0
Let p = -6188.9905 - -6189. Is -1.8 greater than p?
False
Let c = -2867 - -3258. Are 1172/3 and c equal?
False
Let s(i) = 6*i + 18. Let j(z) = -4*z - 3*z**2 + 107 - 8*z - 111 + 2*z**2. Let d be j(-12). Let g be s(d). Is g less than 1/6?
True
Let v be (-4)/(6 - 22) - (-71)/(-252). Let p = 41 + -38. Which is smaller: v or p?
v
Suppose 0 = -4*z - 16, 2*z = -16*m + 17*m - 173. Let l = m - 159. Which is bigger: 28/5 or l?
l
Let f(d) = -11*d - 31 - 8 - d**2 + 11. Let r be f(-7). Is 4/15 smaller than r?
False
Let p be ((-32)/2172)/(-2)*(5 + (-35)/10). Let j(s) = -s**3 + 7*s**2 - 7*s + 5. Let v be j(6). Which is smaller: v or p?
v
Let o be 4 + (-45)/12 + 94083/132. Is o at least as big as 709?
True
Suppose 9*f + 9 = 6*f. Let w be 0 + f/9 - 2. Which is smaller: w or 0.11?
w
Let c = 37327 - 37260.9. Is c bigger than 16?
True
Let a(x) = x**2 + 9*x + 15. Let o be a(-8). Let r = 27 - o. Suppose 11*q = 16*q - 100. Does r = q?
True
Suppose 0 = -81*x + 85*x + 404. Is -509/5 equal to x?
False
Let g = 44.211 - 6.211. Which is smaller: 30 or g?
30
Let f be (2 + 3 - -231439)*(-16)/(-795). Let b = 4658 - f. Which is smaller: -1 or b?
-1
Suppose -4*k - 6 = -2. Let j = 6180/17 - -2837/68. Let i = j + -407. Is i >= k?
False
Let a = -123728 - -123733. Suppose 5*h - 4*s = -20, 2*s - 11 - 5 = 4*h. Which is bigger: a or h?
a
Let j = -58 - -43. Let r = 14.89 + j. Let l = r + 0.01. Which is smaller: -4/7 or l?
-4/7
Let c = -7.6978 + -1.3022. Let d = 1109/65056 - -1/608. Which is smaller: c or d?
c
Let b be (142/146 - (-1 + 2))/((-540)/(-29700)). Which is greater: b or -2?
b
Let g be (-1)/26*15*(-7)/1113. Is -1 <= g?
True
Let r = 32/45 + -10/9. Suppose 71 = -b - 160. Let a be (-108)/b - (-6)/(-21). Is r greater than a?
False
Suppose -1 = -3*o - 85. Let b be 1/1 - o/(-36). Let m = 4/41803 + -41819/167212. Which is bigger: b or m?
b
Let g be 196 + (14/(-6) - -2)/(206/2472). Which is smaller: 1723/9 or g?
1723/9
Suppose -3678*p = -3727*p + 110691. Are 2257 and p unequal?
True
Let t(w) = -w**2 - 8*w + 7. Let l be t(6). Suppose -84*b = -89*b + 20. Let n be b/6 - l/(-21). Which is smaller: n or -14/5?
n
Suppose -23 - 37 = -20*k. Let x be 2/(-4)*k + (-166)/(-664). Is 0 at least x?
True
Let j = 245293/8 - 30568. Is 95 at most as big as j?
False
Let l(m) = 36*m. Suppose -3*t + 3 = -6*t. Let v be l(t). Let c = 114747 - 114782. Which is smaller: v or c?
v
Let i = 32.7 + 187.3. Let n = -220.4 + i. Which is smaller: 2/3 or n?
n
Let w = 13675.74 - 13678. Is w at most as big as -1/9?
True
Suppose 3*j + 5*m + 2 = -11, 5*m = -j - 21. Suppose -67 = -5*z + 2*u, 4*z + 4 = j*u + 60. Let o(n) = 285*n - 560. Let y be o(2). Is z smaller than y?
False
Suppose 0 = -98*w - 77*w. Which is greater: w or -3/5894?
w
Let o(k) = 113*k - 1142. Let y be o(10). Let r be (-2)/(-5) - 352/30. Which is smaller: y or r?
y
Let g(i) be the second derivative of 11*i**3/6 + 55*i**2 - 2*i - 52. Let c be g(-10). Do 5 and c have the same value?
False
Let q = 34 + 5. Let u(w) = -w - 29. Let m be u(13). Let p = q + m. Do -4 and p have the same value?
False
Let l(x) = x**2 - 53*x + 330. Let w be l(7). Let o be 22 - 15 - 8*w. Is o equal to -60?
False
Let q be (-6)/(-7) + (-4)/(-56)*-4. Suppose 33*c + 3*d - 17 = 32*c, -c + 3*d - 13 = 0. Which is greater: q or c?
c
Let n = -252 - -253. Let j be 6 - -5 - (1 + -2). Suppose -t = -2*t - j. Which is smaller: n or t?
t
Let q = -18825 - -18825.125. Which is bigger: -4 or q?
q
Let w be 6/4 + 159/6. Let a = -8 + w. Let l = a + -15. Which is smaller: 6 or l?
l
Suppose 18*j + 2*b = 21*j + 2, -5 = 2*j - 5*b. Let m be 10/4 + (-2)/4. Let g be m/(-10) - 8/(-20). Is j less than g?
True
Let p = -134 + 143.6. Let l = p + -0.2. Is l at most as big as 1?
False
Let h(a) be the second derivative of -a**3/6 - 2*a**2 + 139*a + 2. Suppose -4*x - 4*j + 18 = -2*x, 4*j = x + 15. Let i be h(x). Is i less than -4?
True
Let s(o) = 120*o + 3121. Let t be s(-26). Which is smaller: -1/4548 or t?
-1/4548
Let u(q) = -4*q + 53. Let o be u(13). Let c be 4 + o/10 + (-122)/20. Let p = 1 + -1. Which is bigger: c or p?
p
Let k = -411 + 2775. Which is smaller: -3 or k?
-3
Let q = -4600.3 - -4641. Which is smaller: 1/2 or q?
1/2
Suppose 3*a - 17 = -2*u, 5*u - 5*a + 1 = 6. Suppose -27 = -u*m - 43. Is m less than -62/17?
True
Let c be (48 - 44)*5/(-90). Is c smaller than -12.5?
False
Let n = 0.8 - 1. Let u = -494.91 + 501.71. Is n <= u?
True
Let i be (-5729)/1664 + 3 - (-64)/416. Which is smaller: i or -1?
-1
Let s = 0.068 + 0.489. Let m = 0.551 - s. Is m smaller than -0.2?
False
Let r = 113/3 - 37. Suppose -6*q = -64 + 22. Suppose -q*l + 0*l + 7 = 0. Is r greater than or equal to l?
False
Let i = 440/1383 - -30124129/5532. Let c = i - 5476. Is -30 less than or equal to c?
False
Let g = -589 + 646. Does 54 = g?
False
Let b = 2.5652 - 2.2652. Are -2/625 and b equal?
False
Let h = -7 + 45. Suppose 10 = 2*m - 0*m, -2*l = 4*m - h. Suppose 0 = 6*w - l*w - 6. Which is smaller: w or 0.02?
w
Let c(b) = -5*b**3 + 42*b**2 - 16*b + 10. Let z be c(8). Let t = 6.06 + -6. Is t equal to z?
False
Suppose 6*q + 2*m = 4*q + 12, -4*q - m = -12. Suppose q*c + 0*c = 0. Is c < 23?
True
Suppose 1491490 = -20*l + 1491150. Let p(g) = -g**3 - 5*g**2 + 2*g - 1. Let a be p(-3). Is a smaller than l?
True
Let v = -1731/7 - -247. Let p = 531 + -405. Which is smaller: v or p?
v
Let a = -24 - -23. Let w = 42.41 + -60.71. Is w bigger than a?
False
Suppose -491*a - 495*a = -994*a + 8. Are -7/57 and a equal?
False
Suppose -4*x + 1009 = y, -2*y = 616*x - 621*x + 1271. Are 261 and x unequal?
True
Let f(d) = -282*d**3 - 4*d**2 - d + 8. Let r be f(-2). Suppose -r = -6*l - 19*l. Does 90 = l?
True
Let r be 18/198 + 1250/1496. Is 0 smaller than r?
True
Let m be -5 + 3 + (24767388/(-1311))/(-4). Let v = m - 4721. Is 1 less than v?
False
Let q = 184 - 104. Let n = q + -292/3. Which is smaller: -17 or n?
n
Let r = -0.05 + 4.05. Let m = -78623.08 - -78623. Which is smaller: r or m?
m
Let j = -831 - -4153/5. Let x be (-11)/(-22) - 54/124. Is j <= x?
True
Let l(w) = -w - 3. Let k be l(-7). Suppose 0 = 2*c, -c + 5*c - 4 = -k*r. Let x be ((-4)/(-6))/((-539)/546 + r). Is x greater than or equal to -1/3?
True
Let m(g) = 85*g - 1189. Let d be m(14). Is d greater than or equal to -4/2879?
True
Let d = -166 + 255. Suppose -h - 3*f + 25 = 0, -h - 2*h + 5*f + d = 0. Which is smaller: h or 2/3?
2/3
Let d = -38 + -16. Let m = 50 + d. Let c be 38 - (m + (-24)/(-3)). Is c less than 34?
False
Let a = 66 - 65. Let u be (108/(-14))/(a + 87/(-42)). Let z = -2731/380 + u. Is z greater than or equal to 0?
True
Let t(b) = 4*b + 0 - 3 + b**2 - 4*b**2 - b**3 - b**2. Let k be t(-5). Let i be 18/30 + 133/70 + -1. Which is greater: k or i?
k
Let n = 236 - 965. Let p = n - -732. Which is smaller: p or 16?
p
Let r = 3656.6 - 3552. Are 1/6 and r nonequal?
True
Let u be ((3 - 4)*1)/(10/(-15970)). Is u equal to 1596?
False
Let r be ((-35)/2)/1*4/(-5). Suppose -2*o + 4*y - 2 = 0, o - 3*y = -0*o - 4. Suppose -o*v = 22 - 92. Are r and v unequal?
False
Suppose -3*h = -4*m - 57, -4*h + 7*m + 76 = 3*m. Let r(o) = o**2 + 3*o + 2. Let d be r(-2). Suppose 4*j - 53 = j - 2*i, d = -3*i - 15. Which is smaller: j or h?
h
Let y = -263680.028 - -26472