?
False
Let k(d) = -d**3 - 3*d**2 - 4. Let q be k(-3). Let y = 0 - q. Is 3 <= y?
True
Suppose -3*t + 6*t - 5*y + 80 = 0, -5*t = 4*y + 84. Let g be 8/(-20) + 7/t. Is g greater than or equal to 2/5?
False
Let p = 13 - 10. Suppose 0 = 2*i + i - 6. Suppose 0 = q - p*q + i. Is q equal to 2/9?
False
Let v = 28 - 64. Let p be 45/v*1/5. Let t be (2 + -2)*(-1 - 0). Which is greater: p or t?
t
Suppose 3*v + 0*v = 0. Let m be (44/110)/(2/15). Do m and v have the same value?
False
Let f be (-2)/(-12) - (3 + -2). Let z be 0 + 0 - (-1 + 1). Does f = z?
False
Let m = 2.9 - 3.8. Is 2/7 >= m?
True
Suppose -5*j + 3 = -8*j. Which is greater: 2/55 or j?
2/55
Let h be -4*33/(-12)*-3. Which is smaller: -32 or h?
h
Let l(r) = -7*r + r**3 + 1 + 4 + 1 - 5*r**2. Let i be l(6). Which is smaller: 1/14 or i?
i
Let l be (-1*(1 + 1))/7. Suppose -4*y + 4*w = -w + 29, y - 5*w = -26. Let c be (1*(-2 - -2))/y. Is c != l?
True
Let j be 3/((-9)/(-4)*27/(-81)). Let i be 14/(-4) - (0 + 0). Is i > j?
True
Let w = -3 + 3. Suppose w = -2*j + 5*j. Is -1/10 > j?
False
Suppose 2*q - 4*j - 2 = -22, -j = 3*q + 58. Is q > -19?
True
Suppose -12 = -3*r - 0. Suppose 5*f - 40 = -5*l, 2*l - 2*f + 14 = 2*f. Suppose -r = -d - l. Is d > 1?
False
Let w = -0.1 - -0.2. Is 5 at most as big as w?
False
Suppose 5*v - z = -10, z + 4 = -2*v + 3*z. Is -4 bigger than v?
False
Let k = 0.35 + -0.15. Let o(y) = -y**3 + 6*y**2 - 6*y + 2. Let t be o(5). Let x(l) = l + 4. Let g be x(t). Which is bigger: g or k?
g
Let x = 13 + 1. Which is greater: x or 15?
15
Let o = -8.4 + 8.2. Which is greater: 1 or o?
1
Suppose 4*p + 0*a - 41 = -a, -4*a = 3*p - 34. Let v be (-2)/8*40/p. Is v bigger than -7?
True
Let f be (1 + 640/(-645))*-3. Which is smaller: -1/3 or f?
-1/3
Let z(w) = 12*w**2 - 1. Let x be z(1). Let o = -9 + x. Is 2 not equal to o?
False
Suppose 0*f - 2*o + 16 = f, 2*o + 40 = 3*f. Let m = f - 12. Is m less than 1?
False
Suppose -5*o - 10 = -25. Let f be (0/(6 - o))/2. Which is bigger: 0.1 or f?
0.1
Let w = 2.8 + 0.2. Let i = -5 + w. Let u = -572/5 - -114. Is i > u?
False
Let u = 92/3 + -31. Let p = 0.14 + 0.06. Which is smaller: p or u?
u
Let o = -205/3 - -68. Let i = 3 - 4. Which is greater: o or i?
o
Let x = 0 + 2. Let j be -5 + x + (-2)/2. Let s = j + 0. Which is smaller: s or -3?
s
Let a be -1 + 13 + (-2 - -1). Let u = a + -7. Suppose -5*n = j - 4, 1 + 0 = -3*n - u*j. Is 2 > n?
True
Let q = 260/11811 + -2/3937. Let x = -29/93 - q. Is x at least as big as 0.2?
False
Suppose 4*z + 6 + 6 = 0. Let s = 15 + z. Suppose 5*i - 2*i = s. Is i less than or equal to 3?
False
Let d be (-3)/35 - (-3)/(-15). Is 1 bigger than d?
True
Let x be (-5 - -1)/(1/4). Which is smaller: -17 or x?
-17
Let i = 2.75 + 0.25. Which is smaller: -1/6 or i?
-1/6
Let z = -10.1 - -10. Let u = 1.9 - z. Are -1/2 and u unequal?
True
Let b be -2 - (1/9 + -2). Is -1 equal to b?
False
Let k(n) = 2*n**2 - 2*n - 1. Let a be k(2). Let p(o) = -o - 4. Let s be p(-6). Suppose -b - a = -s. Do b and -1 have the same value?
True
Suppose 7*y = -115 - 67. Is -26 less than y?
False
Let b(f) = -2*f - 11. Let w be b(-8). Suppose w*y + 16 = -9. Let m = -1 - y. Is m equal to 4?
True
Let c = 1 + 3. Let z be (c/6)/(4/30). Suppose 2*d = 4*w - d, 0 = -z*d. Which is greater: w or -1?
w
Suppose 4*k - y = y - 56, 5*k + 70 = 4*y. Let a be -2*(0 - 13/(-2)). Are k and a unequal?
True
Let c = -3/187 + 2440/561. Are -0.1 and c non-equal?
True
Let t = 25 - 25. Which is smaller: -2/47 or t?
-2/47
Let h = -0.03 - -0.03. Let x = 0.1 + -1.1. Let i = x + h. Which is bigger: -0.1 or i?
-0.1
Let l(a) = a**2 + 3*a - 34. Let o be l(-8). Is 6 equal to o?
True
Suppose 4*d - 2*d = -o + 2, 4*o - 2*d = 8. Suppose 4*p + o = 6*p. Which is bigger: 2/3 or p?
p
Let u = 0 - -0.1. Let v = u + -0.1. Let x be ((-48)/36)/((-4)/(-6)). Is x less than v?
True
Let n = -14 + 8. Let i(j) = j**2 + 5*j - 7. Let d be i(n). Are d and -1/3 unequal?
True
Suppose 2*u = 6*u - 12. Suppose 5*r - 2*i + u = -4*i, 2*r + i = -1. Let t = -22 - -20. Are r and t equal?
False
Let q = 477585/68 - 7023. Let y = q + -1/17. Let k = 1 + -1. Is k greater than or equal to y?
False
Let c be 0 + (-1)/1 + 2. Let u be 2/(-10) - 5/25. Does c = u?
False
Suppose 2*b - 2 = 2. Let z be (-1)/b + (-25)/(-42). Suppose 6 = -4*q + r, -q = -2*q - 5*r + 9. Is q greater than or equal to z?
False
Suppose 0*x - x = 2*m - 29, 0 = -m + 3*x + 11. Let p = m - 14. Let g be (4/10)/(34/(-10)). Which is smaller: g or p?
g
Let s = -9.16 - -9. Which is smaller: s or -1?
-1
Let b = -3 - -7. Which is smaller: -2/5 or b?
-2/5
Let v(d) = -d - 4. Let b be v(-3). Let p = -5 + 4. Is b equal to p?
True
Let c be ((-8)/24)/((-1)/211). Let d = c - 71. Is d >= 2/11?
False
Let f = -39 - -1052/27. Which is greater: -1 or f?
f
Let q = -3.7 + 7.6. Is -1/4 at least as big as q?
False
Let d(r) = 2*r - 7. Let z be d(5). Let k be (-2 - z*-1)*2. Let f be 4/90*(3 + k). Which is smaller: -1 or f?
-1
Suppose 0*p - 2 = 5*t - p, 4*p = 3*t + 8. Let g = t + 2. Is 8/3 equal to g?
False
Let o = 47 + -46. Is 2/67 at most as big as o?
True
Let o = 11 - 14. Let h = -12/23 + 82/69. Is h smaller than o?
False
Let s = -11126/9 + 1352. Let u = s - 116. Is -1 bigger than u?
False
Let p = 5/24 + 1/8. Is 16 less than p?
False
Let q = 3.97 + -4. Let d = q - -0.23. Let r = -0.2 + d. Do -3/5 and r have different values?
True
Let a(v) = 3 - 3*v**2 - v**3 + 2 - 3 + 5*v. Let d be a(-4). Let m = d - -5. Do 2 and m have different values?
True
Suppose -n = 4*n. Let m be -6 - -2 - 66/(-14). Is n not equal to m?
True
Let f = 0.49 - 0.53. Which is smaller: f or 1?
f
Let p = 11 - 12. Which is greater: p or -2?
p
Let y = 112 - 112.053. Is y < 0?
True
Let p = 2865/7 - 411. Let j = p - -118/77. Is 1 less than or equal to j?
False
Let g be (-77)/(-111) + 6/(-9). Is -1 at least as big as g?
False
Let m = -153 - -449/3. Which is smaller: -4 or m?
-4
Let m = 1123/657 + 5/73. Which is bigger: m or 3?
3
Let g = 2 + 2. Let p = -1 + g. Let q = 436 + -435. Which is smaller: q or p?
q
Let h = 6583/1735 + 2/347. Which is smaller: 4 or h?
h
Let y be -1 + 0 + 0 + 18. Suppose -3 - y = -5*a. Let h be 2*(-3 - 33/(-6)). Which is greater: h or a?
h
Let b = 15 + -9. Let o(h) = 5*h - 2. Let x(p) = p + 1. Let g(j) = o(j) - 4*x(j). Let v be g(b). Is v at most 0?
True
Let w = -0.09 + -0.01. Are w and 12 equal?
False
Let m = 9.8 - 10. Which is smaller: m or 2/9?
m
Let q = 22 + -14. Let x = q + -7. Suppose -c - 5 = -6*c. Is x at most c?
True
Let i = 1 + -1.04. Which is greater: 0 or i?
0
Let q(f) = -8*f + 4. Let b be q(-4). Let o be (-39)/(-26) - 46/b. Is -1 at most o?
True
Suppose 2*r - 4 = 0, -k = -0*k - 4*r + 7. Let w be 0 + 2 - 2 - -2. Is k less than w?
True
Let d be -4*(35/10 + -2). Which is bigger: -8 or d?
d
Let w(u) = -u**2 - 5*u + 4. Let n be w(-6). Let d be 18/(-6)*(1 + -4). Let m = 6 - d. Which is smaller: m or n?
m
Let o(t) = -t**2 + 7*t - 4. Let r be o(6). Suppose -r - 2 = -2*l. Let c(a) = -a**2 - 5*a + 2. Let p be c(-5). Is p smaller than l?
False
Let t = 26 - 33. Does -39/7 = t?
False
Let y(h) = h - 3. Let u be y(9). Let r be ((-2)/(-8))/(2/u). Let s = r + -9/4. Which is greater: -3 or s?
s
Suppose 5*t - a = -2*a + 63, 69 = 5*t + 3*a. Is 9 bigger than t?
False
Let n be (-4)/(-10) - (-16)/10. Let m = n + -5. Let j be -5 - m - -1*3. Is j at least as big as 1?
True
Let k = -17 + -13. Let n be (-2)/(-5) - (-12)/k. Suppose 3*j + 0 - 3 = 4*m, m - 3*j = -3. Are n and m non-equal?
False
Let k = 1/157 - 635/1099. Suppose 6*q - 3*q = -3. Is q bigger than k?
False
Let y(x) = 2*x**3 + x**2 + 0*x**2 + 0*x**2. Let n be y(-1). Let l be (-12)/9*3 + 2. Is l greater than or equal to n?
False
Let m = -14613/28 + 522. Let o = m - 17/28. Let u(p) = -p**2 - 5*p - 3. Let y be u(-2). Which is greater: y or o?
y
Let t = 401/858 - 20/39. Is 1 > t?
True
Let x(c) = c**3 + 6*c**2 - 5*c + 4. Let q be x(-7). Which is bigger: q or -9?
-9
Let w = 14 - 13.6. Is 5 >= w?
True
Suppose -4*p = -2*y + 8, -2*y - 3*y = 3*p - 7. Does -1/16 = p?
False
Let w(v) = 42*v - 2. Let x be w(-1). Is -45 != x?
True
Let s be (-4)/(-10) - (-72)/20. Suppose -3*t = b - s - 7, -4*t = -2*b + 2. Suppose -r + t = 3. Is -2/3 bigger than r?
True
Let l = 11 + -6. Suppose 0*s - 15 = -l*s. Suppose 3 + s = 2*i. Is i equal to 0.1?
False
Let k = 86/69 - -2/23. Let t = 5 - -1. Let p be t/