ich is bigger: 6 or r?
6
Suppose -2*y = -16 - 34. Let o = -20 + y. Let l(m) = m - 5. Let f be l(o). Is 0 < f?
False
Let s = -38682/13 - -1467485/494. Which is smaller: -6 or s?
-6
Let p(x) = 44*x**3 - 6*x**2 - x - 11. Let c be p(5). Suppose 0 = 2*f + 4*f + c. Let k = f - -9787/11. Do k and 1 have the same value?
False
Let t = -2/4311 + -491440/30177. Let i(o) = o**2 - 12*o - 238. Let r(g) = -g**2 + 11*g + 237. Let j(l) = -2*i(l) - 3*r(l). Let p be j(20). Is p equal to t?
False
Let a = -187 + 189. Let j be (a/1)/(6 - 8). Does j = -8/15?
False
Let d = 31 - 26. Let w be (-2 - -5) + -6 + -2 + d. Let b be (w + -1)/(8/(-10)). Is b not equal to -4?
True
Let d be (-1824)/266*28/(-3). Let m be ((-608)/d)/(2/4). Is -29 greater than m?
False
Suppose s + 22 = 5*j, 2*s - 5*j + 28 = 3*s. Let v(i) = -7*i**2 + 2*i**s - i**2 + 20*i - 2 - 16*i. Let x be v(4). Is 14 smaller than x?
False
Let a be 240/(-180) - (-1 + -4)/5. Is 1452 >= a?
True
Let y(p) = -8*p**2 - 31*p + 4. Let z be y(-4). Let q = 30/23 + 2/69. Is q at most as big as z?
False
Let k(z) be the third derivative of 5*z**4/8 - 29*z**3/6 - 5*z**2. Let g be k(0). Let x be 42/(-28) + 53/(-2). Is g < x?
True
Let r be 509/(-3 - (3 + (-92)/16)). Let n = -10104/5 - r. Is 14 > n?
False
Let f = -0.0879 + 0.2879. Suppose -2*o - 102 = -o + 4*s, 0 = -2*o - 5*s - 210. Is o != f?
True
Let j = -32576 - -32107. Which is bigger: -477 or j?
j
Suppose 0 = -8*w - 93 + 37. Let a be (-219 + 0)*(-10 + 17)/w. Which is smaller: 221 or a?
a
Let k(r) = -r**2 - 20*r - 1. Let l be k(-22). Let q be (l/(-27) - 1)*(-1 + 2). Let t be (32/50)/((-12)/(-10)). Is q at least as big as t?
True
Let i(b) = -2*b**2 - 14*b - 3. Let q be i(7). Which is bigger: q or -7?
-7
Let u = 294 - 394.2. Let b = u - -32. Let n = -68 - b. Is -36 greater than or equal to n?
False
Let p(z) be the first derivative of 4*z**3/3 - z**2 - z + 1. Let r be p(2). Let c be 288/27 - (-36)/27. Which is smaller: r or c?
r
Let o be (4/(-18))/((-1324)/(-6951)). Which is greater: -153 or o?
o
Let u(g) = -47*g - 72. Let y be u(-7). Suppose 15*t - 328 = y. Is 40 greater than or equal to t?
True
Let f(d) = d + 24. Let i be f(-22). Let v be ((-25)/200)/(i/2). Which is greater: 3 or v?
3
Let v = -79.96 + -22.94. Let b = 103.9 + v. Which is smaller: -8 or b?
-8
Let o = 26 - 40. Let p(s) = s**3 + 36*s**2 + 1 + 5 + 2*s**3 - 2*s - 32. Let h be p(-12). Which is smaller: o or h?
o
Let g = 1/125 + 201/6125. Let v = -0.19 + 0.23. Is g at most as big as v?
False
Suppose w + 2*j = 6*w + 54, 0 = 2*w - 2*j + 18. Let n be (3000/150)/(-2*(-1 - -2)). Is w <= n?
True
Suppose -2*f + 208 = 7*h - 3*h, 2*h - 88 = 3*f. Suppose 2*d = -3*p - 70, -2*p + 2*d - h = p. Let g be ((-1210)/275)/((-1)/(-5)). Is g bigger than p?
False
Let y(k) = k**2 - 620*k + 37986. Let d be y(69). Let v(s) = 5*s**3 - 2*s**2 - s + 2. Let l be v(-2). Is d <= l?
False
Let r(p) = -3*p**2 + 62*p + 47. Let q be r(-2). Which is greater: q or -86?
-86
Let w = 127 + -81. Let h = w + -17. Let m = h + -29.16. Which is bigger: 2 or m?
2
Let f = -3149984 + 3150131.7997. Let r = 0.2003 + f. Let l = -0.1 + 0.2. Which is bigger: r or l?
r
Let q = -3687.18 + 3687. Is -66 at most q?
True
Let v be (8/(-12128))/((-10)/8). Do -1 and v have the same value?
False
Let d = 26243 + -29339677/1118. Let r = d + -2065/63726. Let w(p) = p**2 + 2*p - 4. Let z be w(-3). Which is greater: r or z?
r
Let r = 23625 - 20336. Are r and 3290 nonequal?
True
Let v = 83/320 - -9/64. Suppose -c - 2*c = 9, c - 13 = -4*j. Let z be (9/42)/(j/8). Are z and v unequal?
True
Let o be (26 - 26) + (2/3 - 9/(-27)). Let r = 2476 + -44543/18. Are r and o nonequal?
True
Let n = 112/871 - -58829/50518. Which is greater: 0 or n?
n
Suppose -8*p + 1260 = -38*p. Let x be (14/p)/((-61)/18). Is 1 greater than x?
True
Suppose 0 = -2*a + 5*r - 6, -a + 4*r = 3*a + 12. Let m = 670 + -214. Let f = -2292/5 + m. Are a and f non-equal?
True
Let r = 992160665/318 - 3119998. Let h = r + 4/53. Let j = -20 - -24. Which is smaller: h or j?
j
Suppose -l + 5 = -6*l. Suppose 3*v + 2*w - 43 + 111 = 0, 3*w - 126 = 5*v. Let y be ((-2)/(-8))/((-50)/v). Which is smaller: y or l?
l
Let h = 26382 - 25289. Do 1095 and h have different values?
True
Let o(x) = 100*x**2 - 51*x**2 - 48*x**2 + 0 + 47*x + 2. Let q be o(-47). Is q at most 17/21?
False
Suppose 0*l - 28 = -5*l + 4*u, -5*u - 25 = -5*l. Let i be (12/l)/((-15)/200*-4). Which is smaller: i or 1?
1
Let b = -24/77 - -2/77. Let x = -132 + 39. Let u = -92.89 - x. Which is greater: u or b?
u
Let d = -5092 + 5439. Let w = -70 + 70. Does d = w?
False
Let s(b) = -2*b**2 + 56*b - 252. Let j be s(-11). Which is greater: -1112 or j?
j
Let a = 60 - 60.99. Let m = a + -1.01. Let w = -1 - -1.07. Is w at least as big as m?
True
Let s = -73022 + 73095014/1001. Is 1 equal to s?
False
Let x be ((-385)/(-30) + -4)/(-1). Let q(w) = -28*w**2 - 252*w - 9. Let u be q(-9). Does u = x?
False
Suppose 14*i - 21 = 7. Suppose -3*d + 3*h = 5*h + 1110, -i*d - 2*h = 738. Is d bigger than -373?
True
Let r be 4*(-693)/88*(-4)/(-3). Is 1 smaller than r?
False
Let m = -9.049 + 9.1. Let x = m + 0.049. Let v = 31 + 26. Is x at least v?
False
Let u(k) = -6*k**2 + 6 + k**3 + 15*k**2 - 36*k + 10*k + 2*k**2. Let d be u(-13). Which is smaller: 11 or d?
d
Suppose 2*x - 24*a + 22*a - 678 = 0, -5*x = -3*a - 1689. Let p = -335 + x. Is p equal to 4/27?
False
Let t = -3364.8 + 3365. Which is smaller: t or 367?
t
Suppose -4*k + 4 - 3 = -n, -28 = -4*k + 4*n. Let q be (-572)/350 - (-4)/(-14). Do q and k have the same value?
False
Let d = -0.1318 + 6.1318. Let f = 8 + -25. Let q = -49/3 - f. Which is smaller: q or d?
q
Suppose 5*z + 65 = 5*g, -570*z = -569*z - 2*g + 11. Which is greater: -506/35 or z?
-506/35
Let u = 1493 + -1494. Is -45/164 != u?
True
Let a(d) = 6*d**2 + 23*d + 17. Let t(j) = -5*j**2 - 22*j - 16. Let l(q) = -6*a(q) - 7*t(q). Let z be l(15). Which is smaller: z or 23?
23
Suppose -4*w + 2*n + 13 = -1, -4*w + 4*n = -24. Suppose -7 + w = 3*k. Let d be (-15)/(-6) + (-2)/4 + k. Which is smaller: -1/12 or d?
-1/12
Suppose 5*v - 15 = z - 0*v, 8 = 2*v. Suppose -30 = -5*q - 5*y, z*q - 4*y = 2*q + 4. Suppose -10 = 3*l - 5*l, t = q*l - 21. Do -1/21 and t have the same value?
False
Let y be ((-1)/9)/((-3)/(-56817)). Which is bigger: y or -2103?
-2103
Let a = -1402 + 1398. Is a > -389?
True
Let b = 19/62 + 967/31. Let r = 653 - 617. Suppose -14*f + r*f = 682. Is b not equal to f?
True
Let h = -408 + 213. Let d be 5/4*(-104)/h. Is d at most as big as -7?
False
Let p = -45/31 - -1919/1023. Let m be (-9 - -7) + (0 - -1). Which is smaller: p or m?
m
Let w(f) be the third derivative of f**4/2 + 73*f**3/6 - 2*f**2 + 47. Let m be w(-7). Which is bigger: m or -8?
-8
Let l = -5971 + 6048. Which is greater: 548/7 or l?
548/7
Let s = -51.7 - -52. Let l be 33*(-21)/135 + 5. Is l > s?
False
Suppose -8 = 5*n - 23. Let z be -5 - 1/(n/(-4))*3. Is z not equal to -24/29?
True
Let k be 104/(-12)*102/(-4). Suppose 53 = -4*f + k. Let i = -42 + f. Is i at least 9?
False
Suppose 12*i - 18 = 210. Suppose 85 - i = 33*t. Does 19/34 = t?
False
Let w = 0 + 2. Let n = 0.129 + -91.129. Let d = n - -68. Which is smaller: w or d?
d
Let g = 16 + -16.11. Let w = g - -1.51. Let f = -34166 + 307496/9. Is w equal to f?
False
Suppose 5*r = -83 + 13. Let c be (-2328)/(-42) + 6/r. Does c = 54?
False
Let c = -219 + 221. Let v be c/(-7) + 10/210*11. Is v greater than or equal to 0.1?
True
Let z be 228/(-19)*(-2)/(-52). Let d = -0.12 - -8.12. Let h = d + -10. Which is smaller: z or h?
h
Let c = -21 + 19. Let r(p) = -2*p**2 - 27*p + 17. Let d be r(-13). Let y be (-1)/d*c*(-9 + 2). Which is greater: -1 or y?
y
Let g = -21 + 26. Let k = -4843 - -271205/56. Which is bigger: g or k?
g
Let y(u) = 20*u - 74. Let a(g) = 17*g - 75. Let i(x) = 4*a(x) - 3*y(x). Let w be i(10). Which is greater: 5/2 or w?
5/2
Let a = -264953664/257465 + 238700/233. Let i = -5/221 - a. Suppose -4*m = 20, -3*s + 3 = 2*m - 2. Is i less than s?
True
Let m = -30.9 - -31. Let d = 45 + -43. Suppose -4*h + 5*r = 93, -3*r = d*h - 3*h - 32. Which is greater: h or m?
m
Let q = -87.79 - -86.69. Is 0.424 bigger than q?
True
Let y = 10 + -106. Do y and -477/5 have different values?
True
Let g = 45 + -162. Let j = g + 823/7. Let v = -7345 - -7345.2. Is j at least v?
True
Let r = -9 - -1