2. Is -69 less than or equal to c?
True
Let o = -224 + 229.7. Which is smaller: o or -2/7?
-2/7
Let u = -915 - -929. Which is greater: 25 or u?
25
Let m = 104 + -72. Let r = m + -32.2. Are -0.13 and r unequal?
True
Let j be (-37)/(-5) - 6/(-10). Suppose -a + s - 1 = -4*a, 2*a + 5*s = -j. Let i be 5/(5/(-2))*a. Which is bigger: 0 or i?
0
Suppose -r - r + 140 = 4*v, v - 5*r = 57. Let h = 65 - v. Which is bigger: 27 or h?
h
Let h be 3/(-15) - (-46)/5. Let a be (-274)/(-30) + 6/(-45). Is h < a?
False
Let r = -1/27 + 31/108. Suppose -9 = 6*i - 3. Which is smaller: r or i?
i
Let f be (-279)/3 + (-3)/(-1). Let k be (-147)/f + (-1)/(-5). Let h = k - 49/30. Which is smaller: 3 or h?
h
Let j = -88/149 - -19742/1639. Is 1/6 greater than j?
False
Let g = -85.79 - -85. Let x = 0.9 + g. Let b = 0.31 - x. Is b at least -0.1?
True
Let q be (-6)/2 + 17 + -135. Let w = q - -107. Are -12 and w equal?
False
Suppose 0 = 8*i - 12*i - 24. Let h(q) = -q**3 - 5*q**2 + 7*q + 6. Let k be h(i). Suppose -4*x + 2*f = 5 - 23, 3*x - 5*f - 24 = k. Are x and 2 equal?
False
Let k be (6/15)/(7/280). Let a be 4/k*4 + -12. Is -10 greater than a?
True
Let t be (-55)/3*13/(-65). Let u = 0 - -4. Is t smaller than u?
True
Let b(u) be the third derivative of -2*u**6/15 + u**5/30 - u**3/6 + 4*u**2. Let g be b(1). Let j = g - -17. Is 0 smaller than j?
True
Suppose 28*k - 8078 + 434 = 0. Which is smaller: -2/7 or k?
-2/7
Let u be (10/(-170))/((-5)/(-245)). Which is bigger: u or -2?
-2
Let c = -0.578 - 0.032. Let s = 441 - 441. Which is greater: c or s?
s
Suppose 0 = -5*y + a + 8, -12*y + a + 2 = -13*y. Let i = -3 - -5. Suppose -2*u + i = -4*u. Which is smaller: u or y?
u
Let p be 1755/175 + -10 + -4 + 4. Are p and -15 non-equal?
True
Let i be (-190)/(-25) - 2/5. Let k be 8/(-1 - 16/(-8)). Which is smaller: k or i?
i
Let s = -128.5 - -127.5. Which is smaller: s or -9.1?
-9.1
Let k = -201290/510969 - -92/233. Which is bigger: k or 1?
1
Let v be ((-28)/(-9))/(-4) + -1. Let c = 539 + -537. Which is greater: c or v?
c
Let w be -1 + 1/((-4)/9). Let p = 7577 - 7578. Are w and p non-equal?
True
Let c be 4/12*(1 - -2) - -1. Suppose -s = -0*k + 3*k + 42, -c*s - 79 = 5*k. Is s at most as big as -27?
True
Suppose 0 = 2*y - 4*l - 4, 2*y + l + 0*l - 19 = 0. Let d = -14 - -22. Suppose -t + 15 = d. Is t at most as big as y?
True
Suppose l - 6*h + 3*h = 12, 0 = h - 1. Suppose -5*b = 25 + l. Is b bigger than -8?
False
Let a = 3.117 + -2.337. Are a and -1 equal?
False
Suppose 5 = -2*n - 3*p, 16 = 3*n - 2*p - 9. Let i be 12/(n - 8) + 4. Which is smaller: i or 5/28?
i
Suppose 69 = -19*o + 259. Suppose -7*k + k = -54. Which is smaller: k or o?
k
Let f(o) = -4*o - 41. Let z be f(-14). Let y(c) = 21*c + 3. Let m(s) = 5*s + 1. Let b(j) = 9*m(j) - 2*y(j). Let r be b(4). Do r and z have the same value?
True
Let n be (6 - -37)*(-7)/245 - (-4)/(-7). Let k = -5 + -1. Let o be (-3 + 2)*k/(-3). Which is bigger: o or n?
n
Suppose -5*h - 25 = 0, -4*g - 2*h + 1 = h. Suppose d = -2*a - g, 3*d - 3*a - 28 = -a. Is 3 less than or equal to d?
True
Let g = -14525/4 + 3631. Let w be (-1)/(-5) - (-44)/(-20). Let m = w + 3. Is m greater than g?
True
Let u be -16 + (3 - (2 + 2)). Let f = u - -18. Let c = 439/1128 + -2/141. Is f smaller than c?
False
Let a be ((-8)/(-1))/(-2) + 4. Suppose -2*d + 0 - 2 = a. Let i = -363 + 11255/31. Is d < i?
True
Let y = 41 - 36. Suppose -23 = -y*o - 43. Is o less than -3?
True
Suppose 5*u + 1 = 11. Suppose 2*g - 3*g + u = 3*f, 4*f + 4 = 0. Let t(x) = -x - 4. Let p be t(g). Is -1 at most p?
False
Let d = 125 + -121. Which is smaller: d or 0.1?
0.1
Let c = -41 - -45. Let o = 26 + c. Which is smaller: 2/3 or o?
2/3
Suppose -4 = 4*l + 12. Let h be l/6 - 34/(-6). Suppose 21115*g = 20987*g + 896. Which is smaller: h or g?
h
Suppose -3*k = -4*p + 13, -3*p + 0*p + 3*k = -9. Let o = -5 - -8. Suppose -o*h = 2*h - u, 16 = 4*h - p*u. Which is smaller: h or -2/11?
h
Let m = -0.1 + 0. Let x = 2.9 - -6.8. Let f = 9.76 - x. Is m less than f?
True
Let d = 179 - 3032/17. Which is smaller: 2 or d?
d
Suppose -1 = 6*a - 3*a - n, 0 = 5*a + 4*n - 21. Which is smaller: a or 1/17?
1/17
Suppose 11*y - 13*y = -6. Is 0.23 bigger than y?
False
Let z be 725/15 + 2 - -5. Is z less than 55?
False
Let h = -23.86 - -24. Let r = h - 0.12. Let p = r + -0.12. Which is smaller: p or -0.03?
p
Let i = -5.06 + 0.06. Let q = i + -3. Let a = q - -13. Is a at most -1?
False
Let w = 55559/11 - 5065. Let l = -391/33 - w. Let g(q) = -2*q**2 + 2*q. Let d be g(0). Is l at least as big as d?
True
Suppose -6*y + 5*y + h = -211, 3*h = 5*y - 1061. Is y equal to 213?
False
Let r(v) = -v**3 + 15*v**2 + 17*v - 32. Let t be r(16). Let z(a) = -a**3 - 15*a**2 + 14*a - 34. Let j be z(t). Is -3 at least as big as j?
False
Let b be 32/110*-3 - 78/(-130). Which is smaller: b or 0?
b
Let t = -107 + -33. Let c = 129.3 + t. Let j = 11 + c. Which is greater: j or 0.2?
j
Let x = 6 + -6. Suppose -10 = -b + 2*h, x*b + 3*b + h = -5. Let s = -5 + 5.3. Is b <= s?
True
Suppose 303 = -14*i - 33. Is i at most as big as -21?
True
Suppose 0 = 5*y + 8*y - 13. Which is bigger: -1/413 or y?
y
Let k = -2894/1015 - -86/29. Which is smaller: 2 or k?
k
Suppose 12 - 6 = 6*m. Which is greater: -2/231 or m?
m
Let i(b) = -b**3 + 44*b**2 + 72*b - 181. Let c be i(46). Which is smaller: c or -1102?
-1102
Let w(v) = -v**3 + 9*v**2 + 74*v - 6. Let n be w(12). Which is greater: 452 or n?
452
Let p = -12.89 + 315.89. Is 0 at most p?
True
Let c be -3 + -14 + 23 + (-25)/4. Let o = 0.08 + 0.02. Is c greater than or equal to o?
False
Let x = 7 - -9. Let u = 12 - x. Let c be (0/(-1))/u - -2. Do 4/7 and c have the same value?
False
Let j be (-2 + (-5)/(-4))/((-67746)/(-112)). Which is greater: 0 or j?
0
Let s(d) = d**2 - 5 - 6*d + 4*d + 0*d**2 - 3*d. Let z be s(6). Suppose 4*r - 5*p + 16 = 0, -1 = 2*r - p + z. Does r = 11?
False
Suppose -9*h = -4*s - 5*h - 16, -4*s = 5*h - 11. Let w = -6 + 10. Suppose 9*t = w*t - 2*o - 1, -5*t - o = 3. Is t at least s?
True
Let l be 2/(-2) + 2 + 6. Let j(t) = -t**2 + 7*t + 2. Let n be j(l). Suppose 3*i - y + 3 = -n*i, 3*i - 5*y - 7 = 0. Which is bigger: i or 1/4?
1/4
Let p = -42.5 - -38.39. Let f = p - -4. Let c = f + 0.11. Do c and 1 have the same value?
False
Suppose 9*b - 87 = 174. Is 30 >= b?
True
Let l be 567/(-553) - (1 - 2). Let k = 60 + -59. Is k < l?
False
Let m be (12/(-6) + 2)/(-3 + 1). Are 6/107 and m nonequal?
True
Let l = 3 + -5. Let p = 102 + -167. Let c = p - -58. Which is smaller: l or c?
c
Let l = 0.2 + 0.1. Let s = -593 - -598. Which is smaller: l or s?
l
Let v = 8512/23 - 370. Which is smaller: 1 or v?
v
Let l = 323 + -359. Which is bigger: l or -35?
-35
Let z = 177291091/47 + -3771938. Let c = 213 - z. Let o = 76/141 + c. Is 2 equal to o?
False
Let a = -0.9 - -0.7. Suppose 5*n + 2*i = -9, -3*i - 5 = 2*n - 3*n. Is a >= n?
True
Let p = -103 - -103. Which is smaller: p or 8?
p
Let j be 36/48 + 45/(-92). Is j equal to 1?
False
Let t(i) = i**3 + 4*i**2 - 3*i + 11. Let w be t(-5). Let b(j) = j**2 - j + 2. Let r be b(2). Suppose -10 - 1 = v + 5*h, h = -r*v - 6. Is v at least w?
False
Let k(j) = j + 4. Let z be k(-12). Let m be (243/30 + -3)*z/(-6). Is m greater than or equal to 8?
False
Suppose 4*u = -4*c - 84, -120 = u + 3*u - 5*c. Let i = -23 - u. Suppose 10*v + i = 8*v. Which is smaller: v or -1/23?
v
Let h be 772/(-122) - (-10 - -4). Which is greater: 1 or h?
1
Suppose 3*t = -t + 20. Suppose 0 = t*n - 5. Let w be (-3)/2*(-164)/123. Is n bigger than w?
False
Let a = -155/22 + 6575/902. Is 1 greater than or equal to a?
True
Let u(k) = -2*k - 2. Let r be u(-9). Suppose 0 = p - 11 + r. Let d be (0 - p)/((-11)/11). Is d <= -11/2?
False
Let b = 1282 - 1281. Is 3/10 >= b?
False
Let a = 4.3 + 0.5. Let m = a + -4.83. Which is bigger: m or 1?
1
Suppose -f - 5*h + 27 = 0, 3*f - 5*h = -14 - 5. Let v = -8/3 + f. Which is greater: -2 or v?
v
Suppose 22*m = 56 + 1550. Which is smaller: -2 or m?
-2
Let f be 3/(3*2/12). Suppose 5*o = -u + f*u, 3*u = 9. Which is smaller: o or 5/3?
5/3
Let k = 2.148 - 2.128. Is -4.3 < k?
True
Let h = 248 - 1238/5. Which is smaller: -319 or h?
-319
Suppose -135 = 54*b - 55*b. Suppose 0 = 4*l - 5*u - b, -5*u + 19 + 126 = 3*l. Is l less than 39?
False
Let y be (-8)/(-34)*2703/954. Let w(o) = -o - 5. Let q = 7 + -11. Let h be w(q). W