2*f**2 + 15*f + 8. Let b be u(-9). Let s be (190/b - 4) + -2. Is s not equal to o?
True
Let r be (-358)/8 - (-1)/(-4). Let x be 3 + (3 - r/(-7)). Let v = 50/3 + -17. Which is smaller: v or x?
x
Let o = 61 + -60.9289. Which is smaller: 0.2 or o?
o
Let p be -3*4/(-30)*(1 - -19). Which is smaller: 63/8 or p?
63/8
Let c(i) be the second derivative of -i**4/12 + 9*i**3/2 + 29*i**2/2 - i. Let p be c(28). Is 13 less than p?
False
Let i be 11 + (-2028)/126 - -7. Which is smaller: i or 2/11?
2/11
Suppose -2*p - 5*x = 3*p + 205, 2*x - 198 = 5*p. Which is bigger: p or -41?
p
Suppose -12*l + 14*l - 4 = 0. Let u = 8 + -5. Suppose l*i = u*i. Which is smaller: 1/20 or i?
i
Suppose -2*z = -3 - 1. Let r = 1 + z. Does 2 = r?
False
Let a(m) = m**3 - 24*m**2 + 44*m - 7. Let x be a(22). Is x greater than or equal to -10?
True
Let l(x) = -2*x**2 - 3*x. Let f be l(3). Let r be 3/f - 3/(-9). Is r at most as big as 6?
True
Let w be -4 + (222/21 - 2). Suppose 0 = x + 79 - 85. Do w and x have the same value?
False
Let y(i) = 3*i**2 + 38*i - 31. Let s be y(-10). Are -111 and s unequal?
False
Suppose -156 = -4*v - 528. Is -92 > v?
True
Let v(i) = -10*i**2 - 120*i + 1. Let u be v(-12). Let f(k) = k**3 + 4*k**2 - 6*k - 2. Let j be f(-5). Let h be ((j - 3) + -1)/u. Is h at most as big as -1/6?
True
Let w = -2628 - -2627. Is 86 >= w?
True
Let u be 1295/1615 + (-12)/102. Which is greater: u or 0?
u
Let b = 8558 + -8558. Let t = -163 + 3098/19. Is t != b?
True
Let w = 25 + -26.9. Let m = w - 0.1. Let x = m - -2.1. Is 1/2 greater than x?
True
Let c be (-270)/(-60)*4/9. Let f(n) = 37*n - 7. Let s be f(5). Let p be c + s/(-46) - -2. Is p < -1?
False
Let b = -3.5 - 12.5. Let y be (-17 - -17)*(-2)/6. Is y less than or equal to b?
False
Let k be 1/6*-10*-57. Let r = k + -96. Which is smaller: -15/11 or r?
-15/11
Let c = 397 + -397.1. Which is smaller: c or 65/6?
c
Let x(p) = -p**3 - 9*p**2 + 5*p - 24. Let j be x(-10). Suppose 10 = -s - j. Which is smaller: -1 or s?
s
Let h = -0.3 + 0.2. Let i = -62.36 - -63. Let s = i + 3.36. Which is smaller: s or h?
h
Suppose -45*z = -17 - 28. Which is greater: -4/383 or z?
z
Let f be 0/(-2 - (-3 - -2)). Suppose q - 2*q = f. Let a be (-6 - 96/(-18))/((-7)/3). Which is bigger: a or q?
a
Suppose 2*x = 5*c - 1313, -43*x + 502 = 2*c - 38*x. Is 260 greater than c?
False
Let q = 906 - 3623/4. Which is bigger: q or -215?
q
Let i(h) = h**2 + 3*h - 2. Let q be i(-4). Let r(s) = 2*s**3 + s**2 + 0*s**3 - 5*s**3 - 3*s**2 - s. Let x be r(-1). Is x at least as big as q?
True
Let q be (2/6)/((-5)/(-150)). Suppose 8 - q = o. Let v be 192/100 + (o - 0). Is v smaller than -1?
False
Let a = 1.37 - 2.64. Let u = 0.27 + a. Is -0.22 smaller than u?
False
Let f be (-140)/(-18) - 14/(-63). Let r = f - 18. Let a = r + 28. Is a > 18?
False
Let m = -71 + 48. Let w = 31 + m. Is w less than 1?
False
Let f = -127 - -126.84. Are f and 2/15 equal?
False
Let j = 33.6 - 33.7. Which is bigger: -8/7 or j?
j
Suppose 3*t = -2*t + 10. Let h be 12/8*-2 + t. Is h < -5/8?
True
Let k be (22 - 0)*2/4. Suppose 5*f - q + 67 = -3*q, 0 = -4*f - 5*q - 57. Let t be f/k - (-12)/66. Is t at most -2?
False
Let y be 2/6*1/1. Let g = -52.9 - -3.9. Let v = g + 48.89. Which is smaller: y or v?
v
Let r be (-200)/6*(-48)/20. Suppose -14 = 2*q - 2*i + 5*i, 4*q - 3*i + 46 = 0. Let b be ((-4)/q)/(32/r). Which is smaller: 1/10 or b?
1/10
Let y(o) be the first derivative of -o**3/3 - 5*o**2 + 3*o - 5. Let w be y(-10). Let r(v) = v**2 - 3*v + 4. Let f be r(w). Which is smaller: 6 or f?
f
Let y(x) = 2*x - 3. Let t be y(2). Let j be (-592)/(-546) - (-12)/(-21). Let n = -142/429 + j. Which is greater: t or n?
t
Let h be (-4 + 19)*(-1)/(-3). Suppose h*v - 14 = -4. Suppose 5*u + v = 4*u. Which is smaller: 0 or u?
u
Suppose 2*h = h + 2*b + 15, -h = b - 27. Let o = h + -12. Let l be (-2)/o - (-77)/(-242). Is l at least 0?
False
Let o = 0.06 + -1.06. Suppose -3*s = 3*f + s + 94, -2*f = -3*s + 40. Does f = o?
False
Suppose 3 = 3*j + 4*f, 3*f + 0*f = 3*j - 3. Let n = j - -1. Let b(h) = -h**3 + 2*h**2 + h. Let d be b(n). Which is bigger: 6/11 or d?
d
Let r = 159 + -159.3. Which is bigger: -2/3 or r?
r
Let a be 6/(-2) - (0 + -2 + 7). Let n be 23/(-3) - (-14)/21. Which is greater: n or a?
n
Let a be 36/(-90)*(-5)/2. Do -2/3779 and a have different values?
True
Let o be ((-4)/(-14))/((-696)/(-812)). Let l(g) = -g. Let p be l(1). Which is smaller: o or p?
p
Let s(b) be the third derivative of b**4/2 - b**2. Suppose x + 16 = 5*t, 0 = -0*x + x + 5*t - 14. Let c be s(x). Which is smaller: -13 or c?
-13
Let u be 12/18*4*1407/14. Is 269 smaller than u?
False
Suppose 8 = -5*g - 4*f, 0 = -2*f - 2 - 2. Let t = 43/102 - -4/51. Which is bigger: g or t?
t
Suppose 0 = 11*c + 25 - 47. Is 7/5 greater than c?
False
Let x be (9/12)/((-17)/(-68)) + 7. Is x at least as big as 68?
False
Suppose -3*u - 801 = 5*t + 94, -u = -t - 187. Which is smaller: -179 or t?
t
Let l(o) be the second derivative of -o**5/20 + o**4/12 + o**3/6 + 13*o. Let s be l(-1). Does 1/13 = s?
False
Suppose u + 0*u = 0. Let i be (-1)/7 - (-192)/21. Let j be 69/54 - (-2)/i. Is j at least as big as u?
True
Let r = -105 + 259. Is 154 >= r?
True
Let j = 15.322 + -1.322. Are -68 and j unequal?
True
Let w = 10.9 + 0.1. Let k = -12 + w. Let n = k - -0.9. Which is smaller: -3 or n?
-3
Let d = 99 - 315. Is 1 at least as big as d?
True
Suppose -1380 = -16*i + 22*i. Which is smaller: i or -461/2?
-461/2
Suppose 15*b - 16 - 29 = 0. Suppose d - 4 = -0*d. Does d = b?
False
Let p(x) = x**2 - 10*x - 7. Let n be p(6). Do n and -61/2 have the same value?
False
Let f = -0.1 - -0.1. Suppose 2*t - 1224 = 11*t. Let u = 134 + t. Which is smaller: f or u?
u
Let f(b) = -4*b - 10. Let v be f(-4). Suppose 0 = -6*w + 12*w + v. Is w at most -1?
True
Let h be ((-2)/(72/(-44)))/(5/(-30)). Is h greater than or equal to 2/9?
False
Let v = -43 + 25. Let q = 17.6 + v. Is 2/7 at least q?
True
Let p = -91 - -123. Is p equal to 32?
True
Suppose -w = k + 155, -k - 22*w = -26*w + 150. Which is bigger: -156 or k?
k
Suppose 3*z + 13 = 64. Let u = -15 + z. Let d = 13850/11 - 1258. Which is smaller: d or u?
d
Let y be 1100/(-3366)*(-5)/25. Is y > 1?
False
Let i be 0/1 + 4 + 1. Suppose -1245 = i*g + 5*a, -5*g = 2*a - 109 + 1345. Let j = g + 1224/5. Which is bigger: j or -2?
j
Let p = 13 + -18. Let b be (-1)/2*(p + 3). Let o be 117/72 - b*2. Is o at least as big as 0?
False
Suppose -7*z = -8*z + 25. Let g = 121/5 - z. Let o = 3 - 5. Which is smaller: g or o?
o
Let r(v) = -2*v**3 + 14*v**2 - 4*v - 22. Let l be r(6). Which is smaller: 27 or l?
l
Let s(m) = m**3 - 7*m**2 + 6*m + 4. Let q be s(7). Suppose q = -4*f - 5*w, 0 = -f - 4*w + w - 15. Which is bigger: -6 or f?
-6
Let b = 23 + -19. Suppose -5*q = t - 27, 0 = b*q - t - 18. Suppose -y + 6 = q*y. Is 2/3 bigger than y?
False
Let p = 3 - 2.95. Let z = -1.05 + p. Let g = z - -0.9. Which is smaller: g or 8?
g
Let u = 1.24 - 6.24. Which is bigger: -0.13 or u?
-0.13
Suppose 15 = -45*m + 30*m. Let j be (-26)/(-84) - 2/6. Do m and j have the same value?
False
Let g = -29/105 - -10/21. Let w be 3/(-120) + (-8)/20. Let o = w - g. Which is greater: o or 0?
0
Suppose 2*f - p - 24 = -2*f, -p + 1 = f. Suppose y + f = -7. Is -13 greater than or equal to y?
False
Let q = 1369 + -1381. Is q > -18?
True
Suppose 0 = l - 2 - 1. Suppose 0 = 2*c - 3*o - 7, -1 + 13 = -3*c - l*o. Let d be 189/(-48) + (3 - c). Does d = 1?
False
Suppose -16*j = -13*j + 5*r - 132, 5*j = -r + 242. Is 50 less than j?
False
Let a(n) = -6*n + 29. Let r be a(5). Which is greater: 5/44 or r?
5/44
Suppose 36 = 5*r + 6. Suppose s - c = 4*s + 12, -c + 23 = -4*s. Let o be (-28)/6*s/(20/6). Is o less than r?
False
Let c = -0.4 + 0.3. Let a = c + 0.2. Let d = -8.3 - -8.3. Is d smaller than a?
True
Let v be 14*1/7*(5/2)/5. Let b = -3 + 5. Let k = 4 - b. Which is greater: k or v?
k
Let z = -1/22 - -91/66. Let y = 0 + 0. Which is smaller: y or z?
y
Suppose 8*q = 2*q. Is q at most 5/22?
True
Let n = -1 + 1. Suppose 5*o + 5*t - 2*t - 20 = 0, -3*o - 5*t + 28 = n. Suppose 16 - 4 = 6*p. Which is smaller: o or p?
o
Let y = -215 + 216. Which is smaller: -1/82 or y?
-1/82
Suppose 3*p - 5*g + 3*g = -8, 3*p + g = -23. Let k be 2 - p/(2*-1). Let q be (-446)/(-50) - (8/(-4) - -11). Which is smaller: q or k?
k
Let z = -143 - -132. Is 