/y)/((-1)/6). Is m < -17?
False
Let v = -869741/27 + 32206. Is -6 greater than v?
True
Let j be 0/((-1840)/232 + (-18)/261). Is j less than 92/539?
True
Suppose 5*k + 4*h = -33, -2*k = 4*h - 33 + 39. Let n be (-6 - 96/18) + (-3)/k. Is -10 greater than n?
True
Let b = 97 - 54. Suppose 5*u - 2*t + 39 = 0, -4*u - u + 4*t = b. Which is smaller: -10 or u?
-10
Let t be (-19)/38*(-8)/2. Suppose t*w = d - 41, -4*d - 3*w = d - 153. Is d bigger than 3?
True
Suppose -2*k + k - 3*v = 53, 55 = -k - 4*v. Let f be -8 + (-3 - -6) - (-1 + 34 + 9). Is k at least as big as f?
True
Suppose 3*s = 6*s - 279. Let b = -3815/41 + s. Let n be ((-2)/18)/(184/1656). Are n and b equal?
False
Let f(l) be the second derivative of l**4/12 - 7*l**3/6 - l**2 + 24*l. Let x be f(-4). Let p = x + -38. Which is greater: p or 12?
12
Suppose -h = 3*x - 1488 - 113, 2*x = 2*h + 1086. Is 534 at most as big as x?
True
Let f = 441.3 - 442.3. Which is smaller: f or 91/8?
f
Let k(n) = 30*n - 483. Let q be k(16). Which is greater: 8 or q?
8
Let k(u) = u**3 + 76*u**2 - 669*u + 20. Let d be k(-84). Is d bigger than -230?
False
Let d = -247451/17019 - 5527/279. Let x be (-312)/(-9) + 2/(-6). Let c = x + d. Which is bigger: c or 0?
0
Let u = 304636 - 52092332/171. Let y = u - 102/19. Is -3 at least y?
False
Let a = -590.1 + 589.9. Suppose 2*b - 8 = -4*c, 4*c + 0*c + 4*b = 0. Suppose -3*u + 39 = -2*l - 13, c*l + 4 = u. Is u smaller than a?
False
Let b(a) = -a**3 - 7*a**2 + 12*a - 36. Let k be b(5). Let w = k - -3586/13. Let l be -1 + 3 + 3*-1. Which is greater: l or w?
w
Let g be (1/(-1))/((-3)/9). Let p(k) = -5*k - 49. Suppose 0 = d - 4*m + 5 + 3, 4*m - 16 = 2*d. Let c be p(d). Do g and c have different values?
True
Let u = -7390.93 + 30.93. Is -2/5 less than u?
False
Let j = -80 - -85. Let d be j/1 + (10 - 7). Let g(o) = -2*o + 17. Let p be g(d). Is p greater than -1/6?
True
Let d be (-4131)/(-34)*16/6. Suppose 2*c = -3*o + d, -7*o + 6*o = c - 163. Which is smaller: 168 or c?
c
Let u(r) = 68*r + 91. Let c be u(-6). Let t = -630 - c. Is t less than or equal to -314?
False
Let a(l) = -2*l - 11. Suppose -3*t - 16 = 14. Let p be a(t). Let m be (-26)/105 - (-3)/p. Does m = 0?
False
Suppose -80*o + 85085 - 176507 = 144338. Which is smaller: -2943 or o?
o
Let z be 8 + (3 - 34905/(-5)). Suppose 17*p = p - z. Which is smaller: p or -438?
-438
Let v(r) = 8*r**3 + 15*r**2 + 10*r - 55. Let m(y) = 14*y**3 + 31*y**2 + 20*y - 111. Let n(z) = 3*m(z) - 5*v(z). Let d be n(-8). Is -3/4 <= d?
False
Let k = 14684 - 14685. Are k and -7317 equal?
False
Let x be 320234/(-43946) + (-8)/(-28) + 142 + -135. Which is smaller: x or 0?
x
Let s = 1647.1 - 1647. Is s bigger than 497?
False
Let n be (-14)/10 - 2*10/(-50). Let a be 515/170*-30 - 3. Let u = a + 94. Are n and u nonequal?
True
Let b = 209 - 212. Let h be (3 + -4)*((2 - b) + -4). Do -2/169 and h have the same value?
False
Let i(k) = k**2 + 35*k + 180. Let j be i(-28). Let v be (8/40 - j/(-30))*-29. Let b = -6 - -15. Which is smaller: b or v?
b
Let p be (0 - -13)/(2/(-26)). Let c = -91 - p. Suppose -2*s = s - c. Is 27 greater than s?
True
Suppose -2272 - 108 = 14*x. Let u = x - -120. Which is greater: -49 or u?
-49
Let k(f) = -25*f**2 + 30*f - 222. Let b(y) = -18*y**2 + 20*y - 148. Let d(g) = -7*b(g) + 5*k(g). Let c be d(-15). Are c and 4/231 unequal?
True
Suppose -5*a - 7*h = -12*h - 26040, -5*a + 3*h = -26046. Which is greater: 5212 or a?
5212
Let r = 66 + -92. Let u = r - -25.81. Let x = u + 3.19. Is 0 at least x?
False
Let t = -333 - -337. Suppose 249 + 20 = -i - t*x, 2*i + 582 = 3*x. Is i <= -285?
True
Suppose 4*b - 5*f - 12727 = 0, -b + 0*f = -3*f - 3187. Let u be b/26 + (19 - 15). Let r = u - 126. Which is greater: 1 or r?
1
Suppose -z - 5 = 0, -2*c + 262 = -2*z - 220. Suppose -c*b = -230*b. Let v be (-130)/198 + (-4)/(-6). Is b smaller than v?
True
Let b = -39 - -35. Let u be (-4)/(-1 + (b - -3)). Suppose -4 + 0 = -2*t, u*s + 5*t = 6. Which is greater: s or -9?
s
Let f = 30941.1 - 30762.601. Let r = f - 0.499. Is -0.2 > r?
False
Let n = -1.4 + 11.4. Let y = n - 10.078. Let t = y - 0.022. Which is smaller: -6 or t?
-6
Let d(v) = 2*v - 5. Let g be d(2). Suppose 0 = -2*f - 6*h + h + 17, 0 = -3*h + 15. Let p be (-105)/432 - (2 - (-9)/f). Is p smaller than g?
False
Let t = 5.659 + -8.759. Which is smaller: t or -0.16?
t
Suppose 0 = 5*b + 3*k - 399, 2*b - 230*k = -225*k + 110. Let q = 168 + -93. Is b smaller than q?
False
Let p = -236.2 - -236. Let v(x) = -36*x**2 - 2*x + 2. Let h(m) = -71*m**2 - 4*m + 5. Let n(j) = -3*h(j) + 7*v(j). Let k be n(-1). Is p at least k?
True
Let g(z) = -z**3 + 20*z**2 - 21*z + 40. Let p be g(19). Let d be (-7 - -6)/(1/p). Let v = -337/6 - -54. Is v >= d?
False
Let t(k) = -250*k - 499. Let j be t(-2). Let s be ((-33)/4)/((-12)/(-32)). Which is bigger: j or s?
j
Let p be -2 - (-373)/(-7) - 4/(-14). Let q(l) = l**2 + 13*l - 4. Let z be q(-9). Let m = z + -15. Are p and m non-equal?
False
Let v(d) = d + 14. Let s be ((-52)/(-10))/((-2)/5). Let o be v(s). Let h(t) = -31*t + 195. Let j be h(6). Which is greater: j or o?
j
Suppose 4*j = 6 + 6. Suppose n - j*a = -n + 18, 20 = -5*a. Suppose -4*k + r - 4 = 8, 0 = -3*k + n*r - 18. Is -4 smaller than k?
True
Suppose 5*k = -4*d - 36, 0*k = 2*k + 5*d + 28. Let h be ((-1336)/(-352) + k)*(-1 + 17). Suppose 2*o = -2*o - 8. Which is smaller: o or h?
h
Let z(y) = -7*y**2 + 5*y + 4. Let i(c) = 34*c**2 - 24*c - 19. Let j(u) = -2*i(u) - 11*z(u). Let x be j(-1). Which is bigger: x or 8?
x
Let d = -0.63 - -3.73. Let w = 11.8 + -11.7. Let q = d - w. Which is smaller: q or 1?
1
Let s = -1 - 0. Let a = 24421 + -24426. Which is greater: a or s?
s
Let y = 41901 + -41900. Let g be (-4)/6 + 402/657. Is y less than g?
False
Suppose 0 = -45*o + 48*o + z - 37, -4*z = -o + 8. Let x be -2 + -3 + 3 - -5. Suppose 0*v - 3*v + o = -x*k, -5*v + 15 = 0. Is -1/85 less than or equal to k?
False
Let y be (-10)/(-50)*1 + -2 + (-1852)/10. Which is greater: y or -181?
-181
Let b be -1*(4 + -1) + -1028*(-147)/50400. Is 0 <= b?
False
Let l(i) = -4*i**3 - 23*i**2 + 6*i - 8. Let m be l(-11). Which is bigger: 2/5 or m?
m
Suppose 70*b = -297*b + 2202. Is 150/23 at least as big as b?
True
Let g = -8.8 - -8.3. Let p = 281.883 + -282. Let b = 0.017 + p. Does g = b?
False
Let m = 1.043 + -0.833. Let u = -15 + 14.74. Let r = m + u. Which is greater: r or -3?
r
Suppose 3*m = 7*m + 3*d, 0 = -4*m + d. Suppose m = -3*n - z + 60 + 79, 4*n - 2*z - 172 = 0. Is 45 <= n?
True
Let d = 43.8 - 37. Let s be 9 + (4 - -8*15/(-20)) - 7. Which is greater: d or s?
d
Let h = -486 + 486. Let n = -34 - -475/14. Is h >= n?
True
Let i(s) = 26*s + 16 - 3*s - 3 - s**3 - 9*s**2. Let h be i(-11). Is 4 greater than h?
True
Let s = -0.702 + 0.8. Let o = s - -4.202. Let d = 8.3 - o. Which is smaller: -2/5 or d?
-2/5
Suppose -224 = -25*r - 7*r. Suppose -t = -4*p + 7*p + r, 0 = -3*t + 5*p + 7. Is t equal to 1/585?
False
Let f = 693.46 + -703. Let g = f - -10. Let l = 3.46 - g. Which is bigger: 11 or l?
11
Let z = -19 + 7. Let v = 37.011 - 0.011. Let y = z + v. Which is bigger: y or 0?
y
Let h = 17.6 - -2.4. Let c(q) = 3*q + 28. Let v be c(-9). Let b be (-1 + v)/(-14 + 13). Which is smaller: b or h?
b
Let m(i) be the second derivative of -i**5/20 + 4*i**4/3 - 14*i**3/3 - 7*i**2 + 97*i. Suppose 0 = 5*d - 55 - 15. Let n be m(d). Are n and -17 non-equal?
True
Let j = 4869 + -4647. Which is smaller: 194 or j?
194
Let y(w) = w**2 - 7*w + 4. Let v be y(7). Suppose 6 + v = p + 4*g, 45 = -4*p + g. Is -10 < p?
False
Let l be (-13 - 3075/(-240))*6564/27. Do -47 and l have different values?
True
Let m = 44791 + -34988. Which is bigger: 9804 or m?
9804
Let b be 57/(11/286*(5 + -3)). Let q = 728 - b. Let v be -13 + 3/(30/4). Are q and v equal?
False
Let v = 40 - 37. Suppose v*j = -4*t + 23 + 3, -5*t + 23 = -j. Let h be t/(-15) - 292/6. Is h greater than or equal to -49?
True
Let d(k) be the second derivative of -k**4/4 + 7*k**3/6 + 56*k**2 + 153*k + 2. Let q be d(9). Which is greater: q or 1?
1
Suppose 0 = -2*s - t + 13, -s - 5*t + 0*t - 16 = 0. Suppose 18*k + s = -9. Which is smaller: -2/99 or k?
k
Let f = -26 - -36. Suppose -5*w + 5*x = 10, 4*w + 3*x = 5*w + f. Suppose w*j = 5*j. Which is greater: 0.1 or j?
0.1
Let n(l) = -53*l**2 - 52*l - 2. Let x be n(-1). Which is smaller: -13