qual to 2/11?
False
Let t be (42/(-4))/(-3) + -3. Suppose 3*f = -0*f - 3*m + 6, 2*f - 2*m = 0. Is f at least t?
True
Let p(a) = -a**3 + 3*a**2 + 12*a - 8. Let m be p(5). Is -7 >= m?
False
Let o = -14.4 + -1.6. Let a = -18 - o. Let v be (-3)/5*(-1)/3. Is v at least a?
True
Let f be 5*(-8)/(-60) - 4/6. Which is smaller: 3/16 or f?
f
Let t be 2/8 + (-3)/(-4). Let l be t*-3*1*1. Suppose 4*q - 2 = -14. Is q at least l?
True
Let c = -54275 - -84801. Let v = c + -454997/15. Let s = -193 + v. Which is bigger: s or -1?
s
Let x = 0 - -1. Suppose 5*v - 3*a - 2 = 0, 2*v + 0*v = -a - 8. Let y be v/(-4)*(-1)/3. Is x equal to y?
False
Let u be (-11)/(-5) - 0/(-6). Which is smaller: 2 or u?
2
Let q(i) = i**2 + 6*i + 2. Let g be q(-5). Let j be (-6)/(-9) - 1/g. Which is bigger: -2/11 or j?
j
Suppose 42 + 22 = 2*y. Let n = y + -97/3. Which is smaller: 0.1 or n?
n
Let t(k) be the second derivative of -k**5/20 + k**4/12 + k**3/6 - 9*k. Let y be 4/10 - 2/5. Let g be t(y). Is g not equal to -1/4?
True
Let s(x) = x**2 - 6*x + 9. Let q be s(9). Let y be ((-8)/70)/(q/(-42)). Which is smaller: y or 1?
y
Let v = -26 + 25.87. Let r = v - -0.17. Is -2 > r?
False
Let b = -30 + 19. Which is greater: b or -34/3?
b
Suppose 5*z - 9*z + 20 = 0. Suppose 0*c + c = 4. Which is greater: c or z?
z
Let b(g) = g**2 - 4*g + 1. Let p be b(3). Let r be p/(-2) + -5 + 2. Let h(m) = -m - 2. Let v be h(r). Which is smaller: v or -5/7?
-5/7
Suppose -8*m = -3*m + 35. Let v = -9 - m. Is v < -1?
True
Let g = -4 - -6. Let f be (-4066)/(-90) - g/(-9). Let l = -45 + f. Which is bigger: l or -0.2?
l
Let h = -6.16 + 0.16. Let r = h + 5. Let i = -1 - r. Are -0.3 and i non-equal?
True
Suppose -d = -2*d. Is 5 > d?
True
Let o be 1856/(-3)*(-6)/(-5). Let f = 156419/210 + o. Let i = -13/6 + f. Which is smaller: i or -1?
-1
Suppose 2 = -m + 12. Is 10 at least as big as m?
True
Let s = 18222/13 + -1257404/897. Let z = s - 4/69. Let h be (-1)/(-4) + (-1)/4. Which is greater: z or h?
h
Let y = -13.16 + 0.16. Let f = 18 + y. Which is greater: f or 3?
f
Let i = 0.13 + 4.87. Let g = -9 + i. Is 0 > g?
True
Let n(c) = -c**2 + 3*c + 2. Let u be n(3). Suppose -u*p + 9 = 1. Suppose 0 = 2*k - k - 2*o + 7, -k = 2*o - 13. Is k < p?
True
Let c = -41 + 41.23. Let r = 0.37 + c. Is 0.1 at least r?
False
Let m = -59 + 59.045. Is 1 greater than or equal to m?
True
Let i(w) = -w**3 + 3*w - 2. Let y be i(2). Let x(q) = 17*q - 72. Let z be x(4). Are z and y equal?
True
Let k = 1 + -1. Let v = 0 + k. Is v not equal to -1?
True
Let o(l) = 4*l**2 + 3*l - 2. Let r be o(1). Suppose -r*k = d, -3*d = 4*k - k. Which is bigger: k or 9?
9
Let m(w) = w**2 + 3*w - 5. Let n be m(-4). Let i be 3 + -1 - 585/360. Are n and i non-equal?
True
Let z(n) = -8*n - 31. Let h be z(-5). Which is greater: h or 7?
h
Suppose 5*c - c - 4 = 0. Suppose -5*h - 20 = -4*a, -5*h - 20 = -0*h - 5*a. Let d be (-2)/c - (-4 - h). Is d at least as big as -1?
False
Let w(s) = -5*s**3 - s**2 + s + 1. Suppose 0 = 3*n - 1 + 4. Let c be w(n). Let y be (c + -1)*(-5)/(-15). Which is smaller: y or 0?
0
Suppose 5*h = -3 - 27. Let n(d) = d + 7. Let u be n(h). Let r = 0.02 + -3.02. Is r <= u?
True
Let n = -15 + 59/4. Suppose 0 = m + 6 - 2, 0 = 3*k + 3*m + 15. Is k bigger than n?
False
Let y = -56 + 82. Suppose 10 + y = 3*i. Suppose -3*c = 5*g + 13, -4*g = c + 3*c + i. Is -1 at most as big as c?
True
Suppose -6*v = -3*v. Suppose -5*x = -v*x. Is x < 3/4?
True
Let y = 3 + -3.3. Let a = -0.3 - y. Let q(b) = -3*b + 1. Let m be q(1). Which is smaller: a or m?
m
Let o = 11 + 5. Let m = -16.1 + o. Is m greater than 0.3?
False
Let v(s) be the third derivative of s**4/24 + 2*s**3/3 - 2*s**2. Let w be v(-6). Let d be w/5 - 2/(-30). Is d at least 0?
False
Let d be (12/(-90))/(((-16)/70)/2). Are d and 2 unequal?
True
Let j = -8 + 7.96. Let f = j + 0.13. Let u = 0.19 - f. Is u greater than or equal to -2/3?
True
Let i(p) = p**2 - 10*p + 6. Let v be i(10). Which is smaller: 8 or v?
v
Suppose -3*h - 16 = 2. Which is bigger: -7 or h?
h
Let m be -1*(6 - 0)/6. Is -4/79 >= m?
True
Let v be -1*(-255)/(-87) + 3. Let k be -2 - (2/2 - 3). Which is bigger: k or v?
v
Let p be (-30)/100 + 1/(-5). Let q = 5.5 + -5. Are q and p equal?
False
Let h(m) = 2*m + 3. Let r be h(-6). Let z be r/15*(-1)/3. Which is greater: -0.2 or z?
z
Let f = -21.87 + 22. Let u = f + 0.07. Is -2/3 equal to u?
False
Let q = 5 + -4. Suppose 2*n - q + 0 = h, 2*n + 2*h + 8 = 0. Which is greater: n or 3/4?
3/4
Let n be 10/(-4)*3/(-5). Are -2/11 and n unequal?
True
Let w = 7.15 - -0.75. Let z = 34 - 26. Let y = z - w. Which is smaller: y or -0.1?
-0.1
Let j = 5 + -5. Let n = -9 + 5. Let p be ((-6)/(-4) - 2)*n. Is j greater than or equal to p?
False
Let j(z) = z**2 + z - 3. Let h be j(0). Which is bigger: -0.1 or h?
-0.1
Suppose -2 = d + d. Let h = 0 + -0.2. Is h less than d?
False
Let c = -1.1 - -5.1. Let o = c + -4. Which is smaller: -0.1 or o?
-0.1
Let z be (3*(-8)/(-9))/(12/(-90)). Which is bigger: -19 or z?
-19
Suppose 0 = -4*k - 5 + 5. Which is bigger: -5/14 or k?
k
Let x = -4 - -5. Are 7/4 and x equal?
False
Suppose -3*h + 2*j + 11 = 0, -h - 4*j = -0 + 1. Let s(x) = -16*x + 8. Let p be s(6). Let m be h*-1 + (-216)/p. Which is bigger: m or 0?
0
Let l(d) = -2*d - d + 2*d - 1. Suppose -9 = 3*z + 3. Let c be l(z). Is 3 > c?
False
Let n = 74 - 70. Which is smaller: n or 7?
n
Let p = -29 + 33. Is -1 bigger than p?
False
Suppose -9*p + 7*p - 30 = 0. Let w be (5/p)/(10/6). Which is greater: w or 0?
0
Let h = -2.966 - 0.034. Is -4 greater than or equal to h?
False
Let a = -8928 - -26561/3. Let n = 75 + a. Does 0 = n?
False
Let z be ((-21)/(-6) - 3)*2. Which is greater: z or -1?
z
Suppose 3*j + 19 = 3*u - 4*u, 2*j + 13 = -u. Is -5 <= j?
False
Suppose 3 = -4*i - 0*d + 3*d, 3*i = -d + 14. Is i at most as big as 11/4?
False
Let q(a) = a**2 + 5*a - 2. Let z be q(-6). Suppose -8*v + 4 = z*b - 4*v, 3*v + 4 = 4*b. Is b at least 9/4?
False
Let p = -80 + 151/2. Is -5 greater than p?
False
Let d be 2*(-2)/(-4 - 0). Let s(m) = 4*m**3 + m**2 + m - 1. Let h be s(d). Is h less than 5?
False
Let z be 2/(3 + 34/(-8)). Let f = z + -16/15. Is -3 at most f?
True
Let y = 6 - 1. Let o be ((-12)/y)/(2 + -4). Is 1 > o?
False
Let g = -23 + 41. Does 18 = g?
True
Let y(i) = i**3 - 8*i**2 - i + 10. Let j be y(8). Suppose j*g = -0*g. Let p = 179/328 + -7/41. Which is smaller: g or p?
g
Suppose 3*x = 0, 3*b + 2*b = x - 5. Let j be 2*(-4)/10*b. Which is smaller: 2 or j?
j
Let v be (-14)/28*(6 - 4/2). Is v bigger than -14/15?
False
Let h = 1.3 + -0.7. Let b = h - 0.3. Let k = -0.1 + b. Which is smaller: k or -1?
-1
Let l(w) = -w**2 - 3*w + 9. Let b be l(-4). Let n be (-1 - (-4 + b))/1. Let s = -8 - -4. Which is smaller: s or n?
s
Let k = -14 - -16. Suppose -6 = 5*w + 2*s - 0, 0 = 4*w - s + 10. Is w less than or equal to k?
True
Let r = -4894/17 + 288. Is r at most as big as 0?
False
Suppose 11 = w - 0. Let i(l) = 7*l - 1. Let h be i(-2). Let n = h + w. Is -3 > n?
True
Suppose 5*l = 8*l. Let f(i) = i**3 + i - 1. Let u be f(0). Let y be (u - -3) + 0/(-1). Is l at most as big as y?
True
Suppose 123*o = 117*o - 450. Is -75 > o?
False
Let l = -2 - -3. Let q = -343/3 + 115. Does q = l?
False
Let j be 3*(2 - 4/6). Suppose y + 0 - j = 0. Suppose 3*z - y = -3*l + 2*z, -l + 5*z = -12. Are l and 2 nonequal?
False
Let j = -4 + 10. Let s(y) = -y + 8. Let z be s(j). Let w = 0.9 + -0.7. Is z greater than w?
True
Let v be 74/2 - (-2)/(-1). Suppose v = 4*u - 3*j, -4*u + 5 = 2*j - 5. Suppose s = -k - 1 + u, 0 = s - 3. Which is smaller: -1 or k?
-1
Let f be (2/(-3))/((-22)/33). Is f > -1/8?
True
Let f = -6 - -8. Is 3 greater than or equal to f?
True
Let y = 7 - 11. Let o = -15/4 - y. Let x(r) = r + 3. Let a be x(-3). Which is bigger: a or o?
o
Suppose -4*t = 5 + 11, -5*n = -3*t - 87. Suppose n = -5*j + 5*k, 2 - 3 = -k. Is -8/7 at most as big as j?
False
Let k = -8 - -8.4. Which is bigger: -3 or k?
k
Let o be (-4)/8*(-14 + -2). Let b be (-3)/4 + (o - 7). Is 0 <= b?
True
Let w = 0.946 + 0.054. Are w and -8 non-equal?
True
Let j be (0 + 1)/(28/(-112)). Which is smaller: j or -2?
j
Let w(f) = f**2 - 9*f. Let z be w(9). Let q be (-8)/12 - 12838/39. Let n = -330 - q. Is n at most z?
True
Suppose -3*c = -m - 11, 0 = -4*m + 4 - 0. Suppose c*u - 3*s = -29, -3*s + s + 16 = -2*u. Let i = 7 + u. Ar