6. Let d = -2.94 + 3. Let o = d + b. Is -2 at most as big as o?
True
Let b = 0 - 0.05. Let f = b - 0.05. Let t = -0.1 + 0. Is t greater than or equal to f?
True
Let h = 113 + -142. Which is smaller: h or -27?
h
Let m(p) = p**3 + 7*p**2 + p - 6. Let d be m(-7). Let i = -10 - d. Suppose -1 = b + i. Is b at most -0.1?
True
Let h = 0.2 + 0.8. Let s be (-2)/(-2) + (-4607)/(-15). Let m = 308 - s. Which is smaller: m or h?
m
Let j = 61 + -68. Let y be ((-4)/(-5))/((-1)/10). Which is bigger: j or y?
j
Let h be (-4)/(-16) + 2/(-8). Let o be h - 2 - (2 + -3). Let s(b) = b**2 + 6*b + 1. Let d be s(-6). Is o < d?
True
Let i = -202.01 - -202. Is i greater than -9?
True
Suppose 6*v = -55 - 17. Which is smaller: -14 or v?
-14
Let v = 5 + -4. Let l = 1 + v. Is 3 smaller than l?
False
Let g(s) = s**2 - 17*s + 13. Let l be g(10). Is -56 < l?
False
Let l = -8 - -3. Suppose 3*f = -2*f. Are f and l nonequal?
True
Suppose -39*c = -38*c - 2. Which is smaller: c or 10/7?
10/7
Let g = -25 + 26. Is -2/9 less than or equal to g?
True
Let x be -6*2*9/(-12). Let f be x/(-3) - (1 - 1). Let d(r) = r - 12. Let o be d(13). Which is smaller: f or o?
f
Let l(p) = 4*p**2 + 2*p - 1. Let u be l(1). Let o = u + -3. Let k be 2/(-8) - (-4 + 4). Is o > k?
True
Let q(v) = v**2 + 4*v - 1. Let g be q(-4). Let u be 2/(-1)*1/9. Do g and u have different values?
True
Let m = -1 - -1.5. Let c = -0.3 + m. Let z be 1 + 39/(-36) + (-6)/(-18). Is z less than c?
False
Suppose 12*n = 5*n - 35. Which is bigger: n or -10?
n
Suppose 0*y = -3*y + 6. Suppose 3*w - 1 = 2*w, -3*f + y = -4*w. Which is bigger: 0 or f?
f
Let y = 6 - 4. Suppose -l + a = 2*a + 11, 0 = -l - y*a - 10. Which is smaller: l or -11?
l
Let y = 2 - 1. Let g be (-1*y)/((-1)/2). Suppose -8 = -2*n - g*n. Is n bigger than 1?
True
Let x(h) = -h**2 + 3*h**2 - 3*h**2 - 3 - 6*h. Let w be x(-6). Let n = -6 - -4. Is w at most as big as n?
True
Let d = -0.44 + 0.74. Which is smaller: d or -0.01?
-0.01
Suppose -3*s - 14 = -s. Which is greater: s or -3?
-3
Suppose u + 3*u - 16 = 0, 0 = 5*k - 5*u + 15. Is k >= -1/4?
True
Suppose a - 3*a - 12 = -3*h, 0 = -3*a - 2*h + 8. Which is greater: a or -0.4?
a
Let a(n) = n**2 - 2*n - 5. Let r be a(4). Suppose l + r = -0. Which is smaller: l or -2?
l
Let y be (-5 + -1)/(12/(-16)). Let b = y + -4. Is b > 3?
True
Let d = -3.1 + 3. Let t = 0.2 - 2.2. Let w = t + 1.8. Which is greater: w or d?
d
Suppose -6*z + o = -3*z - 636, 0 = 2*z - 5*o - 424. Let x = z + -1487/7. Which is bigger: x or 1?
1
Let h(a) = -a - 4. Let n be h(8). Is n smaller than -12?
False
Let z(s) = -s**2 + 2*s + 5. Let x be z(4). Which is smaller: x or -0.1?
x
Let d = 132.1 - 139. Let t = d + 7. Which is greater: t or -3?
t
Let a = -2.9 - 1.1. Let c be (2/15)/((-4)/(20/(-3))). Is a < c?
True
Suppose 4*u = -4*t - 0*t, u = 2*t. Let l be ((-1)/3 - u)*2. Is 0 >= l?
True
Let s = 206 + -2252/11. Let g = 92/55 - s. Does 0 = g?
False
Let v(y) = y**3 - 5*y**2 + 3*y - 3. Let p be v(5). Suppose -3*i - 4*k + k + p = 0, -2*i + 2*k - 12 = 0. Which is bigger: i or 1?
1
Suppose 5*s = 2 + 18. Let x be (14/s)/((-3)/(-6)). Suppose 0 = f - 0 + x. Which is smaller: -6 or f?
f
Let y be 45/(-25)*(-3)/45. Which is bigger: 1 or y?
1
Let q = -13 + 18. Suppose 4*h = -q*k, 1 - 9 = 4*h + 3*k. Does h = -5?
True
Let a be (4/(-4))/(5/(-2)). Let z = a + -7/30. Which is smaller: z or -1?
-1
Let b = -232/9 - -26. Suppose -p + 2*p + 1 = 0. Which is greater: p or b?
b
Let i(f) = f**3 + 6*f**2 + 10*f + 8. Let y be i(-4). Which is smaller: y or -2?
-2
Let w = 244228/2279 + 3857795627/68370. Let v = 56539 - w. Let j = 37/6 - v. Which is greater: j or 0?
0
Let u(r) = r**2 + 12*r - 15. Let m be u(-13). Which is smaller: m or -8?
-8
Let z = 162 - 156.85. Let l = -0.15 + z. Is 1 <= l?
True
Suppose -5*o = -3*w + 153, 0*o - 2*w - 58 = 2*o. Let h be 6/5*o/(-9). Which is smaller: 13/5 or h?
13/5
Let b(s) = -s + 1. Let k(n) = -n**2 - 8*n + 8. Let x(z) = 4*b(z) - k(z). Let t be x(-5). Let c = 1/30 - -73/60. Is t at least c?
False
Let i be -12*((-2)/4 + -3). Suppose 0 = -5*l - i + 12. Do l and -7 have the same value?
False
Suppose -5*f + 26 = 81. Which is greater: f or -29/3?
-29/3
Let n = -10 - -9. Let z be (1 - (-3 + 3))*-1. Is n smaller than z?
False
Let i = -87 - -91. Are 0.3 and i unequal?
True
Let v = 15 - 21. Let w(l) = -l**2 + 13*l. Let o be w(13). Suppose q + o*t = 2*t - 7, -4*q = -t + 21. Is v > q?
False
Let w(s) = -8*s - 3*s - s**3 - 3 + 2 + 0 - 12*s**2. Let n be w(-11). Is -2/17 smaller than n?
False
Let k(r) = 5*r + 11. Let l be k(5). Do 37 and l have the same value?
False
Let n be (-4)/(-6) - 112/48. Is -2 greater than or equal to n?
False
Let o = 15 - 14.993. Let s = o - -2.083. Let x = 0.09 - s. Which is smaller: 5 or x?
x
Suppose 5*l + k + 32 = 5, 0 = -3*k + 9. Let c be 4/16 - l/8. Are c and 0.1 equal?
False
Let g = -13 - -7. Let d = g - -8. Which is smaller: -0.3 or d?
-0.3
Let u = 822407/22515 + -3531/95. Let n = 2/79 - u. Which is smaller: -5 or n?
-5
Let t = -20 + 18. Is t greater than or equal to -3?
True
Let u = 13 + -8. Suppose 3*c + 11 = 4*m - 3*m, -4*m = u*c + 7. Let q be 7/3 - m/6. Is q bigger than 2?
False
Suppose 3*o + 5 = -7, -3*q - 2 = 2*o. Suppose 3*g + g + 20 = q*l, 2*g = -4*l + 50. Let x be (-3)/6*l/(-2). Are 3 and x nonequal?
False
Let m = -34 + 9. Is -0.1 at least as big as m?
True
Suppose -3*j = -j + 2. Suppose 2*p - 170 = 4*w, -5*w - 279 = -5*p - 64. Let d be 3*-1*(-4)/w. Is j >= d?
False
Let v = -1.48 - -0.48. Which is smaller: v or 4/7?
v
Let n = 58.9 + -59. Does 3/7 = n?
False
Let k(v) = 0 - 1 + 2*v - 3*v. Let x be k(-1). Let t = 1 - 2. Which is smaller: x or t?
t
Let h be (4 + (-18)/4)*-2. Is h <= 3?
True
Let c be 18/20 - 8/16. Which is greater: 5 or c?
5
Let r be 2 - 5 - (-25)/8. Is r <= 2/7?
True
Suppose -3*w = 2*m - 30, 5*m = -4*w + 5*w + 75. Suppose j - 2*j + m = -5*q, -4*j - q - 3 = 0. Is 1/4 smaller than j?
False
Let i = 19 - 26. Is -5 less than i?
False
Suppose -2*v + 6*v = -12, 0 = -5*g + 3*v + 534. Let o be (-14)/g - 1/5. Does o = -1?
False
Let z be (2 + -3 - 0) + -3. Let l = z - -5. Which is smaller: l or 3/8?
3/8
Let m = -53 - -55. Which is smaller: 6/7 or m?
6/7
Let h = 123014/5695 + -2/5695. Let z = -43/2 + h. Which is smaller: 0 or z?
0
Let f = 19/17 + -1290/1139. Is 1 less than or equal to f?
False
Suppose -5 + 1 = 4*a. Let r be (-7 - -3) + 2 - a. Is -2/25 bigger than r?
True
Let y(a) = a**3 + 6*a**2 - a - 6. Let t be y(-6). Suppose 3*p - 2*i = 0, -3*i = 2*p - 5*p. Is p <= t?
True
Let d be (2/(-4))/((-1)/4). Suppose 2*u + 3*u = -3*f - 15, 2*f - 6 = 2*u. Let q be ((-9)/12)/(u/d). Which is smaller: 1/3 or q?
1/3
Let h be (-10)/(-15) - (0 - 0). Which is greater: -5/4 or h?
h
Suppose -3*v + 0*v = 6. Let q be 32/6 - v/(-6). Which is greater: 4 or q?
q
Let x(y) = 2*y - 1. Suppose -2*r = -5*r + 3. Let k be x(r). Let s be k/(-28) + (-2)/(-7). Is s equal to 1?
False
Let z = 8 - 5. Let u be 15/(-6)*(-28)/(-385). Which is bigger: u or z?
z
Let g be 14/2 + 5 + -2. Is g smaller than 9?
False
Let v be -2*((-2)/(-4) + -1). Let b be 2 - 0 - 3 - v. Let a be 2*((-2)/4 + -1). Does b = a?
False
Let o be (42/28)/((-11)/(-6)). Is 0 equal to o?
False
Let g = -16/21 + 3/7. Is g != 7?
True
Suppose 3 = -2*v + 17. Let k(s) = 2*s - 7. Let g be k(v). Is g at most as big as 6?
False
Let y be (-24)/176*6064/6. Let s = y - -138. Which is bigger: s or 0.1?
s
Let v = 8 - 5. Let p = v + -5. Which is smaller: 2/3 or p?
p
Let d = -433 + 2164/5. Suppose -s + 1 = 2. Which is smaller: s or d?
s
Let w be -1 + -1 - (-38)/9. Is 2 smaller than w?
True
Let h = -0.6 + -0.4. Let a = -2.3 + 0.3. Let k = 2.1 + a. Is h at least k?
False
Suppose 0 = -2*z - 6. Which is bigger: z or -4?
z
Suppose -r - 1 = d, -5*d + 5*r - 9 - 6 = 0. Let t be (2/(-12))/((-1)/d). Let g = 172 - 172. Is g greater than or equal to t?
True
Let g = 882/11 - 80. Let l be 1*0*1/3. Let u(k) = -k**2 + k. Let y be u(l). Is g smaller than y?
False
Let d = -109/22 - -5. Do 1 and d have the same value?
False
Suppose 4*u + 9 + 19 = 0. Is -6 bigger than u?
True
Let t be ((-6)/(-12))/((-7)/(-2)). Let w = 0.4 - 1.4. Is w at least t?
False
Let u = 0.4 + -0.3. Let f = 0 - u. Is 2/21 equal to f?
False
Let c be (-2)/(-2)*(-6)/(-30). Is -5 < c?
True
Suppose 0*w + 24 = -4*w. Is w at most 0?
True
Let c = 12418998/55 - 225789. Let