0*r - 7*r + n = 7847. Is r greater than or equal to 2618?
False
Suppose -17*c = -12*c - 3*y - 44, -3 = y. Let d be c/(-28)*((-446)/(-18) + 1). Which is bigger: d or -7?
d
Let h = -569/5 + 3269/30. Let n(o) = 3*o**2 + 4*o - 7. Let z be n(3). Suppose -t - 10*a + 12*a + 4 = 0, 2*t + 4*a = -z. Which is bigger: t or h?
h
Let b be (35 + -171)/34*(2 - 9/4). Which is greater: b or -2327?
b
Let y(p) = p - 3. Let w be y(5). Let s = -4636/5 - -928. Which is smaller: s or w?
s
Let n be (-5 - 106)*110/297. Let y = n - -5171/126. Which is smaller: 1 or y?
y
Let k = -12.5854 - -3.0954. Is k at most -2/21?
True
Let k = 10/687 - -1015/8931. Which is greater: -1 or k?
k
Let d = 101043/57491 - 323/191. Let i = -7681/111069 + d. Which is smaller: i or -1?
-1
Let n(f) = -2*f**3 + 74*f**2 + 6*f + 117. Let g be n(18). Is g less than 12538?
True
Let n(f) = f**2 - 18*f - 104. Let j be n(22). Let d = -330802957/156 + 2120518. Let q = -77/39 + d. Which is smaller: q or j?
j
Let q(s) = 5*s**3 - 3*s**2 + s + 1. Let m(h) = h**3 + 13*h**2 + 15*h - 3. Let o be m(-12). Let d = -37 - o. Let w be q(d). Is w greater than 31?
False
Let i(r) = 5*r**2 - 4. Let w be i(-2). Suppose -2*z = 3*z - 5*o - 5, 4*o + w = -2*z. Let g = -7967/8645 + -1/665. Which is smaller: z or g?
z
Let z(s) = 135*s**2 - 592*s - 73. Let o be z(18). Is 33010 less than o?
True
Let q(a) = -200*a + 2997. Let l be q(15). Is l less than -128/37?
False
Let q be (-4)/(-20) + 1868679/1161405. Let w = 2/3687 + q. Which is bigger: -1 or w?
w
Let d = 1309768/119 + -76206/7. Let z = 120 - d. Let g = 3 - 3.1. Is g >= z?
False
Suppose 27*p - 13975 = -16*p. Let c = p - 323. Is c at most -80?
False
Suppose -2552*v = -2522*v + 30. Let g = -101513/48 - -2115. Which is greater: v or g?
g
Let o = 91959 + -92049. Let s be (460/(-15))/(1/3). Is s not equal to o?
True
Suppose 817*b - y = 816*b + 1152, -y = 2*b - 2301. Is b not equal to 1156?
True
Let l be -12 + 1 - 0 - (-6)/2. Let n be 1/l + 42/(-48) + -1. Is 132 bigger than n?
True
Suppose -3*g + 153 = 2*n, -125 - 125 = -5*g - 5*n. Which is smaller: g or 59?
g
Suppose -14 = -o - 3*j, -860*o + 56 = -859*o - 3*j. Which is smaller: o or 31?
31
Let h = 3745 - 3746. Is 3/484 > h?
True
Let r be 20/8 + 10530/(-60). Is r at most as big as -0.2?
True
Let k be 0 + (676/(-12))/(1/6). Let v = -317 - k. Is 133/6 at most v?
False
Let b(k) = -k**3 + 6*k**2 - k + 4. Let f be b(6). Let i be (0 - -3) + (f - 0). Suppose -3*u + 46*u = 172. Which is smaller: u or i?
i
Suppose -13*f - 43250 - 29305 = -16512. Is -4311 at most as big as f?
True
Suppose 0 = l - 1, -l = -5*f - 5*l - 6. Let b = -58483/67870 - 6/3085. Is b greater than or equal to f?
True
Let z be (43/(-3) - -5)*(-738)/48. Let t = -1292 + 1436. Is t at least as big as z?
True
Let t(y) = 57*y + 15. Let z be t(-6). Let k = -498 + z. Let m = -2435/3 - k. Which is smaller: 12 or m?
12
Let i = -904 + 904. Which is bigger: i or 8/725?
8/725
Let g = 240673/27 - 8914. Suppose -2*t + 4 = 2*q, 3*t = -3*q - t + 8. Is g <= q?
True
Let x(y) = -197*y**2 + 17*y + 12. Let p be x(-4). Let v be (p/(-48))/(3/6). Which is bigger: 134 or v?
134
Suppose -p + 4*g = 3*p - 8, 0 = -p + 4*g - 1. Let l be p + (2/4)/(6/12). Let h = -1599 - -11211/7. Is l equal to h?
False
Let x = -15758.032 - -15815. Let a = 57 - x. Let w = 0.018 + a. Is -8 less than or equal to w?
True
Let j = 6081.92 - 6091. Which is smaller: j or 3/5?
j
Suppose i = -3*x - 2, 108*x = 103*x + 3*i + 20. Which is smaller: x or 2/3633?
2/3633
Let x(n) = n**2 - 4*n + 3. Let g(b) = b**3 + 3*b**2 - 4*b + 3. Let h be g(-4). Let u be x(h). Let c be -1 - 8/((-20)/5). Is u != c?
True
Let s = -5328 - -69230/13. Let o(b) = 2*b**3 - 61*b**2 + 31*b - 34. Let u be o(30). Is u < s?
True
Let a(k) = -11 + 1 + k - 16. Let d be a(24). Is -2 greater than or equal to d?
True
Let b = 1349/2 + -6853/10. Let y be (-3)/6*5/(25/110). Which is smaller: y or b?
y
Let l be (0 + -2)*(-33)/6. Suppose -4*d - 3*h + l = -6*h, -h + 9 = 5*d. Are 23/8 and d equal?
False
Let g = 4984.103 + -4984. Which is smaller: 3/8 or g?
g
Suppose 46*a = 48*a - 4*u - 94, -4*u = 3*a - 111. Is a at least 509/12?
False
Let o be (1 - (-20)/(-8))*2 + 8. Let c be (-4 + (6 - o) - -3)/(-2). Is 10/61 != c?
True
Suppose 4*k + 5*y = -284, -4*y - 12 - 4 = 0. Let z = 84 + k. Suppose -2*s + 51 = s. Which is greater: z or s?
z
Suppose 5*m - 3*q = -6, -m = q + 12 - 14. Which is smaller: m or -1/2252?
-1/2252
Let q = -1023.3 - -122.3. Let a = -901.32 - q. Which is bigger: -5/2 or a?
a
Let j be (-2336)/24 - 2/(-6). Let n = j - -145. Which is bigger: 49 or n?
49
Let o = -1693 - -174377/103. Let m = -103 + 103. Let n be (-1)/(2 + -1) + m. Which is greater: n or o?
o
Suppose -48*b = -12*b - 15*b - 286986. Which is smaller: b or 13665?
13665
Let n(t) = t**3 + 12*t**2 + 2*t + 8. Let z be n(-12). Let d be 8 + -8 + z/(-4). Let w(k) = -3*k + 14. Let b be w(d). Are b and 11 non-equal?
True
Let d = -43.321 - -45.321. Which is smaller: -7200 or d?
-7200
Let k be -5 + 0 - -2 - (1 - -155). Let b = k - -163. Is b at most as big as 13/3?
True
Let m = -6 + 24. Suppose 4*c - 296 = -260. Let i = c + m. Which is bigger: 28 or i?
28
Let i(t) = t**3 - 35*t**2 + 153*t - 4043. Let p be i(34). Let n be -2 + 2 + (-10)/346. Let z = n + 7331/2249. Which is greater: p or z?
z
Suppose 0 = -5*o + 8*o - 2*h + 7, o + 2*h = 3. Which is smaller: o or -2/427?
o
Suppose 15*d = 408 - 393. Which is bigger: d or -1/9394?
d
Let m(x) = -67*x - 152. Let o be m(-6). Suppose o - 250 = 9*j. Is 4/125 smaller than j?
False
Let t(z) be the third derivative of -z**6/30 - z**5/60 + z**3/6 - 7*z**2. Let p be t(1). Let x be p/(-54)*-3 - (-335)/1305. Is 0 less than or equal to x?
True
Let j = 3 + 2. Let x be 8 + ((-4)/(-10) - 2/j). Suppose x*g + 18 = -46. Is 0.3 less than or equal to g?
False
Let h = 249 - 251.28. Let m = -247.28 - h. Is -1 less than or equal to m?
False
Let d = 16 + -262. Let c = 265 + d. Which is greater: c or 20?
20
Let q be 4 - 3/(15/7910) - -5. Is q greater than -1574?
True
Let x = -255.0787 - -0.0787. Which is greater: -2 or x?
-2
Let l be (-300)/70*(224/(-13))/(-2). Which is greater: -37 or l?
l
Suppose -i + 17 = -4*b, -i + 21 = -2*b + 2*i. Let r be 42/4*42/b. Let q be r/(-4) - 2/(-8). Which is smaller: 38 or q?
q
Let n = 32.84 + -33. Let b = n + 26.16. Let l = -26 + b. Do 0 and l have the same value?
True
Suppose -3*t = 4*m - 8, -4*t + 2*m = 6 - 2. Which is smaller: t or -64/119?
-64/119
Suppose y - 11 = -9. Let t be (0 + (-9)/(-6))*y. Suppose 2*b = t*b - 8. Is 7 > b?
False
Let n be 6/4 - (51/2 - 3). Let q(h) = -1 + 1955*h + 0 - 5*h**2 - 1956*h + h**3. Let o be q(4). Is n greater than o?
False
Suppose -b = -5*g - 34, 3*b + 4 = -5*g + 6. Suppose b*z + 24 = 5*z. Let u be (z/4)/(38*9/24). Which is smaller: u or 1?
u
Let n(m) = m**2 + 13*m + 39. Suppose 0*k = 7*k + 70. Let z be n(k). Which is greater: z or 52/5?
52/5
Let o(z) = z**3 - 15*z**2 + 5*z + 4. Let r be o(14). Let c = r + 73. Let i = 35 + c. Is -13 < i?
False
Let a be 11/2 - (-1)/2. Suppose 11*q - 3*q = -0*q + 40. Which is smaller: q or a?
q
Let w = 12203 + -24296175/1991. Suppose 4*h = 5*a - 16, 0 = 19*a - 20*a - 4*h - 16. Which is bigger: a or w?
a
Let c = 14 + -32. Let h = -8022 - -8006. Is c greater than h?
False
Suppose 33 = 3*a - 78. Let o be (48/(-30))/(7/(2695/(-14))). Let z = a - o. Is -90/13 > z?
True
Let u = -400 + 403. Suppose 4*v = -2*d - 16, -4*d - u*v - 19 = 8. Which is bigger: d or -5?
-5
Let p be -16*(3 - (52/28 + 1)) - -2. Which is smaller: p or 218/13?
p
Let r = 212 + -217. Let c be r + 9 + (-5)/(10/14). Is -5 > c?
False
Let w be 26/10 - 6/(-15). Let y be -2 - (1*-6*1 - -3). Let a be y/(-3)*99/(-165). Which is greater: a or w?
w
Let t be 166/2407 + (-1)/((-58)/54). Let x be 45/(-6)*(-2)/(-850). Is x greater than or equal to t?
False
Suppose 0 = 14*h + 79 - 107. Let b(k) = -11*k**2 + 23*k - 2. Let w be b(h). Which is bigger: 1/125 or w?
1/125
Let n be (24/(-22))/6 + (-114)/(-22). Suppose 20 = 3*j + j. Suppose -j*q = -0*q - n. Which is bigger: q or -1/18?
q
Suppose 64*z - 3*p - 3507 = 61*z, -p - 1 = 0. Which is greater: z or -2?
z
Let x = -138/1457 - -9/47. Let b = -650 - -649. Which is smaller: b or x?
b
Let f(p) = -5*p**3 - 3*p**2 + 3*p - 2. Let o be f(2). Let t = 39 + 14. Let r = t + o. Is 0.1 at most as big as r?
True
