Which is bigger: -67 or t?
t
Let j = 136 - 119. Suppose j = -5*q - 3, 4*q = 4*o - 80. Is o smaller than 210/13?
True
Let w = -0.082 + 548.082. Let f = w - 548.5. Is f equal to 23?
False
Let h(y) be the second derivative of y**5/20 - 2*y**4/3 + 5*y**3/6 - 9*y**2/2 - 28*y. Let r be h(6). Let p = -49 - r. Is p less than or equal to 7?
True
Let t(n) = -n**2 + 11*n - 15. Let g be t(7). Suppose -g*x - 3*x = -1344. Which is smaller: x or 83?
83
Suppose 0 = -22*p + 25*p + 4*q - 13, -q = 4*p. Let o be ((-1)/p)/((-27)/459). Suppose 5*h + 32 = 3*h. Is o < h?
True
Let h(b) = -b**2 - 69*b + 791. Let c be h(10). Which is smaller: 5/446 or c?
5/446
Let r be (20460/(-18))/(-5)*-3. Let k be 4/10 + (-8 - r/45). Which is smaller: 9 or k?
k
Suppose 9394 = 4*y - 80858. Let u = -19291363/855 + y. Which is greater: u or 0?
u
Let h = 3346523/99944 - 3499/104. Let q = h - 1/961. Which is bigger: q or 0?
0
Let w = 30/13 - 371/65. Let h(y) = -3*y**2 - 89*y + 31. Let u be h(-30). Let t be (-2)/(u - 14/6 - -2). Are w and t unequal?
True
Let i = -7415 + 37232/5. Which is smaller: i or 32?
i
Let q = -35.3 - 71.7. Let k = 110 + q. Which is smaller: k or 1?
1
Let x = 308931/52 - 5941. Which is bigger: -0.14 or x?
x
Suppose -3342 + 10512 = 30*i. Let u = i + -250. Let x = -35/2 + 27/4. Which is smaller: u or x?
u
Let c = -2/8953 + -92708309/26859. Which is bigger: c or -3453?
c
Let k be (-7)/((-4 + -1)/5). Suppose 4*s - k = 4*f + 77, 3 = -s - 5*f. Let c be 13/26 + s/2. Is c greater than 7?
True
Let w = 2 + -1. Let v = 59080 - 13056774/221. Let g = v + 4/13. Are w and g nonequal?
True
Suppose 407 = 306*k - 295*k. Let n be ((-1)/1)/((-13)/507). Which is smaller: k or n?
k
Let d = -96.021 + 96. Let n = -0.048 + d. Let g = n - 0.931. Do g and 0 have the same value?
False
Let s = 1 - -6. Let y = 1316 - 1301. Is y at least as big as s?
True
Suppose 0 = 209*z - 208*z - 2. Let b be ((-544)/(-85) + (z - 8))*-5. Is -79 less than b?
True
Let i = 37199/15 + -12517/5. Is -22 not equal to i?
True
Let n(c) = c**3 + 21*c**2 - 101*c - 27. Let m be n(-25). Do 0.3704 and m have different values?
True
Let p = 122.125 + -67.11. Let t = -55 + p. Let w = t + 0.985. Are -8/3 and w unequal?
True
Let k = -240/79 - -253/79. Which is smaller: k or -1?
-1
Let i = -7447 - -7344. Which is smaller: -100 or i?
i
Let m(x) = -x**3 - 3*x**2 - 3*x + 3. Let h be m(-3). Let d be (-154)/(-98)*-2*2/h. Is -2 >= d?
False
Let j = -31.84651 + -0.15349. Which is smaller: -42 or j?
-42
Let l = 85.894 - 1.394. Which is smaller: l or -0.3?
-0.3
Suppose -203*d = 65 + 145 - 7. Is 66/139 <= d?
False
Suppose 4*c - 2*b - 16 = 0, -c = -3*c - 3*b - 8. Suppose -2 = 5*s + 3*f, -4*f = -c*s - 0 - 6. Which is smaller: s or -14/3?
-14/3
Suppose -x - 8*g = -10*g - 70, -4*x + 280 = -3*g. Let p(r) = 10*r**2. Let a be p(-2). Let v = x - a. Is v > 31?
False
Let n = 0.4 + -0.3. Let a = -77/10 - -1889/245. Let l = a + 145/196. Which is smaller: l or n?
n
Suppose 5*c + 2*u = 1, -c + 5*c - 2*u = 8. Let q = 436034929853/10488 - 41574650. Let h = 5/184 - q. Is c greater than or equal to h?
True
Let l = 1583401 - 574775041/363. Let n = -2/121 + l. Which is greater: 6 or n?
6
Let c = -97.62 + 164.62. Which is smaller: c or -13?
-13
Let s be 3 + 2 - (-2)/((-16)/51480*5). Which is smaller: -1283 or s?
-1283
Let g(b) be the third derivative of -b**5/60 + 5*b**4/24 + 13*b**3/3 + 2*b**2. Let y be g(-4). Let u be y/204 - 8/68. Which is greater: u or 3?
3
Let n(i) = -28*i - 25. Let q be n(1). Which is smaller: 3 or q?
q
Let i be (-1120)/(-9520) + (-6185)/51272. Is 0 bigger than i?
True
Let m = -9730/41 - -103925966/437921. Which is smaller: m or 0?
m
Let g = -1147 - -1147. Which is greater: -1/26267 or g?
g
Suppose 17*c = -2*c + 4085. Suppose c*u = 206*u + 252. Which is bigger: u or 29?
29
Let p(v) = -7*v + 58. Let r be p(-10). Let a be 45/75*(-4)/(r/10). Is 1 < a?
False
Let t = 128 - 72. Let o(q) = 5*q**2 - 15*q + 55. Let n be o(3). Let f = t - n. Which is bigger: f or -1?
f
Let n be ((-35)/15)/((-2)/(-6)). Let v be (68/(-2))/(0 + 1). Let u = 28 + v. Is u > n?
True
Let n be (1/3)/((-2)/(-24)). Suppose 74 = 4*l - 2*d, l + 18 - 41 = -n*d. Suppose -b = 2*r - 18 - l, -5*r = -2*b + 65. Is -1 >= b?
False
Let g = -389774 + 10134115/26. Let r be 0/1 + (1 - 1). Which is bigger: r or g?
r
Let r be (-26704)/16 - 11 - 1. Is r less than or equal to 2?
True
Let p be 588/(-120736)*(-4)/261. Is p bigger than -1?
True
Let q be (-711425596)/(-2168)*1820*4. Let k = q + -2388916609. Let d = -3289 + k. Is 0 at most d?
True
Let c = 47763/135716 + -48/131. Is c greater than or equal to 1?
False
Let k = 104898.758 - 105049. Let s = k + 150. Which is smaller: 1/4 or s?
s
Let w be (15/30)/(1/6). Suppose -3*x + w*g + 9 = 0, -2*x + 3*g - 4*g = -9. Suppose -x*n = -n. Which is smaller: -3 or n?
-3
Let y = 0.03 + 0.61. Let n = 0.14 - y. Which is bigger: -8 or n?
n
Let z be (646/(-136))/((-5)/(-340)). Are -0.3 and z unequal?
True
Let l be -9*(-3)/2*1791*(-76)/1026. Which is greater: l or -1789?
-1789
Suppose 0 = 5*k - 3*g - 5 - 3, -2*k - 3 = 5*g. Let o = -6237/19 - -37403/114. Which is bigger: k or o?
k
Let g = 2931.2 + 12325.8. Do g and 0.2 have the same value?
False
Let k(q) = 2*q**3 - 2*q - 3. Let d be k(4). Let v = d + -115. Let t(w) = w**3 + 6*w**2 + 5*w. Let z be t(-5). Is z less than or equal to v?
True
Let b(z) be the second derivative of -z**4/6 + z**3/6 + 3*z. Suppose 10*n - 46*n = 0. Let x be b(n). Is x bigger than 4/29?
False
Suppose 5*x = 2*c - 0 - 3, 2*c + 7 = -5*x. Let b be (c - 2) + -121 - 3. Let f = 507/4 + b. Is 1 at most as big as f?
False
Let b(r) = 28*r - 119. Let q(n) = n + 6. Let a(v) = -b(v) + 6*q(v). Let j be a(7). Which is smaller: 42 or j?
j
Let x(d) = d**3 + 8*d**2 + 9*d + 15. Let c be x(-7). Suppose -2*a - c = 1, 0 = -3*m - 2*a - 929. Is m < -309?
False
Let o be 144/288*1/(1/24). Suppose 4*r = -o*r. Which is smaller: -1/60 or r?
-1/60
Let n(l) = 9*l + 124. Let z be n(-12). Let p = z + -35. Which is greater: -164/9 or p?
-164/9
Suppose 7*p = 4*p + 5565. Let t be (-1636570)/p - (-6)/21. Let a = 882 + t. Is 1 not equal to a?
True
Let j(o) = -o**3 + 8*o**2 - 10*o - 18. Let f be j(6). Let p = 34319/41 + -837. Which is smaller: f or p?
f
Let u(z) = 0*z**3 - 6*z - z**3 + 55*z**2 - 9 - 58*z**2 - 2*z**3 + 2*z**3. Suppose 0 = -k - w - 8, -w = 3*k + 14. Let n be u(k). Which is bigger: n or 3?
n
Let q(f) = 2*f - 2. Let r be q(-2). Let m be (r/4)/((-2)/(-12)). Let h = 119225 - 119223. Is m bigger than h?
False
Let h = 3651 + -3654. Which is bigger: 234/25 or h?
234/25
Suppose 2*g - 14 = 3*l, -3*g = -3*l - 7*g - 44. Let a be 39/12 + -4 + 2/l. Let r be ((-1)/3)/(-13 - -3). Is r equal to a?
False
Suppose -3*t + 12*v + 29 = 8*v, -2*v - 18 = 2*t. Does 17/176 = t?
False
Let c be ((-7)/(-2))/(91/(-14)). Let j(u) = u**3 - 2*u**2 - 7*u - 2. Let n be j(4). Suppose 3*h + d + n = 0, -4*h = h + 4*d + 8. Is c <= h?
True
Let r be (3/6)/((-6)/(-36)). Let p be 492/7 + (-2)/7. Is r less than or equal to p?
True
Let j(s) = s**2 + 3*s + 11. Let x be j(0). Let d = -54 + x. Is d less than or equal to -42?
True
Let w = 481/119 + -3738089/924749. Which is smaller: w or 0?
w
Let u(i) = i**2 - i - 4. Let q be u(3). Suppose 5*j - q*c - 17 = 80, -j = 4*c - 37. Suppose -j = -h - 22. Which is smaller: h or 1?
h
Let a(f) = f + 6. Let c be a(-7). Let n be 5 - 243019/39347 - 4/14. Let u = n + 6/803. Which is smaller: u or c?
u
Let b be -90 + ((-8)/(-6))/(4/9). Let l = 26 + b. Do l and -61 have the same value?
True
Let a(o) = o**3 - 2*o**2 - 83*o - 26. Let x be a(10). Which is smaller: -58 or x?
-58
Let l = 7.55 + -8. Let s = -0.25 - l. Let h = -4.3 - -4. Which is bigger: h or s?
s
Let w = 380 - 367. Let m be (8 + 1 - -4)/(2/w). Are 85 and m non-equal?
True
Let a = 6/149 + 3367/1490. Which is bigger: a or 3?
3
Let m = -846 + 845.987. Let l = 1.613 - 1.6. Let z = l + m. Which is greater: z or -41?
z
Let r = -24 + 24.4. Let x = -0.52 - r. Which is smaller: x or 1?
x
Let n(u) = -9*u**3 - 19*u**2 - 63*u - 659. Let x be n(-9). Which is bigger: 4929 or x?
x
Let g be ((-5)/3)/((-2)/15). Let l be ((-13040)/1630)/(5*-1*2/15). Is l at least g?
False
Let l be ((-567)/75438)/(6/(-16))*-1. Is l <= 0?
True
Let p(u) = 0*u + 2*u**2 - 3*u**2 + 10*u - 5*u - 6*u**3 + 2*u + 9. Let c be p(-2). Is 31 greater than c?
False
