 9*g - 10. Let k be l(-10). Let n be (k - 2/(-1)) + 33/(-11). Let h = -68 + 951/14. Which is smaller: h or n?
n
Let o = -4 - -23. Let h = 18 - o. Let d(i) = -i - 4. Let m be d(h). Which is smaller: m or 0?
m
Let r(a) = -2*a**3 - 2*a**2 + a - 2. Let y be r(-2). Suppose 20 = y*s, 5*s = 2*c + 2*s + 19. Are c and -10/3 unequal?
True
Let o(w) be the third derivative of -w**6/120 + 13*w**5/60 + w**4/2 + 2*w**3/3 - 32*w**2. Let u be o(14). Which is bigger: -23 or u?
-23
Let v = -14 - -9. Let n(t) = 5*t - 3. Let d be n(v). Let h = d + 55/2. Which is greater: h or 0?
0
Let t be (-42)/(-6) + 43 + 4/(-2). Which is smaller: 49 or t?
t
Let x = 144 + -362. Are -218 and x unequal?
False
Let c be (-8)/10*80/16. Let w be ((-27)/12 - c) + -2. Which is greater: 1 or w?
1
Let n = 5.05 + -0.05. Let t = n + -4.6. Let u = 0.2 - t. Which is bigger: u or -2?
u
Let z be (-180)/(0 - -4) - -3. Let r be (116/z)/((-8)/12). Let c = -27/7 + r. Is c bigger than 7?
False
Let g = 98332/3101 + -222/7. Is 1 at least g?
True
Let l(x) = 6*x**2 + x**2 + 6 - x**3 - 5 - 3*x - 3*x. Let j be l(6). Which is smaller: 4/19 or j?
4/19
Suppose 1696*o - 90 = 1702*o. Which is greater: o or -26?
o
Let y = -64 + 92. Let l be y/(-3) + -3*(-5)/45. Which is smaller: -7 or l?
l
Suppose 2*s + 3*s - 10 = 0. Suppose s*h = -4*i + 14, 4*i - 3*h + 6 = -h. Let p be ((-2 - i) + 4)*-1. Which is smaller: p or 2/15?
p
Suppose -20 = 4*a, 2*y - 3*y + 74 = -4*a. Suppose 5*k = -t + 18 - y, -2*k - 32 = -4*t. Let n be 1 - (-3 + (-12)/k). Which is smaller: n or 4?
n
Let k = -18 + 20. Suppose -35 = -7*v + k*v. Let t = 7 - v. Which is bigger: t or 2?
2
Let u be 48/264*(-3)/12. Which is greater: u or 0.2?
0.2
Let u = 4.5 - 4.46. Let k = 0.34 - u. Is k equal to 3?
False
Let y = 183 - 1285/7. Let i(p) = -p**2 + 7*p - 6. Let a be i(6). Which is smaller: y or a?
y
Let b = 17.6 - 17.52. Which is greater: 0.4 or b?
0.4
Suppose -40 - 37 = 7*r. Let s(a) = -a**2 + 8*a - 4. Let y be s(4). Let c = y + r. Is -3/17 greater than or equal to c?
False
Suppose 4*u - 4*o = u - 6, -5*u - 4*o = -22. Suppose 5*g + 0 = -2*k - 6, u*g - 4*k - 12 = 0. Which is bigger: -2/161 or g?
g
Let m = 23954 + -862399/36. Is m less than -3?
False
Let d be 10347/(-140) + (-1)/(-4) - -3. Let l = -349/5 - d. Is l smaller than 0?
False
Let f = 1.48 + -1.5. Let o = -642 + 1285/2. Is f at least as big as o?
False
Let t = 18209/10 + -1821. Let a(u) = -8*u - 12. Let q(s) = -3*s - 4. Let c(m) = -4*a(m) + 11*q(m). Let p be c(5). Is t greater than p?
True
Let b be 8/4 + (-1)/(-1). Suppose 5*t - 2*y = 11, 0*y = -b*t + 2*y + 9. Which is greater: -2/5 or t?
t
Let t(b) = -2*b + 3. Let v be t(-5). Let o = 2180/13 + -505/3. Let u = 4/13 + o. Which is greater: u or v?
v
Suppose 6*z + 5*k = 3*z + 3, -3*k = 0. Is z equal to -1/1372?
False
Suppose -4*a + 226 = -2*g, g - 190 + 33 = -3*a. Let b be 225/a - (-2)/(-12). Suppose b*o + n + 3 = 0, -3*n + 0 - 9 = 2*o. Which is smaller: o or 3/4?
o
Suppose 7*a - 2*a = 0. Suppose 0 = -4*q - 3*y + 20, a*q - 5*q = -5*y + 10. Suppose j - q = -j. Which is smaller: j or 2/3?
2/3
Let c(o) = -o**2 + 3*o + 1. Let u be c(3). Let g be (u/4)/((-6)/8). Let n = -1643 + 1644. Which is bigger: g or n?
n
Suppose -6*x = 2 - 32. Let d(g) = 20 - 5*g**2 - 25 + g**3 + 0*g**3. Let m be d(x). Is m less than -3?
True
Let j be (8 + -1)*(-10)/(-35) - -8. Let s be 6/j + 770/(-1200). Which is greater: s or 1?
1
Let l be (-28)/3 + 28/42. Let v = -9 - l. Which is bigger: v or 5?
5
Let o = 0.6 - -2.4. Suppose 15*i + 4*z = 17*i + 2, 5*i = -4*z + 9. Which is smaller: o or i?
i
Suppose -6*y + 8 = -10*y. Let p = y - -4. Do p and 0 have different values?
True
Let y = 24 + -19. Suppose 2*p - 3 = y*h, p + 3 = -2*p. Which is greater: h or 1/6?
1/6
Let s = 280 - 261. Which is smaller: s or -1?
-1
Let p = -24 + 20. Let s = p + 3. Are s and -5/7 unequal?
True
Suppose 16 = -372*q + 364*q. Let c = 10 + -13. Which is smaller: q or c?
c
Let f be 1 - ((-6)/(-8) + 22248/90528). Which is smaller: -1 or f?
-1
Let l = -15 + 29. Let g = 24 - l. Suppose -4*h = -2*h + g. Is -5 smaller than h?
False
Suppose -5*u - 10*t + 12*t = -150, 0 = 5*u - t - 155. Which is bigger: 30 or u?
u
Let n(s) = 6*s - 375. Let x be n(62). Does -124 = x?
False
Suppose 35*d - 35 + 0 = 0. Is -8/21 at most d?
True
Suppose -3 = -2*i + 3, 0 = 2*j + 4*i - 18. Is j < 3?
False
Let v be (-1 + 2)*(-5 - (-4 + 0)). Is -0.56 at least v?
True
Let c(g) = g**2 + 19*g - 1. Let w be c(-19). Let t be (-60)/(-25) + 0 + w. Let d be 21/(-14)*(-2)/3. Which is smaller: t or d?
d
Let a(f) = -f**3 - 14*f**2 - 44*f + 4. Let u be a(-7). Is 0 smaller than u?
False
Let f(q) = q**2 + 2*q + 1. Let m be f(-2). Let w = -318 - -94. Let y = w - -2018/9. Which is greater: y or m?
m
Suppose 49*l - 8 = 51*l. Which is bigger: l or -0.18?
-0.18
Let a be (-2524)/18 - -2 - 2/(-9). Let c be ((-106)/a - 1)/((-14)/(-21)). Which is smaller: c or 1?
c
Let h be 2022/(-678) + (-4)/((-16)/12). Which is smaller: -1 or h?
-1
Let k = -15 - -23. Let o(h) = -h**3 - 4*h**2 + 9*h + 9. Let w be o(-6). Let s = w + -18. Which is bigger: k or s?
s
Let z = -6 + 6. Let d = 0.186 - -6.814. Which is greater: z or d?
d
Suppose -38 = -49*c + 11*c. Is -1/458 less than c?
True
Let u(c) be the third derivative of c**6/120 + c**5/10 - 5*c**4/24 - c**3/6 - 3*c**2. Let n be u(-7). Is -15 bigger than n?
False
Let p(y) be the third derivative of -y**4/24 - y**3/2 + 4*y**2. Let o be p(-9). Let m(k) = k**2 + 12*k + 25. Let x be m(-10). Which is smaller: x or o?
x
Let u = 288 + -288. Is u smaller than -2/1365?
False
Let r = 0.07 - -2.03. Let n = 3 + -2.9. Let q = r - n. Is -1/2 less than or equal to q?
True
Let u = 12 + 2. Let j(c) = -c**3 - 2*c**2 + 4*c + 16. Let t(v) = -v - 16. Let p be t(-13). Let f be j(p). Which is smaller: f or u?
f
Suppose 23 = -3*q + 5*g, -2*q + 2*g = -g + 14. Does -3/92 = q?
False
Let a = -45 + 53. Let z be 45/20 + (-2)/a. Which is bigger: 2/3 or z?
z
Let m(w) = -8*w + 39. Let c = 77 + -71. Let i be m(c). Is i > -9?
False
Suppose 2*j + 7 = -3*f, -5*j - 3*f - 5 = -4*j. Let p be (((-13120)/(-180))/41)/(-2*1). Which is greater: p or j?
p
Let i be (-3)/(-14)*(3 - 2). Suppose -4*a - 4*r + 8 = 0, 4*r = -4*a + 2*r + 4. Which is smaller: i or a?
a
Suppose -8*w = -50*w + 9282. Is 219 at most w?
True
Let x(n) = -2*n + 1. Let z be x(-1). Suppose 4*o = -2*b - 18 - 2, -3*o + z = -3*b. Let s be o/(-2)*(-2)/(-3). Is 1 equal to s?
True
Let w be 6/(-9) - 8/(-3). Suppose -3*i + w = -4*i. Let c = -310 + 2780/9. Is i < c?
True
Let h = 99 + -106. Let l(d) = -2*d**3 - 16*d**2 - 18*d - 5. Let j be l(h). Is 1 greater than j?
False
Let y = 404 - 488. Which is smaller: y or -2?
y
Let b(s) = -3*s**2 - 9*s + 4. Let a be b(-3). Suppose -a*r - 64 - 8 = 0. Are -8 and r unequal?
True
Let i be 2/9 + (-204)/(-54). Let c be -12*((-26)/8 + i). Is c greater than or equal to -4?
False
Let d = -56 - -25. Let n = 72 + d. Which is bigger: n or -1?
n
Let p = -34 + 32. Let d(i) = -5*i - 3. Let n be d(-3). Let b be (2/n)/((-18)/(-72)). Which is bigger: b or p?
b
Suppose -7*v = -4*v - 6. Suppose -v*y + 2 - 10 = 0. Which is smaller: y or -13/5?
y
Let j(m) = m**3 - 2*m**2 - 2*m - 1. Let c be j(3). Suppose c = -4*x - 2. Let n be (6 + -8)*19/(-437). Is x equal to n?
False
Suppose 5*z - 4*f + 270 = 0, 35 = -2*z + 3*f - 80. Which is greater: z or -48?
-48
Suppose -2*w + 10 = -0*w. Let m be 9*((-10)/6 + 2). Suppose -w - 16 = m*j. Do j and -8 have different values?
True
Let s = 1.24 + -1.02. Let i = -0.12 + s. Is 3/7 >= i?
True
Suppose -224 = -3*w - w. Let v be (-897)/23*(-252)/182. Which is bigger: v or w?
w
Let h = 1/20 + 1/5. Let k be 21*(6/(-3) + 3). Let s be -1*3/(27/k). Are h and s equal?
False
Suppose -7*o = -2*o + 25. Let s = 0.173 - -68.827. Let y = s - 72. Do o and y have different values?
True
Let u(i) = -26*i + 5. Let p be u(-2). Let k = -27 + p. Is k at most as big as 31?
True
Let z = 14 + -10. Let y(o) = -o - 16. Let q be y(-19). Suppose 0*w + 12 = 2*w + 4*b, 2*b - 10 = -q*w. Is z at least w?
True
Let m = -70 - -33. Let t be 2/(-5)*((5 - 15) + 5). Which is bigger: m or t?
t
Suppose -5*j + 44 = 4. Let c be j/68 - (-182)/(-102). Is -2 > c?
False
Suppose -2 = 2*a, -3*i + 5*a + 0 = -8. Which is bigger: -6 or i?
i
Let g(l) = l**2 - 15*l - 6. Suppose -5*z + 3*c + 71 = 0, 5*c - 2 - 27 = -3*z. Let r be g(z)