21)/(-3). Which is bigger: t or j?
t
Let q(h) = 11*h**3 + 2*h**2 - h - 2. Let w = 25 + -11. Let x = 13 - w. Let i be q(x). Is i at least as big as -11?
True
Let o be (-1073)/(-3) - 189/(26 - 5). Are 350 and o nonequal?
True
Let w(t) = -7*t**2 + 17*t + 2. Let s be w(8). Let c = s - -8061/26. Let b = -15 - -16. Which is greater: c or b?
b
Let y(g) = -308*g - 10472. Let x be y(-34). Are x and 2082 equal?
False
Suppose 0 = -2*s - 11 - 19. Suppose -19*a + 40 = 306. Let f = a - s. Which is bigger: -1/28 or f?
f
Suppose 47*q + 8 = 48*q - 4*i, -6 = -q + 3*i. Is 4/13173 less than or equal to q?
False
Let s = -9832 - -9806. Is -1/6 bigger than s?
True
Let i be (4 + 3374/(-4))*219/(-54). Let r = 3404 - i. Let o = -7/18 - r. Is o less than or equal to -64?
False
Let j(g) = -g**3 + 10*g**2 - g + 3. Let w be j(10). Suppose -x - 6 = -5*u - 2, u = x. Let p be (3/(-12) - -2)/(u/(-4)). Do p and w have the same value?
True
Suppose -2*b = -2*m - 2, -4*b = -5*m + 2*m - 3. Let s = -211/848 - -60573/229808. Are m and s equal?
False
Let c(a) = a**3 + 2*a - 1. Suppose 7*r - 2*r - 4*n = 41, -5*n = -5. Let b(p) = 2*p**3 - 18*p**2 + p - 7. Let f be b(r). Let d be c(f). Is d at most 9?
False
Let j = 28197/425 + -1134/17. Which is greater: 1 or j?
1
Let p = -79361/65 - -1221. Suppose 99*i + 10*i - 7*i - 102 = 0. Which is smaller: p or i?
p
Let h = -114 + 109. Let j be (-2109)/(-45) + h + (-2)/(-15). Is 42 smaller than j?
False
Let z = 0.19 - -0.11. Let a = -37 - -57. Let r = a - 20.04. Which is smaller: r or z?
r
Let o be 207*4/(-16) - (-4 - -7). Let q = -163/3 - o. Which is smaller: -1 or q?
-1
Let k(w) be the first derivative of -71*w**2/2 + 107*w - 232. Let x be k(7). Is -390 bigger than x?
False
Suppose 4*u = 2*i + 348, -4*i = 2*u - 0*u - 194. Let o = 143 + -53. Is u bigger than o?
False
Let p be (0 - (-4)/12)*(5 - -1). Let u be p*4/6*(-117)/6. Let o = u + 18. Which is greater: o or -10?
o
Suppose m + 3*m = 2*s + 2, -15 = -3*s. Suppose 7*b - 2*b - 11 = 4*k, b = -m*k + 6. Let p(r) = -r**3 - 5*r**2 + 2*r - 3. Let z be p(-5). Is k smaller than z?
False
Let h = -316 + 522. Let a = h + -206.07. Is a greater than or equal to -2/49?
False
Suppose 9*p - 1 = 15*p + 5*a, 0 = p + 4*a - 3. Is 20/489 at least as big as p?
True
Suppose -4*q - 1649 = -4485. Let g = q + -708. Let a be 354/(-735) - (-4)/10. Which is bigger: g or a?
g
Let l = 26 + -22. Suppose 0 = l*z + 220 - 76. Let c = z - -65. Is c >= 27?
True
Let u = 371 - 368. Suppose 5*i + 9 = -b, -u*i + 54 + 19 = -5*b. Suppose 5*v - t = 2*v - 55, -5*v - 3*t - 73 = 0. Are b and v unequal?
True
Let i = -3 + 3.02. Let u = -11162 - -11162.2. Is i at least as big as u?
False
Let d be (-29)/(232/264)*159/(-9). Is d at least 592?
False
Let r = 0.0737 + -0.1737. Which is bigger: r or -69/2?
r
Let b be 4/5 - (-252)/10. Suppose 5*f - f = 12, -2*f = 5*g - b. Suppose -n = g*n - 5. Do n and -2/65 have the same value?
False
Suppose 0 = -74*p + 3180 - 25306. Are -296 and p equal?
False
Let m = -3.11 + 10.74. Let v = m + 0.97. Let x = v - -1.4. Are x and 2/11 equal?
False
Suppose 0 = -23005*r + 23014*r - 9. Is 49/170 at least as big as r?
False
Let y be -5 + 11 - ((-427758)/4419)/((-1936)/120). Which is smaller: y or 0?
0
Let t(u) be the second derivative of u**3/2 + 26*u**2 + 27*u + 1. Let l be t(-15). Is 2/29 < l?
True
Let v = -18044 - -2544206/141. Which is smaller: -13 or v?
-13
Let p = -259 + 264. Suppose 0 = -5*q - 0*l - 2*l - 240, -4*q - 209 = p*l. Is q <= -44?
True
Let x(c) = -6*c**2 + 5*c - 2. Let m be x(2). Let s be (1 - 6/(-12))*8/6. Is m smaller than s?
True
Let y(l) = -l + 6. Let w be y(3). Let r be (-404)/(-16) - w/12. Let p = r + -24. Which is bigger: -3/11 or p?
p
Let n be -1 + 3 + 1 - (8 + 140/(-42)). Is n at most as big as 11?
True
Let h = -268 - -289. Suppose 161 = 23*o - 16*o. Which is bigger: h or o?
o
Let q = -1734 - -3626. Are q and 1895 non-equal?
True
Suppose -3*j + a + a = -5, 16 = 2*j + 5*a. Let b be (-2)/12 + (-2755)/(-50) + 0. Let n = 178/3 - b. Is j != n?
True
Let u(d) = 18*d**2 - 4*d + 2. Let h be u(2). Let m be 3*-6*35/126. Let x be (286/h)/(m/(-3)). Which is greater: 0 or x?
x
Let n = 3021.9 - 3022. Is 1.52 less than n?
False
Let r be ((-1)/(-13))/((-11)/1 + (-21312)/(-1936)). Are r and 8 unequal?
True
Let g = -1452.9 + 1379. Let p = g + 75. Is -2/9 at least p?
False
Let z(y) = 2*y + 6. Let q be z(-5). Let d be (-2 - 14/q)/(9/(-432)). Which is greater: -73 or d?
d
Let x = -23 - -23. Suppose x = t + 1, 7 = -c - t - 26. Let m be (-2)/(-3)*792/(-16). Is c >= m?
True
Let a = 24 + -49. Suppose 13*f + 163 = 1788. Let r be ((-550)/f)/(2/10). Are a and r non-equal?
True
Suppose 8 = -5*h - 3*s, 4*s - 55 = -59. Which is smaller: h or 2/24833?
h
Suppose 3*r = d - 8, 5*d + 3*r = 534 - 548. Let m be ((-4)/20)/(12/(-10)). Is m at most d?
False
Let d = 0.049 - 7.049. Let v = -15 + 25. Let b = 10 - v. Which is smaller: d or b?
d
Let g(v) = -273*v - 2. Let n be g(1). Let l = n - -433. Let t be l/(-185) - (-12)/15. Which is smaller: t or -1?
-1
Let a = -189 - -165. Let z = a + 25. Is 1/199 at most z?
True
Let t(l) = -10*l - 108. Let m be t(-11). Let f be (1/m)/((-23)/46). Which is greater: f or -3/232?
-3/232
Let h be 8/19*(-37)/(-740). Let f(c) = -c**2 + 4*c - 1. Let n(a) = a + 11. Let q be n(-7). Let t be f(q). Is h >= t?
True
Let u be (-67)/469 + (-1)/((-987)/235061). Let v = u + -238. Do 0 and v have the same value?
False
Let i be (((-273)/28)/3)/((-1)/36). Let r = i - 110. Suppose -r*u + 8*u = 1. Which is bigger: u or -1/124?
u
Let y = -656 + 660. Suppose -m - 3*i = 0, m - 5 = 2*i - 0. Suppose m*p = p - y. Which is greater: -2/3 or p?
-2/3
Let o(q) = 3*q - 32. Let z be o(10). Let j be 3 + 1 + 18 - (z + 0). Let m = j - 23. Is -3 > m?
False
Let n = 781 - 780.32. Let r = 0.03 + -0.15. Let k = n - r. Is k at least -2/3?
True
Let z = -125 - -214. Suppose -4*g - z = -81. Let t be (g/(-5))/(4/600). Is 60 at least t?
True
Let c(n) = 5*n - 164. Let a(x) = 5*x - 164. Let r(i) = 2*a(i) - 3*c(i). Let s be r(31). Is 15 greater than s?
True
Suppose -1651 - 5191 = 22*u. Which is bigger: u or -312?
u
Let z(a) = -31*a**2 - 10*a - 65. Let n be z(-6). Let j = 703 + n. Is j at least -418?
True
Let q = 0.494 - -504.506. Let r = q + -505.04. Is 2.7 smaller than r?
False
Let c(o) = o**2 - 7*o + 7. Suppose 7*f = 6*f + 5. Let l be c(f). Let k be 1/(l - 156/(-51)). Is k >= 17?
True
Let p(c) = -3*c - 52. Let l = 256 + -266. Let r be p(l). Which is bigger: r or -21?
-21
Let v = -18336/11 - -10579938/6347. Is -1 < v?
True
Let z = 82 - 55. Let c = -36 + z. Let n be 3/12 + c/24. Is n not equal to 0.7?
True
Let k = -102 + 196. Let d = k - 94.65. Let a = d + -8.35. Is 1 at most as big as a?
False
Let b(q) = q**2 - 85*q - 2220. Let r be b(-21). Is -565 >= r?
False
Let n be 2/5*(-8)/21 + 0. Let i = 197/1155 + n. Which is smaller: i or 0?
0
Let d = 138 - 67. Let k = d - 114. Suppose 4*p - 4*j = -20, 0 = 4*p + 3*j - 8. Is p >= k?
True
Let w = -4798 + 4842. Let s = -2.8 - -3. Which is smaller: w or s?
s
Suppose 16 = -12*v + 8*v. Let f be ((-7)/v - (-5)/(-20))*-2. Let h be 1/f + 50/162. Is 1 bigger than h?
True
Let c be -1 - ((0 - 3) + 5 + -4). Let z be (c/3)/(30/27 - 1). Suppose -19 = z*f - m, -m = -1 + 3. Is -9 smaller than f?
True
Let u(w) = 8*w + 15. Let l(z) = 8*z + 13. Let i(r) = 4*l(r) - 3*u(r). Let b be i(-1). Do b and 0 have the same value?
False
Let t = 99293/26 - 3819. Let a = -0.34 + -3.66. Is a equal to t?
False
Let g be (-5 + 110/25)/(18/(-20)). Is g less than 7024?
True
Let u be (-6)/159 + 152100/3957616. Is 1 at most u?
False
Let h = 828 + -548. Let g = h - 280.03. Which is greater: -0.6 or g?
g
Let a be (31 + -29)*(3 - 1 - -1). Suppose -3*r + 2*p + 437 = -a*r, 4*r + p + 576 = 0. Which is greater: -144 or r?
r
Let x(v) = v**3 - 5*v**2 - v - 4. Let h be x(4). Let u = h - -30. Let k be 10/2*6/(-45)*u. Which is smaller: -8/3 or k?
k
Let n = -114.908 - 0.092. Let j = n - -115.13. Let w = j + -0.23. Which is greater: w or -50?
w
Let w be ((-11)/6)/(15/90). Which is bigger: w or -3/22?
-3/22
Let m = -99 + 497/5. Let a = 59.4 + -52. Let h = a - -1.6. Which is bigger: h or m?
h
Let x be ((90/(-48))/5)/(114/50 + -3). Does 0 = x?
False
Let t be 14 + -3977 + -23 + (-3 - 4/2). Is t bigger than -3989?
False
Let q = -270 - -185. Let m = q + 85.1. Let n = -0