 d = 8195 - 8115. Which is smaller: 11/6 or d?
11/6
Suppose -r - 4*o - 1 - 10 = 0, 0 = -4*r - 5*o. Suppose 0 = f, -a - 4*f = -r*f + 30. Is a <= -28?
True
Let b = 8.86 - 9. Let m = 2.694 + -2.744. Let h = m - b. Which is smaller: 2 or h?
h
Let u(s) = -s**3 - 24*s**2 - 20*s + 70. Let d be u(-23). Is d at most as big as 1/12379?
False
Let k(c) = -c**2 - c - 1. Let t(b) = 9*b**2 + 68*b - 7. Let n(h) = 4*k(h) + t(h). Let o be n(-12). Is -59 smaller than o?
False
Let l = -152.8 + -2.2. Let j = l + 157. Let r = 8 + -11. Which is smaller: r or j?
r
Suppose 5*o + 2*f + 13 = 0, 4*o - 23*f = -27*f - 20. Which is smaller: o or 24/217?
o
Let k = 76 + -71. Let t be (-6 + k + 5)*1/(-10). Which is greater: t or 163?
163
Suppose 22*z - 10*z = 5016. Suppose -16*a + z = 82. Which is bigger: 20 or a?
a
Let p = 866 + -866.06. Let r = -0.073 - 0.867. Let t = p + r. Is 8 greater than or equal to t?
True
Let x be (-4)/(-298)*4166/(-28) + 2. Which is bigger: x or 0.2?
0.2
Let n = -17080 + 17079.96. Is 696 >= n?
True
Suppose -35*l - 515486 = -30036. Is l equal to -13871?
False
Let i be 4880/672 + (-2)/(-4) + 25/(-75). Suppose 2*k = 2*t - 6, 2*t + t + 5*k - 41 = 0. Which is bigger: t or i?
i
Let g = 1068.3 - 1213.5. Is 0.1 smaller than g?
False
Let b(s) = -3*s**3 - 2*s**2 - 2*s + 3. Let f be b(3). Suppose 0 = q - 4538*c + 4537*c + 105, c - 4 = 0. Which is bigger: q or f?
q
Suppose -4*k - 510 = -y, -5*k - 5*y - 642 = -7*y. Let z = -9 + -118. Which is smaller: z or k?
z
Let l be (434/84)/31 + (-1579)/6 + 1. Which is greater: -2 or l?
-2
Let b = 12394 - 12093.52. Let w = -287 + b. Let s = w - -0.52. Is 1 not equal to s?
True
Suppose 5*s - y = -2, -187*s + 8 = -186*s - 3*y. Let d be ((-28452)/(-93))/2*2. Let j = d + -306. Is s < j?
True
Let n be 230/45 - ((-20)/(-18) + -1). Let o be (-6 - (-5 + 1 + -2))/n. Which is smaller: o or -26/21?
-26/21
Let i = -0.0663 - -277.0663. Let t = -277.7 + i. Is -2 >= t?
False
Let p be 0 + -1 + 8121204/(-3182). Let z = -2553 - p. Which is bigger: -1 or z?
z
Suppose -22*w = -4*h - 20*w, 5*h + 5*w + 15 = 0. Which is smaller: h or 4/695?
h
Let w be -219*219/(-99) + (-6)/(-11). Is w >= 0?
True
Let q = -483423 + 248962767/515. Which is smaller: 0 or q?
q
Suppose -14*f + 18*f = 1104. Suppose -5 = -u, -h - u = 2*u - f. Which is bigger: 263 or h?
263
Let j be (-18852)/2775*(-55)/187 + -2. Which is smaller: j or 1?
j
Let r(i) = i + 10. Let u be r(3). Suppose 4*n = -0*q - q - 18, -n - u = -4*q. Suppose -4*l + b = -q*b + 34, 4*b = 8. Which is greater: l or -5?
-5
Let b = -96 + 13. Suppose -29*f = 4*h - 25*f + 328, -3*h = -3*f + 246. Which is bigger: h or b?
h
Let i be (0 + 15)/3*(0 + 130). Suppose 85 + i = 7*g. Are g and 104 equal?
False
Let k = -1/94787 + -55125410/94787. Let l = 585 + k. Suppose -a + 3 = -0. Is a <= l?
True
Let a = -1 + 5. Let k be a/(-10)*560/14. Let w = k - -18. Is w less than 2?
False
Let t be (-768)/2*(320/(-12))/(-8). Let y be (t/(-2510))/((-10)/(-8)). Let c = -2/251 + y. Which is smaller: -4 or c?
-4
Let x be (-8)/(-8) - (-9581626)/529542. Let u = x + 173/6789. Let d = u + -179/9. Is d greater than 0?
False
Suppose 232 = 5*k - 1253. Let x be 6/27 + 204/k. Suppose -124*z = -113*z. Which is bigger: x or z?
x
Suppose 4*d - 381 = -3*u - 2*u, 408 = 4*d - 4*u. Let q be 2/(-11) + 238/d. Is 1 < q?
True
Let x be (-3)/(-6) - 1323/(-18). Is x at least 85?
False
Let a = -111.42 + 116. Let k = a + -0.38. Let b = k - 4.5. Is -4 at least b?
False
Let w = 3191 + -2643. Which is smaller: w or 549?
w
Let x be 12/3 + 2/1. Let p be (1 - x/12)*0/2. Let z = -308 - -2150/7. Which is greater: z or p?
p
Let y be 2 - (-14 + 8) - -2690. Which is greater: 2699 or y?
2699
Let u = -2/129 + -28/43. Let i = 281.166 - 269.1. Let j = i - 0.066. Which is smaller: u or j?
u
Let t(l) = -l**3 - 8*l**2 - 3*l + 29. Let k be t(-7). Suppose 4*v + m = -k, -m - 1 = -v - v. Is -3/14 at least as big as v?
False
Suppose -2*p + 6*p - 3*f = -6, 6 = -3*p + 3*f. Let o = -13423493/195 - -68838. Let m = 1/39 + o. Which is smaller: p or m?
m
Suppose 2*y - 6 = v, -5*y + 15 = 2*v - 3*v. Is v >= 3/5309?
False
Let w be (-5 + 1746/30)*(10 + 0). Let c be w/24 - 3/18. Is 0 <= c?
True
Let h = 636 - -873. Let o = h + -1489.99. Let y = o - 19. Which is smaller: -1/2 or y?
-1/2
Suppose -936 = 9*v + 2448. Which is smaller: -1129/3 or v?
-1129/3
Suppose -4*z - 682092 = k + 9909037, -13238930 = 5*z + 5*k. Let c = -1408618725/532 - z. Let n = -1/76 + c. Which is greater: 0 or n?
n
Let a(k) = -k**3 - 12*k**2 + 8*k - 30. Let r be a(-13). Suppose r = 42*f - 47*f. Let q = -0.04 - 0.16. Are f and q nonequal?
True
Let j(s) = -3*s + 14. Let z be j(4). Suppose -3*k - 40 = -n, z*k + 10 = n - 18. Let o = -12 - k. Which is smaller: -1/28 or o?
-1/28
Let l(o) = -5*o + 35. Let d = 27 + -20. Let a be l(d). Suppose 0*t - t + 5 = a, 0 = h + 4*t - 21. Which is bigger: -3/77 or h?
h
Suppose -s = s. Let x = 3063 + -3033. Suppose -4*k + x - 2 = s. Which is smaller: k or 9?
k
Let v(x) = -x**3 - 35*x**2 + 178*x - 90. Let s be v(-39). Which is greater: s or -952?
s
Let f = 42 - 110. Let n = f + 130. Let b be n/(-7) - -3 - 1. Which is bigger: 1 or b?
1
Let k = 0.28 + 69.72. Let h = -5239.2 + 5239. Which is smaller: h or k?
h
Let g = 10487370/473 - 22172. Which is greater: -1 or g?
g
Let x be ((-81)/36)/(3/(-3708)). Let h = 27839/10 - x. Which is greater: 2 or h?
h
Let j(x) = x**2 + 9*x - 2. Let p be j(-7). Let t = -25474 - -25473.9. Is p at most as big as t?
True
Let a(t) = -t**3 + 24*t**2 + 43*t - 66. Let c be a(26). Let w = -2102/7 - c. Are w and 142 equal?
False
Let t(i) = -i**3 - 23*i**2 - 13*i - 51. Let p be t(-23). Let z be 102610/p + (-5)/(-4). Is 415 at most z?
True
Suppose -3*i = -5*j - 40897, -22*i = -21*i - 5*j - 13609. Is i less than or equal to 13644?
True
Let h(x) = -2*x**2 - 13*x + 42. Let j(s) = -3*s**2 - 12*s + 38. Let w(k) = -7*h(k) + 6*j(k). Let f be w(10). Is f at most -276?
True
Let n(x) = -748*x**2 - 7*x - 36. Let w be n(-3). Which is greater: w or -6748?
w
Suppose -8*j + 11*j - 84 = 0. Let v = 27 - j. Let u be v/326*1*(-1 + 3). Which is smaller: 0 or u?
u
Suppose 3*x = -938 - 1909. Let b be 2 + -7 + x/(-190). Is 0 less than or equal to b?
False
Let z = 9068 + -9583. Which is smaller: z or -525?
-525
Suppose 11 = -5*u + 6. Let h be ((-76)/(-130))/((-3)/(-1065)). Let d = 208 - h. Is u >= d?
False
Let c(v) = 14*v**2 - 6*v + 4. Let b = 22 - 20. Let d be c(b). Suppose 147 = 17*n - 14*n. Which is greater: n or d?
n
Let v be 82/6 - 1/(-3). Let t(c) = 2*c**2 + 154*c + 869. Let d be t(-6). Which is greater: v or d?
d
Let a be 309 - (-8)/12*(-30)/(-4). Let l = 315 - a. Is l <= 2/1301?
False
Let l(p) = p**2 - 3. Let w(r) = -2*r**2 - r + 7. Let x(q) = 5*l(q) + 2*w(q). Let h be x(3). Suppose h*i + 5*i = 0. Which is bigger: 5/4 or i?
5/4
Let l be (0 - (1 + 2)) + 4. Suppose l = -a - 1. Let p(v) = 2*v**2 + 106*v - 1405. Let g be p(11). Is a at least as big as g?
False
Suppose -71*n + 65*n = -24. Let t be (n/(-3))/(-10*(-393)/45). Let q = -1 - 0. Which is greater: t or q?
t
Suppose -23*c + 8*c = -32*c - 51*c. Are 6/17707 and c nonequal?
True
Let h = -8095277/23 - -351860. Let u = h + 108. Is u at least -2?
True
Let b = 2/667 - 16683/2668. Is b equal to -4?
False
Let x be 0 - (791/51302)/(2/(-28)). Does 0 = x?
False
Suppose -n + 1102 = 199. Let o = -683 + n. Which is greater: 221 or o?
221
Let x be 1300/39*(-10)/3. Let u = -16244/153 - x. Which is greater: u or 4?
u
Let r = -126/37 - -18196/5365. Is r at least as big as -7?
True
Let s(j) = -6*j + 38. Let g(b) = 2*b. Let f(u) = 2*g(u) + s(u). Let r be f(19). Which is smaller: 5.8 or r?
r
Suppose -6*n + 1444 = 886. Suppose 2*f - 4*l - 4 = 0, -5*f + f + 11 = -5*l. Suppose -3*g + 2*k + n = -5, 3*k = -f*g + 125. Are g and 32 non-equal?
False
Let m(b) = -2*b + 8. Let z be m(5). Let d be (-1)/z + (-9)/(-6). Suppose h = -d*a - 2*a, -3*h + 8 = 4*a. Is 24/5 less than or equal to h?
False
Let m(x) = 160*x + 7. Let u be m(-14). Let i = u - -20144/9. Which is smaller: 6 or i?
i
Suppose 9 = s - 5*o, 2*o + 0*o = 2*s + 6. Let c be -3 - (4 + s) - (72 - -1). Let f = c - -51. Which is smaller: f or -22?
f
Let x(r) = -r**3 + 2*r**2 + 19*r - 20. Let d be x(5). Suppose 9*g + 26*g + 2660 = d. Suppose -241 = -5*z - 616. Is z at most as big as g?
False
Let k be 344/(-7540)*(-90)/16. 