 -6)*(a + 448/63). Is 6 bigger than p?
False
Let u = 304 + -6995/23. Let x(j) be the second derivative of j**3/6 + 13*j**2 + 116*j. Let y be x(-26). Which is smaller: u or y?
u
Let z = -77425/9 - -8621. Let a be (-117)/130*-10 + 10. Is a greater than z?
True
Let z = 114718/5 - 22810. Is 135 > z?
True
Let a = 39 - 31. Suppose -2*b - 336 = -a*b. Suppose -b*y = -59*y + 24. Does 10 = y?
False
Suppose 2*n - 66 = 5*y, -y = -0*n - n + 12. Let q be (1 + y)*(7 - 6). Let t(h) = -h**3 - 14*h**2 - 16*h + 20. Let c be t(q). Is c smaller than 59?
False
Let a = 0.05097 - -0.24903. Let v = -4329 - -4350.008. Let c = 0.008 - v. Which is smaller: a or c?
c
Let i be 378/(-24)*(-40 - -35 - (-66)/2). Is -441 greater than i?
False
Let r be (18/15)/(9/30). Suppose -4*q + h = 5*h + 8, 3*q + r*h = -2. Let k(i) = 5*i**3 + i**2 + 2*i + 1. Let z be k(-1). Is q equal to z?
False
Let u = -4367839/15 + 291055. Is u at least as big as -133?
False
Suppose 0*u - 1 = u. Let l = -343.0805 - -0.0805. Let m = 324 + l. Do m and u have different values?
True
Let f be (-36)/(-10) - (-6)/(-10). Suppose 0 = c - 2*g - 9, 5*c + 5 = -f*g - 15. Let r = 32 + -97/3. Which is greater: r or c?
r
Let v = -212 + 1035. Suppose -15*z = 2248 - v. Is -95 at least as big as z?
True
Let x be (12/4 + -4)/(-1) - -7. Suppose -x*r - 2 = -26. Let o be 1/(50/15 - r). Which is smaller: o or 19/8?
19/8
Let w = -14088.3 + 14088. Which is smaller: 0.09 or w?
w
Let u = -14 - -10. Let d = 3904/1463 + -367/133. Is u <= d?
True
Let j = -4722439/990 + 42932/9. Let q = 0 - 0. Which is smaller: q or j?
q
Let t = 133 + -143. Let x(d) = -7*d - 78. Let r be x(t). Is -8 <= r?
True
Let g be (-2)/(-460)*(-5970)/(-1791). Which is bigger: 82 or g?
82
Suppose 2*i + 3 = i, -s = -i + 216. Suppose 805 = 27*p + 815 + 5957. Which is smaller: p or s?
p
Suppose 2*c + 1828 = -f, -4*c = 17*f - 19*f + 3632. Which is smaller: -916 or c?
-916
Suppose -t - 282 = 2*t. Let m be 2/(-8) - (7 + 5616/64). Which is bigger: t or m?
t
Let n = 4732 + -4721. Let w(s) = s**2 - 3*s - 2. Let m be w(2). Let a be 10/6 + (n + -3)/m. Is 7 at least as big as a?
True
Let r be (-6 - (-342)/45)/(22/(-14685)). Is r at least as big as 2/7?
False
Let r = -8589 - -8671. Is 34 bigger than r?
False
Let p = -98 + 97.89. Let c = -0.4728 - -0.0728. Is p < c?
False
Let o = -0.17913 - -3.17913. Is -1.83 > o?
False
Let q(c) = 11*c**2 - 2*c - 17. Let o be q(5). Let j be (2 - 4 - 1)/(o/(-1)). Let v = j - -321/4216. Is -1 at most as big as v?
True
Let p(b) = -28*b**2 - 58*b - 191. Let m be p(-12). Which is smaller: m or -3528?
-3528
Let a be (24/9 - 4)/((-12744)/567 - -18). Let q(l) = -l**3 - 2*l**2 + 4*l + 4. Let u be q(-3). Which is bigger: a or u?
u
Suppose 463 = w - 5*a, 5*w - 1630 = 3*a + 509. Is w > 416?
True
Suppose 0 = 5*i - 4*i - 4. Let g = 536 - 935. Let p = g + 396. Is i greater than p?
True
Let m(j) = -j - 41 + 49 + 2*j. Let w be m(-8). Let k be ((-6)/280)/(3/2). Is k greater than w?
False
Let q be -13 + 14 - (1 + -4). Let y be (q/343)/((-180)/210). Which is smaller: -1 or y?
-1
Let j be 2/(-8) + (-11)/(-12). Let y = -0.006 - -0.312. Let q = 0.094 + y. Which is greater: j or q?
j
Let g be (2/(-16))/(73/584). Which is smaller: g or -0.042?
g
Let l = 454.029 + -454. Let v = -9.7 + 9.771. Let x = l + v. Which is smaller: 2.1 or x?
x
Let o = 5 - -3. Let q be o/(-12) + 52/6. Let h = 3576 + -3569. Does h = q?
False
Let q(s) = 11*s + 2. Let h be q(-4). Let p = h + 32. Let o be ((-1)/(p/8))/((-2)/(-25)). Do o and 5 have the same value?
False
Let u = 27.1 - 26.9. Let b = 54 + -23. Let d = b + -19. Which is smaller: u or d?
u
Let t = 2 - -109. Which is smaller: t or 110?
110
Let k be (946/(-66) + 14)/(5/(-6)). Are 203/5 and k equal?
False
Suppose 47*m - 46 = 1. Is -1/2141 greater than or equal to m?
False
Let u = 50 + -47. Let z be 1*94/2 - (4 - u). Let w = -18 + 19. Which is bigger: w or z?
z
Let s = 28 - 73. Suppose 191 = -4*b + 5*l, -326*b + 328*b - 14*l + 130 = 0. Which is smaller: s or b?
s
Suppose -3*m - 317 = 5*n, -2*n + 7*m - 126 = 9*m. Suppose 9*y - 135 = 4*y. Let d = y + n. Is d < -36?
True
Suppose 3*x - 6 = -0. Suppose 1917 = 8*m - 18963. Let k be x/(-11) - m/(-198). Are k and 12 unequal?
True
Let k(h) = h + 391 - 203 - 213. Let j be k(22). Are j and -1/31 non-equal?
True
Let p be (29/(1392/32))/(20/9). Which is smaller: p or 1?
p
Let w = 2840 - 2840. Which is smaller: -54/173 or w?
-54/173
Let u = -27 - -30. Suppose l - 13 = -5*x, 3*l - u*x = 6*l - 39. Let k be 9/(540/(-8)) + 424/30. Which is smaller: k or l?
l
Suppose 4*a - 3*a + 19 = 0. Let b = -20 - a. Let x be 73/203 + (-15)/35. Which is bigger: b or x?
x
Let j = -15950 + 15951. Which is bigger: 13/57 or j?
j
Suppose 3090 = 323*l - 293*l. Is 95 < l?
True
Let s = -153458 - -153464. Let d = -12 - -24. Let p be ((-9)/d)/(2/(-16)). Are s and p nonequal?
False
Let d = -377411/12236 - -863/28. Is 0 >= d?
True
Let d(z) = 13*z - 104. Let x(a) = 12*a - 105. Let h(m) = 5*d(m) - 6*x(m). Let g be h(16). Which is greater: -1 or g?
-1
Let o = 3904 - 3487. Is o equal to 412?
False
Suppose -3*y = 3*g + 969, -92 + 422 = -y - 2*g. Is -321 not equal to y?
True
Suppose 23*m + 3*w = 24*m - 63, 0 = 3*m + w - 189. Which is bigger: 0.35 or m?
m
Let f be 0/2 + (1 - 0). Let g = 747.6493 + 0.4507. Let o = -741 + g. Is f smaller than o?
True
Let z = 0 + 1. Suppose 0 = -3*s + 3*q - 444, -6*q = -q. Let t be (6/s)/((-36)/(-48)). Does t = z?
False
Suppose 4*u + 5586 = -q, -q - 5592 = 10*u - 5*u. Is -5561 < q?
False
Let p = -101 - -104. Suppose p*d = -4*n + 2*n + 1, 32 = -n + 5*d. Does n = -3?
False
Suppose 7*l + 4*q + 5361 = 0, 18*l = 21*l + 3*q + 2295. Is -0.1 > l?
True
Let s = -3476.94 - -3477. Is s not equal to -0.37?
True
Let f(o) = o**3 - o + 64. Let p be f(0). Let c = p + -78. Let k = -32 - c. Is -19 greater than k?
False
Suppose c = 3*d + 2*d + 1741, 0 = 4*d - 5*c + 1397. Let h = d - -222. Is h equal to -126?
True
Let h = 1768/15 + -718394/6095. Is h at most 0?
False
Let u(o) = -o**3 + 13*o**2 - 42*o - 1. Let n be u(7). Is n equal to -1.034?
False
Let q(w) = 6*w**2 - 1. Let v be q(1). Let i be 32/v + 2 + -2. Let b(d) = -2*d**3 + 33*d**2 + 14*d + 58. Let h be b(17). Which is greater: h or i?
h
Let p(l) = -l**3 + 62*l**2 - 143*l + 153. Let r be p(60). Which is smaller: 1/4 or r?
r
Suppose 3*r - 6*n + 7*n = 2, -n = -4*r + 12. Which is smaller: r or 226/71?
r
Suppose -b - 8 = -2*p, b + 1 = -p + 5. Let u = 0 - p. Let h be 1/(-15)*3 - -1. Is u <= h?
True
Suppose 5*h - 133*z = -131*z + 24, -21 = -4*h + z. Is 17 smaller than h?
False
Let s(y) = 7*y**2 + 37*y - 3. Let h be s(-15). Suppose -6*i - h = -285. Are i and -120 non-equal?
True
Let i(w) = -w**2 + 20*w - 62. Let r be i(16). Let o be (-1062)/(-72) - (r + -1)*1. Which is greater: 14 or o?
14
Suppose 2*a + 184*b + 2 = 180*b, 2*b = a + 17. Which is smaller: 14 or a?
a
Let h = 955/3772 - 3/943. Is h > -4.15?
True
Let f = -26 + 26. Suppose -2*x + f = t - 3, -t = -2*x - 3. Suppose 3*b = 2*p + 2, t*b = b - 5*p + 14. Which is smaller: b or 7/13?
7/13
Suppose -136*c + 6*c + 173030 = 0. Is 1333 greater than or equal to c?
True
Let z be 2 + 411 + -7 + (-2 - -6). Suppose 4*w = -l + 8*w - 142, 3*l - 4*w = -z. Is -134 smaller than l?
False
Let x be (-11)/((-66)/4)*534. Let d = 2472/7 - x. Is d > -4?
True
Let f(d) = 2 + 3*d**2 - 8*d - 10 - 7 + 0*d**2 + d**3. Let y be f(-4). Which is smaller: 2/13 or y?
2/13
Let g = 5008/35 + -6545246/45745. Let o = 1204/307145 + g. Let f be 4*((-5)/(-20) - 0). Which is greater: f or o?
f
Let y = 1.3 + 6.7. Let c = 0 - y. Let i(b) = -3*b**2 - 62*b - 319. Let n be i(-10). Which is greater: n or c?
n
Let b = 3/2 + -8/5. Let l be 5/3 + 6/(-9). Let o be (-15 - -15)/(l + 0). Is o greater than or equal to b?
True
Let k = -42 + 82. Let u = -40.2 + k. Let g = -84.1 - -84. Which is smaller: g or u?
u
Let x be (-256)/(-28) - (-3)/(-21). Suppose -2*p = -2*k - 2 - 0, 3 = -3*k. Suppose -10 = q - 4*d + x, q - 2*d + 9 = p. Which is smaller: 4/7 or q?
4/7
Let n be 14452/(-8)*(-34)/15*6. Let z = n - 2097314/85. Let a = z + 106302/1003. Is 1 < a?
False
Suppose 31 = 7*x + 10. Let m be x + (-3 - 12/(-27)). Let d = m - -1/18. Does -1/33 = d?
False
Suppose -70*q + 43*q - 189 = 0. Let h(y) = -2*y**2 - 22*y - 58. Let x be h(q). Is 87 less than or equal to x?
False
Let r = -428 - -426. L