6. Let l = 0.8069 + -21.8069. Is t > l?
True
Let a = 0.441 + 0.037. Let q = 0.378 - a. Is -1/329 equal to q?
False
Let r be (4 - (-44)/(-8))/((-3)/82). Suppose 3*m = -0*m + 9. Let q be 40 + m/3 + 0. Do q and r have the same value?
True
Suppose -i - 4*w + 25 = 0, w = -4 + 1. Suppose 840*d - 1277*d + 16169 = 0. Is d greater than i?
False
Suppose -34 = q + 3*z, -4*q + 2*z = -8*q - 116. Let a(o) = -3*o - 91. Let d be a(q). Is -15/2 > d?
False
Let v be (-9862)/14 + 8/(1 + 3). Let j = -5165/7 - v. Does -35 = j?
False
Let x = 2.5367 + -0.0117. Let j = x + 0.475. Which is smaller: j or -0.5?
-0.5
Suppose -42 = -2*v + 2*j, -3*v + 5*j = -0*j - 57. Let z be 38/(-12) + (-20)/v. Are z and -4 nonequal?
False
Let p be (1039/130 - 8)*(-2)/4. Suppose b + 3*f + 9 = 0, -3*f = b - 3*b + 9. Is b >= p?
False
Suppose -21*i + 10*i = 81554. Let t = -81618/11 - i. Which is bigger: -5 or t?
-5
Let r = -6/167 - 6220/3507. Let j(g) = g**2 - 2025*g + 106433. Let l be j(54). Are r and l equal?
False
Let d be (-357)/30 - (-195)/15. Is d > 1/11?
True
Let r be (2/(-4))/((-2)/68). Let f be r + (-3 - -3 - (5 - 8)). Which is greater: 21 or f?
21
Suppose -18 = 5*s - 4*g, -3*g + 10 = s - 3*s. Suppose -26*w - 1416 = -22*w. Let h be (w/105 - s)/(4/(-14)). Is h bigger than 4?
True
Let a = -139.181 + 5.181. Are 0.01 and a unequal?
True
Let v = 3148 - 3147.31. Which is bigger: v or -20?
v
Let y = -21.06 - -21. Let p = 0.46 + y. Suppose 2*x - d = 9, -d + 22 = 3*x - 4. Is x >= p?
True
Suppose -24*g = -23*g + 8. Let p be (15/(-6)*4)/(g/4). Suppose u - 3*l + 9 = 0, -l = p*u - 4*l + 9. Which is greater: u or 4/71?
4/71
Suppose -3*o - q - 103 = 535, -8 = -2*q. Is o greater than or equal to -219?
True
Let x = 3392/35175 + -2/1675. Let v = 0.59 - 10.59. Is x at most as big as v?
False
Suppose 0 = -d - 4*d. Suppose -3*y - 5*j = 419, -5*y - j - 275 = 394. Let x = -136 - y. Is x >= d?
False
Suppose -303*a = -301*a + 72. Let l(h) = 2*h + 75. Let m be l(a). Is m greater than 35?
False
Suppose 54*h - 53162 + 10557 - 13879 = 0. Is h less than 5236/5?
True
Let b = 77 + -198. Let w = -121.45 - b. Is 1 > w?
True
Suppose -809 - 4498 = 134*n - 47*n. Which is bigger: n or -58?
-58
Let k = -719.06 + 719. Let x be (-4 + 3 + -2)/(-1 + 2). Which is smaller: k or x?
x
Let p be (0 - -4)/(58/(-82534)). Is p at most as big as -5695?
False
Suppose -498 = 4*a - 2*c - 342, -3*c = 0. Are a and -22 non-equal?
True
Let c = 730.24 - 765. Do 1 and c have different values?
True
Let o = 23795/9 - 2645. Let i = 21 - 25. Is i at most as big as o?
True
Suppose 21*f - 2984 = 29*f. Let m = 362 + f. Is m less than or equal to -94/9?
True
Let a(k) = -67*k**3 - 2*k**2 + 3*k - 2. Suppose -5*s + z + 4 = 3, 4*s + 12 = 4*z. Let r be a(s). Let y be r/(-6)*(-9)/15. Is -6 not equal to y?
True
Let h(p) = -4*p**3 + 6*p**2 - 3*p. Let n be h(2). Let u be (-81)/n + (33/6)/11. Is u at most 6?
False
Let p = -61.0553 + 0.0553. Let w(a) = -17*a - 221. Let s be w(-13). Is p at least as big as s?
False
Let d be ((-5126)/44 + 3)/((-3)/2). Let l = d + -1588/21. Suppose -4*w + 8 = -3*i - 3*w, 0 = 3*i - 2*w + 13. Are i and l equal?
False
Suppose -202*d + 2 - 2 = 36*d. Is -76/189 >= d?
False
Let y be (44 - 7960/180) + 709*2/(-18). Which is greater: -545/7 or y?
-545/7
Let p = -1907382/95 - -20078. Are p and 1 non-equal?
True
Suppose 0 = 3*n + 2*s - 261 - 13, 4*s = 8. Let d = n + -97. Is -29/4 bigger than d?
False
Suppose 2170 - 8806 = -42*o. Suppose 24*v - 26*v = o. Is -80 greater than or equal to v?
False
Suppose 31*t = 21*t - 510. Let x = t - -48. Is -5 >= x?
False
Let j be (-25177)/34 + (3/2)/3. Let n = 21458/29 + j. Let z = -0.13 + 2.13. Which is smaller: n or z?
n
Let f = -97 - -95. Let u(w) = -6*w**2 - 86*w - 99. Let s(z) = z**2 + 17*z + 20. Let g(x) = f*u(x) - 11*s(x). Let i be g(15). Is i != -21?
True
Let h = 2708 + -2710. Which is smaller: 2809 or h?
h
Let g = -0.005 + 23.005. Let b = g - 44. Let o = -19.5 - b. Is 0 equal to o?
False
Let y be 37 + -33 - (2 - 0). Let h be (-15)/9 - y/6. Is h <= -5/8?
True
Let c = 2781.588 - 6.588. Let w = -2823.16 + c. Let j = -48 - w. Is j > 1?
False
Suppose l - 4 = -f, -5*l = -2*l + 5*f - 22. Is 12/1645 smaller than l?
False
Let d = 16 - 21. Let u be -8 - ((-35)/7 + 0). Let q be (4 - (-3855)/(-965))*(u - d). Which is smaller: q or 1?
q
Suppose -2*j - 10 = 3*h, -h - 2 + 0 = 0. Let t be j - (-1 + (-1 - 3)). Suppose -2*l = 8, -5*s = t*l + 6 + 1. Which is bigger: -3/8 or s?
s
Suppose -2*b - 4028 = -3*j, 3*b + 2115 = -5*j + 8803. Which is smaller: j or 1338?
1338
Let n be (-2 + 2810/25)/(1044/(-270)). Which is greater: n or -28?
-28
Let m(o) = -1170*o - 24395. Let r be m(-21). Let z(l) = -21*l**3 + 3*l**2 + 3*l + 2. Let d be z(-2). Is d <= r?
False
Let w be ((-1)/146)/((-183)/(-30))*(-224)/(-70). Which is smaller: w or 0?
w
Let n = -69679/3042 + 17/1014. Suppose -3*g + 2*p = -4*g - 21, -3*p = 3*g + 66. Which is smaller: n or g?
g
Let o be (-19792)/14 + (-256)/896. Let p = o + 4244/3. Let h = -1.1 + -11.9. Which is bigger: p or h?
p
Let q = 0.175 - -0.035. Let g = -236 - -234.21. Let m = g - q. Is -4 >= m?
False
Let g(f) = -f**3 + 8*f**2 + 10*f - 11. Let r be g(9). Let u = -180 + 105. Let m = -76 - u. Which is smaller: m or r?
r
Let s = -68883/938 - -514/7. Let u = s + 36/335. Is -0.2 at least as big as u?
False
Suppose 9*z - 216 + 18 = 0. Let k be (-12)/z - 51/(-33). Which is smaller: k or 29?
k
Suppose -4*m - 5*z = -31, 3*z - 16 - 9 = -4*m. Suppose 0 = 2*n - m*f + 14, -n - 4*f + 8 = -3*f. Is n greater than 11?
False
Suppose 27*n = 29*n + p - 11, 0 = 3*n - 4*p - 11. Suppose 3*c + n*g = -52, -5*g = 12 + 13. Is -53/6 > c?
True
Let i be 4/22*(-2)/4. Let j be (-2)/(-10) + 123*156/(-90). Let b = j - -213. Which is greater: b or i?
b
Let f = 118831/41 + -2898. Which is smaller: -1 or f?
-1
Let c = -3135.024 - -3135. Which is bigger: 24.6 or c?
24.6
Let j be 2/58*0*1/1. Which is smaller: 110 or j?
j
Let u = 254.8 + 1033.2. Which is bigger: -2/5 or u?
u
Suppose 3*c + a = 51, -3*a + 2*a = 4*c - 69. Suppose 2*r - 41 = 3*b - 94, -2*r = -2*b + 36. Which is bigger: c or b?
c
Let f be 7 + (43662/(-330))/19. Do f and 12 have different values?
True
Let a = -0.28 - 2.62. Let s = -81.1 + a. Let p = -89 - s. Which is bigger: -0.1 or p?
-0.1
Let c = 0.0482 + -210.0482. Let b = -209 - c. Is b bigger than 8/7?
False
Let u = -1397/6606 + 98/367. Is -10.2 < u?
True
Let o = 41 - 32. Suppose o*y - 6 = 642. Suppose y = -20*a - 8. Which is bigger: a or 1?
1
Let v(h) = h**3 + 4*h - 7. Let s be v(0). Let p(c) = 2*c**2 - 3*c + 43. Let n be p(s). Is n less than -3?
False
Let d(a) = -a**3 - 23*a**2 - 25*a - 55. Let h be d(-22). Suppose -h*m = 475 + 1637. Are -192 and m non-equal?
False
Let b = 31 + 45. Let o be (-5)/((-85)/b) + -4. Suppose -3*z = -3*q - 8 - 1, -5*q + 9 = z. Is q >= o?
True
Let m = 38 - 35. Suppose -m*j + 20 = -2*j + r, -j - 5*r = 0. Let i = 24 - j. Is -19 at most as big as i?
True
Let w be (-5)/(1*(-3)/51). Suppose -i + 4*c = 17, 4*i - c = -2*c - w. Let b be (-24)/(-7) + 63/i. Do 1 and b have the same value?
False
Let f be (-286)/220*(-4)/15. Is f at most as big as 0?
False
Let v = 1179.8 + -1179.8065. Which is smaller: v or -2/23?
-2/23
Let u be ((-2)/134*1)/(222/6712). Let a = -58/67 - u. Let l = a - -3/37. Which is bigger: l or -0.02?
-0.02
Let s be ((-4)/(-252))/(18644/(-1422)). Which is greater: -8 or s?
s
Let b be (-6)/(-39) - (-366)/(-13). Let r(j) = j**3 + 27*j**2 - 41*j + 34. Let s be r(b). Is 398 at most s?
True
Let v(n) = -n**3 + 10*n**2 - n + 11. Let f be v(10). Let p = 59.6 - 3.6. Let u = p - 48. Is u smaller than f?
False
Let v = -1764 - -1057. Let s = v + 706.98. Is -29 != s?
True
Suppose 5*d = -2*t + 128, -t = -5*d + t + 112. Suppose -5*q - 36 = 3*n, 2*n - 5*n - d = q. Let s = -7 - 3. Is n != s?
True
Let i(y) = -y**2 - 4*y. Let g be i(-3). Suppose -5*o - 2*b - b - 52 = 0, -2*o + 4*b = 0. Let m be (6/(-4) - -1)*(6 + o). Is m greater than or equal to g?
False
Let v be (3224/(-186))/((-2)/6). Let n(f) = f**3 - 54*f**2 + 104*f. Let b be n(v). Which is smaller: 2/1169 or b?
b
Let l be ((-24)/(8/1))/((-1)/2). Suppose 2*p - 2*a = l, 3*p + 2*a + 19 = 3. Which is smaller: p or 0.24?
p
Suppose 7 = 2*s + 4*b + b, 0 = 3*s - 2*b - 1. Let q be 9/(-15) - (-90)/25. Suppose -69*j + 66*j + q = 0. Is j at least as big as s?
True
L