59. Let f be s(-6). Which is smaller: f or 79?
f
Let s(m) = -m**3 - 7*m**2 - 6*m + 7. Let q be s(-6). Let n be 596/28 - 2/q. Let f = -8074 - -8096. Which is greater: f or n?
f
Let b(m) = -2*m**2 + 9*m + 10. Let r = 8 - -43. Suppose -16 = 7*l - r. Let v be b(l). Which is smaller: -3 or v?
-3
Suppose 4*z = 5*z - 0*z. Suppose 5*h + 4*j - 535 = z, 0*h + 2*j = -h + 107. Is 108 > h?
True
Let q = -12350.6 + 12350. Suppose -2*s = s - 42. Suppose 0 = -3*a + 3*b, 4*a + 3*b = -0*b + s. Is a bigger than q?
True
Let f = -732 + 684. Which is bigger: -47 or f?
-47
Let r = 25287 - 25286.7. Which is bigger: r or 6/589?
r
Let c be ((-1086)/(-4))/(12 - ((-6110)/(-320) - 7)). Which is smaller: -2895 or c?
c
Let r be ((-100)/12)/5 - (-3)/(-9). Let h(l) = -46*l**2 + 6*l + 9. Let c be h(r). Which is smaller: c or -190?
-190
Let z be -1 + ((-16898)/63)/((5 + 0)/(-30)). Is z < 1609?
True
Let w be 3837/(-21) - 4/14. Let z(q) = q**3 - 24*q**2 + 38*q - 50. Let k be z(22). Does k = w?
False
Let a = 44302 - 44301.9. Let v = -101 - -149. Is v <= a?
False
Let t = -622 + 67. Let i be t/30 + (-1 - 1). Let y = 46 - 67. Which is bigger: i or y?
i
Let a be (5/45)/(2/36). Suppose -139*z + 141*z + 3*d = 6, -a*z = -4*d + 8. Is z bigger than -1/49?
True
Let d be -3 + (-56)/(-8) - 168642/42165. Which is smaller: -1 or d?
-1
Let w be (-2)/((22/110)/((-12)/(-97640))). Which is greater: -1 or w?
w
Let y(h) = 101*h + 5555. Let j be y(-55). Is j <= -47/35?
False
Let i be ((-27324)/(-48) + -10)/((-1)/16*2). Are i and 1 non-equal?
True
Let k = 118 - 49. Let j = 118 - k. Let f = 52 - j. Does 5 = f?
False
Let h = -5.492 - -128.492. Which is smaller: h or -3/2?
-3/2
Suppose -2310*n = -2311*n. Which is smaller: n or 78/163?
n
Let h = -1349664641/80 + 16871458. Let u = 650 - h. Which is smaller: u or 0?
0
Suppose -3*m + 11 = 2*o, 6*o - 5 = o. Suppose -m*w + 153 = -n + 2, 5*n = 25. Let l = -66 + 119. Do l and w have different values?
True
Suppose 1311*r - 1300*r - 550 = 0. Is 460/9 != r?
True
Let d be (-9)/(-6) + 6/(-12). Suppose -5*f = -6*f + 4*t - d, -3*f + 4*t - 3 = 0. Let j be (f/3)/((-7)/(-903)). Which is greater: -44 or j?
j
Let o be (14064/(-32))/((-18)/(-24)). Is o != 2?
True
Let t be (5 + -1)/(740/(-222)) + (-50172)/15. Which is smaller: t or -3347?
-3347
Let n = 88 + -89. Let r(x) = 3*x**3 - 6*x**2 - 8*x + 17. Let c(j) = j**3 + j**2 - 1. Let v(a) = n*r(a) + 2*c(a). Let f be v(9). Which is greater: 1/3 or f?
1/3
Let w(j) = 420*j - 2728. Let z be w(6). Is -177 less than or equal to z?
False
Let m be (-21980)/(-44) - (162/33)/9. Are 503 and m equal?
False
Let r = 79330 + -45634. Let l = r - 370971/11. Are l and -30 equal?
False
Let s = -5/132008 + 422271/4178185208. Is -1 less than s?
True
Let w = 18 - 38. Suppose 4*v - 4*n = -n - 403, v = -4*n - 115. Let z = v - -102. Which is smaller: w or z?
w
Let c(i) = -i**2 - 4*i + 1686. Let v be c(-43). Let q = 2 + -2. Suppose 0 = r - q - 8. Which is smaller: r or v?
r
Suppose -5*t = -17 - 28. Let c be -19 + 28 + (-4 - 2). Which is bigger: c or t?
t
Let f be (630/72)/(-35) + (2 - 2017/1084). Is -1 at most f?
True
Let a(g) = g**3 + 13*g**2 + g - 15. Let p be a(-13). Let w be (-838)/(-2884) + 1 + 36/p. Are -1 and w nonequal?
True
Let n be (2322/(-90) - -15) + 13. Let j = 377/6 - 63. Which is smaller: n or j?
j
Let u = -68 + 6. Let s = u + 60. Let g be (-4 + (-12)/(-3))/s. Is -1/61 at least g?
False
Let s = 25 - 9. Suppose -s*k + 21*k = 125. Suppose -k*d + 26*d = 3. Does d = 16/9?
False
Suppose -11*q + 9 = -24. Let c be ((-8)/3)/(1 + (-4)/q). Suppose 4*g = -4*a + 16, -4*a = a - 2*g - 55. Which is greater: c or a?
a
Suppose 4*r - 34 = -0*r - 2*m, 0 = -5*r + 3*m + 15. Is -153 < r?
True
Let m be (24/20 - 1) + 6/(-5). Which is smaller: m or -2/319?
m
Let y = -1.323 + 1.2. Let h = 0.023 + y. Which is smaller: 15 or h?
h
Let x = 498 - 496. Suppose 0 = 28*o + x - 2. Let g be 4/10 + (-49)/85. Are g and o nonequal?
True
Suppose -5*t = -f + 5*f - 40, -15 = f - 5*t. Let s(b) = -4*b + b - f + 7 - 3*b + b**2. Let o be s(6). Is o greater than 9/16?
True
Let l(z) = 2*z**3 + 5*z**2 - 32*z - 4. Let v be l(-18). Is -9472 at least as big as v?
True
Let h be ((-9)/6 - -1) + 3/2. Suppose 3*y - 5*x - h = 2*y, -2*y - 3*x = 37. Let z be (13 + y)*1/39. Is z smaller than -1?
False
Suppose 0 = -x + 2*d + 12, -5*x - 3*d + 0*d - 5 = 0. Suppose -k = -2*o + 3*o - 14, 5*o = 2*k + 7. Is k less than or equal to x?
False
Let t be (-25)/(-10)*-1*6/(-5). Suppose -16 = -4*j + 4*s, -3*s - t = -2*s. Which is bigger: 1/444 or j?
j
Let g = 74986 - 74860.308. Let k = g + -126. Let h = k - 0.092. Which is smaller: h or 0.02?
h
Let r(g) = -17*g + 245. Let x be r(13). Let t be ((-476)/(-44) - 11)/(1/x). Let d be (4/10)/((-2)/20). Is t > d?
False
Suppose -99 - 3795 = 25*o + 1756. Let i be 4 + -3 - 226 - 2. Is o at least as big as i?
True
Let c be (128/(-1968))/(2/(-18)). Let w = c + 57/533. Is w less than 1?
True
Let i be (2/5)/(-2 - -3). Let x = -74 + 86. Suppose -2*a + 0*v + 3 = -v, 4*v = 5*a - x. Is a less than i?
True
Let i = 22 - 12. Suppose -9*o - 6 = -i*o. Let l be o*4/12 - 1. Which is smaller: l or 7?
l
Let y be 6/(-9)*(-15)/(-10). Let c be (23 - y)*22/(-11). Let a = -5679 + 5631. Is c less than a?
False
Let p = -3/133 + 571/37107. Suppose -13*m = -11*m + 8, o + 4*m = -15. Which is smaller: o or p?
p
Let p = 302319658/257433953 - 10/2027039. Let j = 4/127 - p. Suppose r - 3*t + 3 = 0, -2*t = r + 1 - 3. Which is smaller: j or r?
j
Let p = 122 + -97. Suppose p = 5*h, 0*g = -4*g + 4*h - 24. Is g at least 2/17?
False
Let d = -71 - -69. Let h be 23*(-1)/d*(19 - 21). Let o = 9 + -30. Which is smaller: h or o?
h
Let s be (-63510)/(-232) + 5/4. Let k be 150/s - 76/(-22). Which is greater: k or 22/7?
k
Let z = -321.76 - -309. Let b = z - -1.46. Let s = 11 + b. Is 1 bigger than s?
True
Let t be (15 + -5)*(-12)/(-30). Suppose 0 = -c + 2*v - 10, t*v - 6 - 14 = 0. Do 1/2 and c have different values?
True
Let z(r) = 33*r - 162. Let v be z(11). Let y = -51 + v. Which is bigger: y or 151?
151
Let d = -0.065 + -2.535. Let b = -80.5 + d. Let l = -83 - b. Which is greater: 0.29 or l?
0.29
Let g be 55/(-6175)*143*(0 + 1 + 1). Is -2 < g?
False
Suppose -4 - 10 = -7*h. Suppose 3*i - 4*q = 68, -h*q + 148 = 5*i - 0*q. Suppose i*m = 27*m + 14. Which is greater: m or 19?
19
Let q = -93 - -91. Let w be (-1122)/210*-2 - q/(-7). Which is smaller: -0.3 or w?
-0.3
Let r = -4.5 - -2.4. Let c = r - -2.24. Let u = 0.15 - c. Which is bigger: u or 0.3?
0.3
Let x be ((-4)/14)/(9/(-7)). Suppose 3*y = -l + 6, -5*y + 0*y + l = -10. Let p be (-4)/(-4) + (5 - y) + -3. Which is greater: p or x?
p
Let n(z) = -292*z - 1115. Let d be n(-4). Is d <= 53?
True
Suppose 0 = -24*l + 36*l + 24. Let o be (-3)/((-6)/(-166)) + (l - 3). Is -89 at most as big as o?
True
Suppose -5*g = -2*u - 2*u + 23, -3*g = -3*u + 15. Suppose u*i = 4*q + 194, 4*i - 632 = 4*q - 224. Are i and 107 equal?
True
Suppose 7*z - 6*z + 4*n - 20 = 0, 0 = 8*z + 5*n - 25. Which is smaller: 1646 or z?
z
Let n be (-1)/(13*5/(-955)). Which is greater: 16 or n?
16
Let d be 20 - (2*-3)/(-3). Suppose 23*s = d*s. Let b be (-1)/(-6) - -17*21/(-2034). Is b < s?
True
Let s be 3/(7 + (-34304)/4904). Let r = 628 - s. Which is smaller: r or -3?
-3
Let o be (-8)/(-2) - 16/4. Suppose o = -2*l + 20*l - 18. Which is smaller: 6/19 or l?
6/19
Let j = -2674.4899 - -1.6199. Let t = -2692 - j. Let x = t + 0.13. Which is greater: -0.2 or x?
-0.2
Let x(j) be the first derivative of 9 - 1/3*j**3 + 13/2*j**2 - 34*j. Let n be x(13). Is n < -34?
False
Let k(y) = -y**3 + 8*y**2 - 357*y + 2426. Let t be k(7). Which is bigger: 1/75 or t?
1/75
Let m = -16452444049/18639945 - -10/1242663. Let x = 883 + m. Let a = x + 2/45. Is a at most -2/13?
False
Suppose -32 = -3*y - 5*q, 3*y = -y - 4*q + 56. Let f = 28 - y. Let x = 71 - 67. Is f greater than or equal to x?
True
Let c = 5138 - 5942. Which is smaller: c or 1/6?
c
Let v be (-7241)/1040 + -2*1/6*-21. Is 0 <= v?
True
Suppose 23 = 4*v + 7. Suppose -3*x = 4*g - 39, -v*x = -6*x + 10. Suppose -g*q = -3*q + 15, q = -5*f. Which is greater: f or 7/6?
7/6
Let d = 65 + -56. Let p = -62 - -74. Which is greater: d or p?
p
Suppose 3*y - b = 3603, 4*b + 335 = -4*y + 5123. Which is smaller: y or 1198?
1198
Let k = 45458.138 - 45458. Which is smaller: k or 6?
k
Suppose -