ame value?
False
Let s = 1 - 5. Let t be (-2 - s/1) + -2. Let z = -0.44 - -0.04. Is t not equal to z?
True
Let r = 2 - 13. Let y = -8 - r. Let i = -3.1 + y. Which is greater: -0.3 or i?
i
Let i = -1 - 1. Let k = 10 + -14. Is k <= i?
True
Let l be (-2)/(-8) - (-134)/8. Suppose 3*u = 2*m - 5, -3*m + u - l = -5*m. Which is greater: 8 or m?
8
Suppose 3*l - 2*b = 10, 2*l - 2*b - b = 15. Let f = -16 - -37. Suppose 4*h + f = -a, l*a = -4*a - 2*h - 14. Which is smaller: -2 or a?
-2
Let m(y) = -y**3 - 6*y**2 - 6*y - 3. Let d be m(-5). Let a = 4 - 2. Is d bigger than a?
False
Suppose -2*l - 1152 = 2*l. Let u = l - -3746/13. Let p(b) = -b**2 - 2*b - 1. Let g be p(-2). Is u > g?
True
Suppose 0 = 2*q - 2 - 6. Suppose 5 = 5*u - 5*a, -7 = -u - 0*u + q*a. Let z = u - 0. Which is bigger: 0 or z?
0
Let z(a) = a**2 - 10*a + 10. Let p be z(9). Suppose n + 1 = -1. Let l = n + p. Which is smaller: 1/10 or l?
l
Let x be (4 - 2 - -13) + -3. Does 11 = x?
False
Suppose -4*m + l + 4 - 13 = 0, 0 = -m - 5*l + 24. Let j be ((-48)/36)/(20/(-6)). Is j > m?
True
Suppose -4*s - 16 = 0, 78 = -3*c - s + 4*s. Let r be 14/c - 10/(-15). Is 1 >= r?
True
Let q be 2 - (6/2 + -2). Let t be q*(1 + (-4)/2). Which is bigger: -4/9 or t?
-4/9
Let p be -2*2/((32/(-180))/2). Is p not equal to 45?
False
Suppose 22*d - 7 = 21*d. Let p be 2/d + (-36)/28. Is -5/4 greater than p?
False
Let o = -14 + 9. Is -16/3 at least as big as o?
False
Let d be (7 + 0)*(6 + -4). Let t = -57/4 + d. Suppose -27 = -2*j + n - 6*n, -n = j - 6. Is t smaller than j?
True
Let u = 1/23 + -59/299. Suppose 7 = 3*f + 4*d + 2, -5*f + 12 = 3*d. Let n be (4/12)/((-1)/f). Is n at least as big as u?
False
Let h(b) = -10*b**3 - b. Let n be h(-1). Let y = -10 + n. Let a = 1366/11 - 124. Is y less than a?
False
Let p be 38/57*6/10. Suppose -2*f - 2 + 0 = 0. Is p at least as big as f?
True
Let p = 6 - 15. Which is smaller: p or -11?
-11
Suppose 28 = -5*v - 0*k - k, v + 3*k = 0. Is -6 less than v?
False
Let q = 62 - 58. Is -4 greater than or equal to q?
False
Suppose -3*m = -3*j - 3, 5*j + 5 = 3*m - 0. Are 0 and m nonequal?
False
Suppose 3*b - 1 = 4*a + 2, 2 = 2*b. Suppose -c + a*c + 2 = -w, -3*c = -4*w - 8. Suppose 2 + 8 = -5*j. Do j and w have different values?
False
Let h = -3 - -5. Suppose h*l - 4*r + 0 = -10, 0 = -4*r + 8. Is -1 < l?
False
Suppose 0 = -2*w + 14*w + 156. Which is greater: w or -15?
w
Let x be (0 + 1)/(447/(-3)). Is -1 > x?
False
Let f = 0.67 + -1.1. Let p = f + 0.03. Let u = 0.3 + p. Is 4 less than u?
False
Let n(g) = -g**2 + 8*g - 3. Let z be n(6). Suppose 1 = -2*y - z. Is -5 <= y?
True
Let n be -8*(-2)/(-4) + -6. Let s = 4 + -15. Is n < s?
False
Let x(d) = 19*d. Let z be x(6). Let s be z/276 - (-2)/(-4). Is s greater than 0?
False
Let j(z) = z**2 + 4*z - 6. Let t(q) = q**2 + 15*q + 9. Let y be t(-14). Let a be j(y). Is 3/14 less than or equal to a?
False
Let g be 6/21 - (-182)/49. Let m be ((-4)/(-10))/((-2)/(-20)). Suppose -3*r - 4 = r + m*d, -g*d - 4 = -5*r. Is r greater than or equal to -2/7?
True
Suppose 4*n = -5 - 15. Which is smaller: -3 or n?
n
Suppose 4*q + q = -50. Let w(g) = -3*g - 5 - 6 + 2*g. Let z be w(q). Is z not equal to -1?
False
Suppose i + 0 - 3 = 0. Suppose 2*f + 1 = i*f, 3*f = 4*c - 21. Which is smaller: 4 or c?
4
Suppose -11 = -2*f - 1. Let p be f/2 - 5/(-10). Suppose p*k + 14 = 5*k. Do k and 8 have the same value?
False
Let d = -10 - -14. Let z(g) = 3*g + 7. Let n be z(d). Which is bigger: n or 18?
n
Let z = 319 + 466. Let q = z + -11783/15. Let f = q - 2/15. Which is greater: -1 or f?
f
Suppose -25 = -5*k + 3*x, 5 = k + x - 8. Which is greater: 1 or k?
k
Let f be 298/25 + 1 + -2. Let x = -63/25 + f. Let n = 121/15 - x. Are 0 and n nonequal?
True
Let a(o) = o**3 + 18*o**2 + 18*o - 2. Let n be a(-17). Is n less than or equal to -19?
True
Let d be (-1)/(-3) + 92*(-2)/12. Are d and -14 equal?
False
Let m(a) = 4*a**3 + 1. Let d be m(-1). Let h = d - -5. Suppose -9 = h*s + s. Is s smaller than -5?
False
Let f be (2/6)/(6/36). Suppose 2*x = 3 + 3. Which is greater: f or x?
x
Suppose -16 = -2*j - 3*i, -2*i + 6 = -j - 0*i. Suppose -q - j = -3*r + 5*r, r = q - 10. Which is bigger: 4 or q?
q
Suppose -2*z - 2 = -6. Suppose -1 = 4*k + z*a - a, 4*k - 3*a + 13 = 0. Which is greater: k or -2?
k
Let d = 1/95 + -39/95. Let f = -0.02 + 0.08. Is d at most f?
True
Let z = -163 - -1795/11. Is -1/4 at least z?
False
Let c = -12.8 + 15. Let t = c - 2.1. Let l be 8/(-10) - 2/(-2). Is t < l?
True
Let s = 1.05 + -0.71. Which is smaller: s or -0.2?
-0.2
Suppose -3*i = -0*i - 3. Is -2/11 bigger than i?
False
Let y(b) = b**3 + 10*b**2 - 8*b - 3. Let w be y(-11). Let h = 109/3 + w. Let l be ((-4)/(-6))/((-4)/(-6)). Which is smaller: h or l?
h
Let g = -3 + 1. Let d(w) = w**2 + w + 2. Let y be d(g). Let c = y - 2. Are c and 1/2 non-equal?
True
Let l = -1 - -2. Suppose -3*f + l = 10. Let q = f + 3. Which is bigger: q or -1?
q
Let i be -5*(-4)/(-804)*2/5. Which is smaller: i or 0?
i
Let o = 77 + -76.3. Which is bigger: 3 or o?
3
Let g = -20.9 - -21. Which is smaller: g or 7?
g
Let v be (-2 - -2)*2/(-4). Let t(m) = m**2 - 13*m - 47. Let o be t(16). Are v and o equal?
False
Suppose -5*o = -0*o. Let g = 1/210 + 199/2310. Is g != o?
True
Let i(v) be the first derivative of -v**4/4 + 3*v**3 - 7*v**2/2 - 2*v - 1. Let t be i(8). Suppose 3*w = 0, -5*d + 4*w + 20 = t*w. Are 3 and d nonequal?
True
Let o(l) = -l**2 + 12*l + 30. Let s be o(-5). Which is smaller: -57 or s?
-57
Suppose 5*k - 6 = 4. Let q(a) = a - 2. Let t be q(k). Let u be -1*(0 + (1 - t)). Which is smaller: 3 or u?
u
Let k(m) = m**3 + 26*m**2 - 5*m - 84. Let y be k(-26). Which is smaller: 44 or y?
44
Let a(f) = -2*f - 5. Let o be a(-4). Let w = 1.02 + -0.02. Which is smaller: w or o?
w
Suppose -20 = -4*p - 0*p. Let z be -1 + 1/(4/20). Is p < z?
False
Let a = -0.33 - -0.43. Which is greater: a or -5?
a
Let i be -5 + (-2)/((-2)/(-3)). Let g be 10/20*i/(-14). Which is greater: -1 or g?
g
Let x be (5 + -4)/(1/(-15)). Let s = x - -14. Is 2/23 at least as big as s?
True
Let c be (-40)/(-423) + 4/(-18). Let r = c - -324/329. Let i = r - 31/28. Is i at least as big as -2/3?
True
Let f(y) = -y**2 + 4*y - 2. Let m be f(5). Suppose -2*x + o = -0*o + 12, 0 = -4*o - 8. Is x less than m?
False
Let w = 16 + -8. Suppose -3*r + w*r = 0. Which is smaller: r or 3?
r
Let t be (-5)/((-5)/(-3))*-1. Suppose -5*a + j - 17 = 0, -t*a + j - 14 + 5 = 0. Is -3 at most as big as a?
False
Let l = -0.1 + 0.1. Let p = -3.3 - -3.5. Which is smaller: p or l?
l
Let t(f) = f**2 - f + 1. Let c be t(2). Suppose -2*m - p = -4*m + 13, 0 = c*m - 4*p - 22. Suppose -a + 4*a + m = 0. Is a equal to 1/3?
False
Suppose -2*v - 14 = -4*y + 2, -2*y + 8 = -5*v. Is v smaller than 1/4?
True
Let n be 2/(-7) - 240/(-56). Suppose -x = 3*k + n*x + 8, 4*x + 6 = -2*k. Let m = -3 - -5. Which is bigger: m or k?
m
Let y be -3 + (-6 - -2) + 6. Is y bigger than 3/16?
False
Let x be 37/5 - (-6)/10. Let d = x - -4. Let y be (6/d)/((-1)/(-2)). Which is smaller: 1/2 or y?
1/2
Suppose -1 = -4*m - 3*t - 2*t, 3*m + t + 2 = 0. Which is smaller: m or 1/5?
m
Let a = -3 + 5. Let b = -4.3 + 8.3. Which is greater: a or b?
b
Suppose 5*o + 52 = 9*o. Which is smaller: o or -2/5?
-2/5
Let z = -11 + 22. Is z at least -1/4?
True
Let u = 147 - 2501/17. Is -1 less than u?
True
Let h = -9 - -4. Let f(x) = x**2 + 8*x + 7. Let d be f(-7). Suppose -l = 1 - d. Is l < h?
False
Let s = 0.0119 - 2.8819. Let i = -0.13 + s. Is -1 less than i?
False
Let f = -28 + 31. Which is bigger: f or 22/7?
22/7
Let u = -55 + 276/5. Which is smaller: u or -8?
-8
Let v be 24/(-9) - (-3)/(-9). Which is greater: -5 or v?
v
Let h = 6.09 - 0.09. Let u = 1.2 + 7.8. Let l = h - u. Do 2 and l have the same value?
False
Let z be ((-6)/8)/(36/(-8)). Let q(l) = -4*l + 12. Let y be q(3). Which is smaller: z or y?
y
Suppose 3*p + 4*x - 33 = 0, -5*p + 31 + 13 = 3*x. Let f = p + -15. Which is bigger: -9 or f?
f
Suppose 24 = 3*a - 12. Let s be (-2)/a - 177/18. Which is smaller: -11 or s?
-11
Suppose 6*j = 2*j + 64. Suppose -4*f = 2*i + j, -4*f = -i - 3*f - 5. Let b be 1 - i/(-21) - 1. Is b at most as big as 0.1?
True
Suppose 0 = -5*g - 3*o + 7, 3*g + 4 = o - 3. Let y be 4/((1 - 0)/g). Let c = y + 4. Which is greater: 4/7 or c?
4/7
Let v(p) = -56*p**2 + 2*p - 2. Let k be v(1). Which is 