t a = l - -92. Let s be 2/(a/(-105)) - (1 + 0). Which is smaller: s or 1?
s
Let c be ((-9548)/(-49))/(2/7). Let d = c - 749. Is -67 smaller than d?
False
Let f = 9.444 + -9.49. Let h = 5.8 + -6. Is h greater than f?
False
Let j = 4/125 - -424/2375. Let f be (-330)/264 - 434/(-8). Suppose 47*y - 6 = f*y. Is j < y?
False
Let g(s) = 4*s + 13. Let l(m) = -12*m - 40. Let c = 22 - 29. Let b(k) = c*g(k) - 2*l(k). Let d be b(-4). Which is smaller: d or 3?
3
Let m = -657 - -2643/4. Let b = -5/4 + m. Which is smaller: -5 or b?
-5
Let u = 6715 + -6702. Let p(q) = -q**3 + 8*q**2 - 5*q. Let y be p(7). Suppose 1 = z - y. Is u > z?
False
Let g = -157949/5 + 1086173/35. Which is smaller: g or -557?
-557
Let z = -17916 - -10075. Let q = 1262395/161 + z. Which is greater: 1 or q?
1
Let j be 1120/(-210) + (-5)/3. Is -111/16 < j?
False
Let y = -67 - -86. Let w = -88 - y. Let s = w - -107. Which is smaller: s or -0.7?
-0.7
Suppose 0*w - 4*w = 4*p + 8, 5*w - 20 = 5*p. Let s = 169531/5334 - 445/14. Is w at most as big as s?
False
Let g = 28910 - 28489. Is 4/3 > g?
False
Let q = 14511/10568 - -5/2642. Let c = 0 + 3. Suppose -7*y + 4 = -c*y. Which is smaller: y or q?
y
Let x be (-4)/(-22) + 3173/(-209). Let l(s) = -4*s**2 + 2*s + 1. Let b be l(2). Let m = b - x. Is 4 less than m?
False
Let y = 70 - 87.18. Let i = y - 1.92. Let q = i + -5.9. Is -2/7 <= q?
False
Let h = 2/1891 + 77523/7564. Let r = -3.7 + 1.7. Is h at least as big as r?
True
Let m be 522/(-890) - ((-468)/(-65))/(-12). Is m greater than or equal to 1?
False
Let i = -5367.19 - -5341. Let u = 0.19 + i. Let s = 0.04 - 0.14. Which is bigger: s or u?
s
Let o be (-174)/42*19/179. Let i = o - -2/179. Is -7.4 greater than or equal to i?
False
Let y be ((-154)/(-66))/((-1)/3). Let m be (108/63)/(1/y). Let g be (-1)/(((-5)/15)/((-2)/m)). Which is smaller: g or 22?
g
Let y be (-2)/((-5)/(-255)*-3). Let z = -1851 + 1886. Which is smaller: y or z?
y
Suppose -3*d = -3*y - 6*d + 18, -2 = 3*y - 2*d. Suppose s = -1, s = 4*m - 79 + 238. Let g be y + m/18 - 2047/(-8280). Is g less than -1?
False
Suppose 4*g - 28 = 3*u, -5*g + 67 = 4*u + 32. Suppose 2*j + 46 + 18 = 0. Is j > u?
False
Let n be 0 - (6/12)/(9654/36). Which is smaller: n or -1?
-1
Let x = -1914/59 + -5593/295. Let h = 25 + -76. Is x equal to h?
False
Let y = -2116 - -2115. Which is greater: y or -123/68?
y
Let k = 0 + 0. Let r be (12/10)/((759/220)/(-23)). Is k != r?
True
Let z = 23952 + -21118. Which is smaller: z or 2837?
z
Let a = 88.16 + -89. Let t = 1.73 + a. Let d = -1.29 + t. Is 6 > d?
True
Let m be (-3795)/2550 + (-5)/(10/(-4)) - 1. Which is smaller: 1 or m?
m
Let b(k) = -k**3 - 4*k**2 - 2*k + 4. Let d be b(-3). Let g be (-30004)/35256 - 5/(-6). Which is bigger: d or g?
d
Suppose 0 = 23*b + 13*b - 612. Suppose 2*x = -w + 8, -12 = -5*x + 2*x + 4*w. Let o be (9/x)/(1/8). Which is smaller: o or b?
b
Suppose 4*q = 2*r + 10, -4*q - 8*r = -4*r + 20. Which is bigger: q or 1/3436?
1/3436
Suppose h - 2*h + 17 = 4*f, 0 = -5*h + 5*f + 10. Let b be (h/45*3)/((-8)/126). Which is smaller: -5 or b?
b
Let i(v) = -2*v**2 - 135*v - 138. Let f be i(-1). Is -101/28 at least as big as f?
True
Let j(p) = -p**3 - 9*p**2 - 5*p - 9. Let y be j(-6). Let l = -783/2 + 913/3. Let t = y - l. Is t != -0.12?
True
Let x = -7 + 14. Suppose -x = -3*c - u + 2*u, 0 = 2*u - 10. Suppose -3*g + c = 4. Is 5.8 at most g?
False
Let g = 6443713/10 - 642605. Let h = 1770 - g. Let q = -16/5 + h. Is -8 at most as big as q?
True
Let z = -7.97 + 765.97. Let v = z + -753. Are -1/9 and v nonequal?
True
Suppose 25*u + 5*x = 22*u - 55, -3*u = -x + 25. Let k(l) = -l**2 - 21*l - 125. Let w be k(u). Which is greater: w or -164/11?
-164/11
Let z = 3/45634 + -53756897/684510. Which is bigger: -79 or z?
z
Let k = 9 + -6. Let z(c) = 2*c**2 + 62*c + 66. Let j be z(-30). Suppose -k*l = x + 2*x - j, -2 = x - l. Which is smaller: x or -1?
-1
Let x(j) = j**3 - 26*j**2 - 83*j + 66. Let c be x(29). Suppose 0 = 5*z, -z - 910 = -2*u - 3*u. Is c at most u?
True
Let w = 12973 - 16186. Which is smaller: w or -3212?
w
Let q be (-1682)/26 + -5*4. Is q equal to -84?
False
Let o = -250 + 5946. Which is smaller: 0 or o?
0
Let m(t) = 10*t + 144. Let p be m(-14). Suppose -3*r + 152 = -p*l, -5*r + 109 - 6 = -3*l. Which is greater: l or 2?
2
Let n = -0.22836 + 1491.92836. Is 0 >= n?
False
Let i = -56 + 54.7. Let x = -71.7 + i. Does 2/7 = x?
False
Let p = -0.1 + 0.2. Let s = -169032 - -168822. Which is greater: s or p?
p
Let j = 0.108 + -0.016. Let s = 14.092 - j. Are s and -0.1 equal?
False
Suppose -18 = -j + 3*j + 4*g, -2*j = g + 21. Let m = 34 - 45. Let a = j - m. Is a at most as big as 1/14?
True
Suppose -14*a = 19*a - 2*a + 10230. Which is smaller: -296 or a?
a
Suppose 2 = -84*y + 85*y. Let i be (5 - 19/y)*(-1)/(-228). Is i >= 1?
False
Suppose k = 7 - 2. Let b be (k + -3 + 0)*(-2)/(-4). Which is smaller: b or 5/12?
5/12
Let z = 3829.15 + -3711. Let y = 0.15 - z. Which is greater: 1 or y?
1
Suppose -3*j = -52 + 28. Let q be (-1235)/(-4108) - 2/j. Suppose -2*u = 7*u. Is u greater than q?
False
Let l(w) be the first derivative of -w**4/4 + w**3 + w**2/2 + 19. Let p be l(3). Suppose 0 = p*s + j - 47, 4*s - j - 38 = 2*s. Are 17 and s equal?
True
Let i = 1018 - 406. Let b = i - 1879/3. Which is smaller: b or -14?
b
Suppose 0 = 4*x - w - 2*w - 26, -3*x + 3*w + 21 = 0. Suppose x*u - 32 = u. Suppose 0 = -11*g - 2*g + 91. Which is greater: g or u?
u
Let s = 157 + -155. Let l be (-57)/(-9) + ((-4)/3)/s. Is 5 at most l?
True
Let s = 2607.53 + -2595. Let o = -0.567 + 0.097. Let c = s - o. Which is greater: c or 0.2?
c
Let z be 10/668*(-32)/40. Is z greater than 0?
False
Suppose -169*f + 166*f - 14 = 5*u, -6*f + 3*u = 15. Let h = 23 - 39. Let c = -16.26 - h. Which is smaller: f or c?
f
Let w = -29765 + 29766.7223. Is w < 2/3?
False
Let l = 263 - 268. Let r be 79/(-44) - l*6/15. Is r less than 1?
True
Let w(s) = 3*s**2 - s - 28. Let g be w(-7). Let l be (27/(-12))/(g/624). Suppose 0 = -2*a + 8, -7*y + 4*y + a - 40 = 0. Is y greater than or equal to l?
False
Let n = -74 + 80. Let s = -6.04 + n. Let d = 11 - 12. Which is smaller: d or s?
d
Let h = -352/13 - -65785/2431. Is h greater than or equal to 0?
False
Suppose 14*u - 6*u = 2*f + 4834, 0 = 4*u - 5*f - 2421. Is u greater than 604?
False
Let k = 14 + 34. Suppose -9*r - 11*r - 1000 = 0. Let w = k + r. Is 0 bigger than w?
True
Let l = -325 + 309. Let k be -14*6/l - (-55 + 60). Is -2 >= k?
False
Let r = -0.78 - -6.08. Let k = 26.7 + r. Let o = 31 - k. Are o and -0.7 equal?
False
Suppose 1266 = -2*d + 6*d - 3*l, -2*l - 1579 = -5*d. Let s = d - 360. Which is bigger: -44 or s?
-44
Let b be 8835/(-6) + 161/46. Which is smaller: b or -10280/7?
b
Let z be 1 - 9/(63/(-28)). Suppose -5*w - 2*b - b + 86 = 0, -z*b = 4*w - 74. Which is greater: w or 17?
17
Let a = -393201/5 + 78643. Let n = -6 - -8. Which is greater: a or n?
a
Let s be (-6)/8 - (-482469)/356. Which is smaller: 1 or s?
1
Let z = 25 + -55. Let x(g) = 6*g + 1065. Let n be x(0). Let v = n + -3193/3. Is v greater than or equal to z?
True
Let o(f) = 1622*f. Let x be o(0). Suppose t + t + 3*v = -221, -3*t = 4*v + 332. Let n = -1119/10 - t. Is x at most n?
True
Suppose 3*s = m - 29, 5*s = -4*m + 3*m - 11. Let k = m - 8. Suppose k*l - 32 = -2. Which is smaller: l or -4?
-4
Suppose 2*r - 21 = -1. Let g be -1*4/r - -112. Let u = -112 + g. Do -5 and u have different values?
True
Let p be 94/(-18) - (-10)/45. Suppose -2*y - y = 3*j + 492, 0 = 2*y + 4*j + 334. Let x = -171 - y. Which is smaller: p or x?
x
Let c be ((-860)/(-6))/((-78)/117). Let b be (-16)/6 + c/(-43). Is b >= 1?
True
Let j(o) = o**3 - 2*o**2 - 2*o + 1. Let n be j(4). Let q be 75/(-6)*8/((-88)/22). Is q <= n?
True
Let m be -2*((-15358)/196 - -5). Which is bigger: m or 146?
m
Suppose -f - 2 = -3*h, 3*h - 3 = 4*h - 4*f. Let b(u) = -u**3 + 8*u**2 - 7*u - 1. Let p be b(7). Let j be (1 - h) + p + 0. Which is bigger: -2/5 or j?
-2/5
Let t be (-2)/4*1*26. Let w(r) = -2*r + 2. Let v(x) = 6*x**2 - 27*x + 8. Let a(c) = v(c) - 2*w(c). Let u be a(3). Is u > t?
True
Let f = -663.43 + 4.43. Let q = f - -654. Is q < 2/35?
True
Suppose -7*r = 1528 + 474. Let s = -202 - r. Does s = 84?
True
Let t = 23727 - 23727. Let i be 58/(-26) + (5 - 3). Which is smaller: i or t?
i
Suppose 5*m - 10 = 4*p, 11*m =