829. Let n = o + -286.7. Are n and 1 unequal?
True
Let q = -315 + 293. Are q and -9 equal?
False
Suppose 0 = -4*y + 5*f + 23, -3*y + 3*f + 32 = 2*y. Let n be y - (-3 + (4 - 3)). Suppose 0 = 15*k + n + 6. Is k < -6?
False
Let t be 19/((63/2190)/(-21)*-2). Which is greater: t or 6936?
6936
Let h be ((-40)/(-98))/(-2)*-2. Let b = 152637 - 152638. Which is smaller: b or h?
b
Suppose 0 = l - 3*x + 11233, -4*l - 726 = 4*x + 44142. Is l less than -11220?
True
Let b be -1 + 33612/(-156) + -8 - -6. Do b and -218 have different values?
True
Let i be (-130)/(-4)*(-1728)/(-2160). Let t be (2/(-4))/(4/40). Let n be (-2)/t - (-256)/10. Do n and i have different values?
False
Let y = 3874.9954 + -3875. Which is smaller: 1/2 or y?
y
Let v(y) = -y**3 - 16*y**2 + 18*y + 39. Let z be v(-17). Suppose -7*s + 8*s + 25 = 3*t, -2*t + z = 2*s. Suppose 8*j = 4*j + 44. Which is bigger: j or t?
j
Let r = 3 + -3.96. Let b = r - 0.04. Let u = -52.2 - -59.2. Is b less than or equal to u?
True
Suppose -9*w - 1002 = 807. Let h = w + 202. Which is smaller: h or 1/158?
1/158
Let g(u) = u**3 + 25*u**2 + 9*u + 93. Let a be g(-33). Is a bigger than -8916?
False
Suppose 3*n - 8 + 4 = -s, 2*s - 3 = -n. Suppose 5*p + 2*u - 1 + 2 = 0, -2*p - u = n. Let c be (45/18 + 609/(-246))*-2. Which is greater: p or c?
p
Let m = 10.82 - 6.82. Let o = -0.8 - -0.6. Let r = -0.1 + o. Which is greater: r or m?
m
Let n = -6.418 + 8.418. Which is greater: n or -5921?
n
Let a be (-166)/1*9/2. Let t be 9/(a/(-250)) - 3. Suppose -158 = 7*u - 151. Which is smaller: u or t?
u
Suppose n - 66 + 63 = 0. Let s(w) = w**3 - 3*w**2 + 2*w - 3. Let o be s(n). Suppose -o*d - k + 0 = 87, -12 = -4*k. Is -31 less than or equal to d?
True
Let s = 0.281 + -2.151. Let t = -0.13 + s. Let n be (-2)/15 + 76/120. Is t at most n?
True
Let h be (-2)/(-8) - (-589832)/(-2363680). Which is greater: h or -1?
h
Let b be (-4360437)/534*1464835/2552186925 - -3. Let a = b - -171367/100570. Let i = a + 2/2713. Which is smaller: i or 1?
i
Let l be ((-4)/(-15)*(-45465)/(-70))/(4/(-10)). Which is bigger: l or -5?
-5
Let c = 11534 - 11211. Which is greater: 293 or c?
c
Let n(w) = w**2 + 8*w + 2. Let g be n(-6). Let m = -7839 + 7823. Is g bigger than m?
True
Let y(r) be the first derivative of -r**3/3 + 9*r**2/2 - 13*r + 7. Let n be y(6). Suppose n*w - 23 + 8 = 0. Are w and 10 non-equal?
True
Let w be (-40)/(-25)*10/4. Let s = -48 + 63. Let f = 25 - s. Is w less than f?
True
Suppose 4*n = -3*a - 17, 2*a - 6 = 4*a. Let t(m) = -340*m**3 - 3*m**2 - m + 2. Let l be t(-1). Let j = l + -345. Which is greater: n or j?
n
Suppose 5*n + h - 25 = -0*h, -5*n - 2*h = -25. Suppose -3*c - 3 = -9, -n*b - 2*c = 276. Let m = b + 56. Which is greater: -28 or m?
m
Let c = -2475/7 - -3331343/9422. Let o = -2095/102296 - c. Which is greater: o or 0?
0
Suppose 50*n + 6444 + 991 = 45*n. Does -1480 = n?
False
Let t = 31 - 52.6. Let c = -22 - t. Let s = 3 + -3. Which is greater: c or s?
s
Suppose 75 = -5*h + 5*w, -h + 3*w + 9 = 26. Let v be ((63/h)/(-9))/(219/(-2)). Which is greater: 0 or v?
0
Let j = -165 - -186. Let f = 21 - j. Which is bigger: f or -46/5?
f
Let m be (-10)/(-35) + ((-645)/(-21) - -3). Let x be m/(-289) - 2/(-17). Which is smaller: -2/545 or x?
-2/545
Suppose 5*r + 32 = -5*g + 12, 0 = -3*r - 3. Let h = g - -3. Let s be (-3105)/(-9801) - 1/3. Is s not equal to h?
True
Let m(h) = -h**2 + 11*h - 23. Let t be m(4). Let o be (-1 + t)*45/(-4). Suppose j + 3*r - 11 = 0, -j - r = -2*j - 5. Is j greater than or equal to o?
True
Suppose 68*c = -9*c. Let a(n) = -n**2 - 3 - 2 - n**2. Let t be a(c). Are t and 2 non-equal?
True
Suppose 13 = -3*s + 43. Let h be (1 - s)*1/3. Let t = -13/36 + 1/9. Which is bigger: t or h?
t
Let t(b) = -2*b**2 + 82*b + 1332. Let o be t(92). Which is smaller: o or 0?
o
Let l = -50.8528 - -1.7698. Let h = l + 0.083. Let s = h + 41. Which is smaller: s or 1?
s
Suppose -5*z + 205 = -0*z. Let n = -39 + z. Let c be ((-1 - -2)/(-1))/(59/n). Which is bigger: 0 or c?
0
Let m(a) = 2*a**3 + 21*a**2 - 8*a + 33. Let s be m(-11). Suppose -9*b + b - 1464 = s. Which is bigger: b or -182?
-182
Let a = -1.46 + 1.26. Let s = -696 - -7648/11. Are a and s unequal?
True
Let d be (-1)/((14 + -12)*(-1)/(-218)). Let u(g) = -5*g**2 + 17*g + 18. Let a be u(7). Is d < a?
True
Let m = -229 + 232. Let n be 3/(3/33*m). Is 12 > n?
True
Let x be (1067/(-110) - -10) + (-23)/(-10)*269. Is x at least 6804/11?
True
Let w(v) = -2*v**2 - 39*v + 20. Let f be w(-20). Suppose 2*b = -f*b + 20. Which is greater: 18 or b?
18
Let t be ((-1)/(-4 + 12))/((-1)/8). Which is bigger: t or -1/4341?
t
Suppose -d - 4*h = -21, 0*d - 6 = 2*d - 4*h. Suppose d*n - 4*b + 0*b = 215, 3*n + b = 146. Are n and 47 equal?
True
Let j = 12771 - 12770. Which is greater: j or -2/13689?
j
Let f(g) = 7*g + 41. Let y = 184 - 190. Let u be f(y). Which is smaller: u or -6?
-6
Suppose -2 = -a - 3. Let r(o) = -o**2 - 16*o + 21. Let x be r(-17). Let u be -2 + 5/x + 231/280. Which is smaller: a or u?
a
Let h(v) = 43*v + 30. Let a be h(-9). Let d = -589 + 232. Is d less than or equal to a?
True
Suppose 0 = 21*q + 516 + 240. Let l be (-9)/(-93)*q/(-162). Which is bigger: 1 or l?
1
Let u be (-85)/(-40) + 6/(-48). Let p(k) = -94*k**2 + 13*k - 24. Let l be p(u). Is l > -375?
True
Let t be 0/3 + 0 - -1. Let k(p) = p**2 - 4*p - 2. Let c be k(5). Let s be ((6/8)/c)/((-6)/(-15)). Is t bigger than s?
True
Let y = 17 + -9.8. Let s = -7.2 + y. Is 30 != s?
True
Suppose -7*l - 5*h + 209 = -3*l, 5*l - 5*h - 250 = 0. Which is smaller: l or 53?
l
Let r = -29 + 31. Let h(v) = 9*v - 16. Let i be h(r). Suppose -5*j - i*j = 175. Do j and -25 have different values?
False
Let r be 6*((-14)/(-7))/(-66). Let z(n) = -n**3 + 4*n**2 - 2*n. Let b be z(1). Is b greater than r?
True
Let b = -99 - -101. Suppose b*x - 17*x = 870. Which is bigger: x or -56?
-56
Suppose 596 - 584 = 4*t. Suppose 9*r + 1562 = 5*r + 3*d, t*r - d + 1169 = 0. Are r and -389 unequal?
False
Let p = -3.64 + -188.36. Let i = p + 191.94. Are i and -15 equal?
False
Let s = 59369997874742/32965 + -1801000998. Let f be 230/46 + ((-10412)/1735 - -1). Let i = f - s. Is i equal to 2?
False
Let y be (-105 + -9)*4/(-12). Suppose -4*r = -r + 111. Let p = r + y. Which is greater: 37 or p?
37
Let c = -11.31 - -11.81. Do c and 39 have different values?
True
Let b be (8/9)/(-4) - 781/(-3542). Is b less than 0?
True
Let l = 18440 + -18395.19. Is l < 0?
False
Let l = -32 - -33. Let q be ((-26)/(-273))/(2/(-70)*6/(-28)). Is l < q?
True
Let i(v) be the third derivative of v**4/12 - 37*v**3/6 + v**2 - 17. Let o be i(-6). Is o at least as big as -244/5?
False
Let s = 0 + -1. Let t = 0.36 + -0.05. Let b = -0.57 + t. Is s < b?
True
Suppose -3*k + 5*w - 22 = 0, -2*k + 7*k = 2*w - 24. Let j be (k/24)/(9/12). Let v = -0.066 + -0.134. Which is smaller: v or j?
j
Let a be (-2 - 1) + (1 - 6/(-3)). Let o be 1/(-67) - (-3)/18*a. Which is greater: o or 1?
1
Let w be (3 - 28/8)*-2. Let g be 0/((-1)/(0 - w)). Let q = 871/8 - 109. Which is smaller: q or g?
q
Let c = 602.4 + -627.4. Which is greater: c or -0.88?
-0.88
Suppose 7*s + 27*y + 5282 = 24*y, 2242 = -3*s - 4*y. Let u = -1035 + 278. Which is smaller: s or u?
s
Let j be 9608/(1 + (-402)/36). Let r = 945 + j. Is r > 1?
False
Let d be (-44)/(-6) + (2 - 1). Let n(a) = -46*a - 115. Let r be n(-4). Let p = r - 62. Which is bigger: d or p?
d
Let u = -245406 - -245237. Let o = 139 - 308. Are o and u unequal?
False
Let t = 3822/17 + -361594/1615. Is 1/3 smaller than t?
True
Let c(r) = r + 7. Let w(s) be the third derivative of s**6/120 - s**5/60 - s**4/24 - 5*s**3/6 - 7*s**2. Let q be w(0). Let j be c(q). Is j < 3?
True
Suppose -76*k = -33*k. Which is bigger: -14/913 or k?
k
Let n = 5995 - 5995.21. Do 0.12 and n have different values?
True
Let r = 9022 - 11434. Is r bigger than -2414?
True
Let s = 9/1222 - 763831/10998. Which is bigger: s or -70?
s
Let n = -9 + 64. Let z(u) = -u**2 + 3*u + 142. Let l be z(11). Which is bigger: l or n?
n
Let r(t) = -5*t**2 + 155*t - 749. Let m be r(24). Let u = 171 + -78. Which is greater: m or u?
u
Let y(z) = -z - 19. Let j be y(-9). Let w be -1 + j/(-14) - (-15)/(-21). Is w < -2/91?
True
Suppose 2*y = 12 - 2. Suppose 0 = 4*h - 3*m + 5, 2*m = 2*h + y*m + 7. Let z be (2/34)/((-5)/h). Is 1 <= z?
False
Suppose -4*n - 5*x 