= -o**3 - 11*o**2 - 9*o + 10. Let n be h(u). Is 6/7 bigger than n?
True
Let y = -1710 + 912. Let u be -5*(y/105 - (1 + -3)). Which is smaller: -8 or u?
-8
Let l be -7 + -4 + (4 - 2). Let w = 14 + l. Let m be -3 - (-3)/w*124/6. Which is bigger: 8 or m?
m
Let j(i) be the third derivative of -i**4/4 + i**3/3 - i**2 - 117*i. Let d be -6*((-3)/(-2) + -2). Let u be j(d). Is u less than or equal to -15?
True
Let j(f) = f**3 + 9*f**2 - 8*f - 13. Let b be j(-9). Let m = b + -89. Suppose i + 19 = 3*x + 108, 5*i + 155 = -5*x. Are m and x nonequal?
False
Suppose -9*a + 133 - 34 = 0. Let h(y) = -13*y**2 - 5*y + 26*y + y + y**3 + 1. Let c be h(a). Which is smaller: c or 2/11?
2/11
Suppose 4*d + 36 = -4*r, -d + 2*r - 16 = 2. Let l be (d/6)/((-1)/5). Let v = -24 + l. Do v and -14 have the same value?
True
Let o = 3065 - 554770/181. Let h = o - 11348/1991. Which is smaller: -5 or h?
h
Let d = -38.68 + -11.22. Let n = 50 + d. Which is smaller: n or 28?
n
Suppose 3*l - 42 = -3*r, 15*l - 13*l - 31 = -3*r. Let j be 0 + -1 - (14 - l) - 12. Is -77/5 not equal to j?
True
Let s = 40824 - 27261. Is 1 smaller than s?
True
Suppose 0 = -2*d - d - 6. Let k be (-14)/(-4) - 3/d. Suppose -k*w + 0 = 35. Which is bigger: -10 or w?
w
Let t be 552/1012 - (-10)/22. Which is smaller: 2/9885 or t?
2/9885
Let g(m) = -2*m**2 - 22*m + 27. Suppose 0 = -70*i + 64*i - 78. Let b be g(i). Let n be -3 + 1*-25 - -3. Is b less than or equal to n?
True
Let d be 234/10584*4/(-3). Let r = 1385/42777 - d. Which is greater: r or -1?
r
Let g = 6205 - 6200. Do g and 153/35 have the same value?
False
Suppose -5*a - 14*y = -9*y - 25, 4*y + 15 = a. Suppose -5*t = -2*h + 4, 23 - a = -4*t. Which is smaller: -10 or h?
-10
Let i = 577 + -528. Suppose 0 = 29*g - 33*g + 192. Is g less than or equal to i?
True
Suppose 106 - 3193 = 21*a. Is a < -145?
True
Suppose -3*d - 40 = -8*d. Let m be (-8)/(-78)*(d + (-525)/66). Which is greater: 1 or m?
1
Let l be -9*((-112)/(-105) - (-2)/(-5)). Let w be (-132)/(-6)*l/(-4). Suppose 0 = -32*h + w*h + 1. Is h less than -7/9?
True
Let i = -3590 - -4134. Is i bigger than 544?
False
Let s = -2036538/29 + 70212. Is -14 at most as big as s?
True
Let a = -41.6 - -62. Let t = 20.4 - a. Which is greater: -4 or t?
t
Let l = 7 + -7. Suppose l = -d + 1, -4*o - o - 2*d = -17. Suppose 8*s + y + 17 = 5*s, o*y - 14 = 4*s. Which is smaller: s or 6?
s
Let j = 14/6759 - 122368/52551225. Which is smaller: -1 or j?
-1
Let y = 38/27 + -847/621. Let v(m) = m**2 + 4*m - 3. Let z be v(-5). Suppose z = 2*p, -3 = -2*q - p - 4*p. Which is bigger: q or y?
y
Let o be (-80)/(-16)*(0 + 1). Is -41 bigger than o?
False
Let m = -169 - -163. Let x(w) = -4*w**2 - 48*w + 4. Let p be x(m). Which is greater: 146 or p?
p
Let c be ((-39)/18)/((-9)/6). Let l be 0/(-1)*(-5 - (-2 - 4)). Is c >= l?
True
Suppose 2*p = -3*w - 93, -w = -5*p - 398 + 106. Let t be (-895)/15 - (-4)/6. Which is smaller: p or t?
t
Let u(s) = -s + 12. Let z be u(10). Suppose 5*x = 3*y + 32, -z*x - 3*x + y = -24. Let w be (1 - x)/((-134)/28 - -5). Do -14 and w have the same value?
True
Let a = 0.023 - 0.679. Let f = 27.444 - a. Are f and 2/5 nonequal?
True
Let a be (9/6)/((-9)/36). Let z be ((-1216)/(-57))/(1/a). Let i be ((-14)/12)/(-7)*z/(-6). Is 5 >= i?
True
Let c be (31/((-8370)/72))/((-4)/(-10)). Which is bigger: c or -0.02643?
-0.02643
Let d(o) be the first derivative of o**4/4 + 11*o**3/3 - 3*o**2/2 + 3*o - 30. Let q be d(-12). Let j = 50 + q. Is -57 != j?
True
Suppose -4*u - 3*i - 28 + 13 = 0, 0 = 3*u + 5*i + 25. Which is smaller: u or 59/48?
u
Let j(y) = -y + 14. Let z be j(13). Let d = -35.31 - -0.31. Let f = d - -30. Do z and f have the same value?
False
Let t = -66 + 61. Suppose -3*i + 12 = k, -k = -4*k - 3*i + 18. Suppose 8*z - 3*z = k*p + 55, -2*z + 60 = -5*p. Is p less than t?
True
Let k be 69*596/12 + 8 + -4. Do 3431 and k have the same value?
True
Let g = 700 - 697. Let r = -53 - -100. Is g greater than or equal to r?
False
Suppose -218 + 998 = 13*v. Let t be -1*8/v*3. Is 0.043 >= t?
True
Let a = 14095179/13 - 1085265. Let k = -2389 + 1367. Let f = a - k. Which is smaller: f or 2?
f
Let o be (-9)/6 + 1/(-2). Let n = o - -1. Let t be (1/(-28))/(((-195)/(-208))/5). Is n at least as big as t?
False
Let n(v) = -12*v - 35. Let z(s) = -5*s - 17. Let d(f) = 4*n(f) - 9*z(f). Suppose -5 = p + 1. Let c be d(p). Is 31 less than c?
False
Let m = 69 - 53. Let u be (-1 - 135/(-6))*m/2. Which is smaller: u or 173?
u
Let u = 56.92 - 56.93969. Is 0 != u?
True
Let j = 30.5 + -19. Let t = 11.7 - j. Is t less than or equal to -1/6?
False
Suppose 108*v - 5741 = -773. Let o(u) = -u**2 + 14*u + 4. Let q be o(10). Which is smaller: v or q?
q
Let a be ((10/(-25))/((-672)/(-140)))/((-1)/(-2)). Which is smaller: a or -2/123?
a
Suppose 130*i = 127*i - 261. Let t = 21 - i. Let s be t/450*((-16)/(-6) + -1). Is -5 bigger than s?
False
Let a = -2.2553 + 0.8553. Which is bigger: a or -265?
a
Let f = -2721 + 2720. Let b = 0.084 + -0.133. Which is smaller: f or b?
f
Suppose 11*u + 57 - 39 = 7. Is -2/12293 at most as big as u?
False
Let s = 2.36758 + -0.06758. Which is smaller: 0.2 or s?
0.2
Let l be (-3)/(-6) - (140/240)/((-2)/(-4)). Which is bigger: l or -0.0455?
-0.0455
Let j = -0.2 + 0.08. Let d = 6.6773 - 6.1773. Is j at least d?
False
Let f be (-10)/(-12)*(-80 + 86). Do 216/53 and f have the same value?
False
Let b = -8.2 + 8.49. Let m = b - 0.58. Let n = 0.09 + m. Which is greater: 1/14 or n?
1/14
Let j = -7481 - -7478. Are j and 1618 equal?
False
Let x(v) = 26*v + 935. Let t be x(-48). Are -306 and t unequal?
True
Let a be (-2 - (-396)/30) + (-8)/(-10). Let s be ((-35)/45)/(4/6). Let q = -2/3 - s. Is q smaller than a?
True
Suppose -708 = -3*b + 7*b. Is -176 equal to b?
False
Suppose 4*t - 21 = 5*m + 6, 0 = -m + 2*t - 3. Let s(r) = -r**2 - 6*r + 7. Let g be s(m). Which is greater: 1/108 or g?
1/108
Let a = 139 - 86. Let o = 66 - a. Suppose 0 = 9*j - o*j - 40. Is j smaller than -11?
False
Suppose -3*a - 44 = 4*p, -22 = 2*p - 5*a + 2*a. Let f = 14870 + -14879. Is p at most as big as f?
True
Let d = 5.72 - 6. Let k = -0.38 - d. Let b = 40.8 + -38.7. Which is bigger: b or k?
b
Let s(l) = 34*l**3 - 323*l**2 + 10*l + 16. Let t be s(8). Is -3167 smaller than t?
False
Let v be (0 - -1)/(2 - 249/123). Suppose 0 = -6*s + 1050 + 150. Suppose -4*t - s = 5*x - 3*t, 2*t - 40 = x. Which is smaller: x or v?
v
Suppose -w - 2*w + 12 = -f, -5*w = 3*f - 34. Suppose 15 = f*p, -3*d - 3*p = 10 - 97. Are 24 and d equal?
True
Let z be 4/30 - (-169)/195 - -36. Suppose 296 = 75*x - 67*x. Do x and z have different values?
False
Let f = -3755 - -3286. Which is smaller: f or -471?
-471
Let a = -615 - -451. Let x = a + 152. Which is bigger: x or -1?
-1
Suppose 27*k - 2*f = 23*k, -2*f = -3*k - 2. Let q = 28 - 27. Suppose -6*d = -4*d + v - 3, -3*v = k*d - q. Is d bigger than -29?
True
Suppose -y - m = -12, 2*y + 3*m = -0*y + 28. Suppose 9*b - y*b - 18 = 0. Suppose 2*j = -b + 6. Which is bigger: j or -3?
-3
Suppose -x + 659 = -4*j, -10*j = -9*j - 5*x + 198. Let y be 0 + 1 - 3 - 162. Which is greater: y or j?
j
Let i be (-4934148)/612 - (-54)/2. Which is smaller: -8035 or i?
i
Let r(q) = q**3 + 27*q**2 - 59*q - 20. Let a be r(-29). Let i be (1/(-4))/(a/(-72)). Which is bigger: i or -1.5?
i
Let p = 12498 + -11904. Which is greater: p or 4?
p
Suppose 0 = -112*o + 97*o + 2820. Is o bigger than 199?
False
Let g = -2.26 - 129.74. Let h = 5935 - 5802. Let m = h + g. Do m and 4 have the same value?
False
Let g = -5744 - -5744.08. Which is smaller: g or -71?
-71
Let v = -6402.55 + 131.55. Are v and 2/3 non-equal?
True
Let g(o) = o**2 + 140*o + 140. Let y be g(-1). Which is smaller: -84/517 or y?
-84/517
Suppose -5*m + 14 = -6. Suppose 3*p = -15, -m*p = 2*f - 0*p + 18. Let u = 4898/3675 + 2/3675. Which is smaller: f or u?
f
Let m be 2 - 60/35 - 64/28. Let b be (-66)/m + 24/(-6) + 2. Which is greater: 8 or b?
b
Let w = -347921/11 - -31603. Let u(z) = -16156*z + 32287. Let p be u(2). Is w at least p?
False
Let o = 1930134/499 - 3868. Which is bigger: -0.06 or o?
o
Let d = 0.92514 - -0.07486. Is d at most as big as -5543?
False
Let t be 1076/(-8)*24/402 - -5. Which is smaller: t or -3?
t
Let i = 719505/8342359 + 2/42347. Which is smaller: 1 or i?
i
Let z(o) = o**3 - 4*o**2 - o + 3. Let l be z(6). 