071 + 2981. Is s at most as big as -5/8?
True
Let b be 2/(-5) + (-10880)/(-25075). Which is bigger: -2/7 or b?
b
Let m = 1.84 - 0.24. Let p = -2069.886 - -2068. Let x = p - 0.114. Which is smaller: m or x?
x
Let p(m) = 14*m - 3. Let u be p(5). Let c = -58 + u. Suppose -8 = -c*g + 1. Which is smaller: g or 14/9?
g
Let a = 413.8 + -564.8228. Let d = -0.0228 - a. Is 1 != d?
True
Let s = -474 - -484. Suppose 0 = 5*x - s*x. Is -10/37 bigger than x?
False
Let c = 5226 - 5238. Is -85/8 at most c?
False
Suppose -42*x = -48*x - 24. Let n be (-1 + -1)/1 - -16. Let y be ((-6)/n)/(2/x*-3). Is y bigger than 16?
False
Let z(q) = -6*q - 240. Let l be z(-18). Let y be l/(-8) - (-5 + (-91)/(-14)). Is y smaller than 11?
False
Let y = -16869 - -16992. Are y and 73 equal?
False
Let c = 28987 + -28986. Are c and -210 non-equal?
True
Let b = 32 + 23. Suppose b = f - 180. Which is bigger: f or 234?
f
Let b = -0.29 + 6.19. Let m = 3.1 + b. Let n = 10 + m. Is n <= -1?
False
Let b = 179586/35 + -28183/5. Let o = -503 - b. Let q(n) = n**3 - 8*n**2 + 2. Let i be q(8). Is i >= o?
False
Suppose 4*a - 175 = -171. Which is smaller: a or -27/256?
-27/256
Suppose 0 = -2*z - 2*d - 27 + 3, -4*z - 2*d - 42 = 0. Let g be ((-92)/(-84) - (-6)/z)*5. Which is bigger: g or 1?
g
Let k = 0.2 + -0.3. Let c = 276 - -65. Suppose 335*h - c*h - 288 = 0. Is k bigger than h?
True
Let x = 98 + -73. Let v = x - 22. Which is greater: v or 31?
31
Let p = 14 - 11. Suppose 5*g + 5 = p*z - 2*z, -3*g = -4*z + 20. Is g at most 6/7?
True
Let j = 743 + -1487/2. Which is bigger: j or -6/217?
-6/217
Suppose 0 = -5*i + 3*x + 7, -4*i = -3*i - 5*x + 3. Suppose -2*b - 5*v + 3 = -82, -i*b = -3*v - 45. Is b smaller than 89/3?
False
Let i(g) = g**3 - 16*g**2 - 16*g - 18. Suppose 56 = 4*s + 4*t, 2*t + 2*t = -s + 5. Let o be i(s). Does 5/18 = o?
False
Let f(w) = 2*w**2 + 4*w + 2. Let g be f(-5). Let o = -4846 + 4877. Which is greater: g or o?
g
Let l be (0 - 38/(-7)) + 4/7. Let t be (-14)/(-24) - 9*l/162. Which is smaller: 10/7 or t?
t
Let x be -1*220/33*117/6. Let h be (52/(-26))/(x/(-116) + -1). Which is smaller: -17 or h?
-17
Let z = -5/2067 + -2609/630435. Which is smaller: -1/12 or z?
-1/12
Let t be (-84)/30*(-5)/(-3). Let o = -21 - -102. Let k = -81.1 + o. Does t = k?
False
Let v = 142935 + -42451741/297. Does v = -1?
False
Suppose 0 = 7*x - 36 + 43. Let y be 16/(-2672)*(5 + (-1)/x). Is -1 <= y?
True
Let h = -46 - -47. Suppose 4*g - 2 = p, 3*p - 4*p + h = -g. Suppose p*c + 43 = 45. Is c smaller than 2?
True
Let x = 352934 + -951862984/2697. Is 0 greater than or equal to x?
False
Let r = 2126/39 - 164/3. Which is greater: r or 20/3?
20/3
Suppose 12 = 11*r - 5*r. Let b be 3 - (9 - 4) - -8. Suppose 0 = -15*m - b*m + 42. Is m bigger than r?
False
Let v = -81.67 - -1.67. Let f = 57 + v. Let i = 24.2 + f. Which is bigger: 1 or i?
i
Let r = -36115 + 77683363/2151. Is r bigger than 0?
False
Let p(r) = 2*r**2 + 8*r - 6. Let m be p(-6). Let v = 17 - m. Let w = -4.06 - -2.06. Is v greater than w?
True
Let w be 9 - -2 - (10 + -7). Suppose 0 = -4*b + w + 8. Let s be (1 - b/3) + (-2)/(-3). Which is smaller: s or 95?
s
Suppose 174 = -27*k - 4066 + 541. Is k < -1220/9?
True
Let r be 3/9*0*(-91 + 92). Which is bigger: r or -354?
r
Let h be (-88983)/4932 - (8 + -26). Which is smaller: h or 2/5?
h
Suppose -3*m = f - 126, 37*m - 42*m = 2*f - 213. Let d = -106 + 744/7. Is d greater than m?
False
Suppose 0 = 4*q + 1822 - 570. Let i = 204486 + -204486. Is q greater than or equal to i?
False
Let n = -45853/7 + 6539. Let o(i) be the third derivative of i**5/60 + i**4/4 - i**3/2 + i**2. Let d be o(-3). Do d and n have the same value?
False
Suppose -40*z + 6*z = 13634. Let u = 407 + z. Are u and 38/7 nonequal?
True
Suppose 4*v - 3*q = -12, -2*q + 1 = -v - 2. Let k = -41 + v. Is k at least as big as -44?
True
Suppose 3*b - 9 = -0*b. Suppose -7*w = 3*t - 10*w - 153, 5*t - b*w = 249. Suppose 4*m + 100 = 3*n, -2*n - m = m - t. Which is smaller: n or 29?
n
Let j(w) = -3*w**3 + w**2 - w + 6. Let y be j(0). Let g be 16/(y + -4) - -1. Let p = 12 - 4. Which is smaller: g or p?
p
Let d = -1/2473 + -2469/9892. Is -10/33 > d?
False
Suppose -108354 = 87*m + 133158. Is m greater than or equal to 0?
False
Let u(z) = -34*z + 104. Let h be u(-3). Let o = h - 207. Which is bigger: o or -4/219?
-4/219
Suppose h = 3*h + l - 16, -3*l = -6. Let a be ((-4)/(-12))/(-2 - h/(-3)). Which is smaller: a or 1/14?
1/14
Let r be 3560/(-66) - (-98)/(-1617). Is r less than 4/7?
True
Let c be (6/8)/((-3)/36). Let z be 20/(-6) + ((-35)/7 - c). Let x = -44.1 - 2.9. Which is smaller: z or x?
x
Suppose -17*g + 15 = -14*g. Let f = 311 + -635/2. Let l = 65/6 + f. Is l less than g?
True
Suppose 2*x + 2*x = 4*b + 20, 2*b - 25 = -5*x. Let k = 58 - -50. Let y be (0 - (0 - -2))*k/(-45). Which is bigger: x or y?
x
Let s(g) = -2*g**2 - 14*g + 34. Let f be s(-7). Let z be 8/6*(f - 33). Let r = -4 + 3.7. Which is greater: z or r?
z
Let m(z) = 2*z**3 - 8*z**2 + z - 1. Let d be m(4). Suppose a + d*s + 14 = 1, 8 = -a - 2*s. Suppose -8 = -a*y + 4*y. Is y bigger than -3?
False
Suppose -m + 734 - 738 = 0. Let t = 5 - 11. Let p be t - (m - (-7 + 3)). Which is smaller: -5 or p?
p
Let d = 250 - 242. Let a be ((-30)/d)/((-30)/5). Which is greater: a or 2?
2
Let s be (-4693)/(-13680) - 3/5. Which is smaller: 0 or s?
s
Let o = 430.8 + -304. Let l = 127 - o. Let g = -0.1 + l. Are 0.057 and g nonequal?
True
Let n = 89 - 86. Let s be 6/24 + (-841)/2. Let z = s + 423. Which is bigger: z or n?
n
Let n = 484 - 454. Let q be ((-72)/n)/(-6) - (-1682)/(-5). Which is smaller: -337 or q?
-337
Let f = -106 + 47. Suppose -4*j + 136 + 88 = 4*g, 164 = 3*g + 5*j. Let h = g + f. Is h less than or equal to 3/7?
True
Suppose 0 = 4*o - 3*u + 10, o - u + 6 = -3*o. Let q be ((-5)/(-1) - 0) + (1 - 6). Let p be (-459)/453 - (q + o). Are p and 1 non-equal?
True
Let v be (2 + -1)/(3 + -1). Let k = -2784.93 - -2767. Let m = -3.93 - k. Does m = v?
False
Let w = 7.3 + -7. Let f be (-8)/(-30)*1035/30*5. Which is smaller: w or f?
w
Let j be ((-18)/(-15))/(2/5). Suppose -j*m + 7*m - 12 = 0. Let q be (-24)/108 - 141/(-27). Which is greater: q or m?
q
Let b = -1.1 + 1. Let h = -82 - 324. Let j = h - -335. Which is smaller: b or j?
j
Let y = 3540 - 3535. Is 40/7 at least as big as y?
True
Suppose 0*i + 2*i = -6. Let d(o) = 8*o + 245 + 27*o + 34*o + 38*o - 148*o. Let y be d(6). Do i and y have the same value?
False
Let q(z) = -3*z**3 - 135*z**2 - 3*z - 131. Let c be q(-45). Is c at most -1345?
False
Let c = 7477 + -7966. Are c and -494 unequal?
True
Let r = -126086/79 - -1596. Let u = -0.6 + 3.6. Let p = -2 + u. Which is smaller: r or p?
r
Let t be (-2 + 7)*(1 - 2). Let a(w) = w + 4. Let c be a(t). Let f = 42557/234003 + -1/21273. Which is smaller: c or f?
c
Let l(p) = -383*p + 765. Let m be l(2). Which is smaller: 21/101 or m?
m
Let z be (3 - 0) + ((-205596)/(-17145))/(-4). Is -0.1 != z?
True
Let i be 0*(-14 + 432/32). Does i = 2/2215?
False
Let a = -115 + 46. Let x = -752 - -756. Suppose 4*h + 4*q + 264 = 0, 2*h + 131 - 7 = -x*q. Which is greater: h or a?
a
Suppose g = 5*g + 4. Let d = -164 + 423. Let u = 286 - d. Which is smaller: g or u?
g
Suppose -2*d + 68 = 2*d. Suppose -4*o = 3*y + d, 2*o + y + 3*y + 6 = 0. Let p be (o - 0)*6/10. Which is smaller: p or -4?
-4
Let n(b) be the first derivative of -b**4/4 + 8*b**3/3 - 3*b**2 + b - 157. Let w be n(7). Is 8 < w?
False
Let c be (-24)/108 - ((-74)/9 + 0). Let t be -16*(-6)/24*-2. Is t less than c?
True
Let p(h) = -h**2 + 8*h - 12. Suppose 0 = -0*n + n - 5. Suppose n*k - 2*l - 24 = 0, 4*k - k - 4 = -4*l. Let z be p(k). Which is greater: z or 1?
z
Suppose -3*h + a = -554 - 13899, 0 = -h + 2*a + 4806. Is h <= 4822?
True
Let p = -0.1 + 0.1. Let z be (-6)/4 - 38285/(-38). Let l = 1000 - z. Is p smaller than l?
False
Let a = 200 - 204.17. Let i = a - -0.17. Which is bigger: i or -1/3?
-1/3
Suppose 111 = -4*i + 107. Let g be 2 + ((-9580)/956)/5. Is g equal to i?
False
Let s = -909281/15 - -60619. Suppose g + 3 = -5*l + 4, 2*l = -5*g + 5. Suppose a = -l*a. Is s at most a?
False
Let s(b) = b + 7. Suppose 0 = j - 19 + 1. Suppose -18*r = -15*r + j. Let g be s(r). Which is greater: -2 or g?
g
Let g = -14/11 - -289/253. Suppose 0 = 2*s + 5*n - 1491, 5*s - 250 - 3527 = 4*n. Let h = 754 - s. 