 g = h + -0.15. Let o = -4 + 3. Which is greater: g or o?
g
Let n(g) = g**3 + 2 - 4*g**2 + 2*g - 4*g + 2. Let h be n(4). Let u be 0/(-1) - h/14. Which is smaller: 2 or u?
u
Let j be (-11)/3*-3 + 0. Suppose -y + 3*t - 11 = 0, 4*t = -y - t - j. Which is greater: -12 or y?
y
Let m be (-159)/(-6)*(-2)/21. Let p = -13/7 - m. Let c = -0.1 - -0.1. Is c less than or equal to p?
True
Let b = 10.1 - 7.1. Is b at least 3/8?
True
Let c = 3.5 - 3.4. Is -1/42 < c?
True
Let q = -2.6 - -4.8. Let y = q - 2. Do y and -2 have different values?
True
Let h(j) = -2*j**2 + j + j**2 + 3 - 2 + 3*j**2. Let k be h(-1). Which is smaller: k or -2?
-2
Let z = 17 - 16.9. Which is greater: 7 or z?
7
Let y = -14 - -15. Suppose -d - 3 + 0 = 0, -j + 4*d = -29. Let f = -33/2 + j. Is f greater than y?
False
Let u = 7 + -7. Let c(y) = 2*y**2 + 2*y + 1. Let s be c(-1). Which is greater: u or s?
s
Let m = -149 - -146. Do -1 and m have different values?
True
Let i = 88/357 + 2/51. Is i less than 6?
True
Suppose -a - 4*a = -5. Let l(y) = -y - 7. Let h be l(-9). Is h >= a?
True
Suppose -2*z = -3*m, 0 = m - 0*z - z + 1. Suppose -m*y = -y. Is 5 smaller than y?
False
Let o = 14.2862 + -0.2762. Let v = -14 + o. Let p = 1 + -2. Is v < p?
False
Let z = 11 + -14.5. Let k = z - -3. Are k and 1 equal?
False
Let t be 6/(-9) - 200/(-264). Are t and 0 equal?
False
Suppose -5*n = -2*n. Let g = 7673383/210 + -513375/14. Let b = 389/3 + g. Which is bigger: b or n?
n
Let b(n) = -n**3 - 3*n**2 + 3*n + 1. Let r be b(-4). Suppose r*w + 2 + 3 = 0. Let t = 363 + -6899/19. Is w less than t?
True
Let j = 193.9 - 184. Let n = j + -10. Is n less than 9/5?
True
Suppose 0 = 7*j - 11*j. Is j >= 1/15?
False
Let o = -6/25 + 1/25. Let r(f) = f**2 + 5*f - 5. Let q be r(-6). Is o greater than q?
False
Suppose -g - 20 = -4*b, -5*g = -4*b + 14 + 6. Suppose h + 5 = -b*x, 5*x + 2*h = 3*h - 15. Let d be x/(-8)*8/(-10). Is d >= -1?
True
Let b(l) = -121 - 2*l + 58 + 64. Suppose 2*a - 4*h = -14, 2*a + 0*h = -3*h + 7. Let p be b(a). Is 1 not equal to p?
True
Let g be (1/3)/(1/6). Let m = -9/5 - -88/35. Which is greater: g or m?
g
Let i = -4 - -5. Suppose 5*j - 2*p - 2 = -0*j, -p - i = 5*j. Suppose j = -t + 1. Are -2/23 and t nonequal?
True
Let d = -99/173 - 39121/2076. Let h = d + 77/4. Is 0 smaller than h?
False
Let u be (4/(-6))/((-40)/15). Suppose 0 - 2 = 2*c. Is u less than or equal to c?
False
Let o = 3547/2015 - 56/31. Is 0 smaller than o?
False
Suppose 0 = 5*i + 3 - 8. Let m = 184/4095 + -6/455. Let k = -23/63 + m. Is i bigger than k?
True
Let i = -3/53 + 174/265. Is i >= 1?
False
Suppose 0 = 4*h - 5*h + 1. Let o be 6/(-3) - -2*h. Let w be -9*((-4)/(-6) + o). Does w = -6?
True
Let k = 0.085 - 32.085. Is 1/2 less than k?
False
Let h = -21 + 18. Is h greater than or equal to -1?
False
Let u be 23*((-2)/(-1))/(-8). Let z = -9/2 - u. Let p be -1 + 2 + -2 + 2. Which is greater: p or z?
z
Let f be (-4 - -3)*(1 - 0). Let y be (2/4 - 1)*f. Suppose 3 = 2*i + 5, h = i + 1. Is y at least as big as h?
True
Suppose -5*u = -2*v + 20, -v + 4*u = u - 12. Suppose -4*q + 64 + 104 = 0. Let r = -548/13 + q. Is v < r?
False
Suppose 4*y + 1 = -5*n, 4*n + y = -4 + 12. Let v be 1*n + (-12 - -6). Which is smaller: -2 or v?
v
Let f(g) = g**3 - 4*g**2 - 7*g + 11. Let m be f(5). Is 2/55 greater than or equal to m?
False
Suppose -4*u + 3*j + 10 = 0, 0*u - j = 2*u. Which is greater: -2/7 or u?
u
Let y be -3*(0 - (-3)/(-18)). Let m = -0.37 - -4.77. Let l = -5 + m. Does l = y?
False
Let x = -83 + 251/3. Which is smaller: x or 1?
x
Let y = -4 + 14. Suppose j - y = 2*f + 3*f, 2*j - f = 2. Is j greater than -1?
True
Let k be (-61)/(-9) + (-6)/(-27). Suppose -4*q - 2*m = 6, k = -5*q + 3*m - 5*m. Suppose 0*j + 2*a = j - 8, -5*a - 25 = 0. Is j > q?
False
Let c(k) = -6*k. Let h = 3 + -4. Let q be c(h). Suppose -q = 3*s + 4*j + 10, 0 = -2*j - 8. Is s > 1/2?
False
Let g be (-6)/10 - 28/(-5). Suppose -g*j = -6*j + 8. Let c be 4/6 + j/(-18). Which is smaller: c or 1/2?
c
Let w = -3 - 0. Let n = -3.2 - w. Let x be (1 - 1)/(-2 - -4). Is n equal to x?
False
Let c be (-26)/8*-5*1. Let z = -463/28 + c. Let g = -12 - -12.3. Is g at most z?
False
Let x = 20 + -23. Let l be (-20)/(-12) + 2/x. Are -1 and l non-equal?
True
Let j(o) = 3*o**3 - 6*o - 6. Let a(r) = -4*r**3 + 7*r + 7. Let z = -8 - -13. Let w(d) = z*a(d) + 6*j(d). Let l be w(-1). Which is smaller: 3 or l?
l
Let b = 34 - 96. Is b >= -61?
False
Suppose 3*z + r - 10 = -2*z, 5*z = -2*r + 10. Let h be (-1)/(-1 - z/(-1)). Is 0 bigger than h?
True
Suppose -9 = 4*t - t. Let m be 0/3 - 6/2. Are m and t equal?
True
Suppose 2*n + y - 7 = -0*y, 5*y = -4*n - 1. Let t be (-65)/(-39) + (-4)/n. Let o = -16/11 + 113/55. Which is smaller: o or t?
o
Suppose 5*q + 25 + 60 = 0. Let k = 13 + q. Do k and -3 have the same value?
False
Let c be (20/(-304))/((-2)/48). Let q = -153/133 + c. Which is smaller: 0 or q?
0
Let p = -0.15 - -0.05. Let k = p - -6.1. Is k bigger than 2/7?
True
Let h = -205 - -3073/15. Is h > 4/7?
False
Suppose 5 = -y - 2*y - 2*c, 0 = -y - 5*c - 6. Which is greater: 4 or y?
4
Let z(m) = -m**3 + 6*m**2 - 2. Let h be z(6). Let x be (-2)/(-3) - (-20)/6. Let d be (x/(-66))/(h/6). Is 0 >= d?
False
Let a = -2 + 2. Are a and 3/4 equal?
False
Let j = 4.58 - -0.42. Which is smaller: -7 or j?
-7
Let n = 7 + -6. Suppose 4*k + 2*r + 10 = 0, -k = -0*k + 2*r + n. Let g be (-16)/6 - 2/6. Are g and k equal?
True
Let m be (-6)/(-8) + (-28)/(-48). Which is smaller: 1 or m?
1
Let z be (-14)/22*6/7. Which is greater: 0 or z?
0
Let a = 60 + -66. Which is greater: a or -8?
a
Suppose -2*a + 1 = 5*w, 4*a = -0*a - 8. Let j(q) be the second derivative of q**4/6 + q**3/3 - q**2/2 + q. Let y be j(w). Is y greater than 3?
False
Suppose r = -4*z - 40, 5*r + 47 = -z - 2*z. Let f be ((-30)/z + -3)*2. Which is bigger: 2 or f?
2
Suppose -4*u = 9 + 39. Let a be (-2)/(-6) + u/9. Let r = 0 + a. Which is greater: r or -2?
r
Suppose -8 = -3*b - b. Suppose -16 = m + m - 2*r, 3*m + b*r = -49. Is -11 at least as big as m?
True
Suppose -q + 3*j - 18 = -j, 2*q = -j. Is q > 5?
False
Let m be -4 + 5 + 2*2/(-4). Which is bigger: m or 1/52?
1/52
Let a = 28 - 28.3. Is 0.6 at most a?
False
Let i = -18 + 37/2. Let a(p) = p - 7. Let w be a(3). Let n = 5 + w. Which is smaller: n or i?
i
Let g = -96 - -670/7. Which is smaller: g or 1.2?
g
Suppose p + 4 = -4. Is -8 bigger than p?
False
Let o(b) = b**2 - 2*b - 4. Let u be o(3). Let i = -2 - u. Let k be (-4 + 1)*i/3. Is k <= 2/5?
False
Let r be (-3)/70*-16*(-125)/(-50). Is r greater than or equal to -2/7?
True
Suppose -5*d - 4*b = 33, 4*b - 10 = 2. Which is smaller: d or -10?
-10
Let v = -628 - -32026/51. Let s = -254 + 254. Is s smaller than v?
False
Let i = -623.59 + 621. Let x = -2.7 - i. Let w = x - -0.01. Is w at least -1/9?
True
Let z = -0.3 - -4.3. Is z <= -1/4?
False
Let n(c) be the third derivative of c**6/120 + 7*c**5/60 - c**4/3 + c**3/2 - 3*c**2. Let t be n(-8). Let s be 0 - 1/(2/(-4)). Which is bigger: t or s?
t
Let r be (-2087*(-5 + 4))/14. Let m = -149 + r. Is m greater than -1?
True
Let g be (21/6 + -4 + 3)*2. Which is smaller: g or 7?
g
Let c be ((-1430)/(-40))/(6/(-40)). Let b = c + 241. Which is smaller: b or 0?
0
Let a be (-10)/(-6) + 2/10. Let f = a - 226/105. Suppose 5*z + 4*u + u = 0, 5*u = -5. Which is bigger: z or f?
z
Let c(g) = g**3 - 21*g**2 - 21*g - 22. Let r be c(22). Do -1/31 and r have different values?
True
Let x = 5.83 - 6. Let o = 0.07 + x. Let l be 12/(-15)*(-1)/(-4). Which is bigger: o or l?
o
Let w be 30/(-2) - (-1 - 1). Is -12 at most as big as w?
False
Let h = -0.057 - 0.043. Let f = 12 + -12.7. Is f greater than or equal to h?
False
Let s(u) = -u**2 + 6*u + 2. Let a be s(6). Suppose 0*d + 2 = -a*d. Let y be (1/9)/(d - 0). Is y >= -1?
True
Suppose -6*k = -5*k + 91. Is k > -91?
False
Suppose -4 = 2*w - 4*h, w + 1 = 6*h - 3*h. Let c(v) be the third derivative of -v**5/12 - v**4/24 - v**3/6 - v**2. Let a be c(-1). Is w at least a?
True
Let b be ((-8)/6)/(-1 - -2). Let i = 79 - 79. Is b > i?
False
Let j = 1 + -1. Suppose j*t = -2*t. Suppose w - 10 = 5*u, -w = u + 2 - t. Are -3 and u equal?
False
Let x(c) = c**3 - 5*c**2 + 5*c - 1. Let y be x(4). Let u be y + -1 - (-15)/(-8). Does -1 = u?
False
Let d(u) = -u**3 - 6*u**2 + 6. Let f be d(-6). Let j = 17 - 21. Let s be (-6)/(-4)*j/f