-14. Let h be (-525)/f - 0 - (-2)/7. Is 29/3 greater than or equal to h?
False
Let k be (-8)/(-16) - 3/14. Let i = 0.94 - 0.8. Let h = i + -0.19. Are k and h non-equal?
True
Let l = 1/5717 - -120035/125774. Which is bigger: 1 or l?
1
Let w = 27144/7 - 3884. Do w and -6 have the same value?
False
Let o = -153 + 153. Which is smaller: o or -2/9?
-2/9
Let h be (-1616)/(-360) - (-28)/(-126). Does h = 3?
False
Let k be 10/(-2 + 1) - -3. Let y(w) = w + 1 - 7*w**2 + w**3 - 2 - 5 + 5*w. Let q be y(6). Is q < k?
False
Suppose 2*b - 1 = -0*b + z, -b + 1 = -z. Is 11/12 greater than b?
True
Let i = 13/32 - -1649/352. Which is smaller: i or 4?
4
Let w = 1857 + -1850. Which is smaller: 1/17 or w?
1/17
Let f = -11993/5 + 2399. Which is smaller: f or 1/436?
1/436
Let g be (-34965)/245 + (-4)/14. Is g smaller than -142?
True
Let w = 5.85 - 6. Let t = 6.5 - 8.35. Let k = t + w. Is k less than or equal to 0.4?
True
Let o = -91 + 3547/39. Let h(f) = -f**2 + 8*f - 7. Let i be h(7). Which is greater: i or o?
i
Let q = 214 - 214.93. Is 0 at least q?
True
Let w be (-2 + 2 - 0)/(-1). Let u(k) = k**3 - 10*k**2 - 13*k + 19. Let f be u(11). Which is smaller: w or f?
f
Let p(m) = m**2 + m - 1. Let a(l) = l**3 - 2*l**2 + 9*l - 2. Let y(i) = a(i) - 4*p(i). Let t be y(5). Is 6/11 < t?
True
Let m(r) = -3*r - 6. Suppose -5*p + 11 = 21. Let l be m(p). Which is smaller: l or 1?
l
Let a(q) = -q - 11. Let y be a(-2). Let j = 48 - 57. Is j equal to y?
True
Let o be (2 + 2)/(8/4). Let w(h) = 2*h**2 - h - 4. Let x be w(o). Is -1 > x?
False
Let h be (-6)/(-64)*(93/27 - 3). Let s = 0.979 + 0.021. Which is smaller: h or s?
h
Let o be (0 - 0) + -4 + (5 - -1). Suppose -d + p - 13 = 9, o*p + 34 = -d. Are d and -22 unequal?
True
Suppose -16 = 3*x + 4*i + 26, 0 = -i - 3. Suppose -2461*r = -2451*r + 130. Which is bigger: x or r?
x
Suppose -y - 270 = 5*w, -5*w + 3*y - 2*y = 280. Let s = 64 - 118. Is s > w?
True
Let k = 2.2 + -1.1. Let s = k - 0.9. Let n = -1 + -4. Is n smaller than s?
True
Let s = -2 + 88. Let l = -86.4 + s. Which is smaller: l or 2/11?
l
Let w = -10 - -16. Let r(o) = -o**2 - 13*o - 7. Let u be r(-11). Suppose 3*m - u = -2*m, -4*a = 4*m - 16. Which is greater: a or w?
w
Let g = 10.63 + -10.83. Does -594 = g?
False
Let z = -165 - -197. Which is smaller: z or -2?
-2
Let f(x) = x + 10. Let t be f(0). Let k be ((-6)/255)/((-14)/t). Is k smaller than 0?
False
Let y(d) = d**3 + 19*d**2 + d + 25. Let k be y(-19). Let c be (k/(-10))/((-19)/38). Which is smaller: -4 or c?
-4
Let r = -9 - -3. Let o = 34 + -40. Let t = r - o. Is t at least as big as -0.23?
True
Suppose -2*k = 2*d + 8, 4 = -d - k - 2*k. Let t be 1 + d + 374/3. Let z = t + -120. Which is greater: z or 2?
2
Suppose -16 = -4*j, 4*s - 796 = -0*s - 4*j. Let z be ((-10)/s)/(-2)*6. Suppose 0 = 3*u - 8*u + 5. Is z >= u?
False
Let s = 0.026 + 22.974. Let n = -21 + s. Let p = -0.2 + -0.2. Is p < n?
True
Suppose -3*h - 10*h - 13 = 0. Is h at least as big as 3/923?
False
Let r = 4/1693 - -2950/184537. Which is smaller: r or -1?
-1
Let j be (2/(-6))/(8987/(-66)). Which is smaller: 1 or j?
j
Suppose 126 = -6*m + 228. Which is greater: 23 or m?
23
Let q = 15333/2 + -7717. Suppose 0 = -9*p + 4*p - 255. Is q != p?
True
Let p = 3 + 4. Suppose -p - 41 = -4*k. Let s = k - 6. Does s = 5?
False
Let q be 6*(65/10 - 0). Let c = q - 33. Do 23/4 and c have the same value?
False
Suppose 2 + 0 = a. Let x = a - 0. Let u = -234/5 + 2111/45. Is x <= u?
False
Let b be -1 + 5 + (10 - 5202/372). Is -1 <= b?
True
Suppose -89 - 147 = 4*d. Let k = 33 + d. Let x = -23 - k. Is 2 smaller than x?
True
Let s(r) = -r - 7. Let k be s(-12). Suppose x = -3*x + 8, -4*x = -k*p - 8. Let v be p - (-1)/8*-9. Which is greater: -1 or v?
-1
Let q = 825 + -252. Is q <= 572?
False
Let t = 1/39 - -2/39. Is -4 greater than or equal to t?
False
Suppose -47*m + 36*m = 825. Which is smaller: m or -73?
m
Let q = -21 + 31. Suppose -9*n + q*n + 3 = 0. Is n at least as big as -2/7?
False
Let b be 0 - 0*(1 - 0). Let c(d) = -d**2 + 11*d + 18. Let w be c(13). Let q be w/60 - (-2 - 357/(-360)). Is b less than q?
True
Let m = 51 + -67. Let o = -36 + 35. Is o != m?
True
Let j(c) = c**2 - c + 1. Let y be j(-7). Suppose y - 147 = -5*z. Let m be (-50)/z + (-6)/(-2). Which is smaller: m or 2/3?
m
Suppose -2*g = -b + 4, 0 = 5*g + 20*b - 19*b + 10. Let p = 7 + -2. Suppose x - 4*s = -3*x - 8, 3*x - p*s = -10. Do g and x have different values?
True
Let w be (-3)/3 - (4 + -4). Let x be w/(-6) + (-23)/(-6). Suppose 15 = 3*n - 3*i, -x*n - 1 = -i - 9. Which is bigger: 0 or n?
n
Let f be (12 - 13)/((-4)/6). Let y(a) = 3*a + 5. Let g be y(-2). Let d be g + 1 + (-3)/(-3). Which is bigger: f or d?
f
Let n be (2*3)/3 + (-113152)/56608. Which is smaller: -1 or n?
-1
Suppose 49*k - 10 = 39*k. Which is greater: k or -2/647?
k
Let g = -4.96 - -5. Let s = -3.04 + g. Let i = -2.9 - s. Which is bigger: -2/29 or i?
i
Let m = -3737/11 + 340. Let b = 177/44 - m. Suppose -d = 3*u - 4, 2*d + 3*u - 8 = -2*u. Is d less than or equal to b?
False
Let j be 4466/220 - (-4)/(-5). Which is bigger: 19 or j?
j
Let g = 431 + -434. Which is bigger: -23/6 or g?
g
Suppose -2*x - 82 = 2*f + 34, -3*f = 3. Let c = x - -57. Which is smaller: c or 1/4?
c
Let v(u) = 2*u**2 - 11*u + 76. Let h be v(0). Does 74 = h?
False
Let k = 12 - 7.3. Let t = -2.7 + k. Is t > 8?
False
Let a be 3/6*(-116)/(-10). Let f = -121/20 + a. Let w = 265/2 + -773/6. Which is greater: w or f?
w
Let x(b) = -6*b**2 + 18*b - 36. Let g be x(18). Which is bigger: -1655 or g?
-1655
Let r be 3496/(-760) - (-6 - 1/(-1)). Which is bigger: r or 2/53?
r
Let l = 90 - 79. Is 0.6 > l?
False
Let t(c) = 2*c - 22. Let m = 41 - 28. Let b be t(m). Let v = 453/7 + -2139/35. Does b = v?
False
Suppose -5*m = 3*v - 16, -4*m = -2*m - 4. Let x = 320 - 956/3. Which is smaller: x or v?
x
Let b = -6 - -20. Let o(p) = p + 18. Let m be o(b). Let n be (-14)/m + 17/68. Do 0 and n have different values?
True
Let s = -32 + 93. Let i = s - 62. Which is bigger: 7 or i?
7
Let p(t) = 4*t - 10. Let w be p(15). Suppose 0 = -5*z - 0*z - w. Which is smaller: 0 or z?
z
Let v = -131.01 + 131. Let n = -180.01 + 165. Let q = v - n. Which is smaller: q or -1?
-1
Let c = 16.49 - 137.49. Are -1/2 and c unequal?
True
Let w = 737 + -885.9. Let y = -132 - w. Let s = -17 + y. Which is smaller: -3 or s?
-3
Suppose 4*z + 14 - 30 = 0. Let i(p) be the third derivative of -p**5/60 - 7*p**4/24 + 5*p**3/6 + 4*p**2. Let c be i(-7). Is z <= c?
True
Let d = 2.127 - 0.027. Let c = -11 + d. Let o = c - -9. Which is bigger: o or 4?
4
Let v = 265 - 266. Are 2/5 and v non-equal?
True
Suppose -3*l = 2*g - 17, 0*l + 9 = -l + 3*g. Let z be (4/6)/((-1)/l). Suppose -12*d - 28 = -16. Which is smaller: d or z?
z
Let a = 1.96 - 9.86. Let n = -8 - a. Which is smaller: 0.07 or n?
n
Let v = -7143 - -21895/3. Which is smaller: 156 or v?
v
Let c(m) be the first derivative of -m**4/4 - 4*m**3/3 - m**2/2 + 6*m - 3. Let z be c(-3). Which is greater: 2/115 or z?
2/115
Let c(y) = 4 + 4 + 5*y - 6*y + 0. Let h be c(4). Let i = 6 - h. Are 2 and i nonequal?
False
Suppose -3*x + 32 = l, -3*l - 4*x - 47 + 133 = 0. Is l at most -6?
False
Let h = 9 + -8.4. Let v = 3.4 + h. Which is greater: 3 or v?
v
Let k = 78 - 47. Let c = -21 + k. Is 2/3 >= c?
False
Let q = -110 + 162. Let x be 10/(-20)*2/q. Which is greater: 0 or x?
0
Let i = 1169 + -1171. Is i bigger than -210?
True
Suppose -o - 1 = n, o - 5 = 3*o + 5*n. Suppose -3*q + 13 = -2*d, 5*q = -3*d - 0*d + 28. Suppose 3*z + 6 = q*j, 2*z + 4 = -4*j - 0. Is j at most o?
True
Let a = -40 - -42. Suppose -4*v - 4*r + 19 = 3, 4*v - 4 = a*r. Is v smaller than 8/7?
False
Let p be 1/((-2)/(-5)) + (-16344)/(-144). Which is smaller: p or 117?
p
Let k be 0/(2 + -1 + 1). Let w = 1.2 + -0.95. Let j = w + 7.75. Do j and k have the same value?
False
Let u(h) = -4*h**2 - 27*h - 82. Let x be u(-7). Is x less than -88?
True
Let l be (-2869)/5 + -1 - 3. Let r = l - -582. Is r at least as big as 3?
True
Let p be 12/(-30) + 7/5. Let q(f) = -11*f**3 - f**2 + 2*f - 1. Let m be q(p). Let k(s) = -s - 10. Let j be k(0). Which is smaller: m or j?
m
Let m be 459/456 + (2 - 3). Let t = 55/304 + m. Let u = -61 + 62. Which is bigger: u or t?
u
Let h = -1977 + 1311. Is h at most -666?
True
Let h(v) = v**3 + v**2 - v + 18. Let z be h(0). L