6. Is t less than -139?
False
Let q = 4.8 - 0.8. Let n = -117 - -124. Suppose 0 = -4*w - 16, -3*v = -n*v - 3*w - 28. Which is greater: q or v?
q
Suppose 3*p = -3*d - 2*p + 123, -123 = -3*d - 2*p. Suppose 7*j - d = -6. Suppose -8*l - 6 + 14 = 0. Which is smaller: l or j?
l
Let c = 502/505 + -45359437/28280. Let o = 1603 + c. Is o equal to 1?
False
Suppose -4*y + 0 = -l - 12, 0 = 3*y + l - 2. Is y at least as big as 26/25?
True
Let o(d) = -d - 11. Let l be o(-15). Suppose l*c - 4*s = -120, 18 = -2*c + c - 2*s. Is c smaller than -25?
True
Let h be ((-258)/(-12))/(3/6). Let a(m) = 3*m**2 - 13*m - 4. Let r be a(6). Let d = r - h. Is d < -17?
False
Let u = 49 - 56. Let w(n) = -n**2 + 5*n - 4. Let l = 7 + -3. Let z be w(l). Is u at most as big as z?
True
Let f be (3 - 3) + (-55)/(-528). Is f less than or equal to -1?
False
Suppose -2*b = 4*t + 15520, -2*b = -4*t - 9197 - 6331. Let g = 562743/145 + t. Let d = g + 2473/580. Which is greater: d or 5?
5
Suppose -8*q + 7*q - 11 = 0. Let u be 6/(-12) - (-17)/(-2). Let c = u - 0. Do c and q have the same value?
False
Let t = -13 + 29. Let z = -15.83 + t. Let k = -1.47 + z. Which is bigger: k or -0.1?
-0.1
Let v = 0.43 - 0.24. Let q = v + -3.19. Is -11 less than or equal to q?
True
Let z = 0.07 + 1.93. Let k be (439/3)/(99/54). Let b = -80 + k. Is z bigger than b?
True
Let z be (-8)/14*38/(-16). Let a = -6/7 + z. Which is smaller: a or 1?
a
Let s be (-10)/(-124)*84/15. Which is greater: s or -1?
s
Let y = 20 - 81. Let a = 60 + y. Is a smaller than 4/5?
True
Let b be 6 - (-2510)/12*9/(-60). Which is smaller: -26 or b?
-26
Let t be ((-2)/6)/(4/(-3)). Suppose 10*c - 7*c - 12 = 0. Suppose -8*i = -c*i + 44. Is i greater than or equal to t?
False
Let p(u) = -u**3 - 4*u**2 - 2*u - 5. Let k be p(-4). Suppose 5*y = k*v - 14, -2*v = 3*y - v. Let t = 134 + -398/3. Which is smaller: y or t?
y
Let z(i) = -5*i + 82. Let g be z(15). Suppose 3*o + 2*k = 13, -14 = o - 3*o + 4*k. Which is bigger: g or o?
g
Let z = -49/208 + 16477/72592. Let u = z + -1622/14309. Do u and 0 have the same value?
False
Let k be 0 + 1 - (3 - 4). Suppose k*z = 4*z - 8. Suppose z*u - 63 = -3. Which is smaller: 17 or u?
u
Suppose 2*d + h = 1, -2*d - 2*h - 8 = 2*h. Let x = 133 - 130. Suppose d*c - 3*b = -3, 4*b = b - x. Which is smaller: c or -13/4?
-13/4
Let w = 2321/16 + -145. Let k(j) = -4*j + 49 + 31 + 9*j - 15. Let i be k(-13). Is i at most w?
True
Let n be -4 - ((-78)/18)/1. Which is greater: 8/43 or n?
n
Let m be (150/18 - -6)/((-1)/11). Let l = 159 + m. Which is smaller: -1 or l?
-1
Let t(s) = -2*s - 46. Let q be t(-28). Let n(u) = -u**3 + 11*u**2 - 11*u + 11. Let y be n(q). Let h = 20 + -182/9. Do h and y have different values?
True
Let w = 284.99 + -285. Is w less than -5?
False
Let c be (4 - (-19)/(-5)) + (-193)/(-10). Let m = c + -134/7. Which is smaller: m or 1?
m
Let h(r) = -r - 2. Let z be h(-11). Suppose 3*m = -4*v + 32, -47 = -2*v + 4*m - z. Is v bigger than 11?
False
Suppose -3*w + 20 = j - 0*w, 139 = 5*j + 2*w. Suppose -j*p = -36*p + 168. Are p and 24 nonequal?
False
Let h = 226 - 215.6. Let a = -9.9 + h. Let i = -0.2 + 0. Which is bigger: a or i?
a
Let u = 1731 + -1744.31. Let o = u + 0.31. Let y = -243.97 + 241.97. Which is smaller: y or o?
o
Suppose -4 = -o - 1. Suppose -5*z - n = 7, 2*n - 5 = -5*z - o*n. Which is bigger: -13/8 or z?
-13/8
Suppose -31*r + 226 = 970. Do -22 and r have different values?
True
Suppose 0 = 4*f - 24 + 56. Let j be 117/(-6)*f/(-12). Is j greater than -13?
False
Let n = 15 - 11. Let v = 384 + -384. Suppose 5*d + t + n = v, 7*t = -5*d + 2*t. Which is smaller: d or 9?
d
Let u be 6/(-9) + (-124)/(-186). Let c = 8423/24 - 351. Is c at most as big as u?
True
Let z = 18 + -10. Suppose -5*c - 3*f + z*f = -160, 4*c - 132 = 3*f. Let d = c - 34. Which is smaller: d or 10/3?
d
Let i be (-2)/(-7) + 26/7*1. Suppose i*o = -5*o - 9. Let z(j) = j + 1. Let r be z(-3). Which is smaller: r or o?
r
Let i = -114 - -114.2. Do -40.8 and i have the same value?
False
Let v(a) = -6*a + 5. Let d be v(0). Suppose -4*g + d*f + 10 = 0, g + f = 6*f + 10. Is -3/53 smaller than g?
True
Let j = -124 - -124. Does 2/225 = j?
False
Let f = 74.2 - 73.952. Which is greater: -1 or f?
f
Let q = 33.6 + -101.8. Let k = q + 67. Let l be (16/(-6) - -2)/(-2). Are l and k unequal?
True
Let s = 0 - -12. Let x = -17 - -3. Let i = s + x. Which is smaller: 1 or i?
i
Suppose -2*k + 190 - 8 = 0. Let t = k - 92. Which is greater: t or 25/4?
25/4
Let z(d) = 7*d - 3. Let v be z(5). Suppose -376 = 5*y - 4*f, -y - 40 - 12 = 5*f. Let c be v/6*(-6)/y. Is c not equal to 0?
True
Suppose 5*t + 3*z = -601, -t - 113 = -0*t + 3*z. Suppose 4817 = -100*x - 439 - 6944. Is x at most t?
True
Let j = 2/123 + 302/1599. Let g = j + -193/1131. Which is bigger: 1 or g?
1
Let u be (-3*(-14)/1701)/(3/(-63)). Does u = 0?
False
Let j = 0.01 + -5.01. Let s = -5 - j. Let b = 0.1 + 0. Is b > s?
True
Let u be (1 - 1)/(-1 - 2). Suppose 5*i + 39 = 2*i. Let y be (14 + i)/((-66)/4). Is y > u?
False
Let g = -26453 - -21717910/821. Is 1 >= g?
True
Let v(w) = w**2 - 2*w + 6. Let n be v(4). Let f(k) = k**3 - 8*k**2 - 22*k + 35. Let a be f(10). Is a greater than n?
True
Let q(l) = 0*l - 5 + l**2 + l + 3*l. Let f be q(-5). Suppose -h + 81 = 83. Which is smaller: f or h?
h
Suppose -3 = -0*q - 3*q. Suppose -5 = -n + q. Suppose 5*d - 16 = -4*m + d, m = d - n. Is 2 bigger than m?
True
Let f = 253 - 1511/6. Let h = f - 11/12. Let v(n) = n**3 + 4*n**2 + 5*n + 3. Let i be v(-2). Which is smaller: h or i?
h
Let y = 1303 - 1282. Is 6 < y?
True
Let x = 177 - 24248/137. Is -4 at most x?
True
Let v = 251.9527 + 0.0473. Let c = v - 264.1. Let k = c - -12. Is -3 > k?
False
Let x = 1693.13 - 1682. Let u = -0.13 + x. Let g = u - 11. Is -1/13 at most g?
True
Let v = 596 - 597. Which is smaller: 11 or v?
v
Let o be (-99)/9 + -2*(-3)/2. Let x = -191.2 - -177. Let j = -14 - x. Do o and j have different values?
True
Let c(n) = -29*n + 1. Let k be c(1). Suppose -5*y - 4*l = -61 + 215, 2*y + 4*l = -76. Is y smaller than k?
False
Let q be (-3)/(-6) + 106/(-28) + 3. Let r = -8.6 + -0.4. Let t = r + 0. Is q not equal to t?
True
Let y be ((-315)/6)/(24/6). Which is smaller: -13 or y?
y
Let r = 58 + -57.21. Let z = r - -0.21. Which is smaller: -0.06 or z?
-0.06
Suppose 8*w = 4*w + 16. Suppose 5 = w*k - 3. Let n be (-5)/5 + 1 - -3. Which is bigger: k or n?
n
Suppose 42*q = 10 + 32. Which is greater: 0 or q?
q
Let l = 1695 + -35603/21. Let i = -10/63 - l. Let p be ((-14)/(-10)*28/49)/2. Is i greater than or equal to p?
False
Suppose -26*s = -7365 + 7001. Let d(b) = 8*b + 1. Let u be d(-3). Let x = u - -38. Which is greater: s or x?
x
Let a = -33.1 + 33. Which is smaller: a or -198?
-198
Let c = -1 + 2. Let h be 4/8 - (-33)/(-156). Let k = h - -6/13. Which is smaller: k or c?
k
Suppose -5*g + 2*g = -d + 124, 2*g = -4*d - 64. Let a = -57 - g. Let l = -18 - a. Is l smaller than -3?
False
Let l = 113 + -247. Let b = -147 - l. Is 2 less than or equal to b?
False
Let n be (-2)/10 - (-29)/145. Is 1/298 less than n?
False
Let f = -297 + 260. Which is greater: f or -4?
-4
Suppose 0 = -4*y - 0*y + 4*t, -28 = -2*y - 5*t. Suppose q + y = r, -2*r + 0*q = 2*q. Let l(s) = s**3 - 5*s**2 - 6*s + 2. Let n be l(6). Is n <= r?
True
Let z = 38 - 35. Let k be 6/(1*z/(-3)) + -3. Does -9 = k?
True
Suppose -u = 3*p - 29 - 28, 4*u + 2*p - 258 = 0. Which is bigger: u or 329/5?
u
Suppose 26*z - z - 3650 = 0. Which is bigger: z or 2?
z
Suppose 9*i = 6*i. Suppose 3 = 7*t - 10*t. Let h be (-2)/(t + 9) - 0. Are i and h non-equal?
True
Let f = 428/189 + -38/27. Let d = f + -4/7. Let l = -0.78 - -7.78. Which is smaller: l or d?
d
Let h be -6*(4 + 33/(-9)). Let j be 20/(-4)*(-42)/15. Let k be (8/j)/((-13)/26). Is k greater than h?
True
Let j be 2*-4*2/(-4). Suppose s - 3*y = -s - 8, y = j. Let q = -491 + 491.5. Is q bigger than s?
False
Let g(n) = 3*n**3 + 2*n - 1. Let k be g(1). Suppose -2*h + 8 = s, 5*s + 9 + 7 = k*h. Does 2/3 = s?
False
Let b(q) = q**3 - 12*q**2 + 20*q + 4. Let k be b(10). Suppose k = 5*r + 3*m - 27, -3*r + 30 = -2*m. Which is smaller: r or 1?
1
Let p(a) = a**3 + 5*a**2 - 14*a. Let z be p(-7). Which is smaller: -2/45 or z?
-2/45
Let q = -10 + 10.8. Let i = -44 - -44.9. Let y = q - i. Which is smaller: y or 2/15?
y
Suppose 0 = 2*x + 3*l