 21. Let a be (12 + 704/(-56))*1*-7. Let j be o(a). Is j at most as big as -7/2?
False
Let m(c) = 3*c + 27. Let r be m(-10). Let i(p) = -2*p**3 + p**2 + p - 5. Let h be i(r). Let u = 63 - h. Is 46/5 >= u?
True
Let g = -39748.8 + 39752. Let t(k) = -k. Let r be t(0). Is r greater than or equal to g?
False
Let n = 99 - 547. Let d = n - -448.13. Does -2 = d?
False
Let a = -56 - -13. Let f = 0.01129 - 0.11129. Which is bigger: a or f?
f
Suppose 5*f - 18*f - 52 = 0. Let a be ((-12)/10)/(f/12). Which is smaller: 5 or a?
a
Suppose -5*r + 11*r = 39378. Let i = r + -623491/95. Which is greater: i or 0?
0
Let k = -489 - -723. Suppose k*p - 233*p = -7. Which is smaller: -86/11 or p?
-86/11
Let w = 820 - 1298. Let v = -448 - w. Which is smaller: 29 or v?
29
Let w = 29 + -32. Let a be 2*w + 28/7. Let d be 4 + ((-240)/(-28))/a. Which is smaller: 0 or d?
d
Let b = 29946/13 + -250787/104. Is -108 greater than or equal to b?
False
Suppose -64*y + 98*y = 510. Is 490/31 >= y?
True
Let g = 135 - 136. Let b be 4 + -3 + 6 - (g + 3). Which is smaller: b or 10?
b
Let j = 7275 + -7306.07. Let d = 127 + -96. Let g = j + d. Are -0.4 and g unequal?
True
Let k = -1362 - -1361.8918. Do -1/4 and k have different values?
True
Let k = 668.4 - 671. Let i = 0.11 + 1.49. Let n = k + i. Which is smaller: n or 25?
n
Let f(s) = -205*s + 5. Let g be f(2). Is g > -407?
True
Suppose -5*u - 29 = -5*m - 4, -20 = -m + 4*u. Is m < 2/8653?
True
Suppose 50*h - 130*h + 759749 - 280069 = 0. Are h and 5997 equal?
False
Suppose 5*v - 3*v = 22. Suppose -12*r + v*r = -9. Let s be -1 - (-6 + 4)/(-2) - -12. Which is smaller: r or s?
r
Suppose 3*v - 11 = -2*z, -2*v = 2*v + z - 18. Suppose -v*u = -20 + 30. Let w(s) = -s**3 + 7*s**2 - s + 4. Let h be w(7). Which is greater: u or h?
u
Suppose -3*g = 370*n - 375*n + 408, -8 = -2*g. Which is greater: 66 or n?
n
Let z = 112055953/338 + -331519. Let w = z + 2/169. Are w and 9 equal?
False
Let q = 108 + -103. Suppose -9*t = -11*t + 10, -q*d - t = 25. Are -13 and d unequal?
True
Let w be -27 - (-7)/((-14)/(-6)). Let d(r) = -r**2 - 24*r + 1. Let f be d(w). Let b = 16215/67 + -242. Is b >= f?
False
Suppose 295*l - 270*l = -600. Let v be 72/(-24) + 158/(-8). Which is smaller: v or l?
l
Let b = -1555435426097/495342185 - -1/99068437. Let s = 3140 + b. Let f = s - 14/13. Are -1 and f non-equal?
True
Let a be 3/9*(-56)/28*3/10. Do 0.199 and a have the same value?
False
Let c = -1948.6172 - 0.3828. Which is smaller: c or -1?
c
Let t be 10/(-4) + 1/2. Let x be (-8577)/(-18) - -1*2/4. Let s = x - 480. Which is greater: s or t?
t
Let s be ((-22)/(-12) - 2) + 6/36. Suppose s = -2*x + 4*d + 40, 0 = 5*d - 4 - 1. Suppose 2*t + 3*f = -2*t - 33, 4*f - x = 2*t. Is -9 bigger than t?
False
Let u = 186 + -61. Suppose 3*f - u = -3*n + 283, 5*n = -f + 132. Suppose f - 27 = 5*p. Is p < 2/9?
False
Suppose -1134 = -22*q + 36*q. Is q at least -62?
False
Let c = -438 + 442. Let l be ((-140)/c)/(-4 + 21). Which is smaller: -0.1 or l?
l
Suppose -5*s - 56 = -6. Let q(t) = -2*t**3 - 1 - 9*t**2 + 4*t**2 + 3*t**3 - 11. Let j be q(5). Do j and s have different values?
True
Suppose -31*i + 37*i + 1008 = 0. Let r be 9/6 + 300/i. Are r and 93 non-equal?
True
Let c = 0.3 - 5.3. Let p be (-27)/(-2)*(-3 + 28/12). Let v be (4 - (17 - 14))*2/p. Is c > v?
False
Let v = -5488.9161 - -5489. Is 3 smaller than v?
False
Let r(q) = -5*q**3 - 2*q**2 + 2*q + 2. Let o be r(-2). Let c be ((-126)/o)/(4/10). Which is bigger: c or -11?
c
Suppose 3*t - 37 + 100 = 0. Suppose -4*j = 4*d - 0*d + 124, j = 5*d + 131. Which is bigger: t or d?
t
Suppose -7*m - 622 + 7075 + 113 = 0. Which is bigger: m or 939?
939
Let j = 53 + -8. Let t = 1629 - 1630. Which is smaller: j or t?
t
Suppose 5*c = 46*c - 82. Suppose 0 = 5*b - 2*u + u - 7, c*b + 8 = -5*u. Are 2/815 and b nonequal?
True
Suppose 81*z - 83*z - 8 = 0. Let o be (3/z + 2)*5/25. Is -2/65 at least o?
False
Suppose -16*o + 12529 = -1759. Suppose 25*s - 20*s = u + 189, -o = 5*u + s. Which is bigger: -176 or u?
-176
Let h(y) = -y**3 - 7*y**2 + y + 17. Let o be h(-7). Suppose 7*b = o*b + 5*s + 32, -3*b + 2*s - 25 = 0. Is b equal to -13?
False
Let g be -27 + (-2256)/(-84) + 776/581. Is 0.2 != g?
True
Let g(o) = -o + 14. Let t be g(0). Let i(a) = -11*a + 41. Let u be i(4). Let k be (u - 26/(-10)) + 335/25. Are t and k unequal?
True
Suppose 2*z + 0*l = -3*l + 46, -4*z + 74 = -3*l. Suppose -16*o = -11*o + z. Which is greater: 16 or o?
16
Let d be 1 + 8/4 + 4. Let u = -6 + d. Let w = 4363/13 + -335. Which is smaller: w or u?
w
Let o be ((16/(-2))/1)/((-108)/54). Suppose -28 = -o*y - 4. Is y at most 1.7?
False
Suppose 6*n + 11 = 101. Suppose -10*v = -n*v - 1415. Is 0.1 greater than v?
True
Let g(l) = -l**3 + l**2 + 8*l - 6. Let b be g(3). Suppose -3*z + 14 = -3*p + 2*p, b = 5*z + p - 18. Which is smaller: z or 6?
z
Suppose -5*p = -2*p - 900. Let w be ((-27)/15)/(-3) - (-1044)/p. Let u = 1484/425 - w. Is -1 > u?
False
Suppose -950 = -7*c + 2*c + 5*z, 0 = -2*c - 5*z + 359. Suppose -19*i = -2*i - c. Let p be 0 + 10 - (1 - 2). Is p greater than or equal to i?
True
Let x = -0.08407 - -0.11407. Which is greater: -967 or x?
x
Let i(u) = -201*u - 314. Let c be i(-2). Is c > 106?
False
Let f be 1683/374*4084/18. Is 1021 >= f?
True
Let c = -40 + 54. Suppose 6*g - c = 8*g. Let w be (g + 6)*(-2)/4. Is w equal to 0.1?
False
Let t(g) = -g**3 + 4*g**2 + 10*g + 12. Let l be t(6). Let w be (5/(-10))/(l - 4/(-2320)). Which is smaller: w or -289?
w
Suppose 4*u - 5 + 25 = 0. Let f = -1780 + 1756. Which is smaller: f or u?
f
Let h(b) be the first derivative of -b**4/4 + 5*b**3 + 5*b**2/2 - 58*b - 57. Let t be h(15). Is 17 < t?
False
Suppose -5*j - 4*g + 5*g = 0, g = 2*j. Suppose j*i = -4*d + 2*i - 2124, 3*d = i - 1595. Is -533 at least as big as d?
True
Suppose 0 = 3*a - 119 - 109. Suppose 0 = 110*t + 67*t - 13452. Is a <= t?
True
Let n = -261 + 469. Let v be (-11)/(-693)*63 - ((-1450)/7 + 1/7). Do n and v have the same value?
True
Let r = 0.842 - 0.94. Let t = r + -0.452. Let m = t - 4.45. Is m less than or equal to 0?
True
Let s = 89 - 95. Let r be s*(5/(125/45) + -2). Is 1 greater than r?
False
Let c = 13 - 16. Let o be ((-3)/5)/(1 + c). Suppose 70*h - 157 = 21*h - 108*h. Is h greater than o?
True
Let s(c) = -c**3 + 2*c**2 + 2*c + 1. Let o be s(3). Suppose -7*z + 4*z = 0. Suppose z = 8*r - 5*r + 6. Is o not equal to r?
False
Let v(s) = 24*s - 1487. Let l be v(62). Which is bigger: -47/116 or l?
l
Suppose 2912*k = 4*s + 2914*k - 64, s - 70 = 4*k. Suppose 4*z = 2*o + 78, 4*z - 3*o = 34 + 43. Is s equal to z?
False
Suppose -2*q = -5*s + 5 + 12, 9 = 5*s - 4*q. Suppose -2*h + 2*b - s = 5, -17 = h - 4*b. Is -1/38 greater than or equal to h?
True
Suppose -153*z + 144*z + 252 = 0. Let d be (8/10)/((-9)/((-5670)/z)). Is d greater than 16?
True
Let q(u) = -17*u - 1. Let m be q(-1). Suppose -b + 5*r + 0 = 7, 0 = 3*r + 6. Let a = m + b. Is -12 < a?
True
Suppose -3*b + 24 = 2*h, -8*h + 4*b - 78 = -142. Is 42 < h?
False
Let r(d) = 3 + d**3 - 5*d - 8 + d**2 + 0*d**3 + 9. Let w be r(-3). Let n be (w/(-3))/((-6)/9). Do 15 and n have the same value?
False
Let t = -236.3 - -269. Let k = t - 5.7. Does k = -3/7?
False
Let i = -2.9 - -20.9. Let p = i + -23. Let x = -85/18 - -56/9. Is x at most p?
False
Suppose -7*f + 33 - 12 = 0. Suppose 0 = 4*m + 5*k - 72, -f*m + 8*k + 53 = 12*k. Which is smaller: 166/7 or m?
m
Let g = -98 + 106. Let x be g/(-42)*-1*(-21)/(-14). Is -157 > x?
False
Let i = -6198 + 6189. Is -57/7 bigger than i?
True
Let o(m) be the third derivative of 1/6*m**3 + 1/120*m**6 + 0 + 0*m - 1/20*m**5 + 28*m**2 - 1/6*m**4. Let c be o(4). Is c greater than 18/11?
False
Let p(b) = -99*b - 19. Let r be p(-6). Suppose -5*c + s - r = 0, -3*s - 47 = c + 84. Which is greater: -117 or c?
c
Let l = 36874360/251 + -146910. Is 1 != l?
True
Let b(d) = d**3 + 10*d**2 + 36*d + 55. Let y be b(-5). Is y at least -6/8207?
True
Let k = -215 - -550. Suppose 141*f - 136*f - k = 0. Is 69 greater than f?
True
Let a = 43 - -17. Let x = -32 + 39. Let j = x + 54. Is j not equal to a?
True
Suppose -19*a - 35856 = -35*a. Is 2240 >= a?
False
Let a be -39*(-1 - -5)/4. Let k = a + 72. Let q = k + -37. Which is greater: q or 3?
3
Suppose 0 = 3*s - 5*a + 537 + 20, 0 = -4*a + 16. Let r = -171 - s. Let u = 2 - 3. Which is bigger: u or r?
r