t l be (-16)/10 - (2 - 0). Suppose -5*f = -2*y + 38, y + 0*f = f + 13. Let b be (10 - 2)*y/(-18). Do l and b have the same value?
False
Let f(j) be the third derivative of -j**6/120 - j**5/10 - j**4/4 + 2*j**3/3 - 22*j**2. Let h be f(-3). Let c = 10 - 17. Is h at most c?
False
Suppose -12 = b - 3*l, -5*l = -14*b + 11*b - 20. Is -3/484 greater than b?
False
Let w be (-6)/33 + 310/(-110). Let x be w + 1 - 21/(231/(-2684)). Is x greater than 241?
True
Let l = 2044 + -2016. Is -28 bigger than l?
False
Let r be -1812 - ((-152)/(-4) - 20). Is r != -1830?
False
Let f = 29 - 29. Let n = 16 - f. Which is greater: n or 2/23?
n
Suppose 5 = -4*g - 43. Let n be (6/g)/((-1)/(-398)). Which is bigger: n or -200?
n
Let q be 1 + (-738)/138 + 4. Let z = q + -743/46. Suppose 0 = -5*f - 142 + 57. Is f greater than z?
False
Let g = 403 + -364. Let x be (-2)/(-26) - 198/g. Which is greater: -1/2 or x?
-1/2
Let s(y) = -3*y**2 + 10*y. Let v be s(4). Let i = v + 17. Suppose -4 = -i*k + 5. Which is bigger: k or 2/59?
k
Let z = 2078.04 + -2079.7. Is z smaller than -29?
False
Let k = 2873 + -2872. Let c = 79 - 89.6. Is c less than or equal to k?
True
Let k = -53.8 - -52.5. Is k bigger than -2?
True
Let o = -1.53489 - -1.4903. Which is bigger: 0.2 or o?
0.2
Suppose 0 = 2*u - 2*i - 3996, -2*u + 4036 - 55 = -5*i. Is 2002 at most as big as u?
True
Suppose 88*w - 93*w = -20. Let u be -3 - (1/11)/(w/(-32)). Which is greater: -2 or u?
-2
Let z(x) = 3*x - 18. Let b(w) = -1. Let v(a) = -18*b(a) + z(a). Let l be v(2). Let y = -4381 - -4387. Is y less than l?
False
Let d be (-7 + 7)/(-4) + (4880/(-62))/2. Is d less than -39?
True
Let d = -0.2 + 0. Let r = 1827 + -1793. Which is smaller: d or r?
d
Let l = 3.9702 - -0.0298. Which is smaller: 1 or l?
1
Let p = -16774 + 11929. Which is greater: -4847 or p?
p
Suppose -2 = 3*s + 4*l, s - 23*l + 28*l + 19 = 0. Suppose 3*b + 126 = 3*z, -s*b - 209 = -b - 4*z. Is b less than 3?
True
Let u be (-2)/(-5) + (-126)/(-10). Let n be -178 - -173 - (-66)/4. Are n and u equal?
False
Let w = -32 - -11. Suppose -2*x + 23 = 2*i - 21, -4*i - 3*x = -88. Suppose -242 + i = 10*r. Which is greater: w or r?
w
Let h = 419 + -263. Let a = 129 - h. Is -26 at least a?
True
Suppose -5*g - 176 = -2*n, g - 3*n - 114 = 4*g. Let v be (2/3)/((-15)/g). Suppose 841*z - 619*z + 2957*z - 3179 = 0. Are z and v equal?
False
Let r(k) = 6*k**3 + 113*k**2 + 102*k + 19. Let y be r(-18). Do y and -2544/13 have the same value?
False
Let i be 1 + -4 + (12 - 9). Suppose i = -l - 2*j + 377 + 35, 2*l - 828 = -5*j. Is l bigger than 405?
False
Let t = 0 + 2. Let m be (-518)/(-56) - (6/(-8) + 1). Let j be 42/35 - (t - m/5). Which is greater: j or 10/7?
10/7
Let h(l) be the second derivative of l**4/6 + 5*l**3/3 + 2*l**2 + 9*l + 4. Let n be h(-5). Is -7 at most as big as n?
True
Let p(y) = -14*y - 15*y - 1 + 17*y - 3*y**2 + y - 10*y. Let x be p(-4). Is x less than 35?
False
Let k(d) = -5*d**2 + 65*d + 85. Let h be k(14). Are 53 and h nonequal?
True
Let h be 347/(-9) - 68/153. Let p(l) = -2*l**2 + 2*l + 1. Let x = -6 - -2. Let d be p(x). Is h bigger than d?
False
Let l = -16972.2463 + -0.7537. Is l greater than 0?
False
Suppose 2*y = 5*h + 9429, -4*y = 7*h - 4*h - 18897. Do y and 4722 have the same value?
True
Let m(t) = -t**2 - 15*t - 51. Let d be m(-7). Let i be d/(-10)*2*(-1)/(-4). Is 18 at least as big as i?
True
Let x(g) = -43*g**3 + 3*g**2 - 1. Let h be x(1). Are h and 39 non-equal?
True
Let j be (-16)/(-3) + (-6)/36*2. Suppose -j*g - 2*b - 54 = b, -9 = 3*b. Does -16 = g?
False
Let m be 146*(2 + 3/(-2)). Let r = -25705/3 - -8640. Is m equal to r?
False
Let k be (-1727)/(-88) + (4 - (-174)/(-48)). Let i(x) = x**3 + 13*x**2 + 12*x + 23. Let h be i(-12). Do k and h have different values?
True
Let h(n) = n**3 - 6*n**2 + n - 1. Let l be h(6). Suppose y - 37 - 21 = -2*b, l*b + 71 = 2*y. Let m = y + -70. Which is greater: m or 0.2?
0.2
Suppose -97*a = -106*a + 198. Let k(c) = c**3 - 23*c**2 + 32*c - 30. Let r be k(a). Is r less than or equal to 190?
True
Suppose 0 = -58*t - 210*t + 1783 - 18667. Suppose -4*v = v + 310. Is v bigger than t?
True
Suppose -16*i + 13 = -15*i - 5*y, -5*i + 4*y + 2 = 0. Let h(w) = -39*w - 52. Let n be h(i). Is 300/11 at most as big as n?
False
Let a be (-8)/(-6)*(-5)/(-5824). Let y = 549 - 61485/112. Let m = a - y. Is m at most -1?
False
Suppose 2 = -2*l + 4*h + 12, 0 = 5*l + 2*h + 11. Let z = l - -3. Suppose 4*a - z*a = 14. Which is greater: a or 28/5?
a
Let q be (48/(-10))/(32/21200). Let m be (-6)/1 - q/528. Let i = 3 + -2. Which is bigger: i or m?
i
Let a(r) be the third derivative of r**5/30 - 3*r**4/4 - r**3/3 + 8*r**2. Let c be a(9). Let d be -10 + (5 - 5)/(6/c). Which is smaller: d or -11?
-11
Suppose f = -l, 7*l = 4*l - 4*f. Let k be (-1350)/(-105) + -13 + 6718/(-14). Let r = 484 + k. Is l at most r?
True
Let b = -0.1608 + 0.0608. Which is smaller: b or 91?
b
Suppose c + t = -0*c - 3340, 4*c - 3*t + 13353 = 0. Let m = c - -544259/163. Suppose 82*f = 77*f + 5. Is m greater than or equal to f?
False
Suppose -10*v - 25004 - 20174 = 39*v. Which is smaller: v or -4608/5?
v
Suppose -5*i + 5*m = 15, -193 + 189 = 2*i - m. Is i > 1/7429?
False
Let s(i) = -354*i - 38 + 24 + 19 + 21. Let w be s(8). Let b = 350748/125 + w. Which is smaller: 0 or b?
b
Let a = -36.77 - -41.77. Which is bigger: a or 117?
117
Let j be (-9)/(-4)*11840/(-888). Is -24 greater than j?
True
Let g be (((-108)/8)/(-27))/((-4)/32). Is g greater than -28/9?
False
Let w be (198/27)/(-11)*(3 - 0). Let h be (4185/(-475))/9 - w/2. Suppose 20 = -a + 4*r - 1, -5*r = 4*a - 21. Which is smaller: a or h?
a
Let k = -2253 + 2663. Which is bigger: k or 435?
435
Let a = -3 + 1. Let o = 10720.3 + -9833. Let b = o - 887. Which is smaller: b or a?
a
Let f = 9439 + -9687. Which is bigger: -2718/11 or f?
-2718/11
Suppose 0 = -2*p + 5*s + 259, -5*s + 87 = 4*p - 446. Let z = p + -116. Which is smaller: 29/2 or z?
29/2
Let w = 14.5029 + 0.1571. Let o = w + -14.6. Are o and -15 unequal?
True
Let c = -38473/57 - -675. Suppose 90*p - 48 = 42. Which is smaller: p or c?
c
Let g = 450 - 91. Suppose 0 = -7*o - g + 142. Is -32 <= o?
True
Suppose -97664 = 11*l - 139*l. Are 764 and l equal?
False
Let s = 143 + -214. Let h = s + 68. Which is smaller: h or -27/7?
-27/7
Suppose 0 = 5*h - a + 6*a - 65, -2*a = 2. Let d(t) = 4*t - 10. Let c be d(4). Suppose 0 = -c*x + 15*x - 108. Which is smaller: h or x?
x
Suppose -18*w - 23233 - 2615 = 0. Let h be 2*(w/24 - -4)*3. Is h > -335?
False
Let q be 4/12*(-1)/36. Suppose 0 = -4*h - 16, 3*o - 3*h - 3 - 12 = 0. Which is smaller: q or o?
q
Let a = 12.07 + -0.07. Let c = 11.7 - a. Let q = 487 - 460. Are q and c nonequal?
True
Let p be (32/(-24))/((-40)/30). Which is bigger: 2/1249 or p?
p
Suppose 5*f - 4*q + 12 = 0, 8*f - 5*q + 15 = 11*f. Are -4/1003 and f nonequal?
True
Let r = 1928/7 - 171501/623. Is 0 >= r?
False
Suppose 2*o + 3*n + 1229 = 0, 5*o + 1457 + 1633 = -5*n. Which is greater: o or -622?
-622
Let q = -11917 - -11921.5. Let k be (-3 + 0)*(-2)/27. Which is greater: k or q?
q
Let u = -25 + -4. Let m = -35 - u. Let n(c) = -c**2 - 9*c - 8. Let i be n(m). Which is bigger: i or 32/3?
32/3
Let y = 11384 - 11386. Which is greater: 3/230 or y?
3/230
Let x = 4193/5 + -841. Let n(o) = o**2 + 5*o + 2. Let d be n(-2). Let k = -6 - d. Which is smaller: k or x?
x
Let v = 17410 + -17409.89. Which is greater: v or -6.86?
v
Let z = 102985 - 139132741/1351. Is 0 greater than z?
True
Let g be 7/((-147)/(-14)) + (-48)/18. Let q be (-29174)/(-609) + (-1)/21*g. Let n be 8*6 + -1 + 1. Do q and n have different values?
False
Let k(i) = i**3 + 4*i**2 - 371*i - 1476. Let o be k(-4). Let j = 192/5 + -38. Is o >= j?
True
Let q = 52/55 - -22501/110. Let y = q - 205. Is -5.1 at most as big as y?
True
Let i be 2/((-2)/(4/(-1))). Let p = -37.39 - -38. Let n = p + -0.41. Is i >= n?
True
Let b(m) = -m**3 - 4*m**2 - 2*m + 4. Let q be b(-4). Let o be -3*2/(-3045)*(3 + q). Let c = o + 316/3045. Which is greater: 0 or c?
c
Let x = -66 - -65.959. Let w = -4.259 + x. Let g = 4.1 + w. Is 2/3 at least g?
True
Let i(z) = 19*z**2 - z. Let f be i(1). Suppose 0 = -5*m + 8*m - f. Which is smaller: 32/7 or m?
32/7
Let k = -1750.4 - -1820.355. Let o = k - 70. Let h = -7.955 + o. Which is bigger: h or -5?
-5
Let b = 2886.96 - 28