865. Let f be g(5). Which is smaller: f or 24/85?
f
Let s(m) = m. Let t(a) = 3*a - 12. Let v(d) = 4*s(d) - t(d). Let g be v(6). Suppose 10*j = 9*j + g. Is j greater than 19?
False
Let y = -1859.2 - -1858.2. Which is bigger: -1324/13 or y?
y
Let t = -0.08497 + 0.15497. Is 0.077 bigger than t?
True
Let q = 434.0572 - -0.1428. Let k = 434 - q. Which is greater: 0.29 or k?
0.29
Let k = 27551.97 - 27552. Which is greater: k or -998?
k
Suppose -50416 = -34*g + 59872 + 9154. Is g <= 3513?
True
Let g = 90 + -78. Suppose 100 = 8*p + g*p. Which is bigger: 7 or p?
7
Let o = -41733 + 41735. Is 4098 greater than o?
True
Let q = 21033 + -21033. Let w = -5 - -4. Let v be w/6 + (-33)/18. Is q != v?
True
Let q = -2288444/53275 + 1074/25. Is -1 greater than q?
False
Let s(a) = -a**3 - 29*a**2 + 68*a + 6. Let g be s(-31). Let w = g + 22862/127. Which is bigger: w or -1?
w
Suppose -2*r - 570 = 4*z, 0 = 4*r + 4*z + 321 + 827. Is -289 >= r?
True
Suppose -r - 9*p = 18, 0*p + 8 = -4*r - 4*p. Are r and -4/4087 equal?
False
Let q(h) = -3*h + 8. Let w be q(-8). Let c be w/10 + (-18)/6. Is c less than -133?
False
Let s = -207.1 + -11.8. Let q = 219 + s. Suppose -2*p = -6*p - 5*m + 29, -4*p + 32 = 4*m. Which is smaller: q or p?
q
Let d be (-4 + (-10)/(-4))*(-6)/3. Let r be 7/((-1540)/95) + d/4. Is r equal to 0?
False
Let d = 0.4666 - 0.6666. Is 37 >= d?
True
Suppose 117*l = 115*l + 2*s + 478, 24 = 4*s. Which is bigger: l or 247?
247
Let t be 7 - 8 - -2*(-3 - -75). Let b(u) = 12*u + 347. Let f be b(-17). Is t >= f?
True
Let y = -30254 + 30254. Which is smaller: 4/1787 or y?
y
Let p(s) be the first derivative of -2*s**4 + s**3/3 + s**2/2 - 8. Let n be p(-1). Suppose c + c = -d - n, 3*c = -5*d + 2. Do c and -6 have different values?
False
Let u be ((-14)/(-2))/(2/10). Suppose 110 = -28*m + 138. Let a be (14/u)/(m/25). Is 10 >= a?
True
Suppose -27*j + 28*j - 186 = 4*c, -c - 21 = 4*j. Is 3/7 smaller than c?
False
Let d = 1469.1 + -1469.06. Is -566 != d?
True
Suppose 159 = 3*a - 3*h, -21*h + 18*h = 5*a - 233. Suppose 0 = 54*v - a*v + 10. Which is smaller: 0.25 or v?
v
Let t(k) = -168*k - 72. Let g(j) = -24*j - 10. Let n(f) = 27*g(f) - 4*t(f). Let m be n(-2). Which is smaller: m or -27?
m
Let t = -800.5 + 716.5. Which is smaller: t or -10?
t
Let w = 463 - 125. Let c = -333 + w. Which is greater: -25 or c?
c
Suppose 11*x - 12*x = 28*x. Let f be (-15)/6 + 2/(-4). Let o be 1/6*f/2. Is o at least as big as x?
False
Let r = -30 - -14. Let n = -8857/8 + 1092. Which is greater: n or r?
n
Let q be 24/20*((-5)/(-15) + 3). Let j be -2*(q/(-7) + (-110)/28). Does 3 = j?
False
Let v be (-416)/72 - (122/(-18) + 7). Which is bigger: v or -138/19?
v
Suppose -944 + 327 = -3*h + 5*l, -2*l = -4*h + 804. Let z = 196 - h. Which is smaller: z or -2?
z
Let b be 16/(-44) + 1369/(-198). Which is smaller: -8 or b?
-8
Let b = -192 - -192. Is b equal to 239?
False
Suppose -4*y - 41 = -3*w, 28 = -9*y + 7*y + 4*w. Let q be ((-8)/16)/(2/y). Which is smaller: q or 24?
q
Let n be (-84744)/(-9) - (26 + -49). Do 9439 and n have the same value?
True
Let s = -435 + 444. Which is smaller: -52 or s?
-52
Let h(n) = -5*n + 4. Let p be h(4). Let z(o) be the first derivative of o**3/3 + 9*o**2 + 38*o + 2701. Let k be z(p). Which is greater: 8 or k?
8
Let i(n) = -85*n + 4676. Let h be i(55). Which is bigger: 3/7346 or h?
h
Suppose 7*a + 5*w = 4*a + 25, 3*w - 15 = 3*a. Suppose a = 7*d - 14 - 14. Let x(o) = o**2 + 2*o - 5. Let y be x(-4). Which is greater: d or y?
d
Let u be (4 - 2)*5/(-5). Let s be (-7 + 4)*u/(1 - 2). Let a be ((-12)/(-9))/(1/(-6)). Is a greater than or equal to s?
False
Let m = 829930/97 - 8556. Suppose 5*z + 0*z = 5. Are z and m nonequal?
True
Let t = -2.301 + 2.501. Is -610.6 > t?
False
Let h = -123 + 94. Let u(i) = i**3 + 28*i**2 - 29*i - 18. Let x be u(h). Which is smaller: x or -1?
x
Let t = 688 - -1101. Suppose -5*m = -2*q + 704, 2*m = -56*q + 51*q + t. Is 358 >= q?
True
Let n = -4675 + 5398. Is n greater than 729?
False
Let p(g) = g**2 - 13*g + 4. Let q be p(12). Let x be ((-3)/75*-5)/(q/(-10)). Let o = -184 + 180.4. Which is smaller: x or o?
o
Let d = 0.3003 - 0.4003. Which is bigger: -0.0552 or d?
-0.0552
Let u = 0.6 + -1.6. Let c = 14908.87 - 14836. Let g = 73 - c. Which is greater: g or u?
g
Let j = -0.867 - -0.78. Let v = -2026 - -2025. Which is greater: j or v?
j
Let q = 28731.9989 - 28732. Let n = -20 + 19.9. Is n at most as big as q?
True
Let m = 375 - 375.762. Let r = m + -0.238. Suppose -g = 2*l + 25, -l = -3*l - 2*g - 20. Is l equal to r?
False
Let h be -1*1114/(-10) - 2/5. Suppose 3*o - 7 = -4, -3*a + 5*o + 325 = 0. Does a = h?
False
Let l = 8 - 5. Let k be 2 + 0 - (2 + l). Let c = 519.3 - 519. Which is smaller: k or c?
k
Let y(a) = -49*a - 46*a - 12*a**2 + 76*a - a**3 - 59. Let u be y(-11). Which is smaller: 25 or u?
25
Let p = -1652 + 1651. Let u = -5.05 - -0.05. Let g = 4 + u. Are g and p equal?
True
Let s = 822637/3 - 279386. Is -5173 greater than or equal to s?
True
Let t = 155 - 114. Suppose 0 = 2*k + 4 - 2, h = -5*k + t. Is h at least 45?
True
Suppose 4*k = 131 + 5. Let r be k/(-119) - 522/(-14). Let a = 92 - r. Which is greater: 56 or a?
56
Suppose 5*v + 265 = -5*u, 2*v - 27 + 113 = 2*u. Let n be -2*(-7)/(-4)*v/42. Let y be 50/1925*((-6)/n + 1). Which is smaller: y or 0?
y
Let p = -88.7 + 92. Let h = 32.2 - 29. Let v = p - h. Is 3 bigger than v?
True
Let y = -205.26 - -233.26. Which is smaller: 337 or y?
y
Let i = -1.3516 + 12.2716. Is 1 less than i?
True
Let t be 0 + 5514/(-42) + 9/7. Let n = -275 + 146. Which is greater: t or n?
n
Let w = 41332873/772 - 53540. Do 1 and w have the same value?
False
Let s be (-44)/176 - ((-12571)/(-4) + 3). Is s greater than -3146?
False
Suppose 127*i = 90*i - 104*i - 154536. Is -4383/4 at least i?
True
Let t be (0 + 2)*64/(-128). Is -3/2729 > t?
True
Let s = -21 + -24. Suppose -6*a + 23 - 28 - 277 = 0. Is a smaller than s?
True
Let b be (3 - 14799/4935)*(15 + 0). Let j = b + 4/4935. Is 1 >= j?
True
Let b be 30/210 + (-960)/7. Is -150 > b?
False
Suppose 9*p - 2*p = 35. Suppose 0 = 14*j - p*j - 36. Suppose -h - 12 = -i, j*h - 8*h = 2*i - 18. Does 8 = i?
False
Let o = 36.38 + -29.38. Suppose -3*s + 4*d - 14 - 18 = 0, 0 = 5*s + 2*d + 10. Let j be 3/(-7)*s/6. Are o and j equal?
False
Let m be 4 + -18 + 14/1. Is -76 < m?
True
Let o = -5.71 + -3.8. Let c = 12 - 11.51. Let t = c - o. Which is smaller: t or 3?
3
Let z = 65407/2350 + 2/3525. Let i = -82/3 + z. Which is bigger: i or 191?
191
Let n be -8 + 6 - (-8)/2. Let t be n + 44/78*-3. Suppose -3*x + 2*x + 5*y + 21 = 0, -2*x = 5*y + 18. Which is greater: x or t?
x
Let k be 91/(14651/2580) - 16. Is k <= 1?
True
Let c(s) = 3*s**2 - 8*s - 3. Let u be c(4). Let w(i) = 4*i - 44. Let h be w(u). Suppose 2 = x - h. Is 13 >= x?
True
Let i = -9907 + 39655/4. Which is smaller: i or -33/2?
-33/2
Let m = 53 - 47. Let d be ((-44)/m)/(-2) - (-2)/(-3). Suppose 0 = d*z + 2*z - 20. Is 3 greater than z?
False
Let c(q) = q**2 - 30*q - 2668. Let b be c(0). Let t = b + 146732/55. Is t at least as big as 1?
False
Let t = 7 - 10.7. Let b = 20 - 23.8. Let d = b - t. Which is smaller: -42 or d?
-42
Let q(f) = -f**3 + f**3 - 11*f + f**3 + 4*f**2 + 4*f**2. Let m be q(3). Let b = -64 + m. Is 5/4 smaller than b?
True
Let i be 6/12*4 - (-8)/2. Let l be i/(-15) + (2 - 8/5). Let p be 1/5*2*-10. Are p and l non-equal?
True
Let c be ((-16)/(-4) + -9)*(-64)/20. Let w be (-4)/c + 2/(80/(-6)). Let p(f) = f**2 - 6*f + 5. Let g be p(5). Is g smaller than w?
False
Let f = 8.08 + -8.417. Let l = f - -0.317. Which is smaller: -4/3 or l?
-4/3
Suppose -5*r - 60 = 0, -x + 40*r - 78 = 46*r. Let w(d) = -2*d**2 - 6*d. Let f be w(-4). Is x not equal to f?
True
Let w = -1447 - -76688/53. Let f = 897 + -896. Do w and f have different values?
True
Let j = -5349 + 5354. Let s = -0.1 + -4.9. Let d = j - s. Which is greater: d or 0?
d
Let g be (4/(-36))/((-6114)/12) + 0 + 0. Is g <= 0?
False
Let g = 8163 - 40173/5. Let k = 128 - g. Is -3.2 less than or equal to k?
True
Let q = 66 + -95. Let k = 255 - 283. Is k at least as big as q?
True
Suppose 7*g + 2*g - 4173 = -4*g. Which is smaller: g or -3?
-3
Let u = 491 + -437.4. Let k = u + -52.6. Which is smaller: -193 or k?
-193
Let z = -176 - -189. Let g(s) = -4*s**2 + 29*s - 7. Let l be g(z). Which is smal