 at least as big as 84?
False
Let j(u) = -u**2 + 9*u - 23. Let k be j(6). Let d(r) = r**3 + 6*r**2 + 3*r - 3. Let o be d(k). Let l(q) = 2*q - 13. Let c be l(o). Is c >= -2/69?
True
Suppose 0 = 4*x - 14 - 22. Let f(r) = 4*r + 11. Let s(j) = j**2 - 4*j - 21. Let z be s(7). Let d be f(z). Are x and d unequal?
True
Let x(g) be the third derivative of -g**6/120 - g**5/15 + g**4/6 + 5*g**3/3 + 551*g**2. Let j be (2/2)/((-4)/16). Let p be x(j). Is 3 at most p?
False
Let f = 125 - 131. Let x be (1/(-12))/(f/(-104)). Do -1 and x have the same value?
False
Let a = 3.9738 - 0.0738. Let d = a - 5.9. Does d = 1/83?
False
Suppose 4836 = -23*o - 31*o - 132. Let h = -28735/316 + -104/79. Let m = h - o. Is m at least as big as 51?
False
Let b(u) = 15*u**2 - 58*u - 2. Let x be b(7). Let m = 310 - x. Are -17 and m non-equal?
False
Let r = 39721 + -38982. Is r smaller than 742?
True
Let r = 736 + 3031. Which is bigger: r or -0.1?
r
Let o be 69/((-744)/44 + 3 - 17/187). Which is bigger: 33 or o?
33
Suppose 7*l + 60 = 19*l. Suppose l*t - 3*i + 6*i - 9 = 0, 2*t - 12 = 3*i. Is 42/25 at most as big as t?
True
Suppose -13*u - u + 5035 + 1923 = 0. Is -0.1 less than or equal to u?
True
Suppose 0 = 4*i - 4*p - 60, -5 = 3*i + 4*p - 36. Suppose 7*q = 113 + i. Is 93/5 at most q?
False
Let p be 0/(-8) + (-176)/(-2). Suppose -68 = 5*t - p. Suppose 4*r - z = -1, -t = -5*r + 3*z - 0*z. Which is smaller: 1/22 or r?
r
Let r = -18186892 - -20569377227/1131. Let p = -27/13 + r. Let k be (-3)/7 - 2/((-42)/9). Which is smaller: k or p?
k
Suppose -24 = 4*h - 4*j, h - 4*j = -6*j - 18. Let y be (h - (-4 - 4))*(-2)/88. Is 0 < y?
True
Let v = -737 + 381. Let d = -146 - v. Is d equal to 210?
True
Suppose 3*h + 12 = -2*f, h - 5*h = -5*f + 16. Let q(n) = -n**2 - 3*n - 40. Let c be q(f). Let z = 5 - 44. Which is greater: c or z?
z
Let w be (1/6*9)/(21710/2412 - 9). Which is greater: 1808 or w?
w
Let p(h) = h**3 + 6*h**2 - 5*h + 2. Let u be p(-5). Let r be 2*1/(-9) + ((-2108)/153 - 23). Let o = r + u. Is 17 greater than o?
True
Let c = 60190/10323 - 216/37. Suppose -10*p - 8 = -2*p. Is p < c?
True
Let w be (-300)/(-16) + 9/(-12). Let s be (-20)/30*w/4. Let o be (216/(-30) - -6)/(2/5). Is o bigger than s?
False
Let z be -9 + 8 + 4/(-54) + 1. Let m = 11 + -7. Suppose 0*y - 4 = -m*y. Do y and z have the same value?
False
Let q be (7/(-22))/((-768)/(-1408)). Which is bigger: q or 125?
125
Let l = -2271/35 - -373/5. Let v(y) = -10*y - 20. Let o be v(-3). Which is bigger: o or l?
o
Suppose 2*l + 2*j - 50 = -l, -2*l - 5*j + 15 = 0. Let z be ((-1)/l - 3) + 3. Which is bigger: z or 0?
0
Let t = 9.462 - -0.298. Let n = t + -10. Suppose -166 = -17*h - 132. Is n <= h?
True
Let i = 313 + -433. Let c be ((-1)/(-3)*-1)/((-2500)/i). Does c = 1?
False
Let u be (-20206)/21 - 9/(-27). Let l(j) = j**2 - 13*j - 116. Let p be l(-27). Let q = u + p. Which is greater: 2 or q?
q
Let b = -180 + 180.73. Let u = -0.27 - b. Let r = -21 + 20.94. Which is greater: u or r?
r
Let g(f) = -29*f**2 + 16*f. Let p(y) = y**2 - 21*y + 105. Let o be p(8). Let n be g(o). Which is bigger: -29 or n?
n
Let g = -53092328/1403 + 37842. Are g and 1 equal?
False
Suppose 13*y - 24*y - 4*l - 97 = 0, 3*y = -5*l - 3. Which is smaller: -7.27 or y?
y
Let r(y) = 2*y**3 + 190*y**2 + 198*y - 685. Let k be r(-94). Which is smaller: -1627 or k?
-1627
Let u(i) = -2387*i**2 + 30*i + 64. Let m be u(-2). Which is smaller: m or -9545?
-9545
Suppose -3*o = -3*t + 40 - 196, -5*t - 20 = 0. Let w = o - 44. Suppose 4*p + 20 = 2*i - 6*i, -w*p + 7 = -5*i. Are i and -0.1 equal?
False
Let u = -2.4934 - -2.36785. Is u less than -1?
False
Let i(y) = -15*y**3 + 68*y**2 - 40*y + 33. Let b be i(4). Suppose -t - 3*d - 139 = 0, 4*t + d - 3*d + 528 = 0. Does b = t?
False
Let w(b) = 10*b + 100. Let h be w(-15). Let t be (2 + 145/h)/((-18)/165). Are 8 and t non-equal?
True
Let k(o) = 418*o + 7. Let z be k(2). Suppose 278 = 5*q + z. Let y = q + 108. Which is bigger: y or -11?
y
Let g = 1227 + -1266. Is 28 bigger than g?
True
Suppose 34 = -5*d + 2*y, d = -4*y + 2 - 22. Let n(z) = -z**3 - 3*z**2 + 5*z. Let i be n(-4). Let s be (11 - i)*(-1)/3. Is s <= d?
False
Let f(u) = -2*u**2 - 54*u + 32. Let b be f(-28). Let k = 61 - b. Which is smaller: k or 86?
k
Let a = 151338595/390918 + -8517/22. Is a > 0?
True
Suppose -3*p - 21 = -3*a, -4*a + 110 = 2*p + 130. Are -1/3366 and a nonequal?
True
Suppose -3*z = 2*y - 16, 5*z = -3*y - 10 + 35. Let w be (y/25)/(4 - (-5 - -8)). Let p(o) = o + 2. Let v be p(-3). Is w less than v?
False
Let x(d) = d**3 - 16*d**2 - 21*d - 23. Let h(j) = 9*j - 11. Let u be h(3). Let g be x(u). Which is smaller: g or 0.2?
g
Let w = -39186290/10873 - -3604. Is w > 1?
False
Let a be ((-13)/3)/(16/12 + 1). Suppose g = -4*v - g - 12, -12 = 4*v + 5*g. Is v greater than a?
False
Let s be ((14952/(-300))/(-7))/((-33)/45). Let r be ((-1)/10)/((-3)/324). Let y = r + s. Which is smaller: y or -1?
-1
Let u be 89143/(-7569) - 140/630 - -12. Which is smaller: u or 1?
u
Suppose 0 = -x + b - 1589, -5*x + 10*b - 7*b = 7949. Is -1590 greater than x?
True
Suppose 33 = 5*q + 4*a, -5*a + 32 = -2*q - 1. Let m = 11176/69 - 162. Is m bigger than q?
False
Let z be ((-3)/(-1920))/(3275/(-262)). Which is greater: z or -1?
z
Suppose -590*g + 588*g + 8 = 0. Suppose 0 = -c + 4*n + 4, -7*c - 1 = -3*c + n. Suppose -g*s - v = v - 28, c = v + 2. Are 8 and s non-equal?
False
Let p(l) = -21*l - 692. Let n be p(-33). Is n smaller than 2/11153?
False
Suppose 58*s + 39245 + 43463 = 0. Which is smaller: -2853/2 or s?
-2853/2
Suppose 223 = -39*h - 167. Which is smaller: -294/31 or h?
h
Let r = -26 + 14. Let a = -12 - r. Let m = -12656 - -12657. Which is smaller: a or m?
a
Suppose 117*w + 3800 = 11288. Which is greater: 66 or w?
66
Let u = -1940438 + 1940442. Let v be ((-32)/(-3))/1 - 0. Let q = v - 11. Which is smaller: q or u?
q
Let d be 3/6*40/2. Suppose -4*w + 6*w = 222. Let n be w/9 - 5/((-15)/(-4)). Is d > n?
False
Suppose 560 = 3*i - i. Let w be 203/12*8/i + 0. Let q = w - -1/60. Which is smaller: -2/9 or q?
-2/9
Let f(s) = -s**3 + 12*s**2 - 8*s + 15. Let b be f(11). Suppose 4*y = -h - b, -2*h = -4*y - 4*h - 48. Are y and -15 non-equal?
True
Let t be -11 + 475939/45333 - 2/(-4). Is t bigger than 1?
False
Let x = -70.18 + 67. Let w = x + 3.08. Which is bigger: w or -122?
w
Let b = 2/4333 + 4325/17332. Which is greater: 1279 or b?
1279
Let w be 2 + 13/(-6) + 250/60. Let s be 9/w*4 - 5. Let l be (0/(-2))/(-2 + s). Is 10/27 < l?
False
Let l(v) be the second derivative of 0 + 15*v**2 - 1/3*v**3 - 18*v. Let p be l(16). Are p and -3 unequal?
True
Let k = 3172 - 3109. Is 60 at least k?
False
Let a(x) = 22*x - 94. Let m be a(12). Let s = m + -140. Is s at most 157/5?
True
Let p be (-2427)/(-16180)*15/9. Let r = 11.4 + -14. Let g = r - 0. Which is greater: g or p?
p
Suppose -3*o + 2*c - 106 = 0, o + 0 + 17 = -3*c. Let b be 2/(92/o - -3). Suppose -b*u - 150 = -u. Is u smaller than -5?
True
Let i be (-104)/(-6)*2925/(-1131). Let f = i + 3986/261. Which is smaller: -30 or f?
-30
Let k = 12055 + -12114. Which is smaller: k or -77?
-77
Let w(u) = -11*u + 210. Let m be w(31). Let o = -391/3 - m. Is o at most as big as -2/39?
False
Let x be (-4)/(-14) - (-130 + 132). Let v = -13 + 11. Is v at least x?
False
Let u(f) = f**3 - 30*f**2 + 32*f - 54. Let k be u(29). Suppose 18 = -10*g + 8*g + 2*h, -h = 5*g + k. Let s be ((-6)/(-1))/(2 - 3). Is s > g?
True
Suppose -s = 2*v - 90, 4*v + 27 = 5*v - 4*s. Suppose 5*y = -2*i + i + 106, -2*y - i = -v. Let j = -3.56 - -3.56. Are y and j equal?
False
Suppose 0 = -8*a - 96 + 176. Which is smaller: a or 25?
a
Let x(v) = v**3 - 4*v**2 - 7*v + 13. Let n(c) = 3*c - 95. Let s be n(34). Let g be x(s). Which is bigger: 112 or g?
112
Let d = 2507/15 - 167. Let f be -5*(27/(-15) - -2). Let q be f - ((-3 - -1) + (-15 - -15)). Which is greater: d or q?
q
Let w = -59 + 62. Suppose w*p = -p - 356. Let c = p - -110. Is c less than 4?
False
Let y = 10501 - 9679. Which is bigger: y or 825?
825
Let o(i) = 2*i - 29. Let w be o(-10). Let y = w - -52. Suppose 3 = -y*v, p + 3*v - v = 9. Which is smaller: p or -1?
-1
Let q(z) = z**3 + 10*z**2 + 11*z + 17. Let o be q(-9). Suppose 3*k - 29 = -23. Let y be -2*(k - (-15)/(-6)). Is y < o?
False
Suppose 3*p + 4*j = -4, 0 = -10*p + 7*p + 5*j + 5. Suppose 