81. Do r and k have the same value?
False
Let f = 1040/21 - 4139/84. Which is smaller: f or 23.76?
f
Let i = 0.483 - 260.483. Let o = 200 + i. Is o < 0?
True
Suppose 4*l - 3*y = 3, 2*l = -16*y + 19*y + 3. Is -51/74 < l?
True
Let i(f) = f - 18. Let b(h) = -5*h + 21. Let a be b(4). Let d(x) = -x + 1. Let u(g) = a*i(g) + 2*d(g). Let j be u(-15). Which is bigger: -1/31 or j?
-1/31
Suppose 28*m = 25*m - 6. Let v be -3 - (m + -4 - 2). Suppose 5*q = -v*b - 100, 0*q + q = 3*b. Is -13 <= q?
False
Let j(x) be the second derivative of -4*x**4/3 + 2*x**3 + 14*x**2 - 2*x + 85. Let m be j(-2). Is -60 less than m?
False
Let b(x) = -7*x**2 + 5*x + 12. Let q be b(9). Which is smaller: -4089/8 or q?
-4089/8
Let p = 4926 - 4930. Which is smaller: 170 or p?
p
Let p = -0.04 + -0.45. Let b = p - 0.01. Is b less than -3?
False
Let j(r) = -2*r + 27. Suppose 5*w = w + 32. Suppose -9 = -9*d + w*d. Let x be j(d). Is x at most 9?
True
Let i be (-18)/(-308)*(-3)/(-18)*-16. Which is greater: i or -1?
i
Suppose -4*t - 5*q + 1 = -10*q, -t = -4*q - 3. Which is smaller: -1/2494 or t?
t
Suppose -3*l + 23 = -4*u, 4 = -2*l - 2*u - 4. Suppose -1852 = -20*t + 4148. Let j be (0 + (-3)/t)*(34 - 40). Which is smaller: l or j?
j
Let z(k) = 8*k - 5. Let h(i) = -i. Let l(c) = 4*h(c) + 2*z(c). Let r be l(9). Let o = 103 - r. Which is smaller: o or 19/4?
19/4
Let s be 0 + (-2)/13 + (-144)/78. Let t be (39/3 + s + -1)*11. Let x = -111 + t. Which is greater: 3/11 or x?
3/11
Let l be (-4)/(-232)*(-40)/3630. Which is smaller: l or 0?
l
Let s be (-10 + 46)*(-2)/10. Let f = -2 - 6. Is s != f?
True
Let u = -7.623 - -9.623. Let l = 51 - 27. Is l at least u?
True
Let x(w) = 3*w. Let i be x(-2). Let f(k) = k**2 + 5*k - 4. Let z be f(i). Which is bigger: 10/7 or z?
z
Let u = 93 - 92.92. Let b be (-146)/72 - (-254)/(-1143). Which is bigger: u or b?
u
Let l = 69/7 - 10. Let k = 151 - 155. Is k not equal to l?
True
Let g(u) = 807*u**3 - 11*u**2 + 11*u - 1. Let z be g(1). Which is smaller: z or 804?
804
Suppose 32*r - 2073 = 2151. Let j = r + -117. Which is smaller: j or 59/4?
59/4
Let g = 25.55 - 0.55. Let o = -9.07 - -0.07. Let w = 9.1 + o. Which is smaller: g or w?
w
Let x be 12/672*-32*(-14)/5380. Suppose 1 = -5*p - 4. Which is smaller: p or x?
p
Let q = -4041 - -4086. Is q bigger than -3?
True
Suppose g = 5, -16*l - 1235 = -18*l + 5*g. Let z be 7/2*120/l. Which is smaller: 2 or z?
z
Let b be (1200/(-30) - -29) + 0 + -729. Is b < -740?
False
Suppose -20*k + 26 = -14. Suppose -6 = 3*z + k*v, 2*z - 7*z - 4*v = 8. Suppose -2*h = -4, 4*w - h = -1 - 5. Does w = z?
False
Let z be (-4)/(-240)*12 + 13152/15*1. Is 876 <= z?
True
Let w(l) = l**3 - 4*l**2 - 12*l. Let i be w(6). Suppose 48*v = 2*q + 47*v - 1, -q - 5*v - 27 = i. Which is smaller: q or -1/2?
q
Let x = 8791/2 - 3711. Is 686 at most as big as x?
False
Let u = -391741/356 - -458/89. Which is smaller: -1095 or u?
u
Let r = -0.005 - -85.005. Let u = r + -125. Let h = u + 32. Which is smaller: h or -2?
h
Let a = -1441 - -1441.072. Let s = 0.105 + 0.067. Let p = s - a. Which is smaller: p or -21?
-21
Suppose -4*m - 65 = -357. Suppose 649 - m = -8*w. Which is smaller: w or -71?
w
Suppose -33 = -3*g + 27. Let t(s) = s - 7. Let l be t(g). Suppose o + l = 5. Which is smaller: o or -10?
-10
Suppose 4*s - 2*v = -630, 450*s - 4*v = 452*s + 290. Which is smaller: -96 or s?
s
Suppose 8*j + 2 = 50. Let a(v) = 4*v**2 + 7*v - 71. Let q be a(j). Which is smaller: 116 or q?
q
Let v(u) = u**2 + 5*u + 2. Let i be v(-6). Let s be i/36 - (-65)/(-9). Which is bigger: s or -3?
-3
Let j(w) = -2*w**2 + 8*w - 3. Let b be j(6). Suppose 9*l = 6423 - 1518. Let o be (-1)/(l/135 + -4). Is o < b?
False
Let y be (-1250)/(-900) + 2/18 + 65/(-30). Is -1578.4 less than y?
True
Let i be -16 - (-1109)/5 - 3/(-15). Which is bigger: 212 or i?
212
Let r(x) = 23*x**3 + 3*x**2 + 2*x + 3. Let j be r(-3). Is -598 at least as big as j?
False
Let v = -275/7 + 39. Let y = 225 - 226.414. Let t = y - 0.286. Which is smaller: t or v?
t
Let i be ((-175)/(-140))/(9/864*-4). Let j be (-444)/14 - (-6)/(-21). Which is greater: i or j?
i
Let n = 29 + -13. Suppose 20*i - n = 16*i. Let s be ((-6)/(-18)*-2)/(i/(-6)). Which is bigger: 8/15 or s?
s
Let w = -1.467 + 1.46. Let n = -0.01 + w. Let t = n + -86.983. Which is greater: t or 1/2?
1/2
Let d = 19.4 - 2.4. Let q = -36902 + 36903. Which is smaller: q or d?
q
Let l = -14853/10048 + 210/157. Are 0 and l equal?
False
Suppose 0 = -w + 405 - 341. Let n be 3/(1122/w) + (-8)/(-44). Let a = -2 - -1. Are a and n unequal?
True
Suppose 2*n = -3*m - 4291, 0 = -2*n + 4*m + 1667 - 5937. Let q = n - -6167/3. Is -84 less than q?
False
Let h(n) = 7*n**2 + 4*n - 5. Suppose -3 = -2*s - c + 4, s + 3*c = 1. Suppose -s*o = 16, o + 8 = -2*p + 4*p. Let j be h(p). Which is smaller: j or 29?
29
Let r(b) = -4*b**2 + 4*b + 8. Let l(y) = 2*y**3 + y + 1. Let t = -29 - -28. Let k be l(t). Let j be r(k). Is -15 greater than j?
True
Let h = -129 + 133.3. Let m = h + -4.234. Let i = -1.466 + m. Is i at most -1/4?
True
Let f be (-4 + 14/4)/(-2). Which is smaller: 12451 or f?
f
Let l be (-882)/(-98) + 1088/(-3). Is 2/5 != l?
True
Let w(d) = -d**3 - 12*d**2 + 14*d - 22. Let k be w(-16). Suppose k = -9*n - 1022. Is -201 less than or equal to n?
True
Let s be -1*(-2)/8*(-670251)/(-93). Are s and 1801 nonequal?
True
Suppose 0 = 18*z - 17*z - 5. Suppose -v + 2*v - z = 0. Suppose 2*p + 8 - 2 = -4*f, v*f - 2*p - 6 = 0. Is -5/12 > f?
False
Let g = 4 - 6. Let p = -106447 - -106449.85. Is p <= g?
False
Let v be 0 + 1 + (-24)/104. Let x be 202/364 - (-3)/6. Let h = x - v. Is h equal to -0.18?
False
Let k(i) = -7*i**2 + 12*i - 7. Let v(n) = -4*n**2 - n + 1. Let o(y) = k(y) - 2*v(y). Let d = -9 - 5. Let u be o(d). Which is greater: -8 or u?
-8
Let o(s) = -5*s**2 + 66*s - 13. Suppose -2*y - 4*h = -4*y + 46, -5*y - 4*h = -45. Let d be o(y). Is -1/107 at most d?
True
Suppose t = -u - 2, -525*t - u = -527*t + 2. Let x = -29 - -30. Is t at most x?
True
Let b = 9447 - 9447. Which is greater: b or -29/438?
b
Let k(s) be the third derivative of -s**3/6 - 19*s**2. Let n(m) = -m - 7. Let g(r) = 3*k(r) - n(r). Let h be g(-9). Is h bigger than -2?
False
Let r be (-554)/4 + ((-14)/28 - -3). Let u = -453 + 318. Which is smaller: r or u?
r
Suppose -26*i + 2*i = 648. Let q(l) = l**3 + 28*l**2 + 20*l + 6. Let d be q(i). Is d at least 194?
True
Let f = 108 + -109. Let t = 0 + f. Which is bigger: -12 or t?
t
Let t = -73 - -280. Let h = t - 622/3. Is 46 at least as big as h?
True
Let d(i) = -136*i - 237. Let f be d(-2). Suppose -r + 165 = 4*r. Do f and r have the same value?
False
Suppose 4*m = 8 - 4. Let u(b) = 8*b**3 - 4*b**2 + 2*b. Let j be u(2). Let f be ((-9)/j)/((-18)/12). Which is bigger: m or f?
m
Let h = -26326/9 + 2925. Which is bigger: h or -26?
h
Let o = -256.854 + 273.854. Let n be 0/(-2) + (-2)/(-15). Is o at least as big as n?
True
Let b(g) be the second derivative of -g**4/6 + 7*g**3/6 + 9*g**2 - g. Suppose -4715*l = -4710*l + 20. Let j be b(l). Is -42 >= j?
True
Let k be (10 - 6)/(2/(-67)). Let z = k + 111. Are z and -1 unequal?
True
Let a = 39151 - 39150. Let c be 88/(-170) + 2/5. Which is bigger: a or c?
a
Let b be (-2)/4*303*66/(-99). Let x = -56 + b. Let d = 45 - x. Is 6 greater than d?
True
Let b = 333 + -333. Suppose -3*u + 15 = b, 3*c - 308 = 4*u + 206. Which is smaller: 179 or c?
c
Let q = -69 + 105. Let z = q + -29. Let r be (-3)/8*11/(33/(-50)). Are r and z nonequal?
True
Let d = -20.79 - -1.99. Let s = d - -13.8. Is -2/3 bigger than s?
True
Suppose d - 3*d - 308 = -j, -328 = -j - 2*d. Let b = -316 + j. Which is greater: -1/17 or b?
b
Let q(h) = 2*h**2 + 49*h + 66. Let b be q(-26). Let f be (2 + -1)/(11 - b/12). Which is smaller: -2/115 or f?
f
Let l(w) = -4*w**2 - 9*w - 2. Let s be l(-2). Let d be s/1*(-9)/(-27). Is d < 2/135?
True
Let x = -8579 - -8870. Suppose q - 5*q + 1152 = 4*o, 2*q = -4*o + 1156. Which is bigger: o or x?
x
Let g = 590 + -583. Let r be -7 + 42/g + 2. Is -10/79 not equal to r?
True
Let f = -46 + 50. Suppose 0 = f*z - z - 9. Let s be (5/z)/(140/240). Which is smaller: 2 or s?
2
Let o(n) be the third derivative of -n**4/8 - 37*n**3/6 + 2*n**2 - 144. Let p be o(-30). Which is greater: 57 or p?
57
Let g = -586505/7 + -301902/35. Let z = g - -92729. Let r = z + -325. Are -8 and