-2)/5. Is y smaller than -1/641?
False
Suppose 5*x + 2*o - 22 = 0, -5*o - 44 = -x - 3*x. Let p be (-1 + -4 + x)*-4. Let i be 18 - ((p - -2) + 5). Is i at most as big as 15?
True
Let r = -1831 + 1807. Which is bigger: r or -3/2?
-3/2
Let j(y) = 447*y**2 + 3*y - 4. Let b be j(1). Let x = b - 447. Which is bigger: x or -2/419?
-2/419
Let k(w) be the second derivative of -w**4/12 + 11*w**3/3 + 15*w**2 + 28*w. Let d be k(22). Let c be 148/d + (-6 - -1). Which is bigger: c or -1?
c
Let m be (2/2)/(((-40)/1275)/(-8)). Suppose -59*j + 54*j = -m. Let a = 50 - j. Is -6/37 bigger than a?
True
Suppose -5*p - 45 + 130 = 0. Suppose 3164 = -p*l - 11*l. Is -115 >= l?
False
Suppose -5*d - 2*z + 144 = -9*d, -36 = d + 3*z. Let o be d/(-14) + (-45 - -49). Which is smaller: 6 or o?
6
Let r = 154 + -204. Let d be 16 - ((-22)/55)/(4/r). Do d and 13 have different values?
True
Let l = -44844 - -44849. Let p be 2 - 3/2*-2. Is l > p?
False
Suppose z = -4*z - 20, 39 = -5*b - z. Let h(k) = 2*k + 8. Let u be h(-3). Suppose -2*g = 2*t + 20 + 2, -u*g - 25 = 3*t. Is g greater than or equal to b?
False
Suppose -2*j + 2*i - 48 = -56, 5*j - 4*i = 15. Is j > -2/16893?
False
Let f(u) = -u**2 + 13*u - 36. Let m = 73 - 65. Let k be f(m). Let b be (-283)/57 - -2 - (-12)/k. Is -1 smaller than b?
True
Suppose 0 = 2*d - m - 2616, -3*d + 2319 = m - 1615. Let b be 35/504*6*(-4)/d. Is b at most as big as 0?
True
Let c(b) = -b**2 - 11*b + 12. Let r be c(-9). Suppose 0 = -6*w + w + r. Suppose -y - 2 = -2*x - w*y, -4*x - 52 = -4*y. Do -9 and x have the same value?
True
Suppose -3*b + 62 = -4*b - 2*y, 4*y = 4*b + 200. Let o(s) = -5*s - 2. Let u be o(-9). Let n = u + b. Which is bigger: n or -12?
n
Let q(y) = -y**2 + 6*y + 69. Let j be q(12). Let h be (-14 + -1)/(-8 - (6 + j)). Which is greater: h or 2?
2
Suppose -409*r = -436*r - 52488. Do -1944 and r have the same value?
True
Let p = -0.427 - -2.027. Let q = 134.6 - p. Is q greater than -1?
True
Let p(w) = w + 5. Let r be p(-5). Let b be (-1486)/(10 - 12)*9/1683 - (4 - 0). Is r < b?
False
Let n = -0.3 + 2.9. Let j be -18 + (-2090)/(-230) - -9. Is j at least n?
False
Let y = -852.418 - -852. Let h = 0.718 + y. Which is smaller: -20 or h?
-20
Let s = -6167 - -6058. Is 1.4 bigger than s?
True
Suppose -8*t + y + 2810 = -7*t, 0 = -5*t + 2*y + 14065. Which is smaller: t or 2814?
2814
Let n be 168/60 - (6 - (20/(-15) + 6)). Suppose 3*o - z = 0, 0*o - 3*z = 3*o - 12. Which is smaller: o or n?
o
Let g be ((-18)/4)/(((-55)/66)/((-80)/(-72))). Which is smaller: g or 335?
g
Suppose -8*f + 10*f + 2*l - 32 = 0, 4*l - 48 = -3*f. Let o(k) = -f*k - 15*k + 1 - 29*k**2 - 9*k + 12*k - k**3. Let n be o(-28). Which is greater: -13 or n?
n
Let r = -932/53265 + 2/265. Suppose 3*f + 2*x + 102 = 0, 0 = -0*f - 3*f - 3*x - 105. Let a be ((f/(-4))/(-4))/2. Which is smaller: r or a?
a
Suppose 35*p + 6790 = 45*p. Let h = p + -21725/32. Is h greater than 0?
True
Let k = -31759 - -20676. Which is smaller: -11084 or k?
-11084
Let w = -0.2055 - -0.0635. Let m = w + 0.242. Let r = -6 - 3. Is r != m?
True
Let o be (-8 + (-15)/(-2))/(2/4). Let f = 3 - 2. Let c = f + -1.1. Which is smaller: o or c?
o
Let v be (-6)/(-9) + 345250/(-150). Are -2300 and v equal?
False
Let o be (-29 - -28)/(((-1)/19)/(-1)). Let t(a) = a**3 + 21*a**2 + 38*a + 4. Let i be t(o). Which is smaller: i or -1?
-1
Let u be (-21)/(-1)*(-3)/(-216)*-8. Are u and 387 non-equal?
True
Suppose 0 = -l + 3*f + 16574, -2*f + 7612 = l - 8997. Which is greater: 16594 or l?
l
Let s = 2011402322/6281 - 320236. Which is smaller: s or -1?
-1
Let l be 0 - 4*(-7)/(-1). Suppose -697 = 16*p - 339 - 326. Is p < l?
False
Suppose -w = -5*x - 1835, -x + 734 = -3*x - 2*w. Are x and -364 nonequal?
True
Let q(f) = 10*f - 7. Let h be q(1). Which is smaller: 45/22 or h?
45/22
Let g be ((-6)/(-39))/(20 - (8 + 6)). Which is smaller: g or -1?
-1
Let f = -11 - 17. Let s(z) = -z**2 - 26*z + 12. Let x be s(f). Which is smaller: -42 or x?
x
Let t = 4039 - 4039. Is t > 1/2640?
False
Let o(y) = -2 + 13 - y - 1 + 2*y. Let w be o(-10). Suppose w = 2*c + c + 6. Is -2/19 at most as big as c?
False
Suppose 2*r = -3*d - 11, 0*r = 4*r + 16. Let p be (-30)/(-25)*(0 - d). Let u be 3/2*(-32)/(-24). Is p greater than u?
False
Let s(y) = 6*y**2 - 88*y - 17. Let v(b) = 7*b**2 - 89*b - 16. Let r(n) = -4*s(n) + 3*v(n). Let p be r(28). Which is smaller: 46 or p?
46
Let s be (3/4)/(2895/1350). Let d = 8287/46320 - s. Let c = -1/48 - d. Is 0 less than or equal to c?
True
Let i = 31028 - 8594726/277. Let b = i - 29144/263981. Are b and -1 nonequal?
True
Suppose 108*w - 103*w - 10 = 0. Suppose -w*h - 263 = -3*h. Suppose 20 = 9*u + h. Is u less than -28?
False
Let u(q) = -17*q - 72. Let b be u(-4). Let v be ((-2)/b)/(10922/(-516)). Let a be ((1 + 0)*0)/2. Which is smaller: v or a?
v
Suppose 4*d - 149 = -49. Suppose n - 6*y + y - d = 0, -3*y = 5*n + 15. Let m be ((-2)/(-24))/(396/(-96)). Is n bigger than m?
True
Let m = 891/7256 - -2/907. Which is greater: -706 or m?
m
Let n = 43401 - 43394. Suppose -2*g = g. Let d be g*-2*3/12. Is n greater than or equal to d?
True
Let f(u) = 2*u**3 + 17*u**2 + 30*u - 8. Let t be f(-3). Is 2/991 smaller than t?
True
Let q = -0.691 - 62.309. Which is bigger: q or 7/2?
7/2
Let a = 118 - 114. Suppose -19 = a*h - 15. Let c = 3808/56057 + 2/1933. Is h at least as big as c?
False
Let a = 275975/221 + -16490/13. Which is smaller: a or -21?
-21
Let a be (1 - (-33)/(-44))/(7/1204). Suppose 0*g - 4*g + 88 = 0. Let l be 4/g + 16/(-88). Which is smaller: a or l?
l
Let z be -6*((-6)/(-3) + (-42)/20). Let b be 4/65*(-80)/6. Let h = -2/13 - b. Which is smaller: z or h?
z
Let c(w) = w**2 - 41*w + 10. Let z be c(17). Let x be z/(-3060) - 52/390. Which is bigger: x or -1?
x
Let c be (4/(-10))/((-44)/770). Suppose 37*z - 30 - c = 0. Is z greater than -6/85?
True
Let o = 4200 - 4198. Which is smaller: -5/6 or o?
-5/6
Suppose 18*c + 41114 = -14*c - 25030. Do -2069 and c have the same value?
False
Suppose -i + 4*z = -5*i - 1507 + 51, -2*z = 16. Suppose -3*r = 164 + 910. Is r bigger than i?
False
Suppose -3*d + 15 = -36. Suppose 3*a - 4*n + d = 0, a - 2*a - 5*n + 26 = 0. Let k = 13646 + -13631. Which is bigger: k or a?
k
Let k(l) = -l**3 + 16*l**2 - 25*l + 152. Let j be k(15). Suppose 3*f + 12 = 4*d, 0 = 3*f + 5*d - j - 13. Which is smaller: -2/607 or f?
-2/607
Let g = -23993 + 23992.9. Is 2/17557 != g?
True
Let i(p) = -179*p**2 + 2870*p - 103. Let w be i(16). Let a(j) = -j**2 - j + 3. Let l be a(-6). Is l smaller than w?
True
Let u = 0 + 0. Let b(i) = -i**3 + 16*i + 8 - i + 0*i + 0*i**3 - 3*i**2. Let x be b(3). Which is bigger: u or x?
u
Let v = 0.155 - 0.191. Let b = -0.224 - -0.36. Let z = b + v. Is z < 43?
True
Let x = 0.309 + -0.2891. Let z = -0.0801 - x. Is 206/3 != z?
True
Suppose 16*q - 11470 = -30. Let p be (-2)/10 - (-88)/q. Which is smaller: -5 or p?
-5
Let q(i) = 111*i + 110. Let y be q(-1). Is 37 smaller than y?
False
Let c = 7531 + -6851. Which is greater: c or 683?
683
Let q(g) = -2*g**3 + 2*g**2 - 2*g + 1. Suppose -7*x + 40 = x. Suppose 7*a - x = 2*a. Let o be q(a). Is -0.054 greater than o?
True
Let i = -30821 - -30819.2619. Let y = -0.0381 - i. Is -12 at most as big as y?
True
Let w be (10/(-6)*-1 - 2) + 2454/18. Are 678/5 and w nonequal?
True
Suppose n + 19*n = -5*n. Suppose -2*x + n*x - 32 = 0. Which is bigger: x or -15?
-15
Suppose -u + 4*n = 38, -2*n = 3*u + 5 + 137. Let y = u - -26. Let x = -97/2 - -28. Which is greater: y or x?
y
Let v(g) = 5*g - 1. Let w be v(-2). Let q be 1/(3/(-12))*(-8 - (-310)/40). Which is greater: w or q?
q
Let l be (1 - 7/9) + (-64)/(-36). Let a be 1113/(-42) - ((-3)/l - -1). Let j = -32 - a. Which is greater: -8 or j?
j
Let m(p) = -19*p + 14 - p**2 + 3 - 43. Suppose 9 = 3*a, 2*f - 4*f + a - 25 = 0. Let y be m(f). Which is bigger: y or 64?
64
Let c = 1.3648 - -20.1352. Are c and -0.36 non-equal?
True
Let w(t) = 3*t**2 + 8*t - 10. Let a be w(1). Which is greater: -3/547 or a?
a
Let n(f) = -f - 2. Let d be n(-4). Let c be (d - 0)/(2/(-11)). Is -29/3 at least c?
True
Let s be (24/10)/(-4*3/(-40)). Suppose -12*w = -s*w. Let g be w + -6 - (4 + (-6)/2). Which is smaller: g or 2?
g
Let n = 1216 + -1218. Suppose -3*q + 2 = -q. Let x = -1 + q. Is x at least n?
True
Let q = 16716 - 11775. Is q less than 4940?
Fals