8*n = -5*n - 6 + 349. Let w be (-1208)/3816 + (-4)/(-18). Are n and w non-equal?
True
Let r be ((-2)/(-6))/((-8)/39). Let b be ((-5 + -1)/12)/(10/20). Is r at most b?
True
Let t be (-104)/70 - -2 - (-33)/(-55). Let r = t + -43/315. Which is smaller: r or 25?
r
Suppose -11264*a = -11374*a + 444400. Is a < 4040?
False
Let y be ((-3373)/(-375) - 9)*(-20)/(-96). Let m = -18238227 - -508846527931/27900. Let a = m + y. Is 1 greater than or equal to a?
True
Let q be (-6)/(-24) + (-2)/8. Suppose -4*p - 22 + 2 = 0, -n + 13 = -p. Suppose q = n*o - 0 - 0. Is 2 at least as big as o?
True
Let f be 6/(-21) + (-31243)/(-1232). Let j be (6*-25)/(96/(-15)). Let v = j - f. Which is smaller: v or -1?
v
Let v = 57 + -45. Let c(p) = -p - 3. Let t be c(-7). Let m be v/t + (-26)/14. Is 0 <= m?
True
Let l be ((-3)/(-6))/((-2)/(-124)). Let z = 6 - l. Let g be 5/z*-5*-10. Which is smaller: -12 or g?
-12
Let f be ((-28)/1505)/((-12)/(-270)). Is f at least -1.9?
True
Let p be 14 + 14 + 10682/(-406). Which is smaller: 3 or p?
p
Let t = -5349 - -8566. Which is smaller: t or 3218?
t
Suppose -692*d - 20 = -702*d. Let k be -3*5/((-15)/d). Suppose 0 = -5*w + z - 7, -5*w - 2*z = 13 + 3. Which is smaller: w or k?
w
Let w be (-20)/5 + (-20)/(-4) + -1. Let o be 6400/44250 - 4/30. Which is greater: o or w?
o
Let y = -248.801 + 249. Let d = y - 0.129. Let m be -4*(0 - 3/(-18)). Is d smaller than m?
False
Let d = -155.92 + 155. Let y = -0.999 - d. Is y > 1/4?
False
Let i = -35163705464/851 - -41320481. Let y = 909/37 - i. Let b = y - -181/138. Is -3 at least b?
False
Let r = 109 - 338. Let l be r/(-2)*2/10. Let b = -118/5 + l. Is b >= -1?
True
Let o(n) = -n**2 - 2*n + 6. Let v be o(-6). Let x(l) be the third derivative of 5*l**4/24 + 38*l**3/3 + 6*l**2. Let z be x(-19). Which is smaller: z or v?
z
Suppose 5*i + 3863 = 15*s - 21*s, -2313 = 3*i + 2*s. Are i and -770 nonequal?
True
Let w(t) = 75*t + 436. Let m be w(-6). Which is smaller: m or -117/8?
-117/8
Let i = 15195.8 - 15196. Is i smaller than 5.26?
True
Let z = 13 + -13. Let k = -91 + 96. Let g be 376/(-380) - (k + (-24)/4). Which is bigger: g or z?
g
Let c = 4048 + -4002. Which is bigger: c or 48?
48
Let i(c) = -65*c + 65. Let f = 255 + -253. Let k be i(f). Is -65 > k?
False
Let m = 115367 + -592640275/5137. Which is smaller: 0 or m?
0
Suppose -5*u - 66 - 9 = 0. Let l be 1 + (-2 - 33/u). Let c(p) = -3*p**2 - 12*p + 422. Let d be c(-14). Is d greater than or equal to l?
True
Suppose 4*c - 8*c + 2*w + 14 = 0, -c + 2*w = -2. Suppose -12 = -4*n + 28. Which is bigger: n or c?
n
Suppose -6 = -2*g + 2*a, 0 = -2*g - 8*a + 13*a + 15. Is g smaller than -115/426?
False
Let k = -4094 - -4131. Which is bigger: -5/56 or k?
k
Suppose -33*y + 35*y + 12 = 0. Let u = 11.338 - 0.038. Let c = 11 - u. Is c > y?
True
Let x = -24399/5565250 + -1/24625. Let q = -2 + 1. Is q equal to x?
False
Suppose -12*q + 4*q = 240. Suppose -2*g = 2*f + 34, 0 = 3*g - 4*g + 4*f - 32. Let h = -11 + g. Which is greater: h or q?
q
Let d = 50 + 2612. Is d less than or equal to 1?
False
Suppose 46*b + 15 + 11 = 20*b. Are -8/559 and b equal?
False
Let z(b) = b**3 + 9*b**2 - 466*b + 3. Let t be z(-30). Is -4917 at least t?
True
Let h = -16558 + 17505. Is 948 >= h?
True
Let s be (19/266)/((-2)/7). Is 349 equal to s?
False
Let n = -1329.9 + 1331. Do n and 1/2 have different values?
True
Let h = 33317 - 33216. Is h bigger than -15?
True
Let t = 39.08 + -39. Let m = 214.4 + -216. Which is bigger: t or m?
t
Let v = -355 + 383. Suppose 30*a - v*a - 2 = 0. Is -8/45 at least a?
False
Let w be 2/(-8)*-1 + (-105)/(-140). Let j be 5/(5/(-4)) + w. Let c be 0 - (0 + -42 - j). Are 40 and c non-equal?
True
Let u = 101.604 - 12.604. Do u and -15/7 have the same value?
False
Suppose -47*u + 39*u = -8. Let n = 13 + -28. Let k be (u - 1/5) + 252/n. Which is greater: k or -0.2?
-0.2
Suppose -30*s + 32*s = -422. Which is greater: s or -209?
-209
Suppose -5*d + 10 = -5*w, 2*w + 4*d = -16 + 30. Let j be ((-44)/(-286))/(((-30)/9)/w). Is j greater than 1/4?
False
Let v be (9/6)/(15/(-560)*4). Let k be (1/2)/(v/1148). Which is smaller: k or -40?
k
Suppose 22*r + 6*r = 2*r + 4914. Which is smaller: 186 or r?
186
Let m = 3510 - 3648. Which is smaller: m or -121?
m
Let a(t) = 2*t**2 - 2*t - 1. Let l be a(-1). Suppose 5*w - 29 = -l*u, -w - 2*w = -4*u + 58. Let i be (0 - u/(-9)) + -2. Which is smaller: -2 or i?
-2
Suppose -3*z = -2020*t + 2017*t + 375, 2*z - t = -245. Are z and -153 equal?
False
Let i = -460.3065 + 460. Which is bigger: i or -0.2?
-0.2
Let x(l) = l**2 - 6. Let j be x(2). Let a be (3 + (-225)/(-10))/(24/j). Is -2 bigger than a?
True
Suppose 7*t = 4*o + 2*t + 5, 5*t - 5 = -4*o. Suppose 4*h + 2*d + o*d + 14 = 0, 4*h + 3*d = -11. Let i be 6/8 + (1035/372)/h. Do i and 0 have the same value?
False
Let s = 60.32 - 60.42. Which is smaller: -499 or s?
-499
Let s = 8/771298789 + -1575764658551/118840174811542. Let r = 82621507/1879 - 43971. Let o = s - r. Which is smaller: 0 or o?
o
Let i(b) be the third derivative of 1/120*b**6 - 4*b**2 + 1/8*b**4 - 1/15*b**5 + 0*b + 0 - 3/2*b**3. Let z be i(4). Is 3 bigger than z?
False
Let q(v) = -41*v - 4. Let l be q(1). Let z = -55 - l. Do -10 and z have different values?
False
Let m(j) = -j**2 - 9*j - 10. Let b be m(-8). Let y be (4/(-12))/(b/(-6)). Let g = 373/6 - 62. Do y and g have different values?
True
Let c(j) = -90*j**2 + 1081*j - 12. Let u be c(12). Is 2/15593 bigger than u?
True
Let b = -6 - -7. Let o(r) = -5 - r - 9 - 6 + b. Let j be o(-8). Which is bigger: -10 or j?
-10
Suppose 2293 + 3059 = 4*j. Let o be (j/9)/((-2)/(-3)). Suppose o = -10*g - 47. Is -27 equal to g?
True
Let x = 12 + 0. Let i(n) = n - 2. Let t be i(x). Suppose 0 = -4*d - 0*a - 5*a - t, 5*a + 10 = 0. Do d and 1/14 have the same value?
False
Let h be 84*(2 - (-752)/(-234)). Suppose 198*a - 204 = 200*a. Let m = h - a. Which is smaller: m or -1?
-1
Let d be (-54)/(-10) + ((-186)/15 - -12). Is 0.004 smaller than d?
True
Let h = -12102 + 11917. Which is smaller: -210 or h?
-210
Let s = -4003789/3 - -1320124. Let t = s - -1517753/105. Let y = t - -120/7. Which is smaller: y or 18?
y
Let z = -0.69 - -0.48. Which is greater: -7 or z?
z
Let m be (-376)/(-5) - ((-5)/(-25))/1. Let h = m + -57. Suppose -s = 2*s - h. Which is smaller: 56/9 or s?
s
Let t = -48.5 - -49. Let p = t - 20.5. Suppose -4*b + 9 = -3*c - 6, c = b - 4. Which is bigger: c or p?
c
Let o = 2/1545 - 10907/71070. Let v = o + 543/92. Is -0.07 equal to v?
False
Suppose 3*i = 57 - 15. Suppose -5*f + 18*c = 23*c - 35, -44 = -8*f + 4*c. Is i greater than f?
True
Let d = -31995 + 31995. Let x be (-2)/(-8) + (-27)/92. Is d < x?
False
Let c be 6/4*8/6. Suppose -3*n - 10 = -o, -3*o = -7*n + c*n - 26. Let h = -25 + o. Which is smaller: h or -17?
h
Let f be (720/644)/3 + (-6)/69. Does -81 = f?
False
Let r be -1 + -7 - (-5740)/(-210). Suppose 0 = 2*l - 3*l - 34. Is r at least l?
False
Let o = -232.3 + 707.6. Let z = o + -476. Which is smaller: -25 or z?
-25
Let q = 4022.6 + -3777. Which is greater: 2/5 or q?
q
Let v be (1/(-1))/((-2)/(-136)). Let b = -1507892 - -1507831. Which is smaller: b or v?
v
Suppose 3*f = -0*f + 15. Let y be 651/1435 + (-3)/f. Let l(o) = 7*o**2 + 14*o - 1. Let b be l(-2). Is y smaller than b?
False
Let i = -7010 + 7166. Is 26/7 less than i?
True
Let a be (32/(-2))/((-36)/414). Suppose -12*l = -152 - a. Let q = l + -31. Which is greater: 0.02 or q?
0.02
Let g be (14/(-4669))/(62/93). Is g greater than or equal to 1?
False
Let o be (78/22490)/((-105)/(-100) + 0). Is o equal to 0?
False
Let b = -203 - -318. Suppose -111*g = -b*g - 132. Is g not equal to -34?
True
Let x = 2.149 - -5.851. Are 414 and x equal?
False
Let a be 15/(-25)*15 - (-18)/2. Which is greater: -0.4575 or a?
a
Let r be (2 + -4 + 1)/(2/(-98)) - -3. Which is bigger: r or 472/9?
472/9
Let l be ((-13650)/108)/(-25) + -5. Let q be (-3)/(-2)*20/30. Is q greater than or equal to l?
True
Let h = -4153 - -4153. Which is smaller: h or 48.42?
h
Let r(z) = -8*z**2 - 3*z + 5. Let b be r(3). Let g(q) = -q**2 + 28*q + 168. Let o be g(-7). Is o greater than b?
False
Let t = 1287 + -1193. Are 103 and t nonequal?
True
Let d be 3/9 + 682/(-2082). Suppose 80 = -19*s - 110. Let z be (10 - -2 - 3) + s. Which is bigger: d or z?
d
Let s(b) = b**3 + 2*b**2 + 2*b + 6. Let