Is l < -6/967?
True
Suppose -756 = -5*u + 2*g - 190, -2*g + 460 = 4*u. Let f be (u/27 - 4) + 0/7. Which is greater: f or -92?
f
Suppose -3*t = -2*t - 12. Let p = 148 + -141. Suppose p*u = 6*u - 2. Which is smaller: t or u?
u
Let a(w) = -67*w + 1. Let j be a(-1). Let o be ((-136)/17 - -75) + -1 + 3. Which is smaller: j or o?
j
Let k(x) = -81*x + 9. Let u be k(-3). Let y = -270 + u. Suppose 0 = -l - 16. Which is greater: l or y?
l
Let q = -181 + 191. Suppose -4*r - c = -5, 5*r + 5*c + q = 20. Suppose 4*l - 5*n + 25 = 0, 2*l = -2*n + 9 + 1. Which is smaller: r or l?
l
Let n = -3/7190 + -6511/18859370. Are -2 and n nonequal?
True
Suppose -z = -5*j - 14, 0 = -4*z + 5*z - 3*j - 8. Let k = z + -20. Which is bigger: -23 or k?
k
Let k = 30.8768 + 1.2282. Let w = 32 - k. Let x = w - -0.005. Which is bigger: x or -9?
x
Let n = -1121/3 + 673/3. Let h = 147 + n. Let m = 159 + -161. Is h greater than m?
False
Let y be 0 - 2*2/(-782). Let m = -12907/782 + y. Is m less than -18?
False
Let x(l) = 13*l + 50. Let w be x(-5). Let s be (2 - (-20)/w) + 2/6. Which is smaller: 1/177 or s?
1/177
Let k = -2.24 - 2.12. Let v = -0.96 - k. Let y = v + -1.4. Which is bigger: 0.03 or y?
y
Let m = -15483.9 + 16015. Are -2 and m equal?
False
Let m = 21 + -26.6. Let y = m - -4.6. Let u = -4.2 + 3.2. Is y not equal to u?
False
Suppose -2*a + 398 = 250. Let z be (80 - a) + (-119)/9. Which is bigger: -8 or z?
z
Let c(b) = -2*b**2 - 9*b. Let h be c(-4). Suppose -21 = -h*z - 21. Let n be (z - (1 - 0))*7. Which is greater: n or -8?
n
Let g = -771 + 331. Let q = 442 + g. Is -1.04 <= q?
True
Let d(u) = -61*u - 2745. Let l be d(-45). Which is greater: l or -4/343?
l
Let s be ((-2080)/(-702))/(-40) + 166/54 + -3. Let f be 8322/70 + (-2)/7. Let o = f - 119. Which is greater: o or s?
s
Let i be ((-45)/(-75))/((-2)/(-10)). Suppose -5 = -22*g + 21*g + 2*s, i*g - 5*s - 10 = 0. Which is smaller: g or -7?
-7
Let w(i) = i**3 - 5*i**2 + 2*i - 1. Let l be w(2). Let u = -8 - l. Let c = 503/870 + 28/87. Which is smaller: c or u?
c
Let w = 176316007.089 - 176225465. Let u = -90505 + w. Let c = u + -0.089. Is -1/4 >= c?
False
Let x(l) = 4*l - 38. Let m be x(9). Is 1539 greater than m?
True
Let u(q) = 207*q + 840. Let v be u(-4). Which is bigger: v or -12?
v
Let b = 379658/35 - 10847. Which is bigger: 0 or b?
b
Let k = -2.3 + 2.372. Let j = k + -42.072. Let w = -16 - j. Which is smaller: 2/7 or w?
2/7
Let n be -7317 + 0 + (-2)/(-1). Let q = -270639/37 - n. Let t = q + -894/185. Which is greater: -5 or t?
t
Let q = -1013596/5 + 204761. Let l = q + -2049. Let w be (-1 + -6)*(10 + 4 + -13). Which is smaller: l or w?
l
Let r be 4/(-14) + (-138)/7. Let z = r - -60. Let u be ((-615)/(-12))/((-3060)/(-2448)). Is u less than or equal to z?
False
Let p(i) = -59*i**2 - 2*i - 6. Let j(b) = -39*b**2 - b - 4. Let f(h) = 8*j(h) - 5*p(h). Let a be f(1). Let s be ((-10)/75)/(a/(-3)). Is s at most 1?
True
Let d = -96360 - -96354.0057. Let h = -0.0057 + d. Is 1/2 >= h?
True
Let d be (196/21)/(-4)*(-1 - -4). Is d != 214?
True
Let k(p) be the third derivative of -p**6/120 - p**5/4 - 17*p**4/12 - 20*p**3 + 83*p**2. Let l be k(-13). Is -177/11 >= l?
False
Suppose 716*g - 784*g + 216104 = 0. Is g equal to 3180?
False
Suppose 0 = -3*p - 7*p - 40. Let k be 308/(-210) + (0 - p/6). Which is smaller: 2.1 or k?
k
Let k be 2/5*(-190)/228. Is -8975 at least k?
False
Let b be (-54)/189 - (887/7 + 1). Let c = -120 - b. Which is smaller: c or 1?
1
Let r(s) = -s**3 - 4*s**2 + 8*s + 8. Let d be r(-5). Let p(x) = -x**3 - 8*x**2 - 9*x - 10. Let j be p(d). Suppose -j*t - 190 = t. Is -40 at most as big as t?
True
Suppose 19174 = -9*m - 6341 - 25866. Is -5710 > m?
False
Suppose -a + 6 = 2*a. Suppose -3*b + 5*c + 74 = 0, 5*c - 16 = -a*b - 0*c. Suppose -4*y = -3*k - 6*y - b, -2*k - 2*y = 14. Which is smaller: -1/2 or k?
k
Suppose 52*d + 3814 - 694 = 0. Let y be ((-61)/12)/(d/(-320)). Which is bigger: y or -28?
y
Let y = 5.99 + 371.01. Let f = y + -375.7. Are f and -9 nonequal?
True
Suppose -2 = i - 2*v + 3*v, 0 = -i - 3*v - 6. Are -30/113 and i unequal?
True
Let m = 1354 + -1797. Is m greater than or equal to -6?
False
Let f(k) = 8*k**2 - 28*k + 197. Let l be f(-26). Which is smaller: 6334 or l?
l
Let o = 31/4066 - -2/107. Let q(v) = v**2 - 6*v + 1. Let k be q(1). Let p be -1 - (-3 - k)/(-1). Which is smaller: p or o?
p
Let n = -11968 + 22070. Are n and 10103 equal?
False
Let l(b) = b**2 + 8*b - 173. Let w be l(10). Let p be w + 2766/(-184) + 8. Which is smaller: p or -1?
-1
Let l(z) = -z**3 + 70*z**2 - 203*z + 134. Let u be l(67). Is 3/16901 >= u?
True
Let m be 0 + 0 + 5 - (-60 + 0/6). Which is greater: 7 or m?
m
Let n = 0.2 - -0.6. Let o = -0.9 - 12.4. Let w = o - -14.3. Which is greater: n or w?
w
Let y = -6937.01 - -6937. Which is smaller: 11.7 or y?
y
Let t = -275843 + 275823.9673. Let o = 0.0327 + t. Which is smaller: -1/15 or o?
o
Let b be (-4*(-49)/(-42) - -4)*-15. Suppose b*x = 25*x. Which is smaller: -4/175 or x?
-4/175
Suppose 4*p = 3*r - 8097, -3*r + 15*p + 8079 = 14*p. Is 2689 at least r?
False
Suppose 32*d - 123 = 31*d. Suppose -4*l + d = -l. Which is greater: l or 44?
44
Let j = -44.41 + 43.9693. Which is smaller: j or 1?
j
Let m = 13133.0414 - 13133. Which is greater: m or -0.3?
m
Let u = -201 + 3014/15. Let f = u + 2/5. Is f not equal to 27?
True
Let s = 0.2 + -0.1. Let h = -16482 - -16480.99. Is h <= s?
True
Let w be 4 + 29 - (2 + 0 - 1). Suppose 6*s - 110 = 40. Let n be (-2)/10 + 2 + 755/s. Is n > w?
False
Let j = 41 - 41.213. Let q = j - -3.213. Is 5 bigger than q?
True
Suppose -10*z = 53*z - 1197. Is 13 at most z?
True
Let a = -43 + 45. Let g(t) = t**2 - 4*t + 2. Let m be g(a). Let v be (((-2)/5 - 0)*5)/m. Is -1/6 at least as big as v?
False
Let t be (8/(-12))/((-33)/18 + 2). Let a be -1 - 24 - (-10)/40*t. Which is smaller: 2 or a?
a
Let j be 5434/26 - (14 + -3 + -3). Does j = 201?
True
Let b = 1880 + -1181. Let l = 485622486896/694776639 - 2/8794641. Let d = l - b. Do -1 and d have different values?
True
Suppose -117*l - 2814 = -75*l. Which is greater: -54 or l?
-54
Suppose 481*s - 506*s + 350 = 0. Which is smaller: s or 24?
s
Let r be -36*23/(-1863) + (-124)/1170. Which is smaller: 0 or r?
0
Let k(p) = 2*p**2 - 26*p + 27. Let t be k(12). Let z be (-183)/99 + t - (-6)/33. Let x(a) = a**2. Let j be x(-1). Is z at least as big as j?
True
Let c = -2.23 + 2.024. Let q = -0.794 + c. Is 187 at least q?
True
Let l = 3951 + -3919. Do -0.024 and l have different values?
True
Let v(j) = j**3 + 4*j**2 - 3*j - 7. Let y be v(-4). Suppose -g - 16 + 13 = 2*x, 0 = -y*x + g + 3. Is x less than or equal to 1?
True
Let t(p) = -p**3 - 13*p**2 - 15*p - 22. Let l be t(-11). Let z = l + 65. Which is bigger: -35 or z?
z
Let p be ((-40)/50)/4 + 61158/(-10). Let a = 1645200/269 + p. Which is smaller: -1 or a?
-1
Let j = 873 + -872. Let t be 13/9 + (2 - 1). Which is bigger: t or j?
t
Suppose -2*k = 4*h - h - 51, 4*h = 3*k - 51. Suppose -3*l - 6 = -k. Suppose 0 = a - 2, -l*j - 23 = a - 370. Is j greater than 69?
False
Let k be 6 + 7 + 5/1. Suppose 0 = -p + 2*x + 2, 0 = 2*p - 3*x + 13 - 16. Is k bigger than p?
True
Let t(c) = 235*c - 3109. Let q be t(19). Which is smaller: q or 4070/3?
q
Suppose 3*z = 3*f - 102, -3*z + 2*z = 5*f + 4. Let k = 29 + z. Is k at least -5/67?
True
Let d = -0.06472 - 0.28598. Which is smaller: 0.1 or d?
d
Let a = -83.25 - -83. Let y = a + 2.25. Is -0.089 > y?
False
Suppose -4*o = 0, -2 - 1 = -u + 4*o. Suppose u*r - r - i = -4, 5*r + 2*i = -10. Is r < -165?
False
Let g = -1/693 + 1693/212751. Is 2 smaller than g?
False
Suppose 3*w + 74 - 263 = 3*i, -5*i + w = 299. Let s be 10*1/7*(i - -73). Is s at least 0?
True
Suppose 2*o = 2*n + 4, -2*n + 4 = 4*o - 10. Let x be (61 + (-813447)/13333)*(-2)/4. Is x at least as big as n?
False
Suppose 3*b + 0*b = -5*t + 54, -b + 5*t = 2. Suppose -2*z - 3*x + 46 = 0, -7*x = -2*z - 2*x + 14. Let y = b + z. Is 29 != y?
True
Let y = 50337597/283 - 177871. Which is greater: y or 1?
1
Suppose 103*s = -139*s - 20*s + 1572. Are 18 and s nonequal?
True
Suppose 4*b - 10 = b + v, 0 = 2*b - 2*v. Suppose 5*a - 29 = -b*j + 46, 5*a - 3*j = 99. Which is smaller: a or 37/2?
a
Suppose 3*k = -k - 136. Let t(j) = j**2 + 12*j - 22. Let g be t(-11). Are k and g non-equal?
True
Let r be 2 - (-110)/24 - 17/((-