6. Is t at most as big as -178?
False
Let g = 5 + -5. Suppose -k - 3*f = g, -7 = 3*k - 0*k + 2*f. Let a be (-3 - -6)/k - -4. Which is bigger: 4 or a?
4
Let u = 26 + 23. Let q = 54 - u. Which is greater: q or -1/3?
q
Let l = -171 - -163. Which is smaller: 8 or l?
l
Suppose 3*f + 640 = 4*k, -12*k = 4*f - 9*k + 895. Do -221 and f have the same value?
False
Let c = 15053 - 2384. Let m be 2/(-1 + c/12603). Let b = m - 381. Is 2 >= b?
True
Let z(m) = -m**2 + 13*m - 20. Let o be z(11). Let q be 2*o*(-12)/(-24). Is 7/4 > q?
False
Let g be ((-139944)/57)/(-8) - (-4)/38. Is g not equal to 307?
False
Suppose 4*r = 2*r. Let f = 15 + -14. Which is greater: f or r?
f
Let m be 376/1580 + 3*2/(-30). Is m != -1?
True
Let f = -17.2 - -17. Let o = 1.2 + -0.6. Let w = -0.52 + o. Is w smaller than f?
False
Suppose 7*m + 109 + 73 = 0. Let v = m - -37. Suppose 27 = -2*x + 49. Is x >= v?
True
Let i = -12 - -16. Let q(z) = -z**3 + 4*z**2 - 4*z + 1. Let j be q(i). Are -16 and j non-equal?
True
Let a(r) be the first derivative of -r**4/4 + 10*r**3/3 - 9*r**2 + 15*r + 22. Let g be a(8). Is -2/111 equal to g?
False
Let b(j) = j + 3. Let l be b(2). Suppose -2*a = -3*a + 5*t + 27, 33 = 4*a - l*t. Let y be a - (-1 - 38/(-14)). Which is greater: 3/5 or y?
3/5
Let s = -1075 + 1075.1. Which is smaller: 9/4 or s?
s
Suppose -5*k + k = -60. Suppose -g = 4*x + 24, 4*g = 5*x + 36 + k. Suppose 0*a = 5*a + 20. Which is smaller: a or x?
x
Let b = -44 - -62. Let x = b + -19. Which is smaller: x or -18?
-18
Let h = -17.7 - -17.8. Which is smaller: 7 or h?
h
Let j be (-4)/(-8) + 3/6. Suppose 0 = -g - j. Let f be (-3)/g + -1 + 1. Which is bigger: 1 or f?
f
Let h(p) = 185*p + 1663. Let i be h(-9). Let k = -7 + 7.03. Which is bigger: i or k?
k
Let b be (5/(-10))/((-3)/(-222)). Which is smaller: -35 or b?
b
Let g = -583 - -588. Suppose 0 = -k - 0*k + 1. Let t(n) = 7*n - 1. Let w be t(k). Which is bigger: w or g?
w
Let z = 34 + -114. Let p = 37 + z. Is -44 smaller than p?
True
Let j(m) = m**3 + m**2 - m + 5. Let y be j(-2). Are y and 24/13 non-equal?
True
Let a(g) = -g**3 + 6*g**2 + 33*g - 3. Let z be a(8). Is 134 <= z?
False
Let y = -80.4 - -9.4. Let r = -83.2 - y. Let m = r + 12. Which is bigger: 3/7 or m?
3/7
Let b be 5*(-8)/(-15)*6. Let l = b - 16. Let m be (-70)/99 - (-4)/(-22). Is l greater than m?
True
Let u be 8/(122/(-30) - -4). Let y be 3 + 1 + u/14 - 1. Which is bigger: y or -6?
y
Let p = 640 + -1252. Are p and -612 unequal?
False
Suppose -15*z = -19*z + 52. Suppose 2*c - c + z = 3*n, -c = 2*n - 7. Suppose n*a - 3*t = -4, -t = 2*a - 2 + 4. Is -2 at least as big as a?
False
Suppose -3*m = -m - 12. Let s be (-3)/(m + -3) + 3. Let y be s/9 + (-166)/18. Is -9 >= y?
True
Let k(q) = q**3 + 3*q**2 - 3*q + 2. Let o be k(-4). Let j be (24/(-15))/(108/(-20) + 5). Let s be (-5)/(o - (-12)/j). Is 2 not equal to s?
True
Suppose -13 = l + 6. Suppose -3*r - 45 = -3*p, -24 = 2*r - 7*p + 3*p. Do l and r have the same value?
False
Suppose c = 4*h + 17, -c - 3 = -3*h - 16. Let v(x) = -2*x**2 - 16*x. Let l be v(-10). Let g = -39 - l. Is g not equal to c?
False
Suppose -8*u + 7*u - 2 = 0. Let h be u/9 - (-145)/45. Suppose h*n = 4*n. Is 1 <= n?
False
Suppose -6 = -2*x + 2. Let t(h) = -4*h + 2. Let v(b) = 3*b - 2. Let u(f) = 2*t(f) + 3*v(f). Let l be u(6). Is l bigger than x?
False
Suppose 5*y + m = 17, 0 = -3*y - y + 2*m + 8. Suppose y*w + 1 = 19. Let u = -14 - -20. Is w >= u?
True
Suppose 8*d - d + 1008 = 0. Is -142 at most as big as d?
False
Let c be (-1)/3 - 3/(351/252402). Let q = c + 2156. Which is greater: q or -2?
q
Let m(z) = -2*z - 2. Let t be m(-4). Let h be (3 - 7) + 46/4 + -2. Let i = t - h. Do i and 0 have the same value?
False
Let l = -273 - -268. Let y = 3.8 - 0.8. Let d = y + -2. Is d <= l?
False
Let w = 641 - 640. Which is bigger: w or -13/86?
w
Suppose 0 = -4*q - 19 - 21. Suppose 10 = g + 4*z, -4*z + 3*z + 85 = 4*g. Let j be (g/(-6))/((-5)/q). Is -7 < j?
False
Let h be ((-36)/(-54))/((-14)/(-3)). Let y(b) be the second derivative of b**3/6 - 7*b**2/2 - b. Let s be y(6). Is h > s?
True
Let n = -1.3 - 2. Let v be 6 + -3 + (3 - 5). Which is bigger: v or n?
v
Let l be ((-2)/(-95))/((-920)/(-400)). Does l = 0.2?
False
Let h = -85 + 98.6. Let w = h + 3.4. Which is smaller: w or 0?
0
Let i be 16/72 - (-92)/(-9). Let c(z) = z**3 - 8*z**2 + 9*z. Let w be c(6). Let o be i/(-288) - (-4)/w. Which is smaller: 0 or o?
o
Let p(k) = -k**2 - 20*k + 3. Let z be p(-16). Suppose -z*v + 62*v - 5 = 0. Let y(a) = -2*a - 2. Let n be y(-2). Do v and n have different values?
True
Let f = -6357.07 + 6315. Let i = 42 + f. Let v = -2 + 1. Which is smaller: i or v?
v
Let n = 0 - -1. Let u be (-46)/8 - (-132)/176. Let a be u - -7 - (1 + n). Which is smaller: a or -2/11?
-2/11
Let i = -112 + 76. Suppose 4*p - 6 = -5*v + 4, 10 = 3*p + 5*v. Is i greater than p?
False
Let y = -35/18 - -7/36. Is y smaller than -2?
False
Let i be ((-1)/2)/(-5*(-5)/(-50)). Let a = -371321283/100 - -3713264. Let f = -205/4 + a. Which is smaller: i or f?
f
Suppose 0 = -r + 4*m + 11 - 0, 0 = 2*m + 4. Suppose -r*t + t = -22. Suppose 9 = 5*w - t. Which is smaller: w or -2?
-2
Suppose 40 = -0*y - 3*y + 2*k, -2*y + k - 28 = 0. Suppose 0 = -10*d - 500 + 10. Let c = 32 + d. Which is smaller: c or y?
c
Let y be (-17)/((-221)/(-312)) - (-10)/2. Is y > -14?
False
Let i = -344.68 + 369. Let w = i - 0.32. Let h = -24.13 + w. Is 2/3 >= h?
True
Let s(n) = -n + 28. Suppose 5*t + 2*z - 10 = 101, 3*z - 9 = 0. Let q be s(t). Let i(f) = 7*f**2 + 1. Let b be i(-1). Is q < b?
True
Let s = -13 - -19. Suppose s*z + 105 = z. Is z smaller than -21?
False
Let m be (-68)/11 + 18/99. Let j be m/4 - (-3)/(-6). Let b = -634 + 634. Which is smaller: b or j?
j
Suppose m - 16 = -3*m. Suppose 8 = -3*b - 2*w, 3*b = m*w + 3 + 13. Let o = -69/5 - -1119/80. Is o less than b?
False
Let h be 36/9*6/8. Suppose 3*c + h*m - 6 = 0, 64 = 5*c - 5*m + 14. Is c at least as big as 6?
True
Let j = -3 - -5. Suppose -z - j*z + 3*a - 6 = 0, -7 = -z - 2*a. Let b = 8.49 + -7.89. Is b > z?
False
Let l = -9 + 22. Suppose -5*i + 6*i = -l. Is -14 <= i?
True
Let k(o) be the second derivative of -o**4/6 - o**3/6 - 15*o. Let n be k(-1). Is -1 > n?
False
Let x be (-6)/(-15) + 137/(-5). Let y = 16 + x. Suppose 0*b + 2*b = -4*v - 42, 2*b = -v - 27. Is b less than y?
False
Let p = -20/7 + 114/35. Which is smaller: -121 or p?
-121
Let u = 36 + -21. Suppose 3*p + 5*r + 0 = 18, 3*p - u = -4*r. Which is smaller: -1/3 or p?
-1/3
Let r(z) = -6*z + 86. Let s be r(14). Is s greater than -16?
True
Let v be (8/5)/(2/20). Let w be -14*3/12*-2. Let c = v + w. Is 24 greater than or equal to c?
True
Let y be 1/(-5) + 18/15. Let f be (-2 - (0 - (-12)/(-10)))/10. Which is greater: f or y?
y
Suppose -b - 4*n + 7*n = 66, n + 70 = -b. Is b less than -72?
False
Let t be 3/21 + 0 - 0. Suppose -s - 2*s - 15 = 0, 45 = 5*v - 4*s. Suppose 4*d = 9 - v. Which is smaller: d or t?
t
Let a = -1673 + 3263/2. Is a < -43?
False
Let o be (-4 - (-30144063)/7536015)*2. Let g = o + 945351023/241152480. Let c = 35/9 - g. Which is smaller: 0 or c?
c
Let n(l) = l**3 + 7*l**2 + 11*l + 4. Suppose 2*a - 5*y = a + 5, 0 = -5*y - 10. Let j be n(a). Which is smaller: 8 or j?
j
Let t(i) = -33*i + 2674. Let u be t(81). Let x be 58/192 - (-1)/(-3). Is u != x?
True
Let l = 3 - 2. Let n = -7247.26 + 7247. Is l > n?
True
Let l = 38 + -18. Suppose 0 = -5*k + 10, -j + 21 = -3*k + 6. Is j less than l?
False
Let v = -36 + 72. Let c(u) = -u**2 - 23*u - 91. Let b be c(-14). Which is greater: b or v?
v
Let n(z) = 4*z**3 + 10*z**2 + z + 14. Let u(l) = -3*l**3 - 11*l**2 - l - 14. Let k(b) = -2*n(b) - 3*u(b). Let v be k(-13). Is 5/8 greater than v?
False
Let g be (8370/520 - 8) + -8. Which is bigger: g or -1?
g
Let w = -4129321/113 - -36543. Are w and 1 equal?
False
Let f be (-1)/(-2)*(-24)/36*12. Which is greater: f or 87?
87
Suppose 4*v = p + 4 - 3, 0 = -5*v. Which is bigger: 4/293 or p?
4/293
Let g = 3 - -15. Let j = g + 10. Is j at most -0.1?
False
Let g be (4/(-8))/(2/4). Let d = -1 + 2. Let m be -2*1/2*d. Is m smaller than g?
False
Let r be (13 + -19)/(4/(-22)). Let g = -47 + r. Which is bigger: g or -13?
-13
Let z be 8/(-40) + 22/10. Let i be (-26)/8 - (-1)/z. Which is smaller: -3 or i?
-3
Suppose 0 = -2*t + 6, 5*a - 2*t = 3*a. Let b = 39 - 36. Let h = b + 