 = -2*h + 38 + o. Let b(j) = -4*j**2 - 91*j - 409. Let c be b(-17). Which is smaller: c or q?
q
Let w be ((29 - 28) + (-399)/434)/(10/8). Is 16 smaller than w?
False
Let g = -263 - -217.8. Let p = g - -7.2. Let f = p - -36. Which is greater: f or -12?
f
Let n = 1797 - 1796.5. Is -12/43 smaller than n?
True
Let s(m) = 71 + 69*m + m**2 - 12*m - 9*m. Let o be s(-47). Which is bigger: 32 or o?
32
Suppose 0 = 6*h - 2*h - 4. Let a be h/((-7)/(-28) + 3/(-4)). Let j be (-2 + a)/(2/(-4)). Which is greater: j or 26/3?
26/3
Let p be 27102/79352 + (-8)/(-84). Let l = p - -2/109. Let w = -5/12 + l. Which is smaller: w or 0?
0
Let a be (15 - 900)*(-8)/(-5). Is a at most -1416?
True
Let v be (-25 + -3)/((-12)/(-54)). Let d be 4/(-14) - (-4626)/v. Is d at most -37?
True
Let b(l) be the third derivative of l**5/60 + 3*l**4/8 - 4*l**3/3 - 6*l**2 - 6. Let x be b(-16). Is x at least as big as 104?
True
Let z be (-9)/42948*-30*12/40. Which is bigger: -1 or z?
z
Let p = 5434.8 - 5435. Which is greater: -1/103 or p?
-1/103
Suppose 4*k - 60 = 52*r - 48*r, -5*k = -r - 43. Suppose 4*y = 3*z - 2*z + 45, -2*y + 5*z = -45. Is k <= y?
True
Let c = -0.4 - -0.3. Let k be (1422/(-24))/(9/(-12)). Suppose 76*w - k*w - 78 = 0. Which is greater: w or c?
c
Let g = 2768 - 2767.8. Is g less than 67/11?
True
Let c = -29409 + 29421. Which is smaller: c or 218?
c
Suppose -36 - 80 = 4*a. Let t be 11/44*a/5. Let h = -6/5 - t. Which is smaller: -0.5 or h?
-0.5
Let h be (55948/(-497))/(2/7). Let v be h + ((-252)/6)/6. Which is bigger: v or -400?
-400
Let p be 1/3 + (-320)/60. Let m be p - 21 - (-1)/1. Let l = m + 41. Which is bigger: 15 or l?
l
Let q be (-4 - 0)*(-1)/(-2) + -14. Let z = q + 15. Let y be (2/(-4))/(-1) + 20/(-8). Is y greater than z?
False
Let y = 0.485 + 2.795. Is 1/4 at most y?
True
Suppose -199 = -10*b - 19. Let c = -20 + b. Let f be (-153)/(-170) + 1/c. Which is bigger: f or -9?
f
Suppose w - 1296 = 4*y, -3*w + 95 = -5*y - 1532. Are -315 and y equal?
False
Let c = -9 + 11. Let q be ((-3)/9)/(-1)*3. Suppose -m + 5 = 5*d - q, -5*d = -m - 14. Is c <= d?
True
Let o = 6 + -6. Let j = -123.8851 + -0.1909. Let p = 124 + j. Which is greater: o or p?
o
Suppose -12*p = -3*w - 16*p + 12946, -6 = 3*p. Which is bigger: w or 4317?
w
Let m = -5059/20240 - 1/20240. Is m at most -2181?
False
Let s = 74 + -105. Let y = s - -17. Let m = 52 + -52. Which is smaller: m or y?
y
Let j = 87 + -81. Let p be j/(-10) - (-146)/10. Let b be (0 - -4)*(-6)/(-8). Which is smaller: b or p?
b
Let x(m) = 12*m + 740. Let a be x(-42). Is a at most as big as 232?
False
Let v = 172 - -285. Let y = v + -456. Which is smaller: -2/1631 or y?
-2/1631
Suppose 214*v - 630*v = 1904 - 15216. Let l = 393956/12777 + 1/8518. Is l smaller than v?
True
Let r = 2374/11 + -9507/44. Is 1066 > r?
True
Let z be -1 - (15/((-10)/(-2)) - 7). Suppose z*u + 14 - 6 = -p, -3*p - 2*u - 3 = 0. Does -6 = p?
False
Let f(l) = 3*l**2 + 30*l + 54. Let p be f(-2). Suppose 141 = p*g + 135. Is g != 2/201?
True
Suppose -5*a - 240 + 965 = 0. Let z = a + -124. Is 20 less than or equal to z?
True
Let n be 74830/((-168)/12) + -3. Is -5348 smaller than n?
False
Let b be 2222/(-70) - 297/(-495). Is -30 at least b?
True
Suppose -4*p = 4 - 16. Suppose o = -0*o + p. Let g be (-16)/40*2975/(-714). Which is greater: g or o?
o
Let n = 766319/285 + -51093/19. Suppose 5*g + 7 - 2 = 4*p, 3*p - g - 1 = 0. Let u = -1 + p. Are u and n equal?
False
Let h be (28 + 308/14)*624/10. Is 3120 <= h?
True
Let a(m) = 8*m. Let f be a(-6). Suppose -15*i + 111*i = -90240. Let l be (i/50)/((-3)/30*-4). Which is bigger: l or f?
l
Let a be -14 - ((-31858)/1071 + 16). Which is greater: a or 1?
1
Suppose -6*l + 8*l = 0. Let g be (18/150)/(l + (-8)/10). Let n = -119/60 - g. Which is greater: -2 or n?
n
Let h = 150 + -66.6. Let s = -174.8 + 180.2. Let g = s - h. Which is bigger: 1 or g?
1
Let w = 1849 + -2113. Suppose 0 = -7*z - 1418 - 430. Is z greater than or equal to w?
True
Let g = -207/20 - -40819/3940. Is -1/15 < g?
True
Let f = 273.90181 - -0.09819. Is f at least 11?
True
Let d(n) be the first derivative of n**3/3 + 3*n**2 - 26*n - 187. Let h be d(3). Which is greater: h or 5/83?
h
Let i = -13.5 + 15. Let m(j) = -j**3 + 2*j**2 + 7. Let b be m(0). Suppose 0 = -b*z - 21 + 7. Which is greater: z or i?
i
Suppose -29 = -3*c + 1. Suppose 2285 = c*j - 375. Let l be ((-4)/j)/((-5)/((-70)/6)). Are 0 and l nonequal?
True
Let o = 90 + -2. Let y = o + -87.35. Let v = y + -0.68. Are v and -1/4 nonequal?
True
Suppose 0 = 3*x - 5*k - 338 - 365, 0 = x + k - 245. Is 239 smaller than x?
True
Let p = -3091 - -2446. Which is bigger: -646 or p?
p
Let p be (3 + -2)*(-1 - 2). Suppose 36 = -2*u - 3*o - 38, 0 = 4*u + 16*o + 348. Is p at least u?
True
Let d be 3 - 5 - -2 - -3. Suppose -d*k - 7 = -5*b - 10, -5 = -5*k + 5*b. Which is smaller: 15/7 or k?
k
Let w = 455 + -445. Let k = w - 51. Which is smaller: k or -42?
-42
Suppose -5*c = 165 + 91 - 11. Is 34 > c?
True
Let b = 97 - 200. Let r = b + 103.1. Which is smaller: r or 11?
r
Let p be 27690/(-55548) + 135/18 + -7. Is 0 bigger than p?
False
Let a(v) = 130*v + 6630. Let m be a(-51). Suppose 5*y - 6*k + 2*k - 15 = 0, y = -5*k - 26. Let x be y*33/24*1. Is x > m?
False
Let z = 6/1529 - -6249/1529. Let u = -28 + 33. Is u at most as big as z?
False
Suppose 0 = -13*w + 16*w + 18. Let b be ((-176)/(-20))/(-4) - w. Let y = 59 + -56. Is y equal to b?
False
Let f(n) = 363*n + 88. Let v be f(-3). Is v smaller than -1001?
False
Let j be ((-25)/4)/(-5) - 1. Let l be 2/(-10) + 594/(-55). Let m = l + 10. Which is smaller: m or j?
m
Let s(p) = 12*p**3 + 3*p**2 + 2*p + 4. Let k be s(-2). Let f = 154 + k. Let b = 90 - f. Which is bigger: b or 19?
b
Let q be (-34)/(-4) + (-81)/(-162). Let i = 59 - 45. Is i at least q?
True
Suppose -43 = -8*g - 3. Suppose 20 = 5*j, 2*h - 6*h - g*j - 112 = 0. Is -33 at least h?
True
Suppose 3*s - 71 = -n, 2*s + 21*n - 20*n = 46. Which is bigger: s or 32?
32
Suppose 0 = 19*y - 1834 + 3354. Which is greater: y or -112?
y
Let b be 20 - 608/(-880)*-22. Is 36 greater than b?
True
Let y = 4.88 + -5.11. Let m = -16 + 16.77. Let r = y - m. Which is smaller: 4/11 or r?
r
Let k be 326/30 + (32 - (-215)/(-5)). Is 909 equal to k?
False
Let d(r) = -17*r + 1175. Let a be d(63). Is 10 greater than a?
False
Let l(w) = w**3 + 13*w**2 - 64*w + 68. Let q be l(-17). Are -18/59 and q non-equal?
True
Suppose -491 = -16*i + 1285. Let z = -66 - i. Is -176 < z?
False
Suppose 123 - 402 = 31*m. Let p be (110/(-30))/((-3)/m). Which is greater: p or -6?
-6
Let f = 4 + -3. Let h be 1 + f + 0 + 5. Suppose 0 = 7*y - 0 - h. Is y > -1/102?
True
Let u(g) = -671*g + 3356. Let y be u(5). Is y greater than -4/397?
True
Suppose -5*d - 3*r + 15 + 76 = 0, 4*d + 5*r = 78. Let c be (d + -18)*1/(-24)*-2. Is c > -7?
True
Let n(v) = 14*v + 127. Let k be (-478)/(-1673) - (-26)/(-28)*10. Let a be n(k). Is 18/41 at least as big as a?
False
Let g be (-1)/1 + (272/(-884))/((-6)/13). Which is greater: g or 15/143?
15/143
Let b(v) = 4*v + 3 + 2*v**2 + 3*v**3 - 5*v**3 + v**3. Let m be b(-3). Let p be ((-2)/(-4))/((-1)/m). Are p and -18 nonequal?
False
Suppose -5*j + 5*n - 5 = 0, 0*j - 4*j - n - 4 = 0. Let p = -1.84 + -0.16. Is j greater than p?
True
Let i be (-6)/(-7)*2/(-3). Let z = 158.13 + -183.13. Is i less than or equal to z?
False
Let u = 156 - 152. Let d be (-5975)/(-95) + -3 - u/(-38). Is -1 > d?
False
Let y = -394/51 + 839/102. Is y less than -885?
False
Let i(z) = -z**2 - 2*z + 9. Let h be i(2). Let u be ((-8)/10)/(h/40). Which is smaller: u or -33?
-33
Let z be (-1 - -8)*36/14. Let p = z + -2. Let y = 82 - 68. Which is smaller: p or y?
y
Suppose 0 = -3*a + 4*y + 180, 3*a + 99*y = 97*y + 144. Which is smaller: 312 or a?
a
Suppose 14 = 3*s + 4*r, -4*s + 0 = -2*r + 18. Let f be s/(-8) - (5 + (-3130)/760). Are f and 2 non-equal?
True
Suppose -11*m - 185 - 200 = 0. Let j be (-7)/m + (-287)/(-105). Is j smaller than 2?
False
Let p be 8/(-6)*3/9*(-231)/16852. Which is greater: -1 or p?
p
Suppose 6*r = 5*r - 4*r. Let s = 241/44772 - -1/364. Which is bigger: r or s?
s
Suppose 5*i = 7*i + 4*u + 238, 0 = 4*i + 2*u + 452. Which is smaller: i or -124?
-124
Let y be (-68)/(-221)*(4/(-6))/(-1). Let q = y - 451/1248. Is q greater than or equal to 1?
False
Let h = 11 + -20. Let c = -129986 