2665. Let l = -55705/53 - z. Which is smaller: m or l?
l
Let p be 3 - (3/(-354))/((-6)/2116). Let z = 3175 + -3176. Which is smaller: p or z?
z
Let h be 1/(-2) + (-13)/((-78)/(-93)). Suppose 0 = -8*w + 10*w + 34. Is h smaller than w?
False
Let m(n) be the second derivative of -2*n**3 + 101*n**2 + 3*n + 5. Let g be m(17). Is g less than 74?
True
Suppose -2*w + 4*w - 13 = -t, 0 = -4*t + w + 97. Let j = t + -2. Suppose 5*m = 4*p + j, -m + 13 = 3*p + m. Which is smaller: p or -1.5?
-1.5
Let f(n) = 3*n + 42. Let p be f(-14). Suppose p = 13*g - 12*g. Which is bigger: -5/13 or g?
g
Suppose 0*q - 29227 = -11*q. Let w = q - 18632/7. Which is smaller: w or -5?
-5
Let n be 4/(-2) + (-96)/(-50). Suppose -2*g + 5*h + 14 = 7*h, 18 = 4*g + 2*h. Suppose -3*s + 49*k = 51*k + 11, -3*k = -g*s + 10. Is s > n?
False
Suppose 23*k + 128 - 2060 = 0. Is 59 less than k?
True
Let c = -17 + 55. Let y = 21 + 19. Suppose -3*w + 4*w = p + y, p - 38 = -w. Is w smaller than c?
False
Suppose -15*g - 9*g = 1728. Let k be (1 - 0)*36/g. Is k at most 244?
True
Let z = 1912.18 + 6.82. Is z less than or equal to 0?
False
Let o = 136.868 + 0.132. Let w = o + -78. Let t = 59.13 - w. Which is smaller: 2/7 or t?
t
Let h = 4965 - 4965. Let p = 82 - 478. Let u be (p/(-128))/3 + -1. Which is smaller: h or u?
h
Let j(l) = l**2 - 10*l + 18. Let w be j(2). Suppose -w*m = 6, -2 + 5 = 4*s - m. Is 19 >= s?
True
Let z be -1 - -2 - (1 + -33). Let c be (-788)/(-28) + 36/(-96) + (-172)/(-32). Which is smaller: c or z?
z
Suppose -3 = 3*q + 6. Let z = -57 - -133. Suppose 8*r + z = 60. Is r < q?
False
Suppose -5*d - 71 = -2*a, -8*a + 5*d + 185 = -3*a. Suppose -3*u = -a + 143. Let p be ((-51)/(-2))/((-12)/16). Is u less than p?
True
Suppose 8*j + 6*j = 392. Suppose -9*l = j + 8. Let r be (-28)/(-10)*(l - (2 - 8)). Which is bigger: r or 5?
r
Let s be (-2)/6 - (175/135)/(-5). Let n = -19/108 + s. Let v = 0 - -10. Is v > n?
True
Suppose -4*k + 20 = -0, 5*g - 130 = -3*k. Suppose -6*l + 57 = 4*l - 163. Is l less than or equal to g?
True
Let o(z) = -z**3 - 14*z**2 + 49*z - 7. Let v be o(-18). Suppose -7*t + v = 4*t. Which is smaller: t or 10?
10
Suppose -52*y - 2*g = -55*y - 17387, 0 = 5*y + 2*g + 28973. Is y <= -5795?
True
Let r = -0.198 - -0.153. Let c = r - 3.955. Is c greater than or equal to 1/3?
False
Let s = -420157 + 2936173/7. Which is smaller: -704 or s?
-704
Let y be ((-6)/12)/((-4)/8). Let z = -6141 - -190403/31. Which is greater: z or y?
z
Let c be (6/(-12))/((-2)/152). Let n be (-30)/(25/14 - c/133). Does -5 = n?
False
Let r = -1778/5 + -329/10. Let k = r + 387. Let h = 0.4 + -0.3. Do k and h have different values?
True
Let c be 13 - ((-40)/(-2) - 3297). Which is bigger: c or 3289?
c
Suppose 46 - 35 = 11*i. Let t be 20*(1/i - 5). Is t at most -80?
True
Let t be (-9)/(-15)*(-2600)/(-160). Suppose -3*x + 30 + 0 = 0. Which is smaller: t or x?
t
Let z = 192.4462 - 192.77. Is 5 bigger than z?
True
Suppose 0 = 2*w - 2, -1 = -0*v + 4*v - w. Let i = 162 + -231. Let s = -348/5 - i. Which is bigger: s or v?
v
Let b be 2 + ((-24)/22)/1. Suppose 4 = -1111*m + 1113*m. Which is smaller: m or b?
b
Let x = 174 + -172. Let d be 2 + -1 + (x - (9 - 5)). Which is smaller: -7/16 or d?
d
Let t = -215.616 + -2.184. Let b = -218 - t. Is b greater than 2/111?
False
Let o(x) = -x**3 + x**2 + 2*x - 2. Let v be o(2). Let j = -15997 + 271913/17. Which is bigger: v or j?
v
Let i(v) = 72*v**2 - 64*v - 113. Let h be i(-2). Is h bigger than -1?
True
Suppose -10*v + 6 = 6. Suppose 2*f - 33 = -f. Let o be -2 + 1 + 21/f. Is o at least as big as v?
True
Suppose -25*r + 13*r + 5700 = 0. Let c = 5227/11 - r. Does c = -0.6?
False
Let y = 2/57 + 1346/627. Suppose 733 = 23*j + 664. Which is bigger: j or y?
j
Let x be 55/((-126)/(-24) + -4). Which is bigger: x or 27?
x
Let d be 51*(-57)/(-323) - (-6827 - 2). Is 6838 < d?
False
Let a = 0.343 - 1.883. Let m = a + 4.54. Which is smaller: m or 9?
m
Let a = 909 - 55443/61. Is 0 at least a?
False
Suppose -29*k = 11*k - 2760. Suppose 3*h + 2 = -c + 6, 3*h = 6. Is k smaller than c?
False
Let q(g) = 7*g - 46. Suppose -12 = -3*y + 5*l + 7, 0 = -5*y - 4*l + 44. Let d be q(y). Let u be (2/3)/(2/9). Is d <= u?
False
Suppose -6*s - 6 + 18 = 0. Suppose -s*a = 4*m + m + 243, 2*a - 180 = 4*m. Let u = m - -47. Which is bigger: 3 or u?
3
Let t be (29 + 1)/(1*-2). Let x be (3/4)/(t/1020). Let c be (-17)/x*(-1 + 110/116). Do c and 0 have different values?
True
Suppose 0 = 4*f - u - 52, -26 = -2*f - u + 5*u. Let r be (237/18 - f)*126/(-8). Are r and -4 equal?
False
Suppose 4*a - g = -7, 0 = -a - 4*a - 2*g - 12. Let t = -48 - -84. Let i be -2*15/t + 0. Is i less than a?
False
Suppose 22*s + 7*s = 5336. Let w be 506/s*(2/(-4))/(-1). Is 0 bigger than w?
False
Let c = -5723141/257 + 22269. Is c > -1?
True
Let q = 4 + -4. Let l be ((-3)/(-12))/((-46)/4*2/(-4)). Is q >= l?
False
Let x(z) = -z - 6. Let j be 3/(3/(-3)) - 2. Let d be x(j). Let h be (13 - (-871)/(-65)) + 132/305. Which is greater: d or h?
h
Let f be 2/3*12/(-16)*0. Let b = 2.2 + 0.4. Is f at least b?
False
Let o = -2/10145 + 12208/172465. Which is greater: -10 or o?
o
Let h(s) = -s + 11. Let l be h(6). Suppose 3*i = 3*b - 84, 0 = -b - 0*i - l*i + 52. Suppose b = -4*m - 28. Is m smaller than -18?
False
Let s(l) be the third derivative of -l**5/60 + 3*l**4/8 - 10*l**3/3 + 10*l**2. Let u be s(6). Let d be ((-2)/u)/(1*1/(-25)). Which is bigger: -26 or d?
d
Let r = 58473 + -53034989/907. Which is bigger: r or 1?
1
Let r(s) = -4*s**3 - 3*s**2 + 24. Let k(l) = -3*l**3 - 4*l**2 + l + 23. Let x(z) = -3*k(z) + 2*r(z). Let f be x(-6). Do f and -25/8 have different values?
True
Suppose -7*v + 3*v + 160 = 5*h, -2*v = 5*h - 170. Suppose h*u - 5120 = 4852. Which is greater: u or 278?
278
Suppose o + 2*o - 72 = 0. Let n = -135 + 202. Let w = 90 - n. Does o = w?
False
Let z = -13533860797/2002 - -6760170. Let a = -2/143 - z. Let n = 5/42 + a. Which is smaller: n or -2/63?
-2/63
Let r = -6.1 + 15.655. Let z = 0.555 - r. Which is smaller: z or -2/61?
z
Suppose -12 = 4*i + 4. Let n be (-12)/(-6)*606/i. Let p be n/582 - (-4)/8. Is 1 <= p?
False
Let p be (-13)/22 + (-2)/(-4). Suppose -12712*l = -12629*l. Is p <= l?
True
Let b be (3/(-40))/((-6)/(-65)). Let n be (7 + (-4)/1 - 3) + -3 + 2. Is n smaller than b?
True
Suppose -119*r + 179626 + 164403 = 0. Which is bigger: r or 2892?
2892
Let n = -0.998 + -7.754. Let x = n + 0.052. Let z = 8.7 + x. Which is smaller: -3/16 or z?
-3/16
Let f be -2*-1*1/(-1). Let u = 366 - 367.14. Let b = -1.23 - u. Are b and f nonequal?
True
Let v = -6142 - -6143. Are 6/547 and v non-equal?
True
Let m be (1 + 0)*4/82. Let b = -572.68395 + -0.01605. Let d = b - -573. Which is bigger: m or d?
d
Let b = -94892/2799 + 246/311. Is b not equal to 0.04?
True
Let i = 80.6 + -77.6. Which is smaller: i or -0.158?
-0.158
Let r(a) = -a**2 - 9*a - 14. Let z(f) = f**3 - 14*f**2 - 16*f + 12. Let y be z(15). Let s be r(y). Suppose s*q - 199 = -19. Are q and 45 nonequal?
False
Suppose d + 65514 = 4*y, -29590 = -4*y + 5*d + 35932. Which is smaller: y or 16377?
16377
Let a(h) = -h**3 + 8*h**2 - 4*h - 16. Let r be a(7). Suppose -4*s + r = -3. Let q be (-6188)/154 - s*2/(-22). Does q = -40?
True
Suppose 2 = 2*j - 2. Suppose f = -j*t + 16, 3*t - 10 - 16 = -f. Let m be (-7)/((-14)/t) + 2. Which is greater: 6 or m?
m
Let f = 2.04 + -0.04. Let q = 0.1732 - -1.8768. Let l = f - q. Is 2/7 greater than l?
True
Let t be (4 + -1)/1 + 25 + -28. Suppose -5*u = -z - 3*u - 5, 4*z - u + 34 = t. Suppose 0*p = -4*p - 4, 2*p + 9 = -r. Is z equal to r?
False
Let p be (-22 + 707674/32142)*(4 + 2). Is 0 greater than or equal to p?
False
Let y be (9/21)/(63/98). Let p = 5.981 - 0.041. Let z = -0.36 - p. Is y at most z?
False
Let b = 1438/7 + -207. Suppose 45*n = 48*n - 9. Suppose 5*w = 4*v + 13, -n*v - 5 = -0*w + w. Which is bigger: v or b?
b
Suppose 90*g + 218*g = -140*g + 896. Is 1847 at least g?
True
Let j = 32960 + -32974. Which is greater: -49 or j?
j
Suppose 4*y = 4*t - 92, 3*t + 15*y - 19*y - 69 = 0. Suppose 3*j + t - 7 = -s, j - 16 = 5*s. Which is smaller: -50/11 or j?
-50/11
Let i be 3 + (2/(-9) - (-7998)/27). Let f(o) = -i + 288 + 2*o - o. Let c be f(10). Which is smaller: 5 or c?
c
Suppose q - 19 + 3 = 0. Let u be (13 - q)/((-1)/19). Which is smaller: 56 or u?
56
Let t = -2