u be x(s). Is u smaller than 2/101?
True
Let u(g) = -8*g**3 + 8*g**2 - g - 6. Let h(b) = 8*b**3 - 7*b**2 + b + 5. Let v(m) = 6*h(m) + 5*u(m). Let y be v(1). Let l = -48 - -57. Are y and l nonequal?
True
Let q = -113773/9 + 12625. Let o = 251/18 + q. Is -4/27 less than or equal to o?
False
Let h = -79.57 + 79.323. Which is smaller: h or -19?
-19
Let y be ((-93)/4)/((-1)/((-96)/36)). Which is greater: y or -60?
-60
Suppose -3*s = -3*l + 114, l + 10 + 44 = -s. Let v(d) = -3*d**2 + 3. Let r be v(4). Is s less than r?
True
Suppose -4*j = -2*l - 12, 0*j - 2 = 2*l + j. Let c be 9/(-108)*(l + 6 + -1). Which is bigger: c or -17/2?
c
Let m(s) = -91*s**3 + 59*s**2 + 8*s - 6. Let y be m(3). Do y and -1907 have the same value?
False
Suppose 2*z + 53 - 61 = -4*i, 5*i - 5*z - 25 = 0. Is i <= 87/41?
False
Let f = 24103 - 13618203/565. Which is smaller: -1 or f?
-1
Suppose 4*y = 2*w - 1268, -y - 5*w = 300 + 39. Let a = y + 322. Which is greater: a or 49/17?
a
Let s be (-16)/10*(-8)/(-15 + 47). Suppose 2*n + p + 0*p + 10 = 0, 3*n + 16 = -2*p. Let r be 14/(-2)*(n - -3). Is r bigger than s?
True
Let y = -13785/19 + 51293909/70699. Which is bigger: y or 0?
0
Let m = 42/977 + -346152/6839. Let a = m + 77789/1540. Let z = a + 3/20. Does z = -0.1?
False
Suppose -4*i + 311 = -301. Suppose -i = -8*x + 9*x. Let c be (-6 - x/30) + 2/5. Which is smaller: c or -2/9?
c
Let a = -5261 - -99985/19. Suppose 0*p - 5*w = 4*p - 3*w, -4*w = -5*p. Is p greater than a?
False
Let b be (27 + (-275)/10)*(3 - -1)*3. Let q(r) = -8*r**2 - 12*r - r + 9 - r**3 + 3*r. Let c be q(b). Which is bigger: -22/5 or c?
c
Let a = 159.757 - -0.243. Let v = -89 + a. Let n = -105 + v. Which is greater: 0 or n?
0
Suppose 127 = 46*q + 173. Let s be 150/376 + 4/(-16). Which is smaller: q or s?
q
Let m = -13.903 + 14.21. Do m and -3 have different values?
True
Let o be (6/(-11))/(18/(-132)). Suppose -34 - 38 = x - 2*v, 3*v + 321 = -o*x. Is x greater than -74?
False
Suppose 10*u - 27 = 7*u. Let c be (-749)/609 - (-12)/u. Is 0 smaller than c?
True
Let y = 2248 + -2247.8. Let c = -0.8 + -10.2. Which is smaller: y or c?
c
Suppose -2*u - 2613 + 611 = 0. Let r be (-28)/8*(u/196 + 5). Are r and 2/5 equal?
False
Let m = 373 - 575. Which is smaller: m or -204?
-204
Let i = -0.536 + 13.136. Let k = -20.6 + i. Let m = -4 - -3.6. Is k less than or equal to m?
True
Let s = -2155 + 10777/5. Which is greater: -349 or s?
s
Let v be 0*((-8)/(-12))/2. Suppose -5*r + 2*f - 131 = v, 0 = -5*r + f + 4*f - 125. Let j = 139/5 + r. Is -2/9 not equal to j?
True
Let j(i) = -i**2 - 2*i + 5. Let s be j(0). Let r be 8 - s - (-1 - -10). Let z be -3*r/(-9) - (-2)/3. Is 0.1 less than z?
False
Let b(d) = -d**3 + 14*d**2 + 34*d - 32. Let v be b(16). Suppose v = 3*j + 331 - 34. Is j < -99?
False
Suppose 77*g + 13390 = 116*g - 7241. Which is greater: 527 or g?
g
Let t(g) = 16*g - 41. Let p be t(16). Let z = p + -242. Is z greater than or equal to -27?
True
Let s = 55381/36 + -12247/12. Is s at most 518?
True
Let a(d) = -126*d**2 + 65*d + 17. Let h be a(-2). Is -616 less than or equal to h?
False
Let w = -31.962 - -32.198. Is w greater than or equal to -26?
True
Let m be (7/((-112)/(-612)))/12. Let b = -27/8 + m. Suppose -4 = -3*g - g. Are g and b nonequal?
True
Let h(w) = -160*w - 21. Let b be h(4). Is -661 < b?
False
Suppose t + 14 = -3*o - 0*t, 0 = -5*o - t - 22. Which is greater: o or -40/9?
o
Suppose -2*b = -14*d + 16*d - 9568, 3*d - 14362 = -b. Is 4789 > d?
False
Let s(h) be the third derivative of h**5/60 - 19*h**4/24 + 11*h**3/6 - 3*h**2. Let m(c) be the first derivative of s(c). Let j be m(8). Is -1 >= j?
True
Let u = -7499 - -7498. Which is greater: u or 57/379?
57/379
Let y be 57/45 - -9*6/(-90). Suppose -a = -5*z + 1123, 2*z = -3*z + 4*a + 1132. Suppose 54 = 2*b + z. Which is greater: y or b?
y
Suppose 4*j - 8 - 8 = 0. Suppose -c + 10 = j*c. Let i be (-15 - -10)*(81/5)/9. Which is smaller: c or i?
i
Let s = -31750 - -31750. Which is greater: -56/353 or s?
s
Suppose -561 + 606 = -5*g. Let v be 6 + (-3)/(g/(-15)). Which is bigger: -4/9 or v?
v
Let d = 16585 + -132681/8. Let a = 0.63 - 1.21. Is a less than or equal to d?
True
Let f(c) = -4*c + 93. Let a be (-1 - 2)*1334/(-174). Let h be f(a). Is h greater than 7?
False
Let r = -636 - -313. Let t = r - -321. Is -29 <= t?
True
Suppose -934 = 2*o - 2*j, -4*o - 367*j = -366*j + 1898. Is o at least 13/5?
False
Suppose -14 = -5*g + 6. Let r(b) = 2*b**2 - 10*b + 4. Let l be r(g). Let x = 19 - l. Do x and 23 have different values?
False
Let b(f) = 6*f + 35. Let x be b(7). Let c = x + -80. Which is greater: c or -17/5?
c
Let b = -331.611 + 2.411. Let s = b - -329. Which is smaller: s or 19?
s
Let t = 3.818 - -2.182. Let b = -3/29 - -38/87. Which is greater: b or t?
t
Let a(v) = 14 - 42 + 38*v - 71 + 26 - 41. Let x be a(3). Is 6/59 at least as big as x?
True
Suppose 2504*f + 630 = 2499*f. Is f less than or equal to -132?
False
Let i = 25/69 - 1124/161. Is i <= -7?
False
Let g be (-1)/(8504/132)*46/(-69). Which is greater: 2/5 or g?
2/5
Let q = 10986 - 12173. Which is smaller: -0.01 or q?
q
Let w be 7/2 + (35/10 - 3). Suppose -v + b - 2 = -w*v, 5*b + 4 = -v. Suppose 0 = -4*u + 35 + v. Which is smaller: u or 75/8?
u
Let n = -14696 - 8732. Which is smaller: n or 1?
n
Let x(o) = 63*o**2 - 231*o + 1658. Let v be x(7). Which is greater: v or 3127?
v
Let n = -604 - -349. Let f = n - -236.3. Let s = -3.7 - f. Is s >= -1?
True
Let b be 2*-1*(-8)/2. Let s(f) = 13*f**2 - 78*f + 8. Let n = 283 + -277. Let m be s(n). Do b and m have different values?
False
Let u(x) = -x + 11. Let i be u(-4). Suppose 5*q + 5*d = d + i, 0 = 3*d - 15. Let y be (-1 + 1 + 1)/q. Which is bigger: y or -7/15?
-7/15
Let y(n) = -307*n - 184. Let c be y(-1). Which is bigger: c or 23?
c
Suppose 0 = 2*u - 4, -20 = -5*v + u + 3. Suppose v*w - w = -l + 22, -3*l = w. Suppose -25 = -18*r + 13*r. Is r > w?
False
Let k = -424840/157 + 2706. Let u = -292/1727 - k. Which is smaller: u or 2/27?
u
Let w = -925 - -964. Is 35 > w?
False
Let n = -38 - -32. Let m be (-5 - n)/((-3)/(-24)). Is 52/7 smaller than m?
True
Let m be (-8)/(-92) - 2832/25162. Is m smaller than -1?
False
Suppose -580 = 83*j - 25*j. Suppose 0*q - 28 = 2*q. Let k = 5 + q. Is k at least as big as j?
True
Suppose -q - 48 = 2*v - 41, 3*v = -2*q - 10. Is q != -3/49?
True
Let g = 2749.4214 - 2747. Let s = -0.0214 + g. Which is smaller: s or 1?
1
Let d = 40 - 65. Suppose w - 47 = 3*w - q, -3*q + 69 = -3*w. Let s = w - d. Which is smaller: s or 0?
0
Suppose -5*b = -3*b + 3*i + 3, 3*b = 4*i + 4. Suppose -4*o + 0*o + 32 = b. Which is smaller: o or 10?
o
Let q = 3415 - 23853/7. Let h = q - 3401/455. Let c be (6/4)/((-3)/2 + 3). Do c and h have the same value?
False
Suppose 0 = 14*a - 28 - 28. Suppose f - 11*z = -16*z + 17, 0 = a*f + 2*z - 32. Which is bigger: f or 8?
8
Let w = 1963 + -2131. Is -170 < w?
True
Suppose a = 6*d + 384, 26*a - 23*a = 4*d + 1082. Which is bigger: 0.5 or a?
a
Let i(y) = 243*y - 8368. Let f be i(34). Is f < -103?
True
Suppose -16 = 3*z - 5*n, -n = 6*z - z - 20. Suppose -4*j = -4, -t = -5*j + 13 + z. Which is bigger: -17 or t?
t
Suppose -3*o - 675 = -3*l, l + l - o - 445 = 0. Suppose -54 = -2*a + l. Let q = a + -419/3. Which is smaller: -2 or q?
q
Let b = -4490 - -4440. Let u = -149 - -97. Which is bigger: b or u?
b
Let x = 25929.473 + -25949. Let u = -0.473 + x. Which is smaller: -10 or u?
u
Let g be ((-24)/21)/(10/(-35)). Suppose g*k + m + 16 - 73 = 0, 3*m = 2*k - 11. Suppose -k*l - 6 = -16*l. Are l and 23/7 nonequal?
True
Let c = 367/5 - 73. Let p = -0.0444 + -0.0426. Is p at least as big as c?
False
Let x = 408 + -410. Let a be x - -4 - 7/((-14)/(-6)). Which is greater: -2 or a?
a
Let i(k) = -k + 5. Let j be i(-12). Let c = 488 - 468. Suppose j*v - 3 = c*v. Which is smaller: 5/21 or v?
v
Let q be (-23 - (-5 - -1))/((-2)/(-6)). Let t = q - -56. Is -2/11 != t?
True
Suppose w - 26 = 4*r, -2*r = -2*w + 7*w - 86. Are w and 6 equal?
False
Let w = 1 - 24. Let x(n) = -n**3 + 8*n**2 + 17*n + 54. Let c be x(22). Let j be (3/(-2) + 1)*c/(-138). Is j greater than w?
False
Let y = -75819/616325 - 4/6925. Which is smaller: 1 or y?
y
Let m be (-1 - 352/(-363))/(-4 + 8 + -3). Let k(s) = 4 + 7*s**2 + 4*s**3 + 5*s - 2*s**2 - 3*s**3. Let n be k(-4). Which is bigger: n or m?
n
