14. Let a be -2 + j + -3 + -3. Suppose 0 = -2*h + h - a. Is h bigger than -1?
False
Suppose 0 = b - 4, -g + 3*b - 3 - 9 = 0. Is g <= -1/47?
False
Suppose -3*u - 12 = -42. Let w(a) = -3 - a**2 + 8*a + 3*a - 1 - 4. Let o be w(u). Which is smaller: o or 0?
0
Suppose 2*i + 3*i + 3*o + 10 = 0, -2*i + 5 = 3*o. Let p = i + 2. Which is bigger: p or 2?
2
Let u = 0.1 - -0.1. Let w = u + -0.4. Let q be 6/39 - (-1)/(-13)*2. Which is bigger: q or w?
q
Let j be (12/(-5))/(7/250). Let v = 86 + j. Let b = -1/28 + v. Are b and 0 non-equal?
True
Let v(z) = 2*z**3 + 3*z**2 + 3*z + 2. Let y be v(-2). Let q = y + 10. Let g = -12 - -25/2. Which is smaller: g or q?
g
Let v(c) = c**3 - 4*c**2 + 4*c - 2. Let x be v(3). Is x <= -4/9?
False
Let y = -12 + 13. Let x = -0.8 + 0.77. Let a = 0.27 - x. Which is greater: y or a?
y
Let m be 1*1/6 + (-15)/(-18). Let k = 22 + -11. Suppose -5*w + 17 = -2*p, -2*p - 2*p = 5*w - k. Which is smaller: m or w?
m
Let v = -242426551 + 22545450598/93. Let w = -2351 - v. Let y = w - 196/465. Are -1 and y non-equal?
True
Let o be 2 + (-1 - (0 + 1)). Let b = -5 - 0. Let l = b + 4. Which is smaller: l or o?
l
Suppose -4*g + 2 = 4*d + 6, 4*g - 2 = -2*d. Let v = -15/68 - 915/476. Which is bigger: d or v?
v
Let g = -4.96 + 5. Let n = g - 2.04. Which is smaller: 1/4 or n?
n
Let u = 0.045 - 0. Which is bigger: 2/7 or u?
2/7
Suppose 4*t + 59 = -5*l, -2*l - 32 = l - t. Is l equal to -2/3?
False
Let s(u) = -u**3 - 7*u**2 - 5*u + 2. Let c be s(-6). Let x be (-10)/40 + (-2)/c. Is 6/5 smaller than x?
False
Let c be (-312)/(-8)*(-1)/3. Is -14 smaller than c?
True
Suppose -c = 3*c + 24. Is c bigger than -2?
False
Let r be (-6)/10 + 126390/(-725). Let f = 175 + r. Which is smaller: -1 or f?
-1
Suppose -3*f - 123 = o - 37, 240 = -3*o - 3*f. Is o at least as big as -77?
True
Let a be 0/1 - (-3)/(-4). Let z(c) be the first derivative of c**3/3 + 7*c**2/2 - 2*c + 1. Let i be z(-7). Which is smaller: a or i?
i
Let y(a) = -a**3 + 6*a**2 - 3. Let x be y(6). Let u = x + 4. Let g = 413/6 - 69. Are g and u non-equal?
True
Suppose 2*z - 46 = f, -117 = -5*z - 0*f + 3*f. Is z at least as big as 20?
True
Let m(t) = 4 - 3 - t - t**3 + 0*t. Let z be m(0). Suppose -c + 3*r = -2, 2*c - 2*r - 4 = 2*r. Which is bigger: c or z?
c
Let l be ((-2)/(-2))/((-4)/(-240)). Let a be (-1)/7*l/(-20). Is -0.05 >= a?
False
Let g = -3 + 2.5. Let p = -0.15 - 0.05. Let t = g - p. Which is greater: t or 0.1?
0.1
Let k(n) be the first derivative of n**3/3 + 3*n**2 + 4*n - 2. Let i be k(-5). Which is smaller: i or 0?
i
Let u be (1/1 - 2) + 2. Let n be ((-3)/116)/1*4. Let y = -23/58 + n. Is u at least y?
True
Suppose 5*g + 6*p = p - 25, -4*p = g - 4. Let k = 5 + g. Which is greater: k or 0?
0
Let q = -2 + 2. Let n = q - 0. Suppose 2*k - 4 = -n*k. Which is greater: k or 2/3?
k
Let f be ((-9)/21)/(4/(-7)). Let k = -20 - -22. Which is greater: k or f?
k
Let q be 2 + (6732/3369)/(-1). Let n = q + -86479/4492. Let r = -19 - n. Which is smaller: r or -0.1?
-0.1
Let d = -0.04 + -0.76. Let x = 11 + -15. Let y = -3.9 - x. Is y at least d?
True
Let l = 12101 - 121131/10. Let c = 23/2 + l. Which is smaller: 4 or c?
c
Suppose -4*h + 28 = 4*w, 0 = -3*w - 1 + 4. Suppose 0 = -2*p - 0*p - h. Suppose r = 2*s, 2*s = 5*r + 6 + 10. Is p <= s?
True
Let l = -44 + 84. Let o = l + -125/3. Which is greater: -1 or o?
-1
Suppose -m - w = 10, -3*w + 36 = -4*m - 25. Let f = 10 + m. Is -7/2 greater than or equal to f?
False
Let n(f) = 2*f + 2. Let a be n(-1). Suppose 0 = -4*d - 3*v, -4*d + 9*d - 23 = 2*v. Let o be (d/10)/(3/(-6)). Are a and o equal?
False
Let i(v) = 5*v**2 - 2*v - 6. Let j(x) = -4*x**2 + x + 5. Let n(p) = -5*i(p) - 6*j(p). Let l = 10 - 7. Let s be n(l). Is s greater than 4?
False
Suppose t = -5*b + 2, 0 = 4*b - 9*b + t + 8. Let q = -499453/40 + 12489. Let n = -15/8 + q. Which is bigger: n or b?
b
Suppose 3*b = 2*b. Let z = -8 - -11. Let j = 2 - z. Which is smaller: b or j?
j
Let t = 0.011 + -0.011. Is t at least as big as -7?
True
Let h = 3 + -1. Suppose h*b - 4 - 2 = 0, 0 = 3*d - 4*b + 3. Suppose 2*w + 6 = 2*l + 6*w, 3*w = 0. Is l greater than d?
False
Let s = 15.18 - -0.02. Let b = s - 11. Let f = b - 4. Which is bigger: -1/2 or f?
f
Let j = -607/7 - -87. Let y be 2/(2 + 0 + -11). Is y less than or equal to j?
True
Let i be (-11)/9 + 4/18. Let o = 37 - 184/5. Which is greater: o or i?
o
Suppose 4*d = -0*r + r - 20, 2*r + 2*d - 10 = 0. Let o = 264 + -257. Which is greater: r or o?
r
Let k(x) = -3*x - 9. Let s be k(-6). Suppose -16 = -5*u + s. Suppose u = m + 4. Which is bigger: m or 0?
m
Suppose -4*t = x + 3*x + 32, 3*t = 5*x. Let g(f) = -f**3 + 3*f**2 - 2*f + 4. Let z be g(3). Let r = z - 2. Do r and x have different values?
True
Let a be 0 - (4 + -2)/2. Suppose 0 = 6*w - w + 5. Are w and a equal?
True
Let f = -27 - -46. Which is greater: f or 18?
f
Let q = 32 - 27. Which is smaller: q or -1/2?
-1/2
Let o = -1/160 - 79/160. Let w be 0 - (-2 - (1 + -5)). Is o >= w?
True
Let b = -0.4 - 1.6. Is 0.03 equal to b?
False
Let c(n) = -n**2 + 4*n. Let y be c(4). Which is greater: 2/7 or y?
2/7
Let q be -10 - 0/(1 + 2). Let d = 7 + q. Let n be (1 - (d - -3))*0. Is -1/7 equal to n?
False
Let g(j) = -j**3 - 4*j**2 + 6*j + 3. Let x be g(-5). Let v be 3 + x + (2 - -3). Let k(a) = -a**2 + 5*a + 5. Let l be k(v). Which is smaller: l or -2?
-2
Let c(z) = -z**2 - 6*z + 15. Let n be c(-8). Let p be 9/(-198)*6/n. Is -1 smaller than p?
True
Let p be 9/(-7) + 8/28. Is -1/32 bigger than p?
True
Let b = -3 + -5. Let x = -8 - b. Is 0.1 less than or equal to x?
False
Let v be (1 + 1/(-3))*-3. Let a be -3*5/((-15)/v). Which is smaller: a or -3?
-3
Let o be ((-4)/10)/((-24)/(-10)). Let s be -4 - -2 - (-2 + 0). Let f = s - 1. Which is bigger: f or o?
o
Let d = -436 + 4800/11. Is d bigger than 0?
True
Suppose -5*s + 20 = 5*x, -7*s = -x - 3*s - 11. Let q be 12/(-8)*1732/(-30). Let w = 87 - q. Which is bigger: w or x?
x
Suppose -5*s - 4*v + 45 = 0, s + 2*v + 45 = 6*s. Which is smaller: s or 10?
s
Let h(q) = -2*q**2 - 24*q. Let i be h(-12). Is i at most -10/11?
False
Let j be (4 + 0)*5/(-50). Do 0 and j have different values?
True
Let c(b) = b - 9. Let k(j) = 8*j. Let i be k(1). Let x be c(i). Which is greater: x or 1/4?
1/4
Suppose -5*h + 0*h = 4*x - 9, 3*h = 5*x - 2. Let k = 37/3 + -110/9. Is k less than h?
True
Let g(x) = x**3 + 8*x**2 - 1. Let o be g(-8). Let z be -3*(o - 14/(-18)). Let t = 0.07 + 0.03. Are t and z nonequal?
True
Let c = -2 - -2.1. Which is smaller: c or -6?
-6
Let j be 9 - 8/((-12)/(-3)). Do j and 6 have the same value?
False
Let n = 0.5 + 0.1. Let z = n - -0.4. Is z smaller than 1/2?
False
Suppose 2*r - 2 = 3*i, -5*r + 22 + 4 = 3*i. Do i and 1 have different values?
True
Let v(r) = r**3 + 5*r**2 + 4*r + 3. Let a be v(-4). Suppose -2*h + 13 = 3*k, -4*h = 4*k - 21 + 5. Let j = h + 3. Which is bigger: a or j?
a
Let d(x) = -x**3 - 21*x**2 + 17. Let j be d(-21). Is 16 at most j?
True
Let h be (-1)/(-4) - 2/24. Suppose 2*t = 4*g - 4, t + 13 = -g - 2*t. Is h at least as big as g?
True
Suppose -4*i + 3 = -29. Is i > 6?
True
Let o = 0.5 + -0.7. Let t = -2 + 1.9. Do t and o have the same value?
False
Let o be ((-18)/(-5) - 4)/(103/5). Which is smaller: o or 1?
o
Let x(n) = -10*n - 3. Let l be x(-3). Let z be 99/1*9/l. Suppose 4*f + z = 5*d, -3*d - 4 = f - 17. Is f less than or equal to 0?
True
Suppose -f = -6*f. Suppose 4 = 4*s - 20. Let m be (-3)/(-10)*5/s. Is f greater than or equal to m?
False
Let h(u) = -3*u**2 + 2*u**2 - u + 2 - u**3 + 2*u**3. Let w be h(0). Suppose -q = w*q. Are -2/5 and q unequal?
True
Let m = 0.1 + 0. Let r be (-50)/15 - 1/3*-1. Which is bigger: m or r?
m
Let d = -3 - -1. Let z be 3 + -7 + -2 + 3. Let r be z/6*4/d. Is 0 bigger than r?
False
Let n be 8/12 - (-14)/(-3). Suppose 0*m - 3*m - 9 = 0. Is n at most m?
True
Let l = -49 + 56. Which is smaller: -8 or l?
-8
Let t be 9/(-12) + (-65)/60. Is t smaller than -3?
False
Let r be (-3 + 4)/(5/2). Is 0.2 greater than or equal to r?
False
Let r = 106/11 - 7080/737. Which is smaller: r or 0?
0
Let t(r) = -r**2 + 5*r + 4. Let d be t(6). Let q be (d/(-14))/((-5)/(-20)). Which is greater: 2 or q?
2
Let w = 111 - 94. Is 17 less than w?
False
Let t be (-374)/(-99) + 4*-1. Is 0 less than or equal to t?
False
Let d = 27 - 26. Is d >= 0?
True
Let d = -31 - -59. Le