/55096. Is k less than 0.1?
True
Let i be -1 + -3 - (-21)/(147/112). Is i less than 79?
True
Let y = -720/13 - -724/13. Let t = 25 + -18. Suppose -3*r = 4 - t. Is y greater than r?
False
Let n be (-36 + -849)*28/6 - -9. Is n > -4120?
False
Let x be ((-54)/42 + 1)*(-8 - -1). Let k be 3 - x/4*146. Let v = 85 + k. Which is bigger: 16 or v?
16
Let w(r) = 9*r**2 - 591*r - 2989. Let d be w(-5). Which is smaller: 252 or d?
d
Suppose 0 = -15*o - 5*o - 40. Let s be (-29 - -30)/((-2)/o). Which is smaller: -2/2537 or s?
-2/2537
Suppose -2*b + 164 = 158. Which is smaller: b or 376/249?
376/249
Suppose 36*c - 1522 = -118. Is 37 less than c?
True
Suppose 5*u + 178 = -3*y - 149, 4*y + 3*u + 425 = 0. Suppose -f + 5 = -r, -4 - 1 = -4*f - r. Let p be 6*(f/(-9) + y/(-144)). Which is smaller: p or 2?
2
Let v be (24/(-18))/((-4)/9). Suppose -5*s + 43 = v*j - 2*j, -4*j + 36 = 3*s. Let h(r) = -r**2 - 16*r - 26. Let k be h(-14). Is k greater than or equal to s?
False
Let h = -6279.818 + 6280. Is h smaller than -17?
False
Suppose -4*v - 8 = -5*p - 9, 0 = p + v + 2. Are -2/12779 and p nonequal?
True
Let f(c) = -c**3 - 9*c**2 + 9*c - 5. Let m be f(-10). Suppose -m*l + 2*i - 1 = 0, 6*l + 4*i - 13 = 5*l. Are 6/35 and l equal?
False
Let y(h) = 8*h - 36. Let p be y(9). Suppose -x + 1 = -p. Let s = x + -15. Which is greater: s or 23?
23
Let o = 652 - 650. Suppose -2*d + o*i = 18, d = -2*i + 4*i - 14. Which is greater: d or 2?
2
Let k(f) be the third derivative of f**5/60 + f**4/12 - 3*f**2. Let w be k(-2). Let b(y) = y**3 - 7*y**2 - 25*y + 62. Let u be b(9). Which is smaller: u or w?
u
Let d = -2835 - -2844. Which is greater: d or -4/19?
d
Let f be (11 - -6)*(-4167)/9. Is f equal to -7872?
False
Suppose -2*z + 2 = 0, 268*z + 2089 = 4*v + 265*z. Are v and 523 equal?
True
Let g be (30*(3 + -5))/((-57)/2). Let a = 158/57 - g. Which is bigger: a or 7?
7
Suppose -9*u - 10 = -14*u. Suppose u*y + 60 = -3*y. Are y and -7 non-equal?
True
Let d be (-8)/(-20) - (-2)/(-10). Let z = -43.195 - 0.705. Let r = 46.9 + z. Which is smaller: d or r?
d
Let i(o) = -5653*o + 1698. Let r be i(-1). Is r bigger than -2?
True
Suppose 2*p - 5574 = -k, 2*k = 6*k - 4*p - 22332. Do k and 5580 have different values?
False
Let r be (-140)/(-11) - (-98)/77. Let n be (21 - -1)/(1 + 1). Which is greater: n or r?
r
Let p be (-320895)/459 - 17/((-289)/2). Is p > 19?
False
Suppose -4*q = -2*q + 4*y - 12, 5*y - 25 = -5*q. Let x be -1 - (14/(-84) - 31/q). Is 7 bigger than x?
True
Let d = 64 + -62. Let b be -4 - (-4 + d) - (1 + -75). Let j = 76 - b. Is 14 smaller than j?
False
Let m = -318.179 - -0.179. Let o = -319.133 - m. Let w = 0.133 + o. Is 36 != w?
True
Suppose -277 = -157*c - 366 - 2894. Which is bigger: c or 1?
1
Let g = -82 + 145. Let u(l) = 4*l**2 + 25*l - 5. Let w be u(2). Which is greater: w or g?
g
Let d(i) = -35*i**2 - 4*i - 4. Let v be d(-1). Let m(t) = 3*t - 23. Let c be m(-4). Does v = c?
True
Let m(y) = -17*y + 356. Let i be m(41). Which is smaller: i or -11?
i
Let m = -2/3 - -7/6. Suppose 289300 = -3646*v + 4961*v. Is m less than v?
True
Let q = 183 - 182.81. Let m = q - 0.4. Which is greater: 2/7 or m?
2/7
Suppose 0 = -2*a - 3*a - 4*d - 40, -3*a = 4*d + 32. Let w = a + 4. Let u be (18/42 - 7146/1386) + 6*1. Which is greater: u or w?
u
Let r(a) = -a**2 + 38. Let l be r(0). Suppose 2001*o - 2012*o = -418. Is o != l?
False
Let u be 2/8 - (-19)/4. Suppose -4*z = -u*z. Let m = -34.01 + 33.61. Is m less than or equal to z?
True
Let c = 1822.4 + -2073.4. Which is smaller: -10 or c?
c
Let m(w) = -108*w**3 + 11*w**2 - 25*w + 13. Let k be m(1). Suppose 4*r + 30 - 10 = 0, r = -3*p - 335. Is k not equal to p?
True
Let m = -0.013 - -0.183. Let u = m + -0.13. Are -0.4 and u unequal?
True
Suppose -u = -5*d - 5 + 52, -u - 37 = -4*d. Let x be ((-1)/(-12))/(1*(-5)/d). Let n = 1.1 - 1.5. Which is smaller: x or n?
n
Let x = -3249/28 + 116. Which is greater: -0.1 or x?
x
Let d(r) = -345*r + 3111. Let o be d(9). Let f be 1 - (1*-2 + -1). Which is smaller: o or f?
f
Suppose 3*i = -5*b - 13, i - b - 29 = 4*b. Suppose 4*w + 12 = -4, -i*w = v + 11. Which is smaller: 3 or v?
3
Suppose -141*j + 40*j = 0. Does -2/177 = j?
False
Suppose -14 = -2*b, 0 = q + 4*b - 3*b - 6. Is q bigger than -3/2861?
False
Let d = 57 + -57. Suppose d = 18*t - 17*t. Let f be -2 + -3 + ((-2)/(-1) - t). Is 0.08 at most as big as f?
False
Let n = 417.619 + 20.381. Which is greater: -2/41 or n?
n
Suppose 42*q = -11*q - 53*q - 54*q + q. Let g = -28641/124 - -231. Which is smaller: g or q?
q
Suppose i + 5 = -3*u + 12, 0 = -4*u + 3*i - 8. Let c = 383 - 208. Let k = c + -1235/7. Is k at least u?
False
Let i(o) = -o**3 + 37*o**2 + 2*o - 73. Let l be i(37). Let a be 44/(-88)*(l - 9). Which is bigger: a or -6?
a
Let b(c) = 26*c - 276. Let x be b(11). Let w(g) = -5 - 21 - 1 + 6*g. Let z be w(x). Is 33 > z?
False
Let a be (-31)/4 + 6/(-24). Let f be 1217*4/8 - (-4)/a. Suppose x - 17*x = -f. Is x less than 37?
False
Suppose -26*c - 201768 = 2*c. Let y = -8913820/1237 - c. Which is smaller: y or 0?
0
Let w = 25335 - 92371409/3646. Which is smaller: 1 or w?
w
Suppose 3*r = -5*s - 107 + 405, 2*s - 388 = -4*r. Let t(z) = 19*z + 154. Let m be t(-8). Suppose 2*o - 182 = -5*g, 180 + 4 = m*o + 4*g. Are o and r equal?
True
Suppose 109 = 5*v - 51. Suppose 101*m = 14*m - 2958. Let b = m + v. Which is bigger: 10 or b?
10
Let p be (-280)/200 - 24/(-10). Let i be 72/18*p/4. Let q = -4637/19 - -244. Which is greater: q or i?
i
Suppose 100 + 17 = -9*a. Which is smaller: a or -1?
a
Suppose -5*v - o = -38, 40 = 4*v - 0*o - 4*o. Which is smaller: v or -111?
-111
Let p(u) = -54*u**2 - 28*u - 40. Let f be p(-3). Which is bigger: -1769/4 or f?
f
Let y = -388.87514 + -0.02486. Let l = 389 + y. Which is smaller: l or 156?
l
Let h = -65/89 - -15915/21182. Suppose -8*d + 12 - 4 = 0. Is d at least as big as h?
True
Let a = 505 + -397. Let q be 2/(-12) + (-186)/a - -2. Which is bigger: -2/23 or q?
q
Let u(h) = h**2 + 70. Let s be u(0). Suppose -84*o + 1220 = -4660. Are o and s equal?
True
Suppose 146*u = 149*u - 9. Suppose 10*d + 95 = p + 5*d, u*d = p - 103. Is 115 <= p?
True
Let m be (-1)/(-4) - (-1065)/(-4). Let p = m - 78. Is -343 < p?
False
Let m be (312/32)/(-13)*-24. Suppose 194 - m = 4*y. Is 41 less than or equal to y?
True
Let v = 2966 - 3745. Which is bigger: v or -781?
v
Let y = 503/3585 + -5/717. Let z = 7 + -8.4. Let j = z + 1.7. Which is bigger: j or y?
j
Suppose -4*g - 3*d = -4131, 4*g - g = -d + 3092. Which is smaller: g or 1030?
g
Let u be 3*(105/6)/5. Let p be (-53)/(-2) + -2 - (-2)/4. Suppose 2*o - p = -3*o + 5*b, -b = 4*o - 45. Which is smaller: u or o?
o
Suppose 137*c - 711 - 2559 = 143*c. Are c and -550 equal?
False
Let n be -6 + 2 - (9 + -13). Suppose 0*q + 16*q - 896 = n. Suppose -35 - q = -13*h. Is 7 at least as big as h?
True
Let u(m) = 46*m**3 + 3*m**2 - 22*m + 20. Let s be u(1). Suppose r + b - 49 = -0*b, 3*r + b = 147. Which is smaller: s or r?
s
Suppose -l - 11 = 2*u, 4*u + 0*u - 13 = 5*l. Let v(p) = p + 9. Let m be v(l). Suppose 3*s - s - 2*i + 8 = 0, 0 = -4*s - i + m. Which is smaller: -3/5 or s?
-3/5
Suppose -792 = 4*g - 4*p, 168*p - 408 = 2*g + 165*p. Suppose n = -9*a + 4*a - 926, 0 = 3*a + 3*n + 546. Is g equal to a?
True
Let j(w) = -1321*w + 9583. Let y be j(7). Which is bigger: y or 316?
y
Let m be 0/((-7)/((-7)/(-2))). Is 5/2782 not equal to m?
True
Let r = -122.24275 - 0.05725. Do r and -3 have the same value?
False
Let o = -190.22377 + 0.22377. Is o at least 0.04?
False
Suppose -56*f + 380873 = 59489. Which is greater: f or 17213/3?
f
Let g = 19.5 - 19.486. Let d = -1.014 + g. Which is bigger: 3.2 or d?
3.2
Let k = 15 + 1. Let q = 255 - 271.01. Let j = q + k. Is 4 at least as big as j?
True
Let f be (-57)/(-38)*16/3. Suppose -3*z + 28 = 11*z. Let o be 2/(z*(-6)/(-54)). Is f at least as big as o?
False
Suppose -4*i + 0*j - 16 = -4*j, 3*j = -4*i - 16. Let l = 4 + i. Let q be (-1)/(-46)*(98 - 102). Is q not equal to l?
True
Let x = -2 + 8. Let w = -91 + 88. Let m be 8/3*(-7)/(7/w). Which is bigger: x or m?
m
Let p be (-37)/24 + (-25)/(400/(-6)). Which is smaller: 78 or p?
p
Let a = 8 + -16. Let q = 193.5 - 217. Let j = -21.5 - q. Are j and a nonequal?
True
Suppose 4*r = -3*g + 3, 10 - 4 = -g + r. Let z be -7 + 30 + 1 + 1. Suppose 6*u = u - z. Is u