21. Let m = 330.157 - 316.31. Let a = 0.847 - m. Which is greater: a or h?
h
Let n be 3/(-9)*(-152)/(-9994). Which is smaller: n or -1?
-1
Suppose -4*i + 14*i = 90. Let s be 905/(9 + -4) + 0. Let z be s/21 - (-18)/(-63). Are i and z unequal?
True
Let c be 3088/(-14668) - (-306212)/38. Are c and 8058 equal?
True
Let i = -0.069 + -0.451. Let g = 22.48 - i. Let v = -41 + g. Do 2 and v have the same value?
False
Let t be 0*(-15)/(-12)*(-8)/20. Which is greater: -4/1777 or t?
t
Let b = 101/210 - -2/105. Let o = 2325 - 2359. Are o and b unequal?
True
Let w be (-110)/(-880) + (-9)/24. Which is greater: -2840 or w?
w
Suppose 6*i + 65 = -151. Let g = 35 + i. Do g and 16/5 have the same value?
False
Let m be (-88)/6 - (2 - 0). Let x be -7*(-3)/(-9)*(-1 - 20). Suppose -x*t - 223 = 659. Which is smaller: m or t?
t
Let h = 93 + -169. Let q = -78 - h. Is 10/7 smaller than q?
False
Suppose -5*o - 3*q - 16 = q, -5*o = -4*q - 16. Let c = -138495619012/3749 - -36942016. Let s = 12/163 - c. Is o at most as big as s?
True
Let z be (-6)/(-50)*4/6. Let h be 2/6*(7 + (-15684)/2238). Let u = -1121/746 - h. Is z at least u?
True
Let p = -0.9 + -7.1. Let q be (-516)/(-66) + -8 + 4/(-12)*0. Is q bigger than p?
True
Let g be (2/6*3)/(2/8). Suppose -3*a - 15 = l + 2*a, -3*l - 102 = -g*a. Suppose -j - 21 = 4*k, 2*j + 51 = 3*k - 13. Which is greater: l or j?
j
Let w = 58 + -95. Let a = -34288 + 34253. Are w and a equal?
False
Let y(x) = x**3 - 3*x**2 + 3*x - 5. Let v be y(3). Let j be (-1 - -1)/(v + -3). Suppose -8*r + 0 + 328 = j. Is 41 <= r?
True
Let n be 6/32 - (-51707)/(-6032). Which is smaller: n or -8?
n
Let u(o) = o**3 - 6*o**2 - 6*o. Let n be u(7). Suppose -328*x + 331*x + 3 = 3*v, 2*v - 7 = 3*x. Which is smaller: v or n?
v
Let t be -134*(8 - (-126)/(-12)). Which is smaller: t or 336?
t
Suppose -12*l + 16*l + 504 = 0. Let c = l + 184. Let g = c - 59. Which is greater: g or 10/21?
10/21
Let l = 21/46 - -1271/138. Which is greater: 10 or l?
10
Suppose 2103*d + 142 - 22 = 2063*d. Let t be 1*-3 - (-4 - -3). Which is smaller: d or t?
d
Suppose 5*c - 7 - 17 = 4*p, 0 = -4*c - 3*p + 13. Suppose 152 + 88 = c*a. Is a < -0.1?
False
Let z = -62.1 - -82. Let y = z + -19.8. Is -427 at least y?
False
Let h be (((-42)/(-7) - 8) + 1)*-3. Is -251 at least as big as h?
False
Let z = -10.045 - -10. Let x = -10480/47079 - -2/5231. Is x > z?
False
Suppose -1635 = -12*n - 3*n. Suppose n = -5*g + 29. Is -73/5 > g?
True
Let p = 10644/11 + -6737630/6963. Let o(h) = -5*h**2 + 49*h + 65. Let b be o(11). Are p and b non-equal?
True
Let s = 1.5088 - -30.6622. Let f = -0.171 + s. Which is greater: f or 0.2?
f
Let t be -1 - -3 - 18/18. Let w = -203 + 5477/27. Which is smaller: t or w?
w
Let m = -195.794 - 0.206. Let d = 196.12 + m. Is -0.15 less than or equal to d?
True
Let p = -103 + 314. Let f = -212 + p. Which is smaller: 42/5 or f?
f
Let j = 4530 - 4980. Is -450 not equal to j?
False
Let f be (8/4)/((-4)/(-2)). Let s be -1 + (1 - (3 - 2)). Let b be (s*1)/(((-1976)/24)/(-13)). Does f = b?
False
Suppose -12 = -5*h + 48. Let a be 1086/(-4)*8/h - -4. Which is greater: -178 or a?
a
Let q = -43 + 70. Suppose -16027 = 38*m - 1321. Let f = m + 414. Do q and f have the same value?
True
Let l = 0.03 - -0.07. Let d = 14.4 + -14.15. Let j = 0.29 - d. Which is smaller: j or l?
j
Let q be -3*((-33)/9 - -4). Let y be -1 - ((-2)/q + -84). Let m = 71 - y. Is -10 greater than m?
False
Let n = 327.61 + -329. Let h = n - -0.69. Let z = h + -0.3. Which is greater: 10 or z?
10
Suppose 239*i - 3682 = 4*x + 244*i, -3*x + 2*i - 2773 = 0. Which is greater: x or -921?
-921
Let g be (-2)/(162/158 - 1). Let n = 28125 + -28204. Is n smaller than g?
False
Let u(b) = 3*b**3 - 2*b**2 - b + 2. Let i be u(1). Let v(m) = -15 + 1 + m + i + 1. Let c be v(8). Which is smaller: -4 or c?
-4
Let m(i) = -i**3 + 18*i**2 + 2. Let l be m(18). Suppose 6*d = l*d + 56. Which is smaller: d or 104/7?
d
Suppose 5*o - 20 = 5*y, 5*o + 20 = 8*o - y. Suppose 0 = 6*b + 4*b + o*b. Which is smaller: -8/13 or b?
-8/13
Let f = 1024 - 1950. Which is smaller: f or -924?
f
Let x = -72 + 72. Let g be (-2)/(-8) - (x - (-39)/12). Let r be -1*(5 - g/(-3)). Which is smaller: -27/7 or r?
r
Suppose 2*c - 7 + 17 = 0. Let g = -15 + c. Let p = -6837 - -6816. Is p greater than g?
False
Let g = -83.7 + 76. Let d = g - -0.7. Let w = -23/25 - -71/50. Which is greater: d or w?
w
Let u be (219/4 - 9)*(-16)/96. Suppose 5*n = -4*m + m - 54, -5*m - 6 = -n. Do n and u have the same value?
False
Let b = -55 + 43. Let f(i) = i**3 + 13*i**2 + 14*i - 28. Let j be f(b). Is -53 < j?
True
Let j = -190 - -100. Let g = -89 - j. Which is bigger: 138 or g?
138
Let q be (-13 - (-30 + 18)) + (-463)/(-443). Does q = 1?
False
Let o = -717 - -699. Let m(p) = p**2 + 7*p - 172. Let l be m(o). Suppose 0 = 4*w - 6*w - 5*z + 57, w = -z + 27. Is l at most w?
True
Let f = 96843 + -96860. Suppose -5*a + 61 = -4*h - 2*a, 5*a - 70 = 5*h. Is h < f?
True
Let q = -5951 + 10294. Is 4344 at least as big as q?
True
Let i be (-4 - -40)/(4/222). Let t = i - 17950/9. Which is smaller: 4 or t?
t
Suppose 47 = -6*x - 13. Let d be (-13)/((-65)/x) + 4. Which is smaller: 22/29 or d?
22/29
Let q = 178981/79128 + -433/314. Let w = q - -1/168. Which is bigger: w or 1?
1
Let c = -3281/4 + 744. Suppose -4*s - 7417 = 97*v, 19*s - 218 = 3*v + 20*s. Which is smaller: c or v?
v
Let w(h) = -h + 3. Let i be w(-21). Let g be (-2*3/i)/((-36)/315). Do g and 1 have the same value?
False
Let n(o) = -4*o**2 + 23*o - 13. Let y be n(5). Suppose 2*x + 29 = y*g + 9, 4*g = -x + 15. Which is smaller: x or -39/7?
-39/7
Let b = 388.4641 - -0.1359. Let x = 441 - b. Is x < -1/3?
False
Let p be (5/(-1) - (-20851)/(-435))*5/3. Is -88 bigger than p?
True
Let t be 13 - (4 - (-1 + 2)). Suppose 6 - 26 = t*h. Let f be (-897)/354 - h - (-1)/2. Which is bigger: f or -1?
f
Let t = -328 - -2290/7. Let l = 0.46 + -0.2. Let d = l + -0.26. Which is greater: t or d?
d
Let b = 2163 - 2160. Suppose -4*y - h + 25 = -0*h, 3*h = 3*y. Suppose 5*t + 35 = -4*j, 0 = 3*t + y*j + 17 + 17. Which is smaller: b or t?
t
Let v be 1 + 3 + (-4 - -3). Suppose -v*w = 3*y - 18, 4*y + 5*w = 41 - 13. Suppose y*z - 26 = 2*k, 2*z = -0*z - 3*k + 16. Which is smaller: 12 or z?
z
Let t be (-21 - -23) + (-1365)/147. Let s = -9 + 2. Is s smaller than t?
False
Let t = -28624 + 41819662/1461. Which is smaller: 1 or t?
t
Let d(m) = -m**2 - 6*m + 32. Let u be d(-9). Suppose -15 = u*b - 2*h, 3*b - 4*h + 13 = -2*h. Is 1/10 equal to b?
False
Let v(q) = q**3 + 9*q**2 - 9*q + 12. Let g be v(-10). Let b(j) = 10*j + 60. Let w be b(-14). Let c be 4/(-6) - w/(-30)*-1. Is c at most g?
True
Let g = -4 + 3. Suppose -572*h = 2939*h - 779442. Which is smaller: g or h?
g
Let a = 175 + -144. Does a = 457/15?
False
Suppose 0*u = 3*u - n + 55, -4*u - 70 = 2*n. Let f be u/(-54) + (-10)/3. Let p be (f - 9/3)/((-9)/(-6)). Is p at least -7?
True
Let t(x) = x**2 - 4*x + 5. Let l be t(3). Let u = -12277/13 + 947. Which is smaller: l or u?
l
Let j = -108.9 - -53.9. Which is smaller: j or -0.18?
j
Suppose 2*p + 4*a = 40, -30*p + 72 = -25*p + 3*a. Suppose -5*r = -p*r - 567. Which is bigger: 0 or r?
0
Let u = 22.027 + -13.167. Which is smaller: u or 11?
u
Let b(x) be the third derivative of x**5/60 + 7*x**4/24 + 5*x**3/3 + 9*x**2. Let g be b(-5). Let h be 29/812 - (24/(-14) + 2). Is g at most as big as h?
False
Let n(s) = -28*s + 7. Let u(d) = d + 1. Let z(t) = 2*n(t) + 42*u(t). Let k be z(6). Let g = 44 + -73. Which is smaller: k or g?
g
Let r(a) = 2*a**3 + 10*a**2 + 18*a + 91. Let y be r(-5). Is y at least as big as 22/131?
True
Let k = 440.3 - 438.8. Is k at most -62.8?
False
Let p be (-1)/((-6)/14)*(33 - 42253524/1280412). Is p >= 1?
False
Let h = 7344 - 7345. Which is bigger: h or -0.8135?
-0.8135
Let b be (-5454)/25806 - 15/(-55). Does b = 1?
False
Suppose 20*u = -17*u - 75591. Which is greater: u or -2042?
-2042
Let r be (-4)/(-12)*-1 - 146/(-6). Suppose 11 = -2*n - 3*d - 4, 0 = -4*n - 4*d - r. Suppose 5*f + 2 = t, 4*t - 1 = 4*f - 9. Which is smaller: n or f?
n
Suppose -4*u - 3465 = 11*u. Let k = 49 + u. Is k bigger than -181?
False
Suppose 320 - 326 = q, -5*h + q - 4 = 0. Which is greater: -70/43 or h?
-70/43
Let c(s) = 10*s - 5. Let z be c(-5). Let u = 242 - 245. Let t be (-5)/z*-23 - u. Is 2 at most t?
