20. Suppose l = -3*v + 13*v + 3460. Is v < -347?
False
Let w = 3/9523 - -16208125/66661. Let y = w - 244. Which is greater: y or -1?
y
Let d be (-185)/(-120)*(-9)/(-60). Let r = d + -1/32. Let n = -29 + 88/3. Which is smaller: n or r?
r
Let i(w) = w**3 - 4*w**2 - 72*w + 388. Let f be i(7). Which is greater: f or 3?
f
Suppose 30 = 2*r - 90. Let q be ((-11)/4466)/(5/r). Is q at least as big as -1?
True
Let s = 25 - 23. Let p be (-45)/35 - s - -3. Let b = 7.37 + -0.37. Is p at most b?
True
Let a be 6 - (0/(-1) + (-1054514)/364). Let s = a + -2903. Which is smaller: s or 0?
0
Let i be 3/(-11) - (-27 - (-155363)/(-1045)). Is 176 greater than i?
True
Let x = -411 + 424. Suppose 3*f = -4*y + 2, -3*y + x*f = 17*f + 2. Which is greater: 5 or y?
5
Let f be 1*(-4)/6 - (-2397)/(-36). Let x = 6317/100 + f. Which is bigger: x or -5?
x
Let v = 685.31 - 14.31. Which is greater: -2/3 or v?
v
Let h = 2015 - 10832. Is -8818 at most as big as h?
True
Let q(l) = 9*l - 284. Let d be q(32). Suppose f = -d*z + 1157, -z + 237 + 36 = -3*f. Is 287 < z?
True
Let n = 22723 + -13887. Is 8836 at least as big as n?
True
Let u = 0.089 + 91.911. Let v = u - 81.6. Let b = 9.4 - v. Is b >= 3/2?
False
Let j be 8/6 + -3 - -2. Let s = 90.3 + 20.7. Which is bigger: j or s?
s
Let p(d) = 14*d**2 - 19*d + 1. Let a be p(1). Let g be 2/4 + (-135)/(-42) + a. Let u = 0.35 - 0.258. Which is greater: g or u?
u
Let c(k) = -11*k**2 - 20*k - 9. Let m be c(8). Let d be 1/4 - m/12. Are 73 and d equal?
True
Let p = -863/6493 + 6/43. Suppose -59*g = -70*g. Is g less than p?
True
Let y = 9171 + -9932. Is -764 at most y?
True
Let d(q) = q**2 + 17*q + 60. Let a be d(-5). Let h = 32 - 27. Suppose 0 = 2*m - a*m + 10, -h*z + m + 130 = 0. Is z greater than 25?
False
Let l = -41 - -45. Let b be -3 + l - -1 - -24. Let v = b + -28. Which is greater: 3 or v?
3
Let f = -775 + 773. Let t(b) = 3*b**3 + b**2 + 3*b + 1. Let r be t(f). Does r = -39?
False
Suppose 118 + 162 = 40*n. Let j(b) = b**3 + 17*b**2 + 17*b + 6. Let u be j(-12). Let z be (-8)/44 - u/(-88). Is z greater than n?
False
Let k(n) = -n**2 - 12*n + 9. Let v be k(-9). Let l be 24/v*174/(-4). Let t(s) = s**3 + 7*s**2 + s + 6. Let p be t(-7). Which is greater: p or l?
p
Let y = -17646.6 + 17989. Which is smaller: y or 0.1?
0.1
Let l = 543 - 544. Let x be (1 + -2)*(l - 22/(-33)). Which is smaller: x or 0.029?
0.029
Let y be 3*-32 - (-16)/8. Let i(p) = p**2 - 10*p - 596. Let j be i(-18). Is y less than or equal to j?
True
Let i be (-7)/15 + (-2)/(-2). Suppose -93*v + 66*v = -17145. Let q = -635 + v. Which is smaller: q or i?
q
Let c = 24 - 133. Let a be ((-4)/(-5))/(406/35 - 12). Which is greater: a or c?
a
Let b be (1/(-3)*1)/((-5)/75). Suppose 0 = -5*v - 5*w + 675, -3*v + 255 = -b*w - 158. Let t be 16/v + 2/(-17). Does -2 = t?
False
Suppose 0 = -5*v + 41*v - 72324. Which is greater: v or 2008?
v
Let x be (-93)/124 - (4 + (-1074)/216). Is 15.08 less than or equal to x?
False
Suppose -7*u - 34 = 22. Let g = 142 - 118. Suppose -g = 14*a - 8*a. Is a bigger than u?
True
Suppose 4*o = 5*r + 40, 0 = -2*o + 5*r + 6 + 4. Suppose -o*m - 600 = -21*m. Is m at most as big as -1?
False
Let l = -75 - -75.36. Let q = l - 0.22. Let u = -0.06 - q. Is -5 less than or equal to u?
True
Let s be (-3 + -3 + 4)/2. Let w be (-12069)/(s/1 - 7). Let n = w - 1503. Is 7 greater than n?
True
Suppose 5*c + 5*g = 25, -4*g - 34 = -2*c - 3*c. Suppose 3*w - c*w - 36 = 0. Let h be (-78)/24 - (-9)/w. Which is smaller: -3 or h?
h
Let r be 5*(-20)/(-25) - (-4308)/(-297). Let h = -96/11 - r. Let j(d) = d**2 + 6*d + 6. Let p be j(-5). Is h > p?
True
Suppose -1 = 252*p + 63*p - 1. Which is greater: p or -4/23453?
p
Let h = 115 + 30. Let v = h + -146. Let i be -1*14/4*-2. Is v <= i?
True
Let f be 106/(-4)*(1 + 1). Suppose 5*y - 253*t = -254*t - 263, -t = -2*y - 108. Is f greater than y?
False
Let s = 1.169 - 1.2. Let t = s + 0.081. Let y = -1/46 + -43/138. Which is smaller: t or y?
y
Let h = 21 - 21. Let y(u) = -213*u + 25. Let f be y(-12). Let d = 358757/139 - f. Which is smaller: h or d?
d
Suppose 0 = -5*q - 12*n + 8*n + 82, -38 = -2*q + n. Is q greater than 10?
True
Suppose 2*z = -6 + 2. Let p be (13 + -9)*z/(-20). Let m = -127/43430 - 3/430. Is p greater than or equal to m?
True
Let g = 3/24326 - 28850645/72978. Let f = 396 + g. Which is greater: f or 0.136?
f
Let f(a) = 3*a**3 - 88*a**2 - 172*a - 73. Let y be f(30). Is y at most as big as -3434?
False
Let p = -128.622 - -109.54. Let z = 19 + p. Which is smaller: -0.2 or z?
-0.2
Let q be (-26)/91 - 717/(-2485). Suppose 22*o + 27*o - 65 = -114. Do q and o have the same value?
False
Suppose -1012 = 9*n + 3826 + 3676. Is -953 less than or equal to n?
True
Let w = 11 + -9.5. Let q = w - 1.3. Let i be -1 - (8/(-10))/(18/45). Which is smaller: q or i?
q
Let d = -363 - -1097. Let k be 8/36 - d/(-18). Let m = 29 - k. Is m at most as big as -11?
True
Let m(i) = 13*i + 32. Let d be m(10). Let a = 91 - d. Let t be (528/165)/((-4)/90). Which is smaller: t or a?
t
Let l(a) = -4*a**3 + 12*a - 94. Let k be l(0). Suppose -4*r - 151 - 225 = 0. Does k = r?
True
Suppose 5*q + 3*w + 61 = w, 4*w = 5*q + 43. Suppose g - 19 = -0*g. Let s = 9 - g. Is q > s?
False
Let u = -3/5 + 4/15. Let h(n) = -n**2 + 6*n - 5. Let t(y) = y**2 - 6*y + 5. Let d(b) = 3*h(b) + 2*t(b). Let m be d(5). Which is smaller: u or m?
u
Let n(r) = r**3 - 2*r**2 + 2*r - 5. Let k be n(0). Let o be (k - (-76)/12) + 26/3. Let t be (-4)/24*3/o. Is t bigger than -1?
True
Let d = -1930 - -1930. Which is bigger: 638.6 or d?
638.6
Suppose 2 = -4*w + 2*b + 198, -w = -b - 51. Suppose -15 = 2*k - w. Which is bigger: 49/3 or k?
49/3
Let q = -45.3 - 26.3. Let a = 70 + q. Which is smaller: -0.3 or a?
a
Let b(t) = -t + 9. Suppose 24*m - 29*m = 25. Let y be b(m). Suppose 13*r + y = -r. Are r and -2/37 unequal?
True
Let l(v) be the second derivative of -v**3/2 - 15*v**2/2 - 22*v. Let o be l(-6). Let g be (-2 - (-6 + o))*46. Is g at least 47?
False
Let x(r) = 2*r**3 + 10*r**2 + 6*r + 17. Let k be x(-5). Let i be k/4 + 0 + 1 + 2. Which is smaller: i or -1/13?
i
Suppose -a + 48 = -5*t, 2*a = -t + 57 + 50. Let w = 1287 - 1285. Is a less than or equal to w?
False
Suppose 68 = 5*w - 4*u, -w - w + 3*u = -23. Let o(a) = 9*a + 2*a + 2 + 3*a - a**2 - 10. Let t be o(w). Which is greater: t or -41?
t
Let a = 4363/10 + -437. Let s be 33/7 - 2*3/(-21). Suppose -3*i = -s*i. Which is smaller: i or a?
a
Let w = 24679 + -24815. Which is smaller: -242 or w?
-242
Suppose 0 = 13*q + 116 - 272. Let s(z) = z**2 + 5*z + 11. Let d be s(-8). Suppose -c + 13 = -p, p + d = 2*c + c. Which is bigger: q or c?
q
Let q = 0.009 - -0.091. Let y = 6701007 + -1976781327/295. Let t = 267/5 - y. Is t less than q?
True
Suppose -49*a - 33 = 8*a + 24. Let x = 1409/43 - 33. Which is bigger: a or x?
x
Let o = 646/3081 + 5/237. Suppose 0 = -7*d + 1 + 6. Are o and d unequal?
True
Let d = -46573849/1199 - 209914/109. Let t = d - -40739. Is -32 > t?
False
Suppose 0 = -o - 4*p - 3542, -13*p + 18*p = -25. Is o less than or equal to -3522?
True
Let n = 24 + -377/16. Suppose -6*r + 2*r = 0. Does n = r?
False
Let d = -235.3 + -177.1. Let i = 415 + d. Which is smaller: i or 0.02?
0.02
Let d = 142656/7 - 20150. Which is smaller: d or 228?
228
Let m be (-174)/(-4)*6/(-9). Let x(g) = 2*g + 29. Suppose 2*j + 3*j = 2*r + 22, -2*r + 4*j - 24 = 0. Let y be x(r). Is y greater than m?
True
Suppose -3*n - 12 = -3*k, 4*n + 3*k + 20 = 8*k. Suppose -2*m - 3*m = n. Suppose -5*h = 5*f + 45, m*f + 25 = -2*h + 5*f. Is h at most as big as -10?
True
Let o(j) = -5*j**2 + 24*j - 22. Let u be o(3). Let b(x) = -x - 12. Let q be b(-12). Which is smaller: q or u?
q
Let f(m) = 6*m - 5. Suppose 0 = 31*s - 12 - 19. Let i be f(s). Is i greater than 4/7?
True
Let u be (-176)/66 + 3 - (-1)/(-3). Let j = 38532/935 - 72/85. Let s = j - 44822/1111. Is u not equal to s?
True
Let m = -51/2 - -26. Let j = -181.945 + 182. Let o = j - 0.275. Is m less than o?
False
Let s(v) = -42*v - 813. Let g be s(6). Which is smaller: -1063 or g?
g
Let r = 387.37 - 388.77. Are r and -59 non-equal?
True
Let c(f) = f**2 - f - 16. Suppose 0 = -4*r + 19 + 1. Let w be c(r). Is w < -0.1?
False
Let j(x) = 5*x - 3. Let u be j(11). Suppose -38 - u = 5*h. Let o = 20 + h. Do o and 3 have different values?
True
Suppose 2*i