h is bigger: o or -2/5?
o
Let s be (16/108)/((-4)/6). Let r be 8/(-6) - 2/(-6). Which is smaller: s or r?
r
Let s = -0.11 + 1.71. Let r = 0.4 + s. Let w = 0.018 + 0.982. Is r less than w?
False
Suppose 2*s - 8 = 0, -w + 11 = -3*s + 6*s. Suppose 5*f = -5*o + 4*f + 74, -4*o - 4*f = -72. Let d = 10 - o. Is d greater than w?
False
Let w = 0.35 + -0.05. Let s = 0.01 - -1.99. Let f = 2 - s. Is w > f?
True
Let r = 41 + -40.9. Do r and 0.09 have different values?
True
Let g be 5/((-5)/(-2)) + -2. Let i = -3 - -5. Let j(a) = -a**2 + 4*a - 3. Let f be j(i). Which is smaller: f or g?
g
Let x be (-8)/(0 - 4) - -5. Is x >= 14?
False
Let m = -6.1 - -8.1. Is m at most as big as 17?
True
Let a(w) = 3*w + 9. Let g(i) = 4*i + 8. Let j(z) = 5*a(z) - 4*g(z). Let y be j(12). Which is bigger: y or -3/10?
y
Let o = 73 - 62. Is o >= 11?
True
Let p be (-9)/6 + (-7)/14. Which is smaller: -8 or p?
-8
Let a = 14.13 + -0.13. Let c = a + -15. Is 0 less than c?
False
Let k(t) be the first derivative of -t**4/4 + 2*t**3 + 2*t**2 + 10*t + 4. Let s be k(7). Is -9 greater than or equal to s?
True
Let f be (-143)/(-121) + 4/(-22). Is f at least as big as -1/14?
True
Let k = -3.8 + 4. Let c = 0.1 + 0.1. Let h = k - c. Which is smaller: 0.3 or h?
h
Let g be 2*15/35 - 2. Which is bigger: g or -2?
g
Suppose -3*j = -q - 3 + 48, 3*q + 89 = -5*j. Let g = j + -5. Let d be (-9)/g - (-1 - -1). Which is smaller: 1 or d?
d
Let g(k) = 2*k**3 + k**2 + 6*k**3 - 1 - 6*k**3. Let o be g(1). Is 5/2 equal to o?
False
Let p be (-3)/(-2)*8/6. Suppose -4*f - p*f = 12. Is f greater than 0?
False
Suppose -5*a + 3*z + 9 = 6*z, 2*a + 3*z - 9 = 0. Let p be (a + 0)*(-2)/(-4). Let h be (-22)/26 - 4/(-4). Which is bigger: p or h?
h
Let g be -1 - (4 + (2 - 4)). Suppose 3*l = 4*f - 5, -2*l - 2*l - 2 = -3*f. Let c be l/(-2) + (-91)/26. Is c greater than g?
False
Let a = 0 + 5. Suppose 2*z + a = 3. Which is greater: z or 1/13?
1/13
Let g be (2/(-12))/((-10)/(-8)). Let m = 11/30 - g. Let l = -1/121 + -237/605. Which is smaller: m or l?
l
Let r be 2*14/(-16) + 2. Let b = 3.07 - 3. Let a = -2.93 - b. Do a and r have different values?
True
Let y = 0.8 + 0.2. Let x = 0.39 - 1.35. Let v = y + x. Which is bigger: v or 2/3?
2/3
Let m be ((-9)/(-8))/(((-84)/(-16))/7). Let a = 4 + -3. Which is smaller: m or a?
a
Let v = 13 + -25. Is v < -13?
False
Suppose 0*g - 58 = -2*g + 2*t, -5*g = 2*t - 110. Let f be g/(-18)*(-3)/(-2). Which is bigger: -1 or f?
-1
Suppose -30 = -4*a - a. Suppose y - 3 = 2*v - 0, -5*v - a = -3*y. Suppose b + 7 = -x + 3*b, -11 = 5*x + 2*b. Is v less than or equal to x?
True
Suppose -2*k - j - j - 66 = 0, 0 = -5*k + 2*j - 186. Let l = 26 + k. Is l at least -2/3?
False
Let t be ((-15)/(-4))/(12/8). Suppose 5 = 5*z - 5. Which is greater: t or z?
t
Suppose 7*j - 2 = 12. Which is smaller: j or -1?
-1
Let l(p) = 14*p**3 + p**2 - 2*p + 1. Let b be l(2). Let u be b/35 - (-12)/(-28). Which is smaller: u or 3?
u
Let v = -24.9 - -25. Is 8 not equal to v?
True
Let y be 12 - -2*3/(-2). Let l be (-1 + y)/(-2) + 5. Which is smaller: l or 0?
0
Let g = -6.047 - -0.047. Is g < 1?
True
Let f(g) = -g**2 - 5*g - 4. Let n be f(-3). Let i = n - 1. Is i at least as big as 0?
True
Let c = 776/35 + -158/7. Which is smaller: 97 or c?
c
Let k(g) = g**2 - 5. Let u be k(4). Suppose l - u = -5*n, 0 = l - 0*l - 3*n - 3. Is 5 less than l?
True
Suppose -12 = -0*r - 4*r - 4*b, -b = 3*r - 9. Suppose -q + r = -2*q. Let s be (q/4)/((-1)/4). Is 2 at least as big as s?
False
Let f be ((-11)/2)/((-2)/4). Suppose f*j + 12 = 7*j. Which is smaller: j or -4?
-4
Let s = -6 + 12. Is 7 at least as big as s?
True
Let r = -128 + 126.9. Is -0.7 at most r?
False
Let y be -1 - (2 - (11 + 1)). Let j be y/12 + (-11)/20. Is j not equal to 0?
True
Let y be 12/20 + 122/5. Let k = y - 22. Are k and 1 nonequal?
True
Suppose -z + 3*s = -3*z + 16, 3*z + s = 10. Let n = -3 + 3. Suppose a - 3*a - z = n. Is a < -1/14?
True
Let x be (-4)/6*(-1)/3. Let g = 187 + -187.01. Which is greater: g or x?
x
Let j(z) = -3*z**2 - 3*z. Let t be j(-2). Let v = t - -7. Suppose -2*x - 3*y - v = 0, 3*y = -2*x - x. Is 5/4 at most x?
False
Suppose 3*p - 11 = 4*h, -3*p = -0*p + 3*h + 3. Let q be (1 - (2 + -1))/p. Which is smaller: q or -2?
-2
Let v be (-33)/5 + (-24)/(-40). Suppose -3*z + z = -5*h + 30, -2*z + h = 14. Are z and v non-equal?
True
Let r be (0 - -2)*5/2. Suppose -2*b - 3 = r. Let z be b/(-18) - 22/18. Which is smaller: -1/2 or z?
z
Let g = 8 - 3. Let i = g - 6. Suppose 8 = 2*k - 6*k. Which is greater: k or i?
i
Let n be 4/6 + 6/(-9). Which is smaller: 1/14 or n?
n
Let a = -0.23 + 0.03. Let t(b) = 3*b**2 - 3*b + 3. Let u(i) = i**2 - i + 1. Let y(m) = t(m) - 2*u(m). Let n be y(1). Are n and a equal?
False
Suppose -2*l - 12 = -b - b, -b + 3*l = -12. Which is smaller: 4 or b?
b
Let v = -9 - -9. Suppose v = -4*n - n. Which is smaller: n or 1?
n
Suppose -1 = 3*c - 7. Let m be 3 - 0/c - 5. Let v = -8 - m. Which is greater: v or -7?
v
Let i = -7 - -6.8. Let m = -1.5 - -0.7. Let s = i + m. Is s bigger than -3?
True
Let k = -4 + 3. Let y = -6/35779 - -681331/9123645. Let a = y + 1/17. Which is smaller: k or a?
k
Let g be 29/(-9) + (-4)/(-18). Is -2 <= g?
False
Let g = -3/4 + 1. Which is smaller: g or -1?
-1
Suppose 6*y - y = 4*f, f = 4*y. Suppose -5*r + 4*j = -f*r - 3, 4*r + 10 = -3*j. Is r at most as big as 2/5?
True
Let s = -7/9 - -5/9. Are s and 0 unequal?
True
Let d = -4.4 + -0.6. Let h = -5 - d. Let y = -2 - h. Which is smaller: y or -0.3?
y
Let d(k) = -k - 7. Let n = -11 + 26. Let t = -22 + n. Let w be d(t). Does w = 0?
True
Let o = -6 - -6.1. Which is greater: 10 or o?
10
Let r(l) = l**3 + 7*l**2 - 9*l - 9. Let d be r(-8). Is -1/30 greater than d?
True
Suppose -3*s = -2*b - 16, -5*b + 0*s + 2*s = 29. Which is smaller: -6 or b?
-6
Let s(h) = -3*h + 2. Let p be s(2). Is -3 >= p?
True
Let v = -1 - -3. Let r = 1 + -1.2. Which is smaller: v or r?
r
Let m(t) = -2*t + 3 + 7 - 11 + 3*t**2. Let u be m(2). Let b be (((-63)/12)/u)/2. Which is bigger: b or -1?
b
Let u(a) = a**3 + 4*a**2 + a + 5. Let w be u(-4). Let i = w - 5. Is i less than -5?
False
Let o = 5 + -5. Are 2/27 and o nonequal?
True
Let h(x) = x**3 + 3*x**2 + x. Let o be h(-1). Let m = 35 - 32. Suppose -5 = m*y + o. Is -3 bigger than y?
False
Suppose -3*x = 3*d + 9, -2 = 2*d + x + 5. Let k be (-24)/(-9) + 2/3. Let b = k + d. Which is bigger: 0.1 or b?
0.1
Let o = 3 + -3. Which is greater: o or -2/35?
o
Let x = 543/5 + -108. Which is greater: x or -36/5?
x
Let h = 12 + -11. Let m(c) = -c + 3. Let b = 6 - 3. Let u be m(b). Which is smaller: u or h?
u
Suppose 0 = -2*v + 11 - 13. Is -0.039 >= v?
True
Let y = -0.14 - -2.74. Is y != 1?
True
Suppose 5*m - 370 = -8*z + 3*z, 2*m - 8 = 0. Let r = 102 - z. Let b be r/14 - 2/7. Is 4 bigger than b?
True
Let h(s) = -s**2 + 6*s - 6. Let m be h(5). Let d = 10 - 12. Let k be 5/25*5/d. Is k >= m?
True
Let y be (2/(-3))/(13/(-5) - 1). Is y <= -1?
False
Let s = -4 + 0. Let a be 42/s*4/(-6). Is a greater than or equal to 8?
False
Let l(s) = s**3 - 3*s**2 - 7*s - 7. Let a be l(5). Is 8 at most a?
True
Suppose -m = 4*m + 5. Let h(c) be the first derivative of c**4/4 - c**2 - c + 4. Let b be h(m). Which is smaller: -1 or b?
-1
Let c = -56 - -57. Do c and 0.2 have different values?
True
Suppose -12 = 4*v + 4. Let k be (v/36)/((-6)/9). Which is smaller: k or 1?
k
Suppose -25 = o + 5*t, -2*t - 1 - 9 = 0. Which is smaller: 1/20 or o?
o
Let p = 11 - 10. Which is smaller: 2/75 or p?
2/75
Let u(x) = x**2 + 3*x - 10. Let z be u(5). Let d = z - 37. Let p be ((-14)/4 - 0)*2. Is p >= d?
True
Suppose 3*x + 5*h - 1 = 4*x, -4*x - 2*h - 4 = 0. Is x bigger than -2/19?
False
Suppose -d - 15 = 3*o, 4*o + 5 = -d + 3*o. Let s(g) = g**2 + 6*g + 1. Let r be s(-6). Suppose u = 2*b - r, -2*u + 3 - 5 = 3*b. Which is bigger: d or u?
d
Let l be ((-2)/(-8))/(-10*21/(-28)). Is -1 at least as big as l?
False
Suppose -4*w + 7 = -1. Let n = 13 - 14. Is n equal to w?
False
Let f = 6 + -17. Let g = 12 + f. Which is greater: g or -3?
g
Let l be 2/(-8) - (-34)/(-16)*-10. Which is greater: 43/2 or l?
43/2
Let j(a) = -a**2 - 4*a + 7. Let k be j(-4). Which is bigger: k or 29/4?
29/4
Let o = 77.956 - 78. Which is greater: o or -2/7?
o
Let q = -5.8 - -6. Let r = 3 + -3.1. Let s = r + q. Is s not equal to -3?
True
Let k = -0.97 + 1.17. 