Let c(u) = u**3 - 20*u**2 + 18*u + 1. Let l be c(19). Let a = i + l. Which is bigger: a or -9/5?
a
Let v be -7 + (-11210)/1068*88/(-132). Are 1 and v equal?
False
Suppose -10 - 17 = -3*i. Suppose 2 + 16 = -i*h. Is h at least -5?
True
Let a = -2.065 + 0.065. Let i = 3275/63 + -52. Which is greater: a or i?
i
Let u be 3/15*-1*0. Which is smaller: -2/105 or u?
-2/105
Suppose 16*b - 21*b + 35 = 0. Suppose 0 = -5*f - 3*l - 4, -2*l - 15 + 6 = -3*f. Suppose -2*u - f = -15. Is u < b?
False
Suppose -4*l - 9 = -k, 0*k + 4*k - 2*l - 8 = 0. Let u be (4 - 6)*k/(-2). Let n be (35/(-10) - -2)*8/318. Is n >= u?
False
Let f be -8 + ((-6)/(-1))/3. Let p be (-548)/126 + 4/f. Let w = p + 32/7. Which is greater: w or -0.1?
-0.1
Let u be (-1)/(-1)*(385*4)/(-10). Which is greater: u or -152?
-152
Let v(w) be the first derivative of w**3/3 - 13*w**2/2 + 15*w - 4. Let k be v(11). Which is greater: -8 or k?
k
Let l(j) = -j**3 + 29*j**2 - 33*j - 12. Let i be l(28). Which is smaller: -149 or i?
i
Let a = -37767/68134 - -3/1793. Let g = a - -577/494. Is 0 less than g?
True
Suppose -20 = -5*r - 5*t - 5, 0 = t - 1. Suppose -4*o - 5*z = -27, 2*o - 12 = 3*o + 5*z. Let v(f) = f**2 - 13*f - 2. Let d be v(o). Which is smaller: d or r?
d
Let s(c) = -c**2 - 15*c - 49. Let q be s(-9). Which is greater: 44/9 or q?
q
Let u = 1/1169 - -32729/3507. Let v = -115/12 + u. Let w be 2/(-4)*(-1 - -1). Is v greater than w?
False
Let y = -1 + 2. Let a be 4/(-4 + (-132)/(-32)). Let o = a - 35. Which is bigger: y or o?
y
Let v = 413 + -403. Which is smaller: 8 or v?
8
Suppose -8*p - 294 = -78. Let h = p + 55. Is 28 < h?
False
Let x = -0.1 + 0.2. Let j = x - 0.1. Is -1.2 smaller than j?
True
Let l = 27 + -23. Suppose 57 = l*h - h. Let j = -19 + h. Is j at least as big as 9/8?
False
Let h = -0.198 + 10.098. Let l = h + -10. Let a = 1 + -1. Which is smaller: a or l?
l
Suppose 2*o - 2*n = -20, -o = 4*n - 5 - 0. Is -8 at most as big as o?
True
Let c(u) = -u + 14. Let h(o) = o**2 + o + 1. Let n be h(-4). Let m be c(n). Is 1/2 less than or equal to m?
True
Let u = -71 + 70.1. Let t = 23.3 + -25. Let a = t - u. Is a smaller than 0?
True
Let j be (-57)/130 + (-2)/(-5). Let x(u) = u**3 + 19*u**2 + u + 19. Let f = 83 + -102. Let z be x(f). Is j less than z?
True
Let k = -2.8 - -2.88. Let q = k - 0.18. Is 1 != q?
True
Let a be ((-106)/(-4))/((-1)/2). Which is smaller: a or -373/7?
-373/7
Let w(j) = -j**3 + 3*j**2 - 25*j + 74. Let g be w(3). Which is greater: -0.139 or g?
-0.139
Let x(p) = -114*p**2 + 2*p + 1. Let i be x(-1). Suppose -4*g - 211 = 629. Let r be i/g + 4/14. Which is smaller: 2 or r?
r
Let a = 38 + -64. Let d = 30 + a. Suppose -d*m = p - m + 26, -m = 4. Is -14 at least as big as p?
True
Let i = -811 - -784. Which is smaller: -29 or i?
-29
Suppose -963*s + 952*s = 572. Is -27 <= s?
False
Let a = -6 + 6. Let g be 8/16*(1 + -3) - a. Is g greater than -1?
False
Let a be ((-28)/51)/(((-10)/(-105))/1). Which is greater: -1 or a?
-1
Let j = 1/40 + 229/440. Suppose -2*z + 1 = -1. Which is smaller: j or z?
j
Suppose 3*u - 3*v + 6 = 0, -2*u + 5*v + 0 = 7. Is u less than -16/33?
True
Suppose -2*u = -5*u + 6. Let l(r) be the third derivative of r**6/120 - r**5/30 - r**4/12 + r**3/2 + 3*r**2. Let p be l(u). Is p != -3?
True
Let z = -33.75 + -0.25. Let n = z + 33.6. Are n and 0.5 unequal?
True
Let u = 35 + -61. Let y = -16 - u. Let w(a) = -3*a - 10. Let r be w(-7). Is y bigger than r?
False
Let j = -1 - -1. Let v = 14 + j. Let k = -43/77 - -3/11. Does k = v?
False
Let i(y) = -11*y**2 - 111*y - 6. Let k be i(-10). Which is smaller: 31/6 or k?
k
Let h be 7/2 - 27/(-18). Suppose -55 = -5*c + h. Let f = c - 13. Which is bigger: -4/5 or f?
-4/5
Let i be ((-5)/(-8220))/(8/(-24)). Which is greater: 0 or i?
0
Let n be (70/(-6))/((-1)/3). Let y = n + -21. Let p be (-34)/4 + (-7)/y. Are -8 and p non-equal?
True
Let b = -0.048 - 0.022. Let a = -2/115 + -107/460. Which is bigger: b or a?
b
Suppose -178 - 232 = 2*i. Let a = 7997/39 + i. Is 0 at least as big as a?
False
Suppose 8 + 17 = -5*z, 3*m - 46 = 5*z. Which is smaller: m or 6?
6
Let s = 5 - 10. Suppose -2*i + 7*i = 220. Let p be 155/(-35) + 4 + i/70. Is p less than s?
False
Let x = 636 + -706. Is -74 < x?
True
Let j be 1*-1*(10 - 8). Let l be 12/54 + j/(-8). Let v = -565/1044 + l. Does 1 = v?
False
Let i = -29 + 29.052. Suppose -5*w = x, 0 = -4*x - 8*w + 10*w. Is i >= x?
True
Let l be (11/1100)/(155/938). Let j = 2641/35250 - 10/141. Let p = l + j. Are 0 and p non-equal?
True
Let s = 0 - -3. Let k(o) = -3*o + 7. Let z be k(s). Which is smaller: z or -1?
z
Suppose -7304 = -4*z - 7252. Which is smaller: z or 138/11?
138/11
Let m(f) = f**3 - 2*f**2 - f + 19. Let d be m(0). Suppose h - 3*b = -5, 2*h - h + 5*b = d. Suppose 0*q = 3*q - a + h, 2 = 2*q - 3*a. Is -3 at most as big as q?
True
Let r be (-204)/(-119)*246/(-4). Suppose 4*j + 79 + 341 = 0. Let x = j - r. Is 0 less than x?
True
Let z(j) = -3*j**3 + 2*j**2 + 2*j. Let k be z(2). Let o be (6/12)/((-2)/k). Let c = -15/8 - -43/8. Do c and o have the same value?
False
Let k = -0.6 + 0.7. Let n = -0.14 - -0.14. Let a = n + k. Is -2 smaller than a?
True
Let n be 4/8*-2*(3 + 0). Let c(j) = 22*j + 20. Let h be c(n). Which is bigger: 0 or h?
0
Let c = -0.8 + 1. Let r = 13.9 + -8.9. Which is smaller: r or c?
c
Let f = -33631781/328 - -102536. Let a = -2/503 + 6118/20623. Let t = f + a. Is t greater than or equal to 1?
False
Let g(t) = -t**3 - 19*t**2 - 19*t - 3. Let r be g(-18). Let v be -3 + 1 - (-3)/2. Is v != r?
True
Let y(f) = -6*f + 6. Let x be y(-1). Let w(m) = -m**2 + 11*m + 14. Let g be w(x). Are 1.3 and g equal?
False
Suppose -100 - 236 = -42*i. Is i at most 17/2?
True
Let h(n) = n**2 - 16*n + 14. Suppose -7*v + 11*v - 60 = 0. Let u be h(v). Is u less than or equal to -2/17?
True
Suppose 8*u - 9 = 2*q + 3*u, -3*q = 5*u - 24. Suppose -5*l - 5*c = 190, -44 = l + 4*c + q. Which is smaller: l or -34?
l
Suppose 315 = -7*p + 3*p + a, -2*p - 5*a - 185 = 0. Let l = p - -74. Which is bigger: l or -3?
-3
Suppose -4*g + 5*b = -21, 9 = -2*g - 2*b - 3. Let j = -1136 - -1130. Which is smaller: j or g?
j
Let r be 0 - (78/(-36) - 2/4). Let o = 81 + -79. Which is smaller: o or r?
o
Let i = 14236/73 + -195. Which is smaller: 0 or i?
0
Let a = 175.7 - 175.8. Is a greater than or equal to -3/854?
False
Let m(h) = -h**2 - 7*h + 18. Let y be m(10). Is y smaller than -2?
True
Let g = 0.38 - 0.58. Which is smaller: g or -20.9?
-20.9
Let z = 1508 + -1493. Does z = 20?
False
Let z = -0.358 + -38.642. Is z > 8/5?
False
Suppose -3*h - 4 = 2*c + 10, -3*c + h = 10. Let k be -8 - c - 2/(-1). Is -5/3 less than or equal to k?
False
Let f = 26362/43 - 613. Let n(v) = -v**2 - 3*v + 41. Let z be n(5). Is f less than z?
True
Suppose -6*h + 74 = -40. Suppose -h = 4*w - 3*v, 8 = -4*v - 4. Suppose 3*t + u + 15 - 5 = 0, -3*t - 8 = 2*u. Is t >= w?
True
Suppose -5*v + 2*o = -6, 3 + 1 = 2*o. Let q = -5 - -45. Let g be v/1 + q/(-12). Is -1 at most g?
False
Let x = 21 + -12. Let w = -11.5 + x. Let c = w + 0.5. Which is bigger: c or -3?
c
Let m(j) = -j**3 + 19*j**2 - 31*j + 232. Let u be m(18). Is -42/65 at least as big as u?
True
Let m(r) = -r**3 + 2*r**2 + 2*r - 4. Let f be m(2). Let t(k) = k**3 + k - 115. Let j be t(f). Let x be j/195 - (-2)/3. Which is smaller: -1 or x?
-1
Suppose 96 = 4*o + l - 5*l, -90 = -5*o - l. Let u(j) = 9*j + 95. Let i be u(-10). Suppose -5*k - i*r + 56 = -49, -3*k = 2*r - 62. Is o <= k?
True
Let s = 8 - 7. Suppose -20 = -4*a, -4*c = 4*a + s - 5. Let k(u) = u**3 - u**2 - 6*u + 2. Let i be k(2). Which is smaller: c or i?
i
Let k = -3617/38 - -191/2. Let x = -6 - -7. Which is bigger: x or k?
x
Let v be (2/3)/((-1)/(-3)). Let a(u) = -u**3 - 10*u**2 - 10*u + 1. Let f be a(-9). Suppose 5*c - f + 5 = 0. Which is smaller: c or v?
c
Let b(v) = 43*v + 100. Let z be b(-3). Which is greater: z or -2?
-2
Let q be (3/2)/(24/(-64)). Let j(f) = f**3 + 4*f**2 - 6*f - 7. Let i be j(q). Let k = 0 + 17. Is i < k?
False
Suppose 2*y + 2*y - 60 = 0. Let w = -33 + 10. Let u = -7 - w. Which is bigger: y or u?
u
Let w = -2.6 + -0.4. Let o = -73 + 76.1. Let p = o + w. Which is greater: p or 1/4?
1/4
Let h be 1/6*(4 - 0). Let l = -246 + 242. Is l at most as big as h?
True
Let i be ((-30)/85)/(-3)*36/(-168). Which is smaller: 1 or i?
i
Suppose 4*a + 10 = 2*