i) = -i**2 + 11*i + 5. Let t be x(11). Let k = t - 5. Which is smaller: k or -3/5?
-3/5
Let b be 12/9 - 6/18. Which is bigger: -2/31 or b?
b
Let r = 1 - 0. Let c = r - 1. Is -6 less than or equal to c?
True
Let t = 123 - 123. Is -4/13 greater than t?
False
Let r = -9.6 + 9.7. Which is bigger: r or -2?
r
Suppose -a = -4 + 6. Is 1/2 <= a?
False
Let k be 7 + -2 + 4 + -4. Let x be 2/(2 - 8/k). Suppose x*u + 10 = 5*j, 3 = j - 4*u - 11. Which is bigger: 0 or j?
0
Let q = -0.8 + -0.2. Suppose -5*x + 10 = 0, -2*m + 0 = 2*x - 6. Which is bigger: q or m?
m
Let d(w) = w**3 - 2*w**2 - 2*w + 2. Let x be d(2). Let n = x + 1. Let b be ((-4)/16)/((-15)/24). Which is smaller: b or n?
n
Let r = -8/7 + 37/14. Which is greater: 1 or r?
r
Let t = 147/5 - 30. Let k be (-12)/(-15)*10/4. Suppose 3 = -d - k*d. Which is bigger: t or d?
t
Suppose -4 + 0 = -2*p. Let y = -1 + p. Is y != 2/9?
True
Let g be (-4)/15*15/10. Which is greater: g or -2?
g
Let t(q) = -q**3 - 4*q**2 - 3*q. Let w be t(-3). Suppose 2 = -4*z + 5*o, w = 2*o - 4. Let n = z + -4. Which is smaller: -2/5 or n?
n
Suppose -3*w - 465 = -5*n, 5*n + w - 6*w = 475. Let g be (-2)/5 - (-96)/n. Let x = 1 - -1. Which is greater: x or g?
x
Suppose -2*j = -j - 1. Let w = 2 - j. Let q be ((-146)/36 - -4)*(-9)/3. Is w <= q?
False
Let y(a) = -a**3 - 13*a**2 + 14*a - 10. Let k be y(-14). Which is smaller: 2 or k?
k
Let m = -20 - -19. Which is smaller: -4/13 or m?
m
Let a = 227 + -231.91. Let j = a + -0.09. Let t = j - -4. Which is bigger: t or 3?
3
Let w = -14 + 5. Let o = -9.1 - w. Let z(d) = -d**2 + 6*d - 4. Let g be z(5). Which is greater: g or o?
g
Let s(l) = l**2 - l - 6. Let o be s(-6). Let h = o + -69/2. Which is greater: h or 2?
2
Let i be 3/(-12) - 2/(-24). Let z(f) = -f + 6. Let q be z(3). Suppose q = -2*r + 3*c, -2*r + c = 3 - 2. Is i at most as big as r?
True
Let v be 2 + (-4 - -5)*-3 + 1. Is v less than or equal to 2/65?
True
Suppose -3*l - 7*l = 160. Let k be 2/(-2)*4*1. Let y be k/14 - l/7. Does 4/3 = y?
False
Let d = 4 - -15. Let y = 17 - d. Is y > 5?
False
Let n be 8 - (2 + -3 + 4). Suppose 6 = -w - b + 3, -4*w = n*b + 15. Are 2/25 and w equal?
False
Let a = -2271 + 11408/5. Which is bigger: a or 12?
12
Let b be (3 - 2)/1 + 0. Let t be ((-2)/(-3))/(10/45) - 1. Which is greater: t or b?
t
Let c be ((-27)/(-2))/(5/2 - 2). Is 27 greater than c?
False
Let t be 1/(-4) - 1/28. Let l = 28982/35 - 828. Which is smaller: l or t?
t
Let d(m) = m**3 - 6*m**2 + 2*m - 4. Let x be d(5). Let a = 29 + x. Which is greater: a or 1?
a
Suppose 4*w + 2*b - 1 = 5, -w - 3*b + 4 = 0. Is w > -2/71?
True
Let i(k) = k**3 - 6*k**2 - 7*k. Let q be i(7). Suppose g + q*g + 3 = 0. Which is smaller: g or -4?
-4
Let z = 0.03 + 0.27. Are z and 1 non-equal?
True
Let t(x) = -2 - 2*x**3 + x**3 + 3. Suppose 2*f - 5*f = 0. Let z be t(f). Is z > -1?
True
Let h be (-8 + -2)*2/(-4). Suppose -h*i = -i + 16. Is i at most as big as -3?
True
Let l(f) = f**2 + 9*f + 18. Let s be l(-5). Which is greater: -4/5 or s?
-4/5
Let i(a) = 25*a - 5. Let j(w) = -6*w + 1. Let h(m) = 6*i(m) + 26*j(m). Let t be h(-3). Is t less than 13?
False
Suppose -g = 5*s - 1, -2*s - 4 = 5*g + 14. Let q be (s + -5)/(-4) - 4. Suppose 2*p + 10 + 2 = -2*k, -4*p - 27 = 5*k. Is k bigger than q?
False
Let q(u) = u**3 - u**2 - u - 2. Let z be q(2). Let l be (11 - 10)*4/6. Is z smaller than l?
True
Let r = 14 - 19. Let g(f) be the second derivative of f**5/20 + f**4/2 + 2*f**3/3 - 3*f**2 + 3*f. Let u be g(r). Which is smaller: -1/11 or u?
u
Suppose h - s = 2, 0*s = -5*h - 4*s - 8. Which is smaller: h or 2/235?
h
Let j = 0.65 + -0.65. Which is smaller: j or -0.01?
-0.01
Let d be (5 + -4)*3/(-6). Which is smaller: d or 3/8?
d
Suppose 0*q = 3*b + q - 10, 8 = -4*q. Suppose 4*v - b + 0 = 0. Suppose -3*k + 4 = k. Is k greater than v?
False
Suppose -d - 4*z = 4, -3*d + 5*z - 7 = 5. Is d bigger than -6?
True
Let c = 29 - 19. Is 28/3 less than c?
True
Suppose 2 = 2*w + 2*p, 0*p = 2*w + 5*p + 7. Is 11 less than or equal to w?
False
Let j(n) = n - 19. Let o be j(13). Let q = 9 + o. Which is greater: q or 6?
6
Let n be (-165)/55*(4/(-30))/(-2). Suppose 2*o - 3 = -o. Which is bigger: n or o?
o
Let p be (-98)/(-32) + (-9)/3. Which is greater: -1 or p?
p
Let g be (-18)/(-20) + (-4)/10. Suppose 2*r = 5*u - 29, -4*r + 0 - 18 = -2*u. Suppose 4*v + 1 - u = 0. Which is smaller: g or v?
g
Let d = 14 + -14. Is 1 <= d?
False
Let u = 0.11 - -0.09. Let r be 3/(-11 + 2)*1. Is r > u?
False
Let k = 0.2 - 3.2. Let g = k + 4. Let t(j) = j**3 - 7*j**2 + j - 8. Let b be t(7). Which is greater: g or b?
g
Let d be 8/(-34)*39/26. Let y be (-8)/6 - 10/(-30). Which is smaller: d or y?
y
Let w be -1 - -2 - 15/11. Suppose 24*f + 6 = 30*f. Which is smaller: f or w?
w
Suppose -2*v = v + 3. Is -2/15 at most as big as v?
False
Suppose -5*m + z - 123 = 0, 2*m + z + 49 - 4 = 0. Let p = 93/4 + m. Is p <= -1?
False
Let h = -213/5 + 43. Which is greater: 1 or h?
1
Let n = 88 - 175. Let b = 86.61 + n. Let m = 0.09 + b. Is 1 greater than m?
True
Let w be 3 + 14/(-5) - 1. Is 2/5 not equal to w?
True
Let k be (-2)/(-6)*6/(-7). Suppose -4 = 5*s - 9. Which is greater: s or k?
s
Let d = -786/7 - -112. Let c be (4/(-6))/(-1)*-6. Let x = -3 - c. Which is bigger: d or x?
x
Let x(k) = -k**2 + 1. Let c be x(-1). Let l = 0 + 2. Let d = l - c. Is d greater than 2/7?
True
Let d be -4 - -5 - (-1 + 0)/1. Is d smaller than -3?
False
Let y(j) = -j**2 - 4*j - 1. Let k be y(-3). Suppose -4 = -k*q + 2. Suppose 3*p - 4*x + 11 = 0, -5*p + 8*x - q*x - 15 = 0. Which is smaller: -2/3 or p?
p
Let h = -41.1 - -41. Is -1.8 less than h?
True
Let j be (-2 + 1)/(2/2). Let z = 174 + -93. Let g = 569/7 - z. Which is smaller: g or j?
j
Let n be (-4)/18 + 381/(-108). Is -3 at least as big as n?
True
Let k be ((-1)/1)/((-5)/20). Let g = -2 + k. Suppose 3*l = -a + 4*l + 1, g*l = a - 5. Do a and -2 have the same value?
False
Let l(c) = -2*c**2 - 13*c + 8. Let y be l(-6). Let g be (-110)/(-208) - y/91. Are 0.1 and g nonequal?
True
Let y(l) = -l + 5. Let h = -3 - -9. Let b be y(h). Are 0.05 and b nonequal?
True
Let h be (0 + 1)*3/3. Suppose 0 = 2*m + 1 + h. Let a = -0.2 - -1.2. Which is smaller: a or m?
m
Suppose 2*b + j + 3*j + 6 = 0, 3*b - 5*j = -20. Let y = -7 - b. Let t = y + 1. Do t and -2/9 have different values?
True
Let x(z) = -z**2 + 5*z. Suppose -r - 3*r = -20. Let l be x(r). Is l > 2/11?
False
Let h = 0.05 - 2.05. Let m = -2 - -5. Let y = m + -2. Which is smaller: y or h?
h
Let s(r) = -r**3 + r + 4. Let g be s(0). Suppose 3*q + 12 = 4*z - g, -10 = 2*z + 3*q. Which is greater: 1/2 or z?
z
Let u = 26 - 37. Is u at least 1?
False
Let o(a) = -10*a + 79. Let b be o(8). Is -2/201 < b?
False
Let i = -237/2 - -120. Is 0.21 at least as big as i?
False
Let r = 65 + -453/7. Which is smaller: r or 2/13?
2/13
Let p be 1/3*0*1. Are -2/25 and p equal?
False
Suppose -l = -5*d + 1, 2*d - 1 = 3. Let i be (l/(0 - -3))/7. Suppose -3*p + 2 = -1. Which is bigger: i or p?
p
Let b be (16/3)/(7/(-126)*-6). Let z be 59/4 + 2/8. Is z at least b?
False
Suppose -d + 5 = 3. Suppose -o + 5 = 3*g, d*g - 3*o + 0*o + 4 = 0. Which is greater: 1/5 or g?
g
Let k(z) = z**2 + 3*z. Let m be k(-3). Let g = -343/9 - -38. Which is bigger: g or m?
m
Let a = -3 + 5. Suppose 2*q = -a*v - 2*v + 6, -4*q + 2 = -2*v. Which is bigger: -3/16 or q?
q
Let w = -10 + 2. Is -9 less than or equal to w?
True
Let k be 1 + (-45)/20*-4. Is 10 at most k?
True
Let q = -32 + 45. Is q not equal to 11?
True
Suppose 0 = 4*a - 4. Let f be (a/1)/((-2)/(-6)). Suppose -5*i + f + 2 = 0. Are 2 and i equal?
False
Suppose 136 - 24 = 4*t - y, 0 = 3*t + y - 84. Which is smaller: 30 or t?
t
Let q = -933/7 + 133. Are q and 1 nonequal?
True
Let w be (15/(-30))/(10/(-4)). Is w at most 0?
False
Let f = -42 + 35. Is f at most -7?
True
Suppose -3*p + 2 = -13. Suppose -4*b - p*u = 51, -u - 13 = 5*b + 77. Is -19 bigger than b?
False
Suppose 5*r - 1 = j + 3*r, 4 = -4*j - 3*r. Suppose -z = -4*u - 20, -1 = -u + z - 3. Let a be u/12*2/2. Is j greater than a?
False
Suppose q = -3*f - 293, -5*f + 2*f - 5*q - 301 = 0. Is -96 less than f?
False
Let g be 1/10 + (-4)/(-10). Suppose -8*z + 5*z = 0. Suppose z = -3*o + 10 - 4. Which is greater: o or g?
o
Let d = 0 - -2. Suppose 2*c + 0*f + 2 = -3*f, d*f = 0. Which is smaller: 1/8 or c?
c
Suppose 5*w - 4*w +