
Let l = 4377 + -687186/157. Which is greater: 0 or l?
l
Let i be 3/18 + 166/12. Let h be 2/(-6) + i/(-138). Let g = h - -11/184. Which is bigger: -1 or g?
g
Let d = -121 + 117. Suppose -52 = 7*r + 25. Is d bigger than r?
True
Suppose 4*w = -o + 114, 2*o + 0*w - 210 = w. Let p be 2/o*(-1)/1. Which is bigger: p or 1?
1
Let c be (4 - 3 - -3) + -4 + -68. Which is smaller: c or -543/8?
c
Let s = -5.8 + 3.1. Let a = -0.7 - s. Let i be (12/(-14))/(1 - 3). Is i >= a?
False
Suppose l - 3*d = 41, 3*l - 3*d - 85 - 56 = 0. Do 249/5 and l have different values?
True
Let k = -66 - -142. Let w = -81 + k. Which is greater: w or -11?
w
Let n(j) = -4*j**3 - 5*j**2 - 5*j - 21. Let a be n(-4). Which is smaller: a or 173?
173
Let a = -100427/23 - -4368. Which is smaller: 3 or a?
a
Let h(c) = c**3 - 10*c**2 + 20*c - 8. Let i be h(8). Let b be ((-28)/i)/7 + 0. Does 2/3 = b?
False
Suppose -22*y = -18*y. Suppose 4*v + y*v - 28 = 0. Let r be -2 + 3 + v + 0. Which is smaller: 9 or r?
r
Suppose -3*s + 10 = -6*s - 5*o, 5*s - 2 = o. Suppose 3*b - 2 - 7 = s. Let d be (-6)/b + 1 - -2. Is 2/27 at most d?
True
Let g = 1134 + -812. Are g and 0 equal?
False
Let m be 0 - (8 - (1 + 4)) - -4. Let w = 2.952 + -3. Are w and m nonequal?
True
Let n = -0.573 + 1.573. Let j = 22 + -12. Which is smaller: n or j?
n
Let t be (-216)/672 + 5/(-4). Which is greater: -1 or t?
-1
Let r = 39 + -37. Let a be -1 + r + (-5)/((-60)/(-14)). Which is bigger: a or 3?
3
Let v be (-5)/2*16/(-20). Suppose 5*o - 9 = -t + 12, o - 6 = -v*t. Suppose 0 = -2*c + 2*s + 2, -3*s = -3*c - s + o. Is 0 < c?
True
Let w(l) = 2*l**2 + 27*l + 96. Let x be w(-6). Which is greater: x or 105/17?
105/17
Let u = -29 + 29. Let d(c) = c**2 + 3*c + 2. Let g be d(-4). Suppose u = -g*j + j. Is j <= -1?
False
Suppose 4*l - 22 = -0*l - 2*w, -4*w + 4 = 3*l. Suppose -l*r - 136 = 16. Is r at least -16?
False
Let l be ((-22)/(-66))/((-9)/96). Which is smaller: -4 or l?
-4
Let y = 1/1271 + -3823/12710. Does -6 = y?
False
Let d = 160 - 131. Is d < 29?
False
Let d(g) = -33*g**2 + 2*g - 10. Let a(r) = 16*r**2 - r + 5. Let t(z) = -9*a(z) - 4*d(z). Let w be t(-4). Let n = w - -2207/11. Which is greater: -1 or n?
n
Let n = -456 + 456. Which is smaller: 2/39 or n?
n
Suppose -3*q - 6 = -3*x, 12*x + q + 4 = 15*x. Which is bigger: 16/11 or x?
16/11
Suppose -2*a = 2*a + 12. Let z be (-212)/(-72) + 9/a. Is z bigger than 1?
False
Let z = 1504 + -1503.9. Is z less than or equal to 1.44?
True
Suppose 4 = 2*s - 4. Suppose -s*u + 194 = -590. Let o be 21/u - 2/8. Which is bigger: o or 0?
0
Let p be ((-42)/(-7))/(-870)*10/(-8). Which is bigger: 1 or p?
1
Let p = 2.4 + 0.1. Let l = -3.5 + p. Which is bigger: l or 5/8?
5/8
Let r = 10920 + -1616151/148. Is r at least as big as 1?
False
Let q = 49 + -30. Let z = -14 + q. Let g(f) = f**3 - 21*f**2 + 19*f + 19. Let k be g(20). Is k bigger than z?
False
Let k = -1.84 - 5.25. Is k bigger than -1?
False
Let p = -9.8 + 9. Let c = p + 2. Let y = c - 0.5. Is y smaller than 2/3?
False
Suppose 3*p - u = -258, 3*u + 419 = -5*p + u. Let y = 85 + p. Let n be 2/(-20) - 12/30. Which is bigger: y or n?
y
Let q be (-1)/(4 - (-7)/(-2)). Let k be 23/8 - (q - -5). Let w = -13 + 12. Is w at most as big as k?
True
Let s = 32 - 18. Suppose 0 = -5*g + s + 11. Are g and 19/4 non-equal?
True
Let u be ((-4)/(-5))/(1/5). Let m be 8/((8/u)/2). Let y be (2/m)/(26/8). Which is bigger: 0 or y?
y
Let y = -4/117 + -1142/819. Let d be -1 + 4 + -3 + 0. Which is smaller: y or d?
y
Suppose -4*g - 3*k = -324, -3*g + 2*g - 2*k + 76 = 0. Let c = g - 592/7. Is -1 not equal to c?
True
Let p(o) = -o**3 - 19*o**2 + 48*o + 44. Let c be p(-21). Is c at least -80?
False
Let z(t) = -t**3 + 16*t**2 + 19*t - 40. Let u be z(17). Which is smaller: -29/5 or u?
u
Suppose 0 = -2*w + 4 + 4. Suppose 5*i + 29 = 4*j, -j - 21 = -w*j + 3*i. Let r = j + -4. Is r smaller than 4?
True
Let y = -50389/146044 + 1/5036. Let x = -4149 - -4148. Is x equal to y?
False
Let t(p) = -p**3 + 2*p**2 + 8*p + 8. Let a be t(-4). Suppose -14*k + 11*k = a. Which is greater: k or -23?
-23
Let t = 240 + -227. Which is smaller: -8/3 or t?
-8/3
Suppose -39*h = 2*h - 470 - 104. Let y be -1 - (1 - (-31)/(-2)). Is h smaller than y?
False
Let l be ((-12)/21)/((-6)/21). Let a be (l/128)/(1/(-2)). Which is smaller: a or -1?
-1
Suppose 91 = 59*q + 32*q. Let k = -3/1097 + -1693/183199. Is k < q?
True
Let r(s) = s**3 - 5*s**2 + 2*s + 5. Let t be r(4). Let u(j) = -j**2 - 2*j - 3. Let q = -60 + 58. Let g be u(q). Is g greater than or equal to t?
True
Let m = 122074/11445 + 2/3815. Are m and 12 unequal?
True
Let y be 2/8*-3*-4. Let g(m) = m**3 - 4*m**2 + m - 4. Let d be g(y). Which is greater: d or -11?
d
Suppose -5*x + 5*i + 40 = 110, 0 = x - 3*i + 8. Let c be 2/x + 76/68. Let k be -10 - c*(3 - -1). Is -12 bigger than k?
True
Let n = 250559/228 + -4395/4. Which is smaller: n or 0?
0
Suppose -d = -21 - 13. Suppose 4*n + c + 22 = -c, 5*c + d = -3*n. Suppose -2*l = -2*b + 6, b = -3*l - 7 - 2. Is n > l?
False
Let b be (-5 - 10 - -14)*(-64)/(-82). Which is bigger: 0 or b?
0
Let n(d) = 13. Let c(g) = -g. Let o(p) = c(p) - n(p). Let q be o(-6). Is -4 less than or equal to q?
False
Let z = 8 - 6. Let a(y) = -y**z - 4*y - 5*y - 8*y + 12*y. Let h be a(-5). Which is greater: h or -2/11?
h
Suppose -5*l - 285 = -5*u, 3*u - 5*l - 227 = -u. Is 58 > u?
False
Let l = -7 - -17. Suppose l = -c + 6*c. Suppose c = 2*x - 24. Is x at least as big as -1?
True
Let a(p) = 2*p**2 - 16*p - 97. Let y be a(-4). Is -1/255 <= y?
False
Let j be (2/(-10))/(1/(-20)*-8). Suppose -5*a + 32 = 4*d, -a + 0 - 2 = -2*d. Suppose s + 2*u = -10, -s - 3*s - d*u = 20. Which is greater: j or s?
j
Let b = -424 - -440. Which is bigger: -16 or b?
b
Let q be (-8)/36 + 29/9. Let c = -11 + q. Let p = c + 3. Which is smaller: -2 or p?
p
Let o be -1 - (-14)/18 - -1. Suppose 36 + 11 + 55 = 51*w. Which is smaller: o or w?
o
Suppose 3*g = 6*g. Do g and 3/115 have the same value?
False
Let p(j) = -j**2 - 5*j - 1. Let t be p(-2). Suppose 0 = 5*i + c - 9, 0*c - 2*c + t = -3*i. Are 5 and i nonequal?
True
Let a be (2*-1 - 3)/(4/(-8)). Suppose -a*u = -5*u - 125. Are u and 26 equal?
False
Let d = -1668 - -1841. Is d < 169?
False
Let j = 689/9 - 383/5. Suppose 3 + 4 = 7*u. Is j at least u?
False
Let n be -28*214/(-36) - (-4)/1. Let q = -170 + n. Let b(c) = -c**3 + 3*c**2 - c + 2. Let d be b(3). Is q greater than or equal to d?
True
Let i(s) be the third derivative of -s**5/20 + s**4/6 + s**3/2 + 16*s**2. Let y be i(4). Is y > -28?
False
Suppose -5*a - 3*c = -13, 3*a + 5*c + 1 = 12. Let v = 711.9 - 680. Let m = v + -32. Is m greater than or equal to a?
False
Suppose 0 = -k + 4, -3*q = -8*q - k + 124. Which is bigger: q or 172/7?
172/7
Let b = 2 + -3. Suppose 78 = 5*l + 23. Suppose -4*i + 5 = -l. Which is bigger: i or b?
i
Let d(t) = 7*t - 2. Let f be d(1). Let y be f/((-1)/(-3 + 2)). Suppose 2*z + y*i + 26 = 0, 0*i = -2*z + i - 2. Which is smaller: -4 or z?
-4
Let j = -325 + 338. Which is greater: j or -15?
j
Let m = -16 + 14. Which is bigger: m or -1.44?
-1.44
Suppose -b + 0*b = 2*s + 6, b = 4*s. Let o be 14/(0 - (0 - s)). Let p be o/(-4)*1*2. Is 7 equal to p?
True
Let n(w) = 8*w + 17. Let i(o) = 25*o + 50. Let v(m) = -3*i(m) + 10*n(m). Let h be v(-5). Is h at most -6?
False
Let g be 4/10 + (-165)/2. Let n = g + 82. Is 0 not equal to n?
True
Let t = 48.925 + -49. Let o = t + 0.175. Let k be (-1)/(-4) + 49/(-228). Is k not equal to o?
True
Let b = 454 + -277. Which is bigger: 711/4 or b?
711/4
Suppose -3 = -2*g + 5*g. Let m be 0 - (-21)/(-11) - g. Suppose 89 - 21 = -68*i. Which is greater: m or i?
m
Let d = 41 - 43.4. Let s = -0.06 + 2.56. Let m = d + s. Is m bigger than -2/3?
True
Let f = 1.6 + -2.6. Is f smaller than -67?
False
Let t(j) = -j**3 + 7*j**2 - 3*j + 3. Suppose -6*i + 42 = -0*i. Let g be t(i). Which is smaller: 0 or g?
g
Let q(b) be the second derivative of -b**5/120 - 5*b**4/24 + b**3/6 - 2*b. Let n(a) be the second derivative of q(a). Let s be n(-7). Which is greater: s or 4?
4
Let r = -0.1 - -1.1. Let h = -560 + 580. Are h and r equal?
False
Let r = -1019 - -227. Is r smaller than -792?
False
Let s be (12/(-15))/(8/180). Let x = 13 + s. Suppose -z + 0*z + 17 = -5*y, 7 = 3*z - 4*y. Which is smaller: z or x?
x
Let j be 177/(-295)*(-23 + 0). Are 14 and j 