56 + 697/2. Is -9 less than or equal to p?
True
Let p be ((-1)/2)/((-5)/710). Are p and 71 nonequal?
False
Let t(c) = -c**2 - 5*c + 1. Let h be t(-6). Let v = -9 - h. Is -2 <= v?
False
Let g(y) = -2*y**3 + 8*y**2 - 3*y - 6. Let v be g(3). Is -10 <= v?
True
Let d(z) be the first derivative of z**3/3 + z**2/2 - 1. Let n be d(-1). Let h be 2*(-6)/64*2. Do n and h have the same value?
False
Let t = -0.08 + 10.08. Let c = -10.1 + t. Is 2/5 <= c?
False
Let b = -713/6132 - -2/219. Let v be 5/(-14) + 0/2. Let k = v - b. Is -1 smaller than k?
True
Let t be 1 - ((-15)/(-6) - 1). Let b = -4 + 4.2. Let y = -3.8 - b. Which is bigger: y or t?
t
Suppose 3*g + g - 16 = 0. Let c be 4/g - (7 + 1). Let z be (-8)/(-28) - 40/c. Is 7 at least z?
True
Let q = 14 - 9. Let b(u) = 5*u**2 - 8*u - 3. Let f(x) = 6*x**2 - 9*x - 3. Let l(w) = -5*b(w) + 4*f(w). Let j be l(q). Does -2 = j?
True
Suppose -5*l + h = -7, 0 = -3*h + 6*h + 6. Suppose -2*y + 6*y = -72. Let q be (-6)/y - (-2)/3. Is l bigger than q?
False
Suppose 0*s - 6 = 3*s. Let r = -0.3 + -1.7. Is r > s?
False
Let n = 1646 + -5006/3. Let k = -23 - n. Let x = 0.2 - -0.8. Are x and k non-equal?
True
Let o = 3 - 4. Suppose -5*z - 5*r = -23 - 2, -5*z = 4*r - 26. Suppose -3*d = -2*d - m - 3, 2*m + z = -3*d. Is o bigger than d?
False
Let x = 70 - 110. Let l = x + 159/4. Is 1/2 at most l?
False
Let q = 26 - 29. Let d be 2*1/(-2) + 7. Let g = 1 - d. Which is smaller: q or g?
g
Let z = 11 - 11. Suppose -8 = -p - 2*o, -5*p - 5 = 3*o - 17. Let s = -1 + p. Do s and z have the same value?
False
Let c be 3/4 + 78/(-104). Which is smaller: 6/7 or c?
c
Let k be ((-3)/10)/(2/(-4)). Suppose s + 10 = -3*c, -s - 3*s = -4*c - 24. Let m be (-1*1)/(3 + c). Which is smaller: k or m?
k
Let d = 4.3 - 1.3. Which is greater: d or 2?
d
Let b(z) = -2 + 9*z + 3*z**3 + 10*z**2 - z**3 - z**3 + 3. Let t be b(-9). Does -1/11 = t?
False
Let v be (-3258)/105 - (-6)/(-15). Let k = v - -1184/35. Which is smaller: k or 2?
2
Let l(w) = w**2 + w - 4. Suppose 4*u + 16 = -0*u. Let c = -7 - u. Let n be l(c). Is n > 1?
True
Let i(g) = g**2 + 17*g + 18. Let s be i(-15). Is 1 > s?
True
Let i be 3/(-63) + (-5)/(-15). Let d = -0.1 - 0.1. Let g = 0.3 + d. Is i greater than g?
True
Suppose p + 2 = -0. Let x be 15 - (-1)/p*2. Suppose 0 = -2*c - y - y + x, 2*c - 4*y + 16 = 0. Which is bigger: 1 or c?
c
Suppose 3*g + 4*b - 11 = 0, 5*g + 3*b - 4 = 7. Is g greater than or equal to 4/9?
True
Let f = -0.033 + 27.033. Let s = 33.5 - f. Let r = s + 0.5. Is r != -0.1?
True
Let w(d) = d**2 - 4*d - 3. Let n be w(-2). Which is smaller: n or 10?
n
Let m = -40 - -39. Do m and 2/7 have different values?
True
Let d = -1/34 + 71/102. Let z = -0.04 - 0.26. Let l = 1.3 + z. Do l and d have the same value?
False
Let n be (2 + -3)/(-2 + 1). Which is smaller: 14/9 or n?
n
Let o = -21 - -16. Let s(m) = -3*m - m + 4 - 6*m**2 + 3*m**3 - 4*m**3. Let a be s(o). Which is smaller: a or 1/5?
a
Let g be 2*12/16*2. Let j = g + 4. Is j at most 7?
True
Let v = 14 + -13.88. Let p = v - -3.88. Which is smaller: -1 or p?
-1
Let q = 6.1 + -10.1. Which is smaller: -0.5 or q?
q
Let s be 4/(-2)*(-4)/(-10). Let j = 6 + -7. Which is greater: j or s?
s
Let x be -5*(-2 + 6)/(-4). Which is smaller: x or 6?
x
Let t = 0 + 3. Suppose -t*o = o. Let v = 108 - 970/9. Which is greater: o or v?
v
Let x(a) = a**3 - 9*a**2 + a - 6. Let h be x(9). Suppose 2*z = -z - h. Let r = z - -4/3. Is r at most as big as -1?
False
Let a = 0.39 - 0.59. Do a and -1/2 have the same value?
False
Suppose m = -5*m - 174. Which is bigger: -26 or m?
-26
Let b = -1 + -3. Let y = 22 + -49/2. Which is bigger: b or y?
y
Let l(a) = a**3 - 3*a**2 + a + 1. Let k be l(3). Let t = 4 + -1. Which is smaller: k or t?
t
Suppose 28*o - 34*o + 6 = 0. Is o smaller than -0.4?
False
Suppose 3 = 5*d - 2. Suppose 4*h + 4*s = 5 - 1, 2*h = -3*s + d. Let r be (-2)/8 + h/8. Which is greater: 1 or r?
1
Let f = 4 - 2. Suppose 10 = -2*c + 4. Let t be (1*c)/(3/(-3)). Is t bigger than f?
True
Let y be (-4788)/(-1683) + 2/(-17). Is 4 >= y?
True
Let r = 1 + -2. Suppose 5*f = -190 - 10. Let c be (-2)/(-6) + f/75. Which is bigger: c or r?
c
Suppose -2*p - 2*d + 86 - 18 = 0, 3*p = 5*d + 70. Suppose -3*n = -0*n + p. Are n and -10 equal?
True
Suppose 5*s = -7*s + 12. Is 0.05 at least as big as s?
False
Let c = 9 + -8. Let n be 2 - c - 14/7. Is 3/11 equal to n?
False
Suppose -4*m + 2*m = 0. Suppose -d = -m*d - 2. Let l be -2 - d/(-9)*10. Which is smaller: -1 or l?
-1
Let o = -73/8 - -1327/56. Is 14 at least as big as o?
False
Let p(o) = -o - 1. Let j be p(4). Which is smaller: -4 or j?
j
Let j(u) = -u**3 - 4*u**2 + u - 1. Let y be j(-5). Suppose q + 4*q = p + y, -p - 4 = 0. Let f be 1/(-3)*3/q. Which is smaller: f or 1?
f
Let r = 1467/4 + -382. Which is greater: r or -15?
-15
Suppose -3*v + 25 = -4*d, 2*d + 2*d - 35 = -v. Suppose -3*k - 3*m = -5*k - v, 0 = -3*k - 3*m - 15. Let u be 18/12*(-2)/k. Which is greater: 1 or u?
1
Let q = -17/11 - 625/44. Is q greater than or equal to -16?
True
Let v(u) = u**3 - 13*u**2 - u + 14. Let l(g) = g**3 + 6*g**2 - 3*g - 5. Let q be l(-6). Let b be v(q). Which is smaller: b or 5?
b
Let i(f) = 4*f**2 - f**2 - 4*f**2 + 4 - 5*f. Let s be i(-5). Let t = 4 - s. Which is greater: t or 2?
2
Let x(m) be the second derivative of -m**4/12 + 2*m**3/3 + m**2/2 + 2*m. Let r be x(5). Let l = r - -3. Which is smaller: -1/3 or l?
l
Let h(x) = x**2 - 3*x - 3. Let y be h(6). Suppose 0 = 5*i - y. Let u = i + -5. Is -1 smaller than u?
False
Let w be (2 + -2)*(-2)/6. Which is greater: 3/16 or w?
3/16
Let f be 46/(-14) + (-2)/(-7). Let d = f - -4. Suppose 0*m - d = m. Do -2 and m have different values?
True
Let g = 0.125 - 0.025. Which is greater: g or -2/35?
g
Let f = -2 - 8. Are -10 and f unequal?
False
Let p(f) = 2*f - 4. Let z be p(3). Suppose 0 = -z*o + 11 + 1. Let u be (-4)/(-2) - 9/o. Is u greater than or equal to 1?
False
Let p be (9/(-12) - 0)/3. Which is greater: p or -0.1?
-0.1
Let w = 80 - 31. Is w smaller than 48?
False
Let g be 3 + 135/(-21) + 3 + 0. Which is greater: -8 or g?
g
Let l be ((-33)/(-6))/(2/4). Let o = -12 + l. Which is bigger: 3/23 or o?
3/23
Let w = 0 + 1. Let n = w - 3. Let g(z) = -z**2 + 6*z + 1. Let m be g(6). Is m at most as big as n?
False
Let h = 50 + -105. Which is smaller: -54 or h?
h
Let f = 2 - 3. Let p be (0 - 0)*(-1)/f. Is -1 <= p?
True
Let h = -2.3 - -11.3. Let v = h + -7. Is v less than 2?
False
Let v = -4/59 + -283/177. Which is smaller: -3 or v?
-3
Let l = -95 + 82.9. Let p = l + 12. Which is greater: p or 0.11?
0.11
Suppose -4*l - l - 105 = 0. Let i = 26 + l. Which is bigger: 7 or i?
7
Let c = 0 - -0.1. Let z = 0.3 - c. Let p = -5.4 - -5.6. Is z greater than p?
False
Let u be 4/3 - 2/(-3). Let k = 6 - u. Suppose 4*r - k = -2*b - 0, -4*b = -5*r + 5. Is -1 <= b?
True
Let w = -0.47 - -0.01. Let v = 0.5 + w. Which is bigger: v or 1?
1
Suppose -4*v + 22 = 4*w - 10, -5*v = -4*w + 50. Is -0.1 != w?
True
Let u be ((-2)/(-5))/(3/(-30)) - 1. Suppose 5*k + 57 = -4*y + 16, -5*k + 4*y = 9. Is k greater than u?
False
Let f be 3*(-4)/6 - 1. Is f smaller than -14/5?
True
Let x be ((-1)/5)/(12/15). Which is smaller: -3 or x?
-3
Let u = -2 + 1.6. Let r be ((-9)/((-45)/(-10)))/7. Is u at most r?
True
Let b be (-27)/(5 - 4) - -3. Let x = b + 34. Which is bigger: 9 or x?
x
Suppose 3*h + 289 = -203. Is -164 <= h?
True
Let a be 318/66 + 2/11. Let m(s) = s**3 - 5*s**2 + 2. Let x be m(a). Suppose 3*g - 14 = -x. Do g and 4 have the same value?
True
Let q(t) = -2*t + 15. Let p be q(7). Let h(a) = a - 10. Let l be h(0). Let f be ((-2)/(-10))/(24/l). Which is smaller: p or f?
f
Let r be ((-8)/(-5))/(-6*(-3)/90). Is r less than -3?
False
Suppose -4*c - 2*y + 46 = 0, y = -y + 2. Let a = c + -11. Which is smaller: a or -5/6?
-5/6
Let s = -0.59 + 0.67. Which is bigger: s or 0?
s
Suppose -3*q - 5*o - 14 = 0, -q = 3*q - 4*o - 24. Let i = -9/7 - -66/35. Is q <= i?
False
Let j(k) = -k + 4. Let g be j(3). Suppose -2*q + 5 = 9. Let d = q + g. Is d at least -1?
True
Suppose -n + 7*x - 10 = 8*x, -x + 15 = -4*n. Let q(f) = -f**2 - 5*f - 2. Let c be q(-4). Suppose -2 = c*l + 6. Is l != n?
True
Let c(v) = v**3 - v**2 + 10. Let f be c(0). Suppose -2*g - f = 0, 4*p - 6 = 3*g - g. Is -2 smaller than p?
True
Suppose 3*i = 11*g - 7*g - 15, 12 = -3*i + 5*g. Are i a