et m be (h/(-25) - -1)*-5. Let c be m + (-4 - (-12)/(-9)). Which is smaller: c or -2?
-2
Let r = -177 - -158.2. Let n = 35819 - 35800. Let o = n + r. Which is smaller: -1/4 or o?
-1/4
Let x = -56318 - -33713. Let o = x - -22644.964. Let l = o - -0.036. Is l < 1?
False
Let r = -29.9 - -155.9. Let d = -17367/2 - -8684. Is d >= r?
False
Suppose 5*f - 5*s = 2475, f + 115*s - 119*s - 504 = 0. Which is greater: f or 485?
f
Let q = -435 - -343. Is q > -9?
False
Let q = 21476095/832404 + -3986/2931. Let g = q + -27/142. Is 23 smaller than g?
True
Let b = 267508723/3525 - 75889. Is b <= 0?
True
Suppose -2*d = 2*d - 420. Let o be (6/(-5) + 0)*d/(-63). Which is bigger: o or 0?
o
Let u = -31 + 34. Suppose -5*a = 14 + 11, -i - 10 = u*a. Suppose -j + 14 = -i*y, 0*y + 3*j = y. Which is bigger: y or -1?
-1
Let g = 1122897/34445 + 2/6889. Let i = -0.591 + 0.591. Which is greater: g or i?
g
Let t = 36.1 - 32. Let h = 4 - t. Let p be (-3 + -1)*(-12)/(-64)*10. Is h greater than p?
True
Suppose 0 = -163*m - 8294 - 4746. Are -56 and m non-equal?
True
Let y = 170.07 - 140.07. Is -1 <= y?
True
Let w(z) = 2*z + 7. Let j be w(4). Suppose 3*n - 5*m = -j, 34 = -3*n - 2*m - 2. Let s be (5 - (-55)/n)/((-2)/4). Which is greater: 9/14 or s?
s
Suppose 0*s - 55 = 5*s. Suppose 0 = -8*f - 0*f - 392. Let o = -60 - f. Is s greater than o?
False
Let w be (1/6)/((-209)/8). Which is greater: -2/3 or w?
w
Suppose 20*o + 154 = 74. Let n = o - -46. Which is smaller: n or 213/5?
n
Let a(s) = -s**3 + 4*s**2 + 26*s - 151. Let z be a(5). Suppose -5*w + 3*x = 200, -3*x = 3*w - 7*x + 131. Is z bigger than w?
False
Let r be (183/3)/(3 - (-6)/(-3)). Suppose -5*k = -0*k + 305. Let x = k + r. Is 10/7 smaller than x?
False
Suppose 5*m + 1482 = -13*m - 2442. Which is smaller: m or -219?
-219
Let n = -398/49 - -836100/102949. Is 0 smaller than n?
False
Let f = 3312 - 3259. Do -0.022 and f have different values?
True
Let u = 29 + -25. Let w(d) = d**3 - 6*d**2 + 7*d - 10. Let g be w(u). Suppose 0 = 2*t + 6 + 2, 0 = 4*z + 2*t + 68. Which is smaller: z or g?
z
Let o = -34.4 - -30.35. Let n = o - 56.95. Is 5 less than or equal to n?
False
Let m = 4891 + -4894. Suppose -v - 27 = 5*u, -4*u - 10 - 4 = -3*v. Is m greater than or equal to v?
False
Let j = -70 - -43. Let h = j + 27. Let k be -5*(-1 - -8)*-1. Is k equal to h?
False
Let r(u) = u**2 - 76*u + 919. Let a be r(72). Which is smaller: a or 623?
623
Let t be (-180)/36*8/(-10). Suppose t*o - 154 = 62. Is o greater than or equal to 54?
True
Let s be ((-27)/(-486))/(2/(-55886)). Let j = -1552 - s. Is -1 equal to j?
False
Let f = 2 - -3. Suppose -59 = -3*k - 22*h + 27*h, 2*h - 5 = -k. Let z be (-5)/((-260)/252) - (-2)/k. Is z >= f?
True
Let v be 1*-2 - -9 - -1. Suppose 0 = -4*h - j + 15, -2*j = -0*h + 4*h - 18. Let b be (h - (2 + -2)) + -2 + 5. Which is greater: v or b?
v
Let n be 8 + 143 + (-6)/1. Suppose -11*c + 58 = -13*c - r, -5*c + 2*r = n. Is c at most as big as -27?
True
Let m(z) = -35*z + 979. Let l be m(-42). Do 2449 and l have different values?
False
Let t = -71 - -38. Let i = 0.081 + 34.919. Let u = i + t. Which is smaller: u or 15?
u
Let i(z) be the third derivative of z**4/8 - 14*z**3/3 - 25*z**2. Let h be i(10). Let g be 34/85 + h/(-5). Are g and -1/25 non-equal?
True
Suppose d + 38*o - 3049 = 40*o, 2*d - 2*o = 6094. Which is smaller: d or 3043?
3043
Let s = 1868/21 - 18236/273. Which is greater: s or 1?
s
Let c = -5274 + 5240. Is -30 < c?
False
Let k(h) = 15*h + 77. Let y(d) = 737*d + 3773. Let v(i) = 99*k(i) - 2*y(i). Let o be v(-7). Which is bigger: -6/91 or o?
o
Suppose 394*v + 696 = 388*v. Let w be ((-1)/(-315))/(v/290). Is w at most as big as 0?
True
Let p(m) = -5*m**3 + 21*m**2 + 3*m. Let r(i) = 14*i**3 - 60*i**2 - 8*i - 1. Let f(n) = 11*p(n) + 4*r(n). Let a be f(9). Are a and 10 nonequal?
True
Suppose -17*d = 6*d + 14918 + 24389. Which is greater: -1710 or d?
d
Suppose 0 = -4*o + 26*o - 132. Let k be 3/(-6)*-2*2. Suppose 4*w - k*m = 128, o*w = w - m + 153. Is w at least as big as 31?
True
Suppose -6*o + 20 + 16 = 0. Let q be (o/(-8))/((-5)/20). Let p be -605*(-3)/(-603) + q. Which is greater: 1 or p?
1
Let f = 3820321/11892 - 4/2973. Suppose 1361*u - 5056 = 1377*u. Let h = f + u. Which is smaller: 6 or h?
h
Let u be (-10)/(-75)*-5*1194. Does -2 = u?
False
Let q be 1/1 + 314 + (11 - 11). Let l = q + -315. Which is smaller: -2/825 or l?
-2/825
Let u = 527 + -525. Suppose -11 = -5*q + u*t + 13, -3*q + 2 = 5*t. Is 2 smaller than q?
True
Let l = 60.6 + -17.1. Let m = 44 - l. Let f = -33 - -34. Which is bigger: m or f?
f
Let a(o) = -49*o**2 - 70*o + 468. Let x be a(9). Is -4131 >= x?
True
Let r = 541/2985 - -17/199. Which is smaller: r or -0.4?
-0.4
Let h = 23.59 - 23.73. Which is smaller: -2/257 or h?
h
Let a(u) be the third derivative of -u**6/120 + 3*u**5/10 + u**3 - 17*u**2. Let x be a(18). Let s(m) = -2*m - 12. Let b be s(-10). Is x != b?
True
Let j(c) = 2*c**2 + 32*c + 1. Let g be j(-16). Let t be (-31)/((-25)/(-6) + -4). Let h be 48/(-120)*(-10)/t. Is g less than or equal to h?
False
Let t be ((-1)/(-2 - -9))/((-11)/(-8910)). Let b = t + 42902/371. Which is smaller: 0 or b?
b
Let a(n) = -n + 19. Let h be a(5). Let c be ((-7)/h)/(73/(-6)). Is 0 > c?
False
Suppose 0*w - 3*h - 10 = 2*w, 40 = w - 6*h. Are w and 348/125 nonequal?
True
Let h = 237 + -237. Suppose h = -3*f - t - 227, -7*f = -4*f - 2*t + 221. Are -74 and f equal?
False
Let z(s) = 2*s + 1. Let p be z(-4). Let t be (20 + (-378)/28)/(-1). Which is bigger: t or p?
t
Let h be 3387/20334*9 + 5 + (-130)/20. Is 0 > h?
True
Let z be (46/(-69) - 6466/(-150)) + -4. Let o = z - 77/2. Is -1 > o?
False
Suppose 0 = 3*d - 4*y - 307, 2*y = 2*d - y - 206. Let n = -62 + d. Let w = n + -23. Are 12 and w equal?
True
Let c = -0.909 - 0.091. Let i = 581 - 586.6. Are c and i unequal?
True
Let z(u) be the first derivative of 3*u**2 + 81*u + 153. Let s be z(-14). Is -33/17 less than s?
False
Let d = 10739 - 11350. Is d > -611?
False
Suppose -4*v = 3*m - 13, -149*m - 15 = -154*m - 5*v. Which is greater: m or 34/341?
34/341
Let v(d) = -41*d + 11. Let r be v(-3). Let g = 97 - r. Let a be (1 + -6)*(2 + g)/(-7). Is 1 at least as big as a?
True
Let m = 9.486 - -1.514. Is -0.67 at most as big as m?
True
Let r be -3 + 7/(-77)*(-49246)/1492. Which is bigger: r or 0?
r
Suppose 26*x = 27*x - 4*d + 172, -2*d - 750 = 5*x. Let j be 230/(-805) + x/7. Is -26 < j?
True
Suppose 9*k + 1526 = 131. Let h be (12/(-14))/(k/(-35)). Let m be 3*(-1)/(-3)*1. Is m <= h?
False
Suppose 119 = -5*w + 99. Let g be (-52)/(-4) + 1 + 0. Let s be (w/(-12))/(0 + g/8). Which is smaller: -1 or s?
-1
Let t = 3420830/316287 + -1222/113. Which is smaller: -1 or t?
-1
Let o = 433 - 820. Let q = -385.19 - o. Is -1 equal to q?
False
Let c = 4.46 + -238.26. Let m = 231 + c. Is -6 at most as big as m?
True
Suppose 2*y - 14 = 6. Let o be (1 + 0)*(24/8 - (-10 - 0)). Which is greater: o or y?
o
Let t(q) = -q**2 - q - 64. Let i be t(0). Let v be i/(-30) + (-6)/15. Suppose -559*a + 454*a - 742*a + 1167 = 320*a. Which is greater: a or v?
v
Let j(k) = -k**3 + 22*k**2 + 166*k - 50. Let z be j(28). Which is greater: z or -423/4?
-423/4
Let a be (0 + (-15)/100)*5/2. Suppose -4*n + 37 - 1 = 0. Suppose 15*h + 6 = n*h. Which is smaller: a or h?
h
Suppose -w - 3*l - 9 = 0, -4*l = -w - w + 22. Let h(c) = 3*c + 11. Let f be h(w). Suppose -2*r = 2*b + 30, -4*b = -3*r + 80 - f. Does b = -17?
False
Let v = 3916 + -3916. Which is smaller: v or 52/77?
v
Suppose 5*b = -4*n - 19 + 4, -b = 5*n + 24. Let d be (780/16)/(4/32). Let m be (12/d)/(1/n). Are m and 1 equal?
False
Let y = -59931/248 - -1937/8. Which is smaller: y or -1?
-1
Suppose 493 = -77*d + 1802. Let o(l) = 2*l - 11. Let q be o(5). Does q = d?
False
Let q = 122 - 119. Suppose 4*g - 7*z + 80 = -11*z, -g = q*z + 20. Which is smaller: g or -8?
g
Let p be (-10549)/(-35) - 42/(-20)*(-80)/120. Is 3885/13 at most p?
True
Suppose t - 2*r - 2040 = -2*t, 5*r + 3395 = 5*t. Suppose -681*o + t*o = 1. Which is smaller: o or -4/61?
-4/61
Let l be (-35184762)/240 + (-2)/(-6)*1. Let g = l + 146598. Let b = -7/40 - g. Which is greater: b or 5?
5
Let q = -21.138 - 0.512. Let l = q + -0.35. Let v(n) = -n**3 - 9*n**2 + 33*n - 21. Let z be v(2). Which is smaller: l or z?
l
Let y(p) = p**3 - 5*p**2 + 19*p - 175. Let q be y(-17