w = -66.2 + 84. Let d = w - 20. Is d greater than or equal to j?
False
Let n(u) = -u**3 - 9*u**2 - 17*u + 6. Let x(h) = h**2. Let s(t) = n(t) - 6*x(t). Let v be s(-13). Is v >= -111?
True
Let z be (418 + 2)/2 - (-5 + 2/(-1)). Is z >= 213?
True
Let j = 283 + -279. Suppose -5 = s + j*s - 5*w, 5*s = w + 3. Which is greater: s or 1/190?
s
Let z(j) = -j - 8. Let h be z(-8). Suppose h = 4*k - w, -w - 3*w = -3*k. Suppose -4*t + s + 115 - 11 = k, -5*s = t - 5. Is t not equal to 25?
False
Let t(y) = 105*y + 225. Let o be t(-10). Which is smaller: -824 or o?
o
Let n(i) = -409*i - 3153. Let y be n(-8). Is 6.4 at most y?
True
Suppose m - 17 = -2*m - 2*r, -r + 1 = -m. Suppose 6*s + 2*h = 4*s + 212, m*s - h - 306 = 0. Which is greater: 100 or s?
s
Let m be (43 + 24)*11/2009. Let g = m - 5/41. Is 0 not equal to g?
True
Let a = -49.984 - -50. Let d = a - -4.784. Let v = d + -3.8. Is -17 at least v?
False
Let j be -2 + -1 + 0/(-5) + 3. Let c be (-5187)/(-13524) - (5/(-7) + 1). Do c and j have the same value?
False
Let w = -15826 - -15054. Is w greater than or equal to -5409/7?
True
Let k(w) = 4*w - 15. Let z be k(10). Let d = -42 + 58. Let t = d - z. Which is smaller: t or -7?
t
Let z(v) = -2*v**3 - 7*v**2 - 9*v - 84. Let w(q) = -3*q**3 - 14*q**2 - 18*q - 167. Let u(x) = -3*w(x) + 5*z(x). Let t be u(9). Is t greater than -92?
True
Let o be 2/7*(-1120)/(-320). Is o <= 1/1431?
False
Suppose z + 5*m = 2*m - 488, 3*m - 2440 = 5*z. Let b be (z/(-960))/1 + 1/5. Let a = 677/888 - b. Is a equal to -1?
False
Let g(k) = -2*k + 42. Let z be g(24). Let y be (-12)/(-1024) - 6 - z. Which is greater: y or 0?
y
Let x = -456 + 2287/6. Which is smaller: x or -75?
-75
Let a = 78.021 + -78. Let i = -36.18 - -37. Let f = i + 0.18. Are a and f equal?
False
Let c(h) = 1057*h - 88. Let x be c(-4). Let g = x - -1739349/403. Which is smaller: g or 0?
0
Let z = -1815 - 7370. Which is bigger: -1 or z?
-1
Let j be (4/(-18))/(176/792). Let y be (44 - 2)/(j - 4/8). Is -28 at least as big as y?
True
Let p = 0.259 - -1.605. Let r = p - -0.136. Let u be 5/(-13)*9/(-15). Is u greater than r?
False
Let s be ((-36)/(-15))/(-6) - 617*5/(-12400). Do s and 0 have different values?
True
Suppose -4*j = -9*j - 3*k - 60018, -5*j - 2*k - 60022 = 0. Is j <= -12005?
True
Let y = 0.784 - 12.924. Let h = -1.24 - y. Which is bigger: 0.2 or h?
h
Let d = 3955 - 2892. Is 1061 <= d?
True
Suppose 0 = -0*t - 3*t + 60. Suppose 30 = 4*s + s - 2*m, -4*m = t. Suppose 53 = s*k + g - 0*g, 0 = -2*k - 3*g + 29. Which is smaller: k or 14?
k
Let t be -3 - -2 - 6 - 1824675/(-260700). Which is smaller: 1 or t?
t
Let x = -3717 + 1787878/481. Let k be (0 + 0)*5/10. Which is bigger: x or k?
x
Suppose -j + 25 = 5*h, -h + 19*j = 14*j + 21. Suppose 0 = -2*i - 8, -2*y + h*i = 143 - 511. Which is greater: 175 or y?
y
Let f = 645.5 - 643. Is f greater than or equal to -2/9?
True
Let p = -16 - -1. Let j(z) be the third derivative of -z**4/3 + 3*z**3/2 - 32*z**2. Let c be j(3). Is p at least c?
True
Let z(h) = 7*h - 1. Let x(i) = -i. Let k(s) = -20*x(s) - 5*z(s). Let f be k(-2). Let l be ((-60)/f)/(8/(-28)). Which is smaller: 1 or l?
1
Let l be (-14)/(-399)*(1144 - 7) - 6/(-57). Is l < 39?
False
Let g be ((-12)/(-15))/((-1)/(-285)). Let o = -473 + g. Let w be 1 - (-9)/(-15) - 952/o. Is w greater than 4?
True
Let y = -661220899/6673 - -99089. Which is greater: y or -1?
y
Let l be -9 + 10 + 1 + -6. Let n be (3 + 20/l)*1. Let u be (2/6)/((-32)/(-48))*2. Is n < u?
True
Let d be (-500)/28 + 1/(-7). Let t be (2 - -5) + d - (-2 - -1). Do -9 and t have different values?
True
Let q = 714.3 + -714.5. Is q <= 555?
True
Let f(v) = -182*v**3 - 5*v**2 + 5*v + 2. Let q be f(-3). Suppose 2*p + 2*p + q = 0. Let a = 10904/9 + p. Which is greater: a or -1?
-1
Let h = -15.714 - -15.796. Which is smaller: h or 0.9?
h
Let o be -3*1*(-298)/(-6). Let h(x) = -x**3 - 124*x**2 + 241*x - 1296. Let p be h(-126). Let t = p + o. Which is bigger: -60 or t?
t
Let u be -23 - -25 - (8 + 0). Let j be u*(4 + 831/(-207)). Suppose 2 = q + 1. Is j at least as big as q?
False
Suppose -206 = -3*h - a, -2*a = -4*h + 3*h + 78. Let x = h - 48. Suppose 4*k + x = -6. Is k equal to -4?
False
Let k(s) = s**2 + 4*s + 6. Let t be k(-3). Suppose 33 = -t*v - 0*v - u, 2*v = 3*u - 33. Let n(b) = -b - 14. Let f be n(v). Which is greater: -16/7 or f?
f
Let n = -96 - -101. Suppose 12 = 4*s, 0 = m - n*s + 26 + 83. Is -94 != m?
False
Suppose -4 + 0 = 4*h. Let q be ((-6)/(-3) + -1)*h. Let w be (0 + -3)*((-4)/(-26) + 70/390). Is q smaller than w?
False
Let g(s) = -3*s**2 + 3*s + 39. Let l be g(-5). Suppose 0 = -2*x + x - 47. Is x bigger than l?
True
Let y(l) = -30*l + 31*l - 5 + 7*l**3 - 7*l**2 - 9*l**3. Let k be y(-5). Which is bigger: k or 66?
66
Let m = 503 + -441. Is m <= 755/12?
True
Let q = 9 + 3. Suppose 3*g - q*g = -432. Let o = g - 47. Which is bigger: o or -3/13?
o
Let s be 2*(-7)/(-28)*(-268)/(-2). Let t = s + -89. Is -26 > t?
False
Let w(s) = 13*s - 128. Let z = -232 - -248. Let q be w(z). Is 79 > q?
False
Let a = -1610896256867390248445/38670891 + 41656559112315. Let n = a - 2/63499. Which is smaller: n or 0?
n
Suppose 28*l - 60*l + 11 = -21*l. Let k(m) = -m**2 - 2*m + 1. Let h be k(2). Let p be -1 + (-1)/h*12. Is p < l?
True
Let l(s) = -s**3 - s + 11. Let r be l(2). Which is greater: r or 6/4871?
r
Let d be 6438 - 0 - (3/(-4))/((-63)/(-420)). Which is greater: 6445 or d?
6445
Let z = -68858 + 68871. Let u(m) = -11*m + 9. Let y(a) = -5*a + 4. Let q(s) = -3*u(s) + 7*y(s). Let h be q(-6). Is z smaller than h?
False
Suppose -18 = -4*j - 10. Suppose -j*g + 365 = 5*w, -2*w = -6*w - 5*g + 309. Are w and 71 unequal?
False
Let y = 163/10 + -83/5. Let u = 186 + -185.5. Is y >= u?
False
Let m = 1932283/55 - 35134. Is m less than -3?
False
Suppose -3*n + 4*n - 3 = 0. Let x = n + -2. Let l be 6 + (-140)/23 + (-292)/(-2300). Are l and x unequal?
True
Let z = 208 - 207. Let f be 17 - 22 - 50/z. Is -57 greater than f?
False
Let l = 21.02 + -28.1. Let z = l - -0.08. Are z and 0 nonequal?
True
Suppose -n + 480 = 5*h, -3*h = -3 - 3. Which is smaller: n or 467?
467
Let v(b) = b**3 - 12*b**2 + 13*b - 23. Let l be v(11). Let y be (7 - (2 - 0)) + l - 5. Let h be (-4)/((-480)/486) + (-5 - y). Is h >= 0?
True
Suppose 0 = -4*o + p - 2212 - 1619, o = 5*p - 972. Is o < -958?
False
Let j(v) = -v**3 + 7*v**2 + 4*v - 20. Let d be -2 + (-23)/(-3) + 28/21. Let h be j(d). Is 16 less than h?
False
Let q = -0.6864 - -0.5864. Is q at most -11.53?
False
Let f = -1224 + 1984. Is f greater than or equal to 752?
True
Let p = -16320 - -20482. Is 4163 smaller than p?
False
Let h(m) = -1143*m - 8181. Let v be h(-8). Which is smaller: 968 or v?
v
Let h(i) = i**3 - 6*i**2 + 4*i - 3. Let c be h(6). Suppose 71*r = 79*r - 48. Let f be (-5)/r + c/(-14). Which is bigger: -2 or f?
-2
Let s = 107.59 - 102.59. Which is smaller: s or -2/131?
-2/131
Let c = -183 + 185.15. Let o = c - -9.85. Which is bigger: 1/4 or o?
o
Let p be -3 + -1 + 80/((-5)/1). Let d be (0 + -10)*(164/p + 7). Which is smaller: 21/2 or d?
21/2
Let v(w) = -w**3 + 4*w**2 - 2*w - 8. Let p be v(2). Let z(b) = b**3 + 13*b**2 + 12*b + 16. Let s be z(-12). Is s > p?
True
Suppose -2450 + 7280 = -5*x - u, u - 1925 = 2*x. Is x > 2/5?
False
Suppose 3*g - 11 + 2 = -3*h, -5*g + 19 = 3*h. Suppose -4*c - 8 = -0*c, -5*p + 3*c + 16 = 0. Let k be (-24)/(-30)*(-5)/p. Is k at least as big as h?
True
Suppose -5*y - 357 = 153. Suppose 5*f + 248 + 257 = 0. Is y at most as big as f?
True
Let h(v) = 5*v**3 + 2*v**2 - v. Let n(p) = 3*p + 13. Let i be n(-4). Let r be h(i). Let t be r*(-4)/(-16) - 2. Which is greater: -2/3 or t?
t
Suppose 4*t + 3*o = -1243, -1880 = 4*t + 4*o - 632. Let h = t - -341. Which is smaller: h or 35?
h
Suppose 32*g - 27*g - 65 = 0. Suppose -4*s + 3 = -g. Let n be -2 - 75/s - 3/(-4). Is -19 > n?
True
Let q be 150/(-308) + (429/1144)/((-3)/(-4)). Let t be ((-1)/((-2)/(-2)))/1. Which is smaller: t or q?
t
Let c(a) = -4*a**3 + 11*a**2 - 7*a + 68. Let i be c(-11). Let v be (2 - 1)*-4 + 27168/i. Is v equal to -1?
False
Let c be (-13 - (-13 - -6)) + 5. Let p be ((-6)/(-4))/(224 + -2). Are c and p nonequal?
True
Suppose -9794*r - 76615 = -10179*r. Suppose 0 = -v + 2*s + 202, -v - v + 5*s = -405. Is r >= v?
False
Let n = -5 - -9. Let z be n*(1 - 4/(-8)). Let l = -96 - -1054