i). Which is greater: 2 or f?
2
Let c = -83/930 + -1/93. Let r = 1/2 + c. Let d = -66 + 64. Is r <= d?
False
Suppose -13*z - 6 = -10*z. Let i(d) = 5*d**2 + 5*d + 3. Let v be i(z). Is 14 > v?
True
Suppose 5*q + 26 + 164 = 0. Is q greater than -37?
False
Let m(b) = b - 1. Let c be m(-2). Is -2/7 bigger than c?
True
Let k = -411/20254 - -2/247. Which is smaller: k or 0?
k
Suppose 5*f - 4 = 3*x + 4, -3*f + 1 = 2*x. Which is bigger: f or 10/7?
10/7
Let f be 20/(-12) + (-2)/(-3). Let w be 4 + (5 - (2 - f)). Suppose 4*k - 15 = 9. Is w at most k?
True
Let t = -4 - 2. Let z = -147 + 149. Is z != t?
True
Let g(x) = -x**2 + 7*x - 12. Let k be g(5). Which is greater: -10 or k?
k
Let c(y) = -10*y - 9. Let i be c(-1). Which is bigger: i or 1/12?
i
Suppose 0 = 3*s - 2*f + 1, -2*s - 2*f = 3*f + 26. Let g = 33 + -76. Let p = -43 - g. Is s at least p?
False
Suppose p + 4 = -0*p. Let j = -8 - p. Which is smaller: j or -5?
-5
Let g(k) = k**2 + 5*k - 5. Suppose -18 - 12 = 5*r. Let t be g(r). Which is smaller: -1 or t?
-1
Let b be (-1)/((-3)/36*2). Let i be (-3)/12*(-2 + b). Let l be 6/63 - i/3. Which is smaller: l or 1?
l
Suppose 6 = 2*h + 18. Which is smaller: h or -13/2?
-13/2
Suppose 2*y - 6 = -2*c, 4*c = c + 4*y + 16. Suppose 4*s + 13 = -s - 2*k, 4*s - c*k = 12. Let i be 0*((-1)/(-2) + s). Is i at most as big as -2?
False
Suppose -3*t + 4*x = 2*t + 70, 4*t + 30 = -2*x. Which is bigger: t or -9?
-9
Let b = 0.02 + -0.04. Let u = -0.28 + b. Is u < 1?
True
Let c = 491/3 + -165. Let y(d) = -d**2 + 18*d - 33. Let p be y(16). Which is greater: p or c?
p
Let l(a) = a**3 + 5*a**2 + a + 6. Let k be l(-5). Let b = -67/285 + 2/57. Which is smaller: k or b?
b
Let p(h) = -h**2 + 5*h - 5. Let w be p(4). Which is smaller: 2 or w?
w
Suppose y - 2*p = -3 - 1, -4*y + 5*p - 10 = 0. Which is smaller: 0.2 or y?
y
Let d(q) = q**3 + 5*q**2 - 16*q - 15. Let w be d(-7). Which is bigger: -1/15 or w?
-1/15
Suppose 3*c = -0*w - 3*w + 9, 4*w = 3*c + 5. Let a = 1 - c. Suppose a = -z - z. Are z and 2/13 nonequal?
True
Let j = 92 - -25. Let b = j - 935/8. Is b <= 0?
False
Suppose 5*g = 9 + 21. Suppose -2 = -5*k + 8. Suppose -3*m + g = -k*m. Is 6 at least as big as m?
True
Let h = -0.71 + -0.29. Is h > -0.1?
False
Let a = 0 - -3. Which is smaller: a or 4?
a
Let z = -9.9 + 17.8. Let x = -15.7 + z. Let n = x + 8. Are n and -1 equal?
False
Let y = 5630 + -22363/4. Let l = -39 + y. Which is bigger: l or -0.6?
l
Suppose 5*t + 22 = 3*y, -t + 6 + 8 = 4*y. Let f be ((-3)/1 + -1)/t. Suppose -f*z + 3 = -5*z. Which is smaller: z or -3?
-3
Let a be 6/(-21) - (-14398)/70. Let x = a - 204. Is 2 less than x?
False
Let b = 12 - 11. Let v = -184/285 + -2/95. Which is bigger: v or b?
b
Let a = -3 - -2. Let u = 3 + a. Let m be (6/4 - u)*0. Is m at most -2/19?
False
Let a(k) = k**3 + 4*k**2 + 2*k. Let h be a(-3). Suppose h = 5*n - 2. Let p be 14/24 - n/3. Is p smaller than 1?
True
Let g be (-1)/3 - (-8)/6. Suppose 0 = 2*y + 2 - 6. Is y bigger than g?
True
Let q = -1 - -3. Suppose -q*w - l = 1 - 0, 2*l = -w - 5. Is w <= 2/5?
False
Let p = 5 + -3. Let k be 81/(-396) - (-6)/8. Is p at most as big as k?
False
Let u be (-2 - -1) + 7/7. Let j = -5/89 - -20149/623. Let d = j - 32. Is u greater than or equal to d?
False
Let j = -0.13 - -0.1. Let o = 0.03 + j. Are o and 0.1 unequal?
True
Let v(l) = 2*l + 7. Let r be v(0). Let x(g) = -g**2 + 7*g + 1. Let f be x(r). Let a be (-2)/72 + (-4)/18. Is a at most as big as f?
True
Let w = 4/53 + 168/583. Let r be (-3 + 0)*2/(-6). Which is greater: w or r?
r
Let a(g) = g. Let i be a(1). Let n(m) = -m**3 - 14*m**2 - 18*m + 18. Let w be n(-9). Let d be 6/15 - (-140)/w. Which is smaller: d or i?
d
Let z be 3 - (-3)/(-6)*6 - 2. Let j = -2 - -1.8. Let q = 0.4 + j. Which is smaller: q or z?
z
Suppose 4*r = -14 - 14. Is -5 bigger than r?
True
Let w(n) = n**3 - 6*n**2 + 6*n - 7. Let t be 30/(-9)*(-3)/2. Let a be w(t). Is -1 at least a?
True
Let u be -3 + 2 + 2*2. Let k = u - 0. Suppose 5*x - 4*s + k = 0, 3 = -x + 3*s - 2. Which is smaller: x or 2?
x
Let k = 2 + 0. Suppose -k*g = -5*g - 3. Let z = 1202/39 + -92/3. Is z < g?
False
Let o = 19 - 20. Is o at most 1/5?
True
Let q = -8 - -11. Let l = 1 + -11. Let s = -8 - l. Which is bigger: s or q?
q
Let w = 20/21 + -2/7. Let k = -0.2 - -0.8. Which is smaller: k or w?
k
Let i = 33 - 23. Suppose 2*g = -i + 2. Which is greater: -5 or g?
g
Let c = -1287 + 43749/34. Let f = c + 165/238. Is f less than 2?
True
Let h = -0.9 + 1. Let n = 0.1 - h. Suppose -6*q = -14*q - 24. Is n <= q?
False
Suppose -r - 3*q = 6, -3*r = 5*q - 6 + 20. Are r and -3 equal?
True
Suppose 0 = 6*c - c - 100. Let o be (91/4)/(c/48). Let k = 55 - o. Is k bigger than 0.06?
True
Suppose 5*d = 4*r + 4, 2*r + 4*d = 2*d + 16. Let i be 18/r*(-6)/(-9). Suppose z = i*z. Which is bigger: z or -1/5?
z
Let n be (0 + 1/(-2))*-2. Let x be ((-2)/10)/(((-1)/5)/1). Is x less than n?
False
Let d = -0.73 - -0.8. Let z = d + 0.23. Which is greater: -2/7 or z?
z
Let v(k) = -k**3 + 7*k**2 - 7*k + 6. Let w be 2/2 + (-13 - 3). Let i = -9 - w. Let j be v(i). Which is smaller: -0.1 or j?
-0.1
Suppose -5*h + 22 + 58 = 0. Which is bigger: 17 or h?
17
Let k be (-2)/(-1 + 2) - -16. Suppose -2*h + 4*h = -k. Let a = h - -5. Do -2 and a have different values?
False
Let g(h) = h**2 + 7*h + 6. Let u be g(-6). Suppose 5*m - 3 - 2 = u. Let a be (-2)/(-3)*24/80. Is a >= m?
False
Let w = 55 - 52. Is w <= 2/9?
False
Let d = 697 + -8369/12. Is d > 0?
False
Let w be -2 - -2 - (-9)/33. Is 0 <= w?
True
Let x = 0.1 - 0. Let b = -1 + 1.2. Which is bigger: x or b?
b
Let g = 53/7 - 993/133. Suppose -h = 2*d - 8, 5*h = 4*h - 3*d + 12. Is g != h?
True
Suppose -z + 2*i = -10, z - 18 = -0*z + 4*i. Let j be z/3 + 42/(-36). Which is smaller: 0 or j?
j
Let w = -0.8 + -0.2. Let b = -4 - w. Let r = 5 + b. Which is greater: r or 1?
r
Let j be (-35)/(-25) + (-3)/(-5). Suppose 0 = -j*p - 2*u - 8, -p - 3*p = -5*u - 20. Which is smaller: -1/5 or p?
-1/5
Let z = 45/4 - 67/4. Is -7 at most z?
True
Let c(h) = h + 1. Let p be c(-3). Let n = -43/20 + 12/5. Is n < p?
False
Suppose -4 = 4*k - 12. Suppose -k*s = s + 6. Do -4 and s have the same value?
False
Let m be (-1)/(-2) + 4005/(-18). Let k be (-3)/m*292 - 4. Which is smaller: k or -1?
-1
Let h = 25.2 - 24. Which is smaller: h or -1?
-1
Let x(m) = -m + 15. Let z be x(9). Let w(k) = -k**2 + 5*k + 7. Let r be w(z). Suppose 2*a = d + r + 2, -d = 2*a + 3. Is -1/3 <= a?
True
Let j = -6 + 8. Let f = 7 + -3. Suppose 0 = -f*r + 20, 2 = 3*l - l - 2*r. Is l smaller than j?
False
Let m = 7 - -2. Let i = 6 - m. Is -1 >= i?
True
Let n = -3.1 - -4.4. Let z = 2.2 - n. Let m = z + -1.1. Is -2 at most m?
True
Let x(l) = 7*l**2 + l + 1. Let c be x(-1). Let f be 1/(-3) + c/(-6). Suppose 0 = -d - 8 + 6. Which is smaller: d or f?
d
Suppose 4*t + 3 = 5*k - 0*k, 3*k = 4*t + 5. Let s = k + -1. Let f be 1*s + 1/1. Which is bigger: -2 or f?
f
Let o = -40 + 46. Which is smaller: -2/11 or o?
-2/11
Suppose 4*g - 2 - 2 = 0. Let z be (-1 - 0)*(g + -1). Let m = -7769/19 - -409. Which is smaller: m or z?
z
Let p be 8/(-20) + 4/5. Let c = 30 + -18. Let y be (c/(-10) - -1)/(-1). Is y less than p?
True
Let m = -0.82 - 0.18. Which is smaller: -7 or m?
-7
Let r be (-171)/54 - (-3 + 1). Which is bigger: r or -2?
r
Suppose 1 = 3*k - 20. Is 8 <= k?
False
Let z = 40 + -7. Suppose -5*q + 19 = 4*g, 4*q + z = 4*g + 5. Suppose y - 5*d - 26 + g = 0, -12 = 4*y + 3*d. Is y bigger than 0?
False
Let v be (12/(-21))/((-18)/(-35)). Suppose 57 = 2*y + 59. Which is smaller: y or v?
v
Let w be (-2)/4*-1*10. Let c = w + -6. Is 1/13 > c?
True
Suppose 1 + 9 = 2*a. Suppose 5*c + 0*c - 4*g = -18, -a*c = 3*g + 4. Let r = -2 - c. Is r != 1/2?
True
Let f be 5 + (2 - 2/1). Let k = 7 - f. Is k at least as big as 2?
True
Let d = -32 - -82. Suppose -4*b + 14 = d. Let x(q) = -q**3 + 9*q**2 - 8. Let h be x(9). Is b smaller than h?
True
Let c = 8/5 - 61/35. Let b = 14.24 - 0.24. Let d = -12 + b. Is d > c?
True
Let o = 4.9 - 5. Is o less than 13?
True
Suppose -95 = -5*s + 2*c - c, -3*s - 5*c = -29. Let o be 4/(-3)*s/80. Is o at most 0?
True
Let p be -6 - (-4 - -2) - -5. Which is smaller: 2/43 or p?
2/43
Let h be 70/(-8) + (-1)/4. Let u be 6/15 + h/(-15). Suppose -4 + u = 3*p. Which is smaller: p or -3/4?
p
Let s be (-62)/5 + 12/30 + -3. Which is smaller: s o