greater than or equal to o?
False
Suppose 4364 = -9*k + 3725. Is k smaller than -73?
False
Let q = -4.83 - -4.83. Let v = 0.35 - -0.05. Let u = v - 0.3. Which is bigger: u or q?
u
Suppose 3*u + 17 - 14 = 0. Let a = -0.6 + -2.4. Is u != a?
True
Let d be 136/168 + 18/(-27). Let m be 2*1*(-56)/16. Which is greater: m or d?
d
Let i = -56.085 - -56. Let f = i - -0.025. Which is smaller: f or 7?
f
Suppose 4*x - 3*x = 0. Suppose 0 = 13*y - 5*y + 24. Which is bigger: x or y?
x
Let i(y) = y - 21. Let x be i(21). Suppose -w - 5 = 4*f - f, -2*w - 3*f - 4 = x. Do -6/29 and w have the same value?
False
Let w = 32139 - 46762247/1455. Which is greater: -1 or w?
w
Suppose -3*t + 290 = 5*b, 0*t - 190 = -3*b - 5*t. Let n = -11 + b. Is n > 44?
False
Let d = -264 - -231. Which is bigger: d or -28?
-28
Let f = 3.53 + 2.47. Which is smaller: -33 or f?
-33
Suppose -3*y + 25 = 5*r, r - 8 = 2*y + 10. Let q be (-4)/14 + r/(-21). Let k = 48 - 335/7. Which is smaller: k or q?
q
Let u be 3/(-9) - (-8)/(-3). Let r = 254 + -254. Which is greater: r or u?
r
Suppose -3*p - 2 = 13. Suppose 0 = -3*w - 2*k - 13, 24*w - 2*k = 26*w + 6. Which is smaller: p or w?
w
Let i = -11 + 15. Suppose -4 = -i*j + 2*g - 3*g, -2*j + 5*g - 20 = 0. Suppose j = 5*m - 0*m - 15. Is m less than 4?
True
Let v = 255/14 - 41/2. Let i = -148/77 - v. Let r be (-2 + (-21)/(-9))*3. Is r at most as big as i?
False
Let i(g) = -6*g**2 - g + 3. Let c be i(-3). Let d be (-8)/c - (-122)/(-12). Let t be (0 + 2)*(-2)/d. Is 6 not equal to t?
True
Let a = 3638 - 5139. Which is smaller: a or -1502?
-1502
Let z = -2.99 + 3. Let m(s) = s - 14. Let d be m(10). Let h be (-49)/(-63) - d/18. Which is smaller: h or z?
z
Let c be 0 + 4 - (12/(-6) - 5). Is c equal to 68/7?
False
Let h(g) be the third derivative of -g**4/8 + g**3/3 + 2*g**2. Let f be h(2). Let n(q) = -5*q**2 - 1. Let c be n(1). Does c = f?
False
Suppose 15*f = 20*f - 60. Which is bigger: f or 7?
f
Let j = 17 - 16. Suppose 0*h = h - j. Let o = -1311/7 + 188. Which is smaller: h or o?
o
Suppose -11*q = -31*q. Let p = 47/496 + -1/31. Is p at most as big as q?
False
Let r be (-1)/((-225)/(-1299)) - -3. Let q = 39/25 - r. Let i = q + -8/3. Is i >= 3?
False
Let h be (12/15)/((-5)/425). Let d be 2/(-2 - 128/h). Which is smaller: d or -0.1?
d
Suppose -i + 24 - 8 = 0. Let s be (2 + (-34)/i)*-2. Let l = -32 + 29. Which is bigger: l or s?
s
Let j(t) = 9*t**2 - 3*t - 3. Let g be j(-2). Let h be 0 + (-3 - -1) - (-77)/g. Which is bigger: -1 or h?
h
Suppose 0 = 8*r - 105 - 31. Suppose 4*t - r = 23. Which is bigger: t or 12?
12
Let m = -186 + 185. Let c = 7.7 + -8. Let x = c + 3.3. Which is bigger: m or x?
x
Let v(o) = o**3 - 8*o**2 - o + 10. Suppose -5*d + 50 = -10*d. Let s = d - -18. Let t be v(s). Which is greater: t or 3?
3
Suppose -4 = -b + 5*b, -v = 5*b + 15. Let y be -2 + 5 + v + -1. Is y equal to -1/7?
False
Let l = -2131 + 526356/247. Is l < 0?
True
Let n = -55 + 82. Is n at least 28?
False
Let u = 0.22 + -0.2. Which is smaller: 0 or u?
0
Let h = -2 - -8. Suppose -n = 2 + h. Let z = 5 + n. Is -2 <= z?
False
Suppose 3*t + 17 = 5*n - 12, n = 4*t + 16. Let c be (28/12)/((-12)/18). Which is smaller: t or c?
c
Let r be ((0 + 1)*2)/1. Suppose r*a + 2 = -0. Which is smaller: a or -1/43?
a
Let j = -105 - -114.5. Let u = j - 4.4. Is 0 at most u?
True
Suppose -6*l + 4*l = 0. Suppose 0 = -2*b - 2*b + 4*f - 24, 2*b - 3*f + 14 = l. Let t be (b*1)/2 - -2. Which is smaller: 3/4 or t?
t
Let p = 586 - 459. Which is greater: 2/3 or p?
p
Let k be (0 - 1)/((-9)/(-81)). Let n = 2 + k. Let l be (-15)/25 - 59/10. Which is smaller: l or n?
n
Suppose 4*g - 84 = -3*f, -2*f + 18 = 3*g - 44. Let t be (-12)/16 + 150/8. Is g less than t?
False
Let i be 6/(-8) + (-30)/(-8) + -9. Let b = i - 11. Is b less than -17?
False
Let s be (-6240)/(-91) - (-4)/(-7). Let b = s + -65. Let v be (-1)/(((-3)/2)/3). Is v less than b?
True
Let g = 169 + -187.7. Are 2/5 and g equal?
False
Suppose -b = b - 30. Suppose 4*v - 19 = -l, -l = -4*l - b. Let k be (12/16)/((-9)/v). Is k at most as big as 0?
True
Suppose -2*f = 79 - 75, 2*h + 5*f = -10. Which is smaller: -1/1011 or h?
-1/1011
Let o(g) be the second derivative of -g**7/2520 - g**6/120 + g**5/20 + g**4/2 + 2*g. Let y(b) be the third derivative of o(b). Let q be y(-7). Is 9 > q?
True
Suppose 0 = 4*y + 5 - 17. Suppose y*b + 3*b = -12. Let n be (-8)/(-21)*3/2. Is b > n?
False
Let h = 47.8 + -47.2. Is -18 > h?
False
Let f(o) = -7*o - 197. Let w be f(-28). Is w >= -40/21?
True
Let o = 2244.89 + -2262. Let c = 0.24 + -0.13. Let t = c + o. Is -0.1 at most t?
False
Let a = -6.19 - -0.29. Let b = -0.9 - a. Let j = b - 4. Which is smaller: -3 or j?
-3
Let h be (-1)/(147/30 - 5). Let i be (-1 - (h - 9))*34/(-4). Which is greater: i or 9?
i
Let s = -42 - -41.9. Is 24 <= s?
False
Let b = 177 - 153. Is b less than or equal to -0.1?
False
Let a be 1 + 648/214 - 4. Which is smaller: 0 or a?
0
Let v be (-5)/(135/(-72))*(-6)/28. Is v less than -6?
False
Let j = 1 + 2. Suppose -2*b = -5*f + 14, -2*b + j*b + 2*f = 11. Suppose o = -1 + 7. Is o greater than b?
True
Let k = -102.4 + 112. Let d = -2 - -12. Let h = d - k. Which is smaller: 0.3 or h?
0.3
Suppose -20*d = -13*d - 14. Let j be 4/18 - 17/36. Do d and j have the same value?
False
Let r = -187 - -178.48. Let w = 8.7 + r. Let i = -0.1 + 0.1. Which is bigger: w or i?
w
Suppose -4*z - 86 = -2*c, 4*z + 24 = 3*c - 63. Suppose -2*n - 26 - 22 = 4*v, 3*n - 5*v + 72 = 0. Are n and z equal?
False
Let p be -1 + (8 + -6 - 40). Is p != -39?
False
Let p(w) = -19*w + 187. Let y be p(11). Let k(h) = -h**3 + 6*h**2 - 5*h + 8. Let a be k(6). Is a at most y?
True
Let p = 0.71 - -0.09. Let v = 0.005 + 3.995. Let z = v - 4. Which is greater: z or p?
p
Let t = -66 - -74. Let x = 9 + -3. Does x = t?
False
Suppose -2*p + 10 = 4*i - 10, 0 = -2*p + i - 5. Let w(k) = k**2 + 4*k - 2. Let u be w(-5). Is p bigger than u?
False
Let m = -204 - -204.3. Let t = -463 + 466.89. Let l = t + 0.11. Is l < m?
False
Let b be (-8)/4*(-18)/(-12). Let s be -7 + (-4)/(-4 - b). Is -3 smaller than s?
False
Suppose -690 = 20*p - 25*p. Is 135 != p?
True
Let b = 20958/3439 + -116/19. Let t = -623/7240 - b. Which is smaller: t or 1?
t
Let i = 225 + -230. Are -10/9 and i equal?
False
Let m(g) = -g**3 + g**2 - g. Let c be m(1). Let f be (0 - -1)*(-3)/c. Suppose 37 = 5*d - f*a + 5*a, 0 = -3*d + 5*a + 16. Which is smaller: 6 or d?
6
Let u = -5/1507 + 6959/1189023. Which is smaller: 1 or u?
u
Suppose -4*v + 8 = m - 11, 5*m + 25 = 4*v. Suppose 5*a + 125 = -0*a - d, -3*d + 145 = -v*a. Are a and -27 non-equal?
True
Let n be (-16)/(-12) + (15/3)/(-15). Which is bigger: 12/25 or n?
n
Let h be 1 + -3 - 16/((-1280)/195). Which is smaller: h or 1?
h
Let d be (-145)/25*(4 - (6 + -7)). Which is greater: d or -17?
-17
Let d = -699 - -701. Which is smaller: 13/6 or d?
d
Suppose 0 = 17*d + 433 + 43. Are d and -27 unequal?
True
Let y = -23/21 + 37/21. Let d = -10 - 14. Are d and y equal?
False
Let n = 60 + -539/9. Let i be (0/(-6 - -3))/(-3). Suppose -2*q = -i*q - 4*h - 10, 5*h = -3*q - 7. Is n at least as big as q?
False
Let l = -13.4 - -85.4. Let a = -62 + l. Is a greater than -1/2?
True
Let r be 2/3*(1734/(-4))/17. Is r greater than -23?
True
Suppose -c = 5*m + 311, -7*c + 9*c + 622 = 3*m. Which is smaller: -310 or c?
c
Let j(g) = -3*g**3 + g**2 - 7. Let v be j(3). Which is greater: v or -155/2?
-155/2
Suppose -4*b = 3*f + 1, b + 5*f + 9 + 4 = 0. Let r be 2/b*(-11 + 4). Is -6 greater than or equal to r?
True
Let d = -57 + 57.34. Is 2 at least d?
True
Let t be ((-8)/78)/(-5 + (-3396)/(-684)). Which is greater: 3 or t?
3
Let x(u) = u**3 + 20*u**2 - 16*u + 16. Let k(i) = 2*i**3 + 21*i**2 - 15*i + 17. Let l(r) = -2*k(r) + 3*x(r). Let g be l(17). Which is smaller: 1/7 or g?
g
Let u = -52 + 54. Let k be (-1*(-4)/16*0)/u. Which is smaller: 1/41 or k?
k
Suppose -10*r = -9*r + 22. Let p = 24 + r. Suppose 2*q + 15 = -5*z, 3 = -4*q - p*z - 3. Which is greater: q or -2?
q
Let p be 1 - -1*(-14)/1. Let b be ((-120)/50)/((-4)/(-20)). Is b bigger than p?
True
Let u = 9971/8 + -1289. Which is bigger: -44 or u?
u
Let v = -186 + 105. Let a = v - -37. Is a at most 1?
True
Let u be (-1 + 3)*35/(-133). Are -1 and u equal?
False
Let j = -9448/715 + 66/5. Let t = j - 1138/429. Let u be (-12)/5 + 9/(-15). Are u 