(-897)/21. Is -43 less than r?
False
Let y = 0.07039 - 0.04638. Let j = y - -7.97299. Let f = 0.003 + j. Which is smaller: f or -2/5?
-2/5
Let h be (6/(-36))/((-25)/44540). Which is smaller: h or 296?
296
Let u = -1650 + 1535. Suppose 3*s = -4*q - 464, -4*s - 580 = 5*q + s. Which is greater: u or q?
u
Let g = 123203/813 - -34/271. Let b = g + -153. Suppose 5*p + 3 = -2. Which is smaller: p or b?
b
Let g = 4.923 + -4.903. Which is bigger: -47.9 or g?
g
Suppose -3*o - 5*s = 9705, 2*o + 978 = -s - 5492. Let z = o - -1420164/439. Is z less than or equal to -1?
False
Let h be ((-34)/1632)/(1/(-92)). Which is smaller: 2 or h?
h
Let y = 0.094 - 0.037. Let n = 0.067 - y. Let s = n - -0.09. Which is smaller: -10 or s?
-10
Let f be -505 + 502 + (2*-1)/1 + -1161. Is f <= -1166?
True
Let h = 1802 - 1823. Which is smaller: 3 or h?
h
Let j(x) = -2*x**2 - 49*x - 4. Let b(l) = 3*l**2 + 73*l + 7. Let h(c) = -5*b(c) - 7*j(c). Let n be h(-22). Which is bigger: n or -5?
-5
Let l = -4 + 5. Suppose 15 = -3*f - 3*a, 0 = 2*f + 3*a + 2*a + 13. Let t be -19*(4/(16/f))/(-1). Is l greater than t?
True
Suppose 0 = -k - 2*q - 16, 3*q + 15 = 0. Let f(h) = -h**3 - 5*h**2 - h - 3. Let x be f(-5). Suppose 0 = -x*u - 8 - 10. Which is smaller: u or k?
u
Let j = 0.04 + -0.04. Let p be -22 + 33 + -8 + (46/(-28) - 0). Which is smaller: j or p?
j
Suppose 2*d + 4*y - 272 = 0, -5*d - 6*y + 11*y + 650 = 0. Suppose 133*s + 1 = d*s. Which is greater: -5/164 or s?
-5/164
Let r = -185818178/23 + 8080378. Let s = 1326 - r. Which is smaller: -1 or s?
-1
Suppose -5*f + 77 = -298. Let i be (f/(-10))/3 - (-6)/4. Do i and 2/79 have the same value?
False
Let z be 14/21 + (-32)/46. Let i = 313.693 - 314. Let q = i - 0.693. Which is smaller: z or q?
q
Let z be -63 + (1 + 0 - 2). Let d be 0 - -18 - (206 + -123). Which is smaller: z or d?
d
Let f be (-4)/(-14) + 4 + 1927/(-7). Which is smaller: f or -270?
f
Let g = -692.6 + 692.5. Which is smaller: 3/1651 or g?
g
Let x = 33 + -33. Let s be (-162)/957 - (-84)/308. Is x bigger than s?
False
Suppose 3*h + 18 = h. Let n = 10 + h. Let d = 226/55 - 13957/3410. Is n not equal to d?
True
Let q = 372.9 + -411. Let z = q - -41.1. Let d = -4 - -13. Which is smaller: z or d?
z
Let f = -37/48 + -1387/48. Let d = f + 31. Which is bigger: d or 4?
4
Suppose 3*l = -0*l. Let m be 1 + l + 3/(-8). Suppose -53*x = -55*x + 5*a + 27, 0 = -4*x + 4*a + 24. Which is smaller: m or x?
m
Let b be 15/6*260/325. Is b less than 118?
True
Let x(y) = -4*y**3 + 20*y**2 - 97*y + 54. Let t be x(9). Is t greater than -2116?
True
Let q = -0.2 - -0.3. Let c be ((-1663556)/(-38))/(45/5 + 5). Let t = c + -3127. Are t and q equal?
False
Suppose -3*f = -7*f - 140. Let y = f - -39. Let g = -2119 + 14866/7. Is g > y?
True
Let r = 8 - 5. Suppose 2*s - s = -5*c + 24, r*c + 4 = 4*s. Suppose -l = 5 - s. Which is greater: l or -3/7?
-3/7
Let h be ((-2925)/(-180))/((55/(-4))/(-5)). Which is greater: h or 7?
7
Let o(y) = y**2 + y - 32. Let a be o(0). Let r = 164 - 143. Suppose 0 = 4*n + r + 111. Which is smaller: a or n?
n
Let m = -151/253 - -8/253. Let z be 1*(-14)/(-7) - (-6)/(-2). Which is smaller: m or z?
z
Let m be ((-32)/(-853840))/(1/(-7 - -2)). Is 0 greater than or equal to m?
True
Let d be (-478838397)/884*10/(-1915). Let m = -495/13022 + d. Let n = -2827 + m. Is 3 not equal to n?
True
Let y be (1 + -3)/(14/(-105)). Let a be (-3)/(-15) - (63/y - 4). Which is bigger: a or -3/7?
a
Let d = -7767 - -23386/3. Does 0.03 = d?
False
Let m(o) = -o - 5. Let d be m(-5). Suppose -5*h = -3*w + 5, h + d*h = -w - 1. Suppose w = p - 7*p + 30. Which is smaller: p or 3?
3
Suppose -3*h + 1 - 4 = -a, 0 = -5*h + 3*a - 9. Let j be (((-11)/33)/(-1))/(-7 - -11 - 2). Is j != h?
True
Suppose -5*i = 2*n - 4*n + 2239, -4*i = -5*n + 1798. Let t = i + 453. Are t and 75/11 unequal?
True
Let m be (10/(-4))/(1/(-14))*146/(-72635). Which is greater: m or -1?
m
Let j = 6 - 6. Let o = j - -2. Let w(g) = -g**2 + 32*g + 121. Let d be w(-4). Is o at most as big as d?
False
Suppose -21*r + 11*r = -3310. Is r greater than 1329/4?
False
Suppose 5*r - 885 = 4*i - 0*i, 10 = -2*i. Is r < 523/3?
True
Let c = -712 + 747. Let j be (-9)/63 - (-1965)/c. Which is bigger: 60 or j?
60
Let p(v) = 2*v - 48. Let d be p(24). Let k = -153 - -1998/13. Which is greater: k or d?
k
Let g(r) = 13*r**3 + 9*r**2 + 7*r + 6. Let a(d) = -2*d**3 + d - 1. Let f(i) = 6*a(i) + g(i). Let j be f(-2). Let n = -0.06 + -1.94. Which is smaller: j or n?
n
Suppose 18 - 30 = -4*c. Suppose -c*d - 5*d = -8. Let l = -701 - -20331/29. Which is bigger: d or l?
d
Let p be (-88)/192 - (-2)/6. Let z be ((-4)/(-6))/((-28)/(-21)). Which is smaller: z or p?
p
Let s(i) = -3*i**2 + 13*i + 4*i**3 - 6 - 3*i**3 - 9*i**2. Let h(r) = 19*r - 331. Let j be h(18). Let m be s(j). Is m < 18?
True
Let d(c) = -86*c - 520. Let t be d(-6). Is t >= -84?
True
Let s = -433 + 434. Are s and 1958 nonequal?
True
Let k = -348 - -382. Let n = 58 - k. Are n and -0.7 equal?
False
Let n(c) = -14*c - 130. Let f(a) = 279*a + 2601. Let d(h) = -4*f(h) - 81*n(h). Let t be d(-7). Which is smaller: -2/119 or t?
-2/119
Let y be 18/(-3)*((-18)/(-18495))/(-2). Which is smaller: y or -1?
-1
Suppose 27300 = 77*v - 26868 + 807. Let f be (-2)/((1 + 1)/(-692)). Which is smaller: v or f?
f
Suppose -2*u = -7*u - 210. Suppose 11179 - 691 = -23*o. Let q = o + 415. Is q greater than or equal to u?
True
Suppose 4*f - 10 = 3*s, 5*s = 2*f - 0 + 2. Let r be 12/(-3)*(3 + (-95)/20). Let w be s/r + (-66)/(-14). Does 5 = w?
True
Let k = -48171 - -12668956/263. Is k > 1?
False
Let p be -1 + 0 - (-9 - (-994 + 0)). Is -2959/3 at most p?
True
Suppose 5*g - 21 = 5*a + 4, 0 = -2*a - 3*g - 5. Let q = a + 6. Suppose -q = -3*t + 1. Which is greater: t or -1/40?
t
Let v be (2/(-406) - 0)*-2. Let t = 85/203 + v. Let q(g) = 2147*g + 34352. Let h be q(-16). Is t at most as big as h?
False
Let x be (-1754*1)/(121/33 + -3). Which is smaller: -2632 or x?
-2632
Let c = -5178 + 5470. Which is bigger: 290 or c?
c
Suppose a - 8 = 3*a, 3*w + a - 2 = 0. Suppose -3*j - l = w*l - 87, 5*j = l + 115. Are 113/5 and j equal?
False
Let n = 0.7 + -1.7. Let z = 265 - 320. Is n at least as big as z?
True
Let b(y) = -7*y - 5. Let k be b(6). Let g(r) = 43*r - 264. Let q be g(5). Which is bigger: k or q?
k
Let q = -1 - 0. Let l = -4162 - -445333/107. Which is smaller: q or l?
q
Let z(k) = -k**2 + 7*k - 10. Let i be z(11). Let h be i/(-4) + (-5)/20*-2. Which is bigger: 11 or h?
h
Let l be 57/(-152) + (-68433)/3640. Let j = 9/364 - l. Is j less than or equal to 20?
True
Suppose -231*a = -222*a + 101061. Is -11229 <= a?
True
Let o(d) = -49*d - 48. Let q be o(-2). Let i = 13 - -42. Let f = q - i. Which is smaller: -6 or f?
-6
Let t = -5868/302489 - -2/2827. Suppose -2 = 3*u + 5*r, -5*u + 2*u + 3*r = -6. Is t > u?
False
Let v = -3331/14 + 1564/7. Which is bigger: v or -1/5?
-1/5
Let v = -4.61 - -2.33. Let k = 2.21 + v. Which is smaller: k or -28?
-28
Let m = 23 + -20. Let q be 2 + (-76)/16 + m. Let r be ((-34)/(-20) - 2)/((-2)/4). Is r at most as big as q?
False
Let p = 224 + -383. Let g = 18518 - 18518.1. Is p bigger than g?
False
Let g = -17309/196 + 353/4. Suppose -6*d = 14 - 62. Suppose -d*v + 3*w = -9*v + 11, 0 = 2*w - 8. Which is smaller: g or v?
v
Let u = -2419 - -2500. Which is bigger: 97 or u?
97
Let k = -118362/29 + 4080. Let v = -1143/232 + k. Which is greater: -5 or v?
-5
Let b = 185 + -275. Let d be (-6 - b/12)*(2 + 16). Is d at least as big as 19?
True
Let d be 443/12 - (-12)/(-48). Let u = 35 - d. Which is bigger: u or -2?
u
Let t = -162 - -171. Let n be (t/(-18))/((-2)/12) - -29. Is n equal to -2?
False
Let m = 16708 + -16318. Which is smaller: m or 14?
14
Let y = 71 - 39. Let b = -1034 - -1062. Is b less than y?
True
Let t be (-1)/(-18)*4 + 68/18. Suppose -2*n - r - 52 = 0, -45 = n - t*r - 1. Let c = n + 21. Which is smaller: -9 or c?
-9
Let w(y) = y + 1. Let p be w(5). Suppose -144 + 128 = -4*b. Which is bigger: p or b?
p
Let u(c) = 33 + 59 + 22 - 14*c. Let l be u(12). Which is bigger: -55 or l?
l
Let i = -95 - -97. Let b(h) = h**3 + 13*h**2 + 13*h + 11. Let c be b(-12). Let n = c - -5/2. Which is bigger: n or i?
i
Let a be 2*(-12)/(-27)*42/28. Let y(z) = z**3 + 7*z**2 - 10*z - 14. Let w be y(-8). Which is smaller: a or w?
a
Let q(l) be the third derivat