 -2, -4*c = n + o - 7. Let a(t) = -t**3 - 7*t**2 - 6*t + 2. Let d be a(n). Which is smaller: 9 or d?
d
Let s be ((-1)/12)/((-34)/51) + (-32462)/(-16). Are 2030 and s nonequal?
True
Let c(m) = 5*m**3 - 14*m**2 + 65*m + 4. Let r be c(5). Is 608 smaller than r?
False
Let v be (-18225)/(-750)*30/(-4122). Is v greater than or equal to 1?
False
Suppose 2*v - 1999 = -c, 0 = -3*v + 6 - 15. Which is smaller: c or 2004?
2004
Let l = -22.01 + 0.01. Let b = l + 25. Let t = -1 + b. Which is bigger: t or -3/11?
t
Let t = 0.98585 + 0.01415. Which is smaller: t or 0.59?
0.59
Let n(i) = 4*i**2 - 4. Let g(w) = -w**2 + w + 1. Let l(t) = -6*g(t) - n(t). Let r be l(-4). Let y = r - 34. Which is bigger: y or 19?
y
Let n = -60 - -52. Let o = -7 - n. Let w = -95 - -95.14. Which is bigger: w or o?
o
Let n = -1028173 + 1028184. Let i(z) = z**3 - 2*z**2 - 2*z + 1. Let x be i(3). Let q = x + 10. Which is smaller: n or q?
n
Let x = 800585/7 + -113774. Which is bigger: 596 or x?
596
Let v be 0*(-18)/(-810)*-9. Which is greater: -34/395 or v?
v
Let n(p) = p**2 + 34*p + 274. Let m be n(-21). Let i be (-2)/7 - (-3485)/12565. Is i smaller than m?
True
Let p = -1 + 2.1. Let u = -0.15 + p. Is 1/2 at most u?
True
Suppose 3*n - 19 = -4*i, 0 = -5*i + 5*n + 11 + 4. Suppose -4*h + 4 = -i. Suppose -5 = -h*g - 3*v + 1, -4*v = -5*g - 8. Which is bigger: 2/11 or g?
2/11
Let z be 14/(-63)*33/5. Suppose -31*t - 18 = 13. Are z and t equal?
False
Let i be (-2)/(-9) + 212/18. Let f = -151622 - -615093/4. Let s = -2138 + f. Do s and i have the same value?
False
Let s = -471.2 - 57.8. Let u = -529.189 - s. Is -0.2 greater than u?
False
Suppose 0 = 11*f - 29*f - 26*f - 191708. Is -4356 equal to f?
False
Let o(l) = 2*l**2 + 71*l + 170. Let u be o(-32). Let v(h) = -15*h**2 + 4*h - 3. Let w be v(2). Which is smaller: u or w?
w
Let o be 102/204*(-8)/4. Is o greater than 1650?
False
Let i = 84 - 75. Suppose 5*x + 36 = -i. Let g = 213/4 - 63. Do x and g have the same value?
False
Let r(q) = 2*q**2 - 19*q - 33. Let t be r(11). Which is bigger: 29/28 or t?
29/28
Suppose 4*a + b - 124 = -b, 29 = a + b. Let n be 18/(-99) + 303/a. Let t be 48/n + 12/(-36). Which is smaller: t or 2?
2
Let z be (-41)/14 + (-1)/(-2). Let c(n) = -99*n**2 + 22 - 103*n**2 + 201*n**2 - 131 + 20*n + n. Let l be c(12). Is z at least as big as l?
False
Let z = -370 - -49. Let d = -321 - z. Which is smaller: d or 7/27?
d
Suppose -2*u - 3*j - 935 - 351 = 0, -4*j - 3201 = 5*u. Let w be 29400/u + 2/13. Which is greater: -43 or w?
-43
Suppose -336 = -2*g + 8*g. Let t be (-6)/4*g/63. Let z = 163 - 165. Which is greater: t or z?
t
Let o be ((-2)/(-6))/(50/(-195)). Let l = o + 269/130. Which is smaller: 0 or l?
0
Let x be (1 + 14)*(-11)/(-55) + (-6)/3. Let w be (-2)/406*(0 + -2). Which is bigger: x or w?
x
Let j = 1 + -0.9. Let k = -12331 + 12356. Is j at most k?
True
Suppose -9*k - 5*o + 1280 = -4*k, 4*k - 1030 = 2*o. Which is bigger: 252 or k?
k
Let k = 110 + -105. Suppose -27 = 4*g + 2*n - 5*n, 0 = 5*n - k. Let r be -3 + (-2)/g + 140/15. Is r bigger than 6?
True
Let r(y) = y**2 + 11*y + 31. Let x be r(-7). Suppose x*b = 11*b + 904. Is b > -113?
False
Let c = -17894 - -17614. Which is bigger: -2524/9 or c?
c
Let s(a) = -9*a**2 - 22*a + 516. Let f be s(20). Is -3524 not equal to f?
False
Let p = 3 - 2.9. Let k = 3280 + -3322. Is k equal to p?
False
Suppose 3*f - 2 = -2*f - 3*l, 4*f - 5*l = 9. Let o be ((-1793)/(-55))/(f/(-5)). Is o <= -0.2?
True
Let y(d) = 4*d**3 + 2*d - 12 - 9*d**2 - 3*d**3 + 8*d. Let p be y(8). Let q(i) = -i**2 + 2*i - 9. Let l be q(p). Which is greater: -19 or l?
l
Let l be 11 + (9 - 20) + 3*2. Let m be -11 + l - (-4 - -71). Which is smaller: m or -1?
m
Let k = -8575 + 660255/77. Let u = -2620008211/693 - -3780673. Let b = u + k. Is b greater than or equal to -3?
True
Let a = -0.03507 + -313.03493. Let h = a - -313. Is h at least 3/4?
False
Let j(x) = -2*x**3 - 31*x**2 + 16*x + 2. Let a be j(-16). Suppose -43 + 135 = a*b. Let m(l) = -7*l + 3. Let z be m(-6). Which is bigger: b or z?
b
Let q = -41.7 - -33.7. Is q at least as big as 1/16?
False
Let h be ((-6)/(-36)*-28)/((-2)/21). Let a = h - 48. Let o be (a - 39/12) + (-1)/(-4). Which is bigger: -11/10 or o?
-11/10
Let b(z) = -8*z**3 - 120*z**2 + z + 16. Let q be b(-15). Let d be (-57)/(-11) + 2/(-11). Let u be d*(0 - 6/(-255)). Is u != q?
True
Let c = 495500293903800215/8246 + -60089775869504. Let u = c + -1768992/7. Let j = u + -15/62. Which is bigger: -1 or j?
j
Let t(u) be the first derivative of u**4/4 - 16*u**3/3 - 9*u**2 + 10*u + 301. Let k = 50 - 33. Let j be t(k). Are j and -7 nonequal?
False
Let g(a) = -a**3 + 11*a**2 - 15*a + 165. Let t be g(11). Let z = 65865447/44 - 1496789. Let c = 153 - z. Is c at least t?
True
Let u = 0.612 + -0.712. Is -4091 at most u?
True
Let v be (-9 - (-1 - -2))/(8/204). Let j = v - -169. Is -87 at most j?
True
Let r = 1139 - -1736. Let d = r + -577874/201. Which is bigger: 0 or d?
d
Let x = 27 + -32. Let k be (-3)/(4/6 - 145/150). Suppose 8 = -3*i - k. Is i greater than or equal to x?
False
Let d(y) = -77*y**2 + 8*y - 17. Let h be d(-2). Let p = 272 - 612. Which is greater: p or h?
p
Let x = 1690 - 1142. Let s = 416 - x. Is s >= -2/7?
False
Let x = -19.65 + 1.25. Which is greater: x or 0.8?
0.8
Suppose -18 = -s + 2*s - b, -18 = -s - 5*b. Are s and -206/17 equal?
False
Suppose 359*q - 302*q + 57 = 0. Let b(w) = w**2 + w - 1. Let t be b(-3). Let r be (-1)/t + 24/(-105). Is r < q?
False
Let i = -3596/103255 + 6/193. Is 0 greater than i?
True
Let y = -0.106 + -651.894. Let b = -641 - y. Which is greater: -0.46 or b?
b
Let p(s) = -11 - 15 - 21 - 8*s. Let x(a) = a**2 - 85*a + 930. Let i be x(72). Let f be p(i). Do f and 2/21 have different values?
True
Let u = 18644/27 - 698. Let m = u + 15/2. Which is smaller: 1 or m?
m
Suppose 4*b = 3*b - 83. Let q be 2/6*(174 + (-4 - -31)). Let w = q + b. Are -15 and w equal?
False
Suppose k - n = -6, 2*n = 3*k + 7*n + 18. Let p be k/45 + 2548/10335. Let g be 0 + (12/(-9))/(-4). Is p bigger than g?
False
Let g be ((-2017)/(-24))/(-1 - 7 - 66/(-8)). Which is greater: g or 335?
g
Let o(y) = -491*y**2 - 70*y - 69. Let p be o(-1). Is -490 <= p?
True
Let t = -1 - -1. Let w = -1/30302 + 606061/636342. Is t less than or equal to w?
True
Let t = 21.90561 - 21.862. Which is greater: t or -4?
t
Let y = -590.253 + -4.747. Is y at most 1/4?
True
Let g = -143 + 162. Suppose g*l = 12*l - 119. Is -12 at least l?
True
Let n(l) = l**2 - 8*l - 14. Let a be n(13). Let r be (3/(-4))/(a/(-136)). Suppose r*o - 20 - 6 = 0. Is 25/2 less than or equal to o?
True
Let o(s) = 70*s - 724. Let k be o(15). Is k greater than 329?
False
Let k = -0.04 + -0.96. Let n = 0.61 - -0.62. Let o = -42.23 + n. Is o != k?
True
Let p be -2 - (6 - 3/4248*2823) - -6. Let n be 2/(-2) + 3 + -1. Is n bigger than p?
True
Suppose -2*z - 440 = 2*h, -z + 3*z + h + 445 = 0. Let t be (-28)/(-2)*(11 - z/(-21)). Which is smaller: 6 or t?
t
Let f = 366.78 - 367.1. Is f >= 1?
False
Let l(r) = 8*r**2 - 53*r - 569. Let v be l(-11). Is 978 > v?
False
Let i(y) = -5*y**3 + 131*y**2 - 25*y - 25. Let n be i(26). Which is greater: 70/181 or n?
n
Let i = -6.81 - -441.81. Let s = i + -432. Which is bigger: 30 or s?
30
Let s = -1 - 2. Suppose 2*f = 3*g + 5*f + 18, -5*g + 5*f - 30 = 0. Let o be 2*g/45*3. Which is greater: s or o?
o
Let w be ((-133)/(-1330))/(1/(-10)). Is 3/1345 greater than w?
True
Let y be (6*4/(-1224))/((-11)/(-42)). Which is smaller: 1 or y?
y
Let l = 719.9 - 723.583. Let d = l + 3.7. Let g = d - 21.017. Which is greater: g or 0?
0
Let c = -35 - -36. Suppose 5*b = 4*n + 14, -n - c = -0*n. Suppose 4*m - b = 2*m. Is m != -0.4?
True
Let m = -200 - -215. Let r be 10/30*m - 1*5. Let b be 0 + 1 - (-78)/(-72). Are b and r equal?
False
Let w(m) = -2*m**2 + 76*m + 84. Let f be w(39). Let k be f/((-144)/(-140)) - 4. Is k greater than or equal to -0.3?
True
Suppose 2*g - 26 = -k, -3*k + 7*g - 2*g + 45 = 0. Let f be ((-24)/(-5))/(18/k). Let n be 35/8 - -1 - 159/424. Is n >= f?
False
Let f = -174.054 + 3.054. Which is bigger: f or -2?
-2
Let j = -11 + 18. Suppose -22 = -4*p - 2*i, 5*i - 2 - 11 = -3*p. Suppose -81 + 57 = p*k. Which is smaller: j or k?
k
Let v(g) = -3179*g - 15022. Let s be v(-14). Does 29485 = s?
False
Suppose 25 = 2*w + 2*r - r, -2*r = -2*w + 2