27. Is f at least v?
True
Suppose -229 = -7*w + 86. Which is smaller: w or 44?
44
Let r be (-1 + 1)/(0 - -1). Suppose r = 4*v + 1 - 9. Is v greater than -0.1?
True
Let n(k) = k**2 - 2*k - 5. Let s(a) = -a**2 + 6*a + 8. Let y be s(6). Suppose -3 - 1 = -d + 5*w, 2*d + 2*w = y. Let o be n(d). Which is greater: o or 3/2?
o
Let z be (3/18)/((-6)/24). Let p(u) = -u**3 - 4*u**2 - 3*u. Let i be p(-3). Which is smaller: i or z?
z
Let u(q) = -q**3 + q**2 + q. Let n be u(0). Suppose 5*k + 10 = -5*a - n*k, -2*k = 5*a + 10. Which is greater: a or 0.5?
0.5
Let u = -9948 - 4833. Let v = u + 4507976/305. Let r = v - 3/61. Is -2 at most as big as r?
True
Let a(b) = b**2 - 2*b**2 + 1 - 4*b + 4*b**3 + 4*b. Let n be a(-1). Let c(g) = -4*g**3 - 2*g**2 + 1. Let k be c(1). Is k > n?
False
Let s(j) = j - 4. Let i(y) = -y**2 + 4*y + 5. Let k be i(4). Let x be s(k). Let o be (-147)/(-63) + (-1)/3. Is o < x?
False
Let s = -4 + 7. Let x(v) = v**2 + 2*v + 1. Let o be x(-3). Is o at least s?
True
Suppose 0 = 3*s + 5 + 7, -a + s = -5. Is 2/3 smaller than a?
True
Let t = 1447/3 - 483. Let s = 0.3 + -0.1. Let o = 0 - s. Which is smaller: t or o?
t
Let m(u) = 4*u - 20. Let a(g) = -g + 4. Let k(n) = -14*a(n) - 3*m(n). Let h be k(-3). Let i = -1 - h. Which is smaller: 0 or i?
0
Let t be 1/((-1)/9*-3). Let u = -6 + 10. Let f = u + -2. Is f greater than t?
False
Suppose -5*l + h + 59 = 0, 0*h - 58 = -5*l + 2*h. Suppose -3*i + l = -i. Let g = -6 + i. Is g bigger than 4/3?
False
Let m = 1 + -4. Let w = 0 - m. Are w and 1 non-equal?
True
Let i be (6045/(-30))/(5 + -1). Let b = -50 - i. Which is greater: b or 1?
1
Let i(t) = -t**2 + 10*t - 8. Let p be i(9). Suppose 2*d = 3*d - p. Which is bigger: d or -1/3?
d
Let p = -9 - -16. Let g be (12/10)/(4/(-20)). Let k = g + p. Is 2 bigger than k?
True
Let v = 10.8 - 11. Let s = -4 + 3. Are s and v non-equal?
True
Let v = 0 - -2. Let j = -0.1 + 1.1. Let t = -1.1 + j. Is v smaller than t?
False
Let a be (-1)/4 - 357/12. Let q be (-1)/2 - 39/a. Let p(n) = -n - 5. Let k be p(-7). Are q and k equal?
False
Let n = 0.5 - 0.3. Which is bigger: 7 or n?
7
Suppose x + 37 = 4. Let r = -131/4 - x. Suppose 0 = 2*y + 4*w + 14, 3*w = -6*y + 2*y - 13. Which is smaller: y or r?
y
Suppose -m + 29 = 88. Are -58 and m unequal?
True
Let n = 6.4 + -6. Let m = 0.08 - -1.32. Let u = n - m. Is -1/5 greater than or equal to u?
True
Let q be ((-3)/1)/((-3)/8). Suppose -2*f + 3*f - q = 0. Suppose 0*p - p = -4*g + f, 0 = -2*p - 8. Is 0 at most g?
True
Let f(k) = -k**3 + 5*k**2 + k - 1. Let r be f(5). Suppose 4*v - 7*v = y, 3*y = 2*v + 11. Which is bigger: r or y?
r
Let v = -43 + 43.1. Are v and 0.037 nonequal?
True
Suppose 4*r - 2*l = 5*r + 12, l = 3*r + 15. Let z be ((-4)/r)/(4/18). Suppose 0 = -z*s + 3. Do s and -1 have the same value?
False
Let i be -1 + 67 + (23 - 19). Is 69 less than or equal to i?
True
Let u be 3 + (3 - 6) + 6. Suppose 0*h = -3*h + u. Is h bigger than 2?
False
Let n = -40/13 + 241/91. Is 2 at least n?
True
Suppose 3 = -b - 2*b, -2*k = 2*b - 2. Suppose 0*g - 4*y + 4 = k*g, -2*y = -3*g + 14. Let s = -1 + g. Is 3 at most as big as s?
True
Let n = -0.16 - -7.16. Is -1 equal to n?
False
Let s(i) = 3*i**3 - 2*i - 1. Suppose 5*p = -5*g + 25 - 5, 4*g = 4*p - 16. Suppose -p*n + 9*n = -5. Let y be s(n). Is y equal to -2?
True
Suppose -k = 5*o - 3*k + 21, 24 = -4*o + 4*k. Let b = 24 - 77/3. Is o >= b?
False
Let z = -39 - -157/4. Suppose -3*i = -3 + 6. Let l be (i - 0/1)/(-1). Which is smaller: z or l?
z
Suppose -4 = -2*z + 2. Let j = -2 + z. Which is smaller: 2 or j?
j
Let i be (-32)/(-12) + 4/(-6). Suppose 0 = i*r - 3*s - 8, 5*r + s = 5*s + 13. Let d be 0 - 1 - 6/(-7). Which is bigger: d or r?
r
Let s be 2/3*(-36)/24. Let w be (-3)/11*8/(-6). Which is smaller: s or w?
s
Let f(a) = 3*a + 5. Let i be f(-3). Is -4 > i?
False
Let u be ((-3)/(-15))/((-8)/56). Is -2 > u?
False
Let y(n) = -n**2 - 3*n + 2. Let s be y(-3). Is s at most 7?
True
Let v be (-28)/304 + 3/12. Which is smaller: 0 or v?
0
Let k(n) = -n**3 - n**2 + 3*n + 1. Let v be k(-2). Do -4/3 and v have different values?
True
Suppose n + 24 = -5*o, -3*n + 6 = -o - 2. Let i = -4 - o. Is 3/4 != i?
True
Let f be (-8)/6 + (-14)/21. Let m(u) = -u + 4. Let j be m(5). Which is bigger: j or f?
j
Let x = 184.07 + -186. Let i = x - 0.07. Let l = -2.8 + 3. Is l at least as big as i?
True
Suppose -5*h - h = 2*h. Is h <= 2/65?
True
Let r be (-1)/(0 - (1 - 2)). Let l = 9 - 12. Let i be l/(-4)*(-8 + 6). Which is smaller: r or i?
i
Let k(v) = -v - 5. Suppose -4*l = 5*a + l - 65, -4*a = -5*l - 16. Let i be 40/(-6) + 6/a. Let r be k(i). Which is smaller: r or -1?
-1
Let q = 32318/101 + -320. Is 0 bigger than q?
True
Let m = -0.63 + 0.37. Is m < 0.2?
True
Let q = 9/17 + -251/442. Let y = q - 43/234. Which is smaller: 0 or y?
y
Let q be (3/15*7)/(3/15). Which is smaller: q or 72/11?
72/11
Let v = -15 - -9. Let b = v + 2. Are -2/7 and b unequal?
True
Suppose -5 = v, 5*w + v = w - 9. Is -2/207 less than w?
False
Let a = 9 + -6. Let v be 5*2/60 + (-22)/(-12). Which is smaller: v or a?
v
Let v = 0.05 + 0. Let a = -4.05 + v. Let f = 6 + a. Which is smaller: f or -1/2?
-1/2
Suppose 2*g - 9 = 1. Let z(i) = -3*i + 26. Let v be z(7). Are g and v equal?
True
Let c = 1111/63 - 63689/2772. Let s = c - -21/4. Which is smaller: -1 or s?
-1
Let v(d) = -d**3 + 3*d**2 + 4*d + 5. Let n be v(4). Let p be 1*n*(-12)/30. Are p and -2 equal?
True
Suppose 2*g = 4*i - 29 - 9, -2*i - 4*g - 6 = 0. Is i at most as big as 19/3?
False
Let v(i) = i**3 - 4*i**2 + 4*i + 1. Let a be v(3). Suppose 0 = -a*s - 2*o + 6, 3*o = -2*o + 5. Are 1 and s nonequal?
False
Let x be (1/219)/(3/(-27)). Is x >= 0?
False
Let u = 1 - 2. Which is smaller: -2 or u?
-2
Let d(o) = o. Let i be d(1). Suppose -f - 13 = 5*r, 4*f = r + i - 32. Let j = f + 3. Which is bigger: j or -3?
-3
Suppose -3*m - 16 + 4 = i, m = -i - 18. Which is greater: -19 or i?
-19
Let v = -2/3 - -8/9. Let h(s) = s - 12. Let b be h(13). Is b not equal to v?
True
Let c be ((-1)/(-5))/(2/10). Which is smaller: c or -3/10?
-3/10
Suppose -2*c + f = -2*f - 26, 5*c = 2*f + 65. Let r = 8 - c. Suppose 3*i = 2*q - 4, -q = -5*i - 11 - 5. Do i and r have the same value?
False
Let t = 0.09 + -7.09. Let s = t + 6.4. Let c = s - -0.6. Which is greater: 1 or c?
1
Let a = 19.9 - 3.9. Which is bigger: a or -2/3?
a
Suppose 3 - 8 = 5*h. Which is smaller: h or 3/16?
h
Let w = 3 + -5. Let a = 26 + -23.9. Let s = a + w. Which is smaller: s or 1/3?
s
Let z = 0.004 - 0.004. Let i be (-10)/25*10/(-22). Is z >= i?
False
Let y be (-188)/(-150) + 1/(-1). Let s = y - 3/25. Let k = 0 + 0. Is s smaller than k?
False
Let v be 10/4*10/(-5). Which is smaller: -7/2 or v?
v
Let n = -5.3 + 5. Is n not equal to -4?
True
Let d be (12/(-9))/(4/(-162)). Let m be 2*3/d*-2. Which is smaller: m or 1?
m
Let d be 333/(-4) - (-1)/4. Let a = -7352 - -66919/9. Let n = d + a. Is 1 at least n?
True
Suppose 5*t = -8*m + 3*m + 205, 0 = 4*t - 2*m - 146. Let b be t/(-84) + (-8)/(-28). Is 3/5 < b?
False
Suppose 5*s + n = -2*n - 6, 4*n = -5*s - 3. Let h = -43 - -37. Which is bigger: s or h?
s
Let d(s) = -s**3 - s**2 - 4*s - 8. Let w be d(-2). Are w and 4 equal?
True
Let g(n) = -n + 3. Let w be g(4). Let c be 54/16 - 12/32. Suppose 2*b + c = -3. Is w greater than b?
True
Let u = -12 + 2.1. Let h = -12 - u. Let w = -2 - h. Which is smaller: -2 or w?
-2
Suppose 0 = 15*q - 20*q + 45. Which is bigger: q or 39/4?
39/4
Suppose 2*b + 1 = 5, -2*b = -5*t - 19. Let x = 8255/9 - 917. Is x != t?
True
Let y be ((-1)/2)/(2/4). Let n be (-3*(-1)/(-9))/1. Is n at least y?
True
Let b(s) = s - 12. Let q be b(6). Let n = q - -5. Which is smaller: -8/9 or n?
n
Let f be (-1881)/(-15) + 1 - 1. Let n = f + -125. Are n and 1 unequal?
True
Let x be (-21)/(-4) + 2/(-8). Let f be ((-105)/(-14))/((-15)/(-12)). Which is greater: f or x?
f
Suppose 3*q - 14 = -2. Let r be 8/8*(1 + q). Let s(l) = l**2 + l. Let b be s(-3). Is b greater than or equal to r?
True
Let m(i) = -i**3 + i**2 + i + 4. Let b be m(0). Suppose 2*a = b*p - 6, -7 = -4*p + 9. Suppose -2 = 4*s - a*w - 30, -4*w - 35 = -5*s. Is 7 >= s?
True
Suppose c + 2*c - 19 = -5*p, 0 = 2*p + 4*c - 16. Suppose 0 = k + 5*l + 13, -l + 3 = 2*k + p. Let v be k + -2 - 0 - -2. Is 1/2 less than v?
True
Let b = 10 + 5. Let p = 16 - b. Is 1 >= p?
True