-2)/321)/((-106)/(-795)). Let a be ((-2)/(-4))/((-2)/(-4))*0. Is s < a?
True
Let a be (-1)/(-5) + (-45820)/228932. Let o = 61056491/4864805 - a. Let s = o + -140/11. Is s smaller than -1?
False
Let i = 13.122 - 13.222. Is i < -2986?
False
Let j = -4863.8 - -4864. Which is smaller: -36 or j?
-36
Let k(f) = 2*f**2 - 114*f - 234. Let l be k(59). Is 45/13 <= l?
False
Let j(k) = 2*k - 18. Let g be j(10). Let i = -13/348 + 7981/8700. Do i and g have different values?
True
Let l be (-7 + -1)*(-23902)/476. Let r = 394 - l. Which is smaller: r or -7?
r
Let t = -17672 + 17671. Is 5463/4 greater than or equal to t?
True
Let h = -570 - -573. Let n be (-3*h/(-27))/(3287/(-114)). Which is smaller: n or 0?
n
Let z = 109 - 1108. Let q = z + 68930/69. Let o = q - -37/966. Is o greater than 1?
False
Let h = -86 + 44. Let n = h - -41.5. Let w = n - -0.6. Do 2/7 and w have the same value?
False
Let y = -121 + 120.11. Let w = -0.07 - y. Let i = w - 33.82. Are i and -1 equal?
False
Let q(i) = 2*i - 99. Let y be q(-17). Let h(d) = -d**3 + 13*d + 4. Let f be h(6). Which is smaller: f or y?
f
Let s = 67569 + -339233/5. Is -1/4 greater than or equal to s?
True
Let m = 51 - 50. Suppose -8*i - m = 31. Is -10 greater than i?
False
Suppose 25 = 3*u - u - 3*r, 2*r + 12 = u. Let x be (-18)/(-10)*7 + u/35. Is 4 equal to x?
False
Let u = 19201/2 - 9791. Which is smaller: -192 or u?
-192
Let x be (8/((-48)/18))/(-1 + 2). Suppose 2*s = -18*s + 420. Suppose 0 = 4*q + i - 4*i - s, 0 = -2*i - 6. Do q and x have the same value?
False
Let g = 179030 + -179030.1. Let c = -1440/627437 - 12820476187/4392059. Let r = c - -2919. Which is smaller: r or g?
g
Suppose 0 = 5*f + 4 - 154. Let v = -4567 + 4596. Are f and v equal?
False
Suppose -26 = 2*x + 3*k, -1 = 2*x - 3*k + 1. Suppose 60 = 14*o - 11*o. Suppose -3*i + 4*c - 12 = 0, 3*i + 4*c = 2*i - o. Is i equal to x?
False
Suppose 0 = -4*r + 59*r. Do r and 10/81 have different values?
True
Let i(y) = -y - 6. Let m be i(-9). Suppose 0 = -f + 5*d + 3, -m*d + 30 = -2*f + 71. Let g be ((-144)/(-32))/(2/4 + 2/(-6)). Which is smaller: g or f?
g
Let k = -344.7 - -550.7. Is k > -1/3?
True
Suppose h - 29 + 11 = 4*g, g = -5*h + 6. Suppose 0 = -u + 4*f + 5, -4*f = -h*u + 6*u. Let s = -12.21 - -0.21. Which is greater: s or u?
u
Let d be ((-1)/2)/(18/12*(-1)/(-3)). Let g be 20/175*(-25)/18. Which is smaller: g or d?
d
Let f be 12/63*14/(448/(-48)). Let h = 0.24 + -0.17. Is f equal to h?
False
Suppose f - 43 = -s, 5*s - 9*f = -4*f + 235. Suppose -3*l - 5*w + 45 = 0, 10*w = -3*l + 6*w + s. Is l greater than 19?
False
Let o = 24419 - 25659. Do o and -1235 have different values?
True
Let a be -24231*(-6)/25272 + -6. Let l = a + -1/351. Is l greater than 2/81?
False
Let o(k) = -3*k - 47. Let l = -105 - -80. Let b be o(l). Let r = 40 + -13. Which is smaller: r or b?
r
Suppose -4*t + 6 + 2 = -j, j + 5*t + 17 = 0. Suppose 6*h + 61 = 13. Do h and j have different values?
True
Let c = -6.942 + 0.092. Let d = 0.85 + c. Which is smaller: -2/3 or d?
d
Let h = 2423 + -17007/7. Let i = -190 + 349. Let j = i + -166. Is h greater than j?
True
Let t = 57.526 - 56.6. Let p = 0.087 - 0.013. Let f = p + t. Which is smaller: f or -0.04?
-0.04
Suppose 170*y - 7600 = 132*y. Suppose 3*n = -28 + 634. Is n smaller than y?
False
Let j(b) = -8*b**2 + 17*b + 130. Let z be j(6). Which is bigger: -73 or z?
z
Let y(i) = -7*i + 33. Let t(w) = 2*w**3 + 9*w**2 - 7*w - 6. Let r be t(-5). Let c be y(r). Is c greater than or equal to 17?
False
Let h be 4375/13185 + (3 + -1)/(-6). Which is smaller: -1 or h?
-1
Suppose -5*s + r - 9 = 0, s + r = -3*s. Let d be 6*(-5)/15 - s. Which is bigger: -0.076 or d?
-0.076
Let q be ((-31)/22 - 11/121)/((-6)/(-892)). Which is greater: q or -225?
q
Let z(l) = l**2 - 14*l - 37. Let h be z(15). Let n(q) = q**2 + 29*q + 154. Let j be n(h). Let b = -10/19 - -34/209. Which is smaller: b or j?
b
Let f(c) = -c**2 + 7*c + 2. Let v be f(11). Let h be 5 + (-15)/((-45)/v). Let r = -2.01 + 0.01. Is r >= h?
True
Let g = 7827 + -6254. Is g >= -5?
True
Let v be (-522878)/(-80) + 849/33960. Is v != 6536?
False
Let r(l) = 3*l**3 + 85 - 37 - 18*l**2 - 2*l**3 - 3*l - 2*l**2. Let t be r(20). Which is bigger: t or -10?
-10
Let t = -126.4 + 21.4. Let c = -113 - t. Which is bigger: 0.2 or c?
0.2
Let i(p) = p**3 + 2*p**2 - 2*p - 3. Let v be (0 - 2/(-2))/(10/(-20)). Let z be i(v). Let t be 3/(-3) + z + -16 + 4. Is t at least -3?
False
Suppose 14*d + 112 - 364 = 0. Let m = d - 26. Is m not equal to -6?
True
Let b = 0.7 - 32.7. Let l = b + 28. Is l at most as big as -0.1?
True
Let g = 0.02 - 1.02. Suppose 3*w + 4*j = -7, -w - 42 = 2*w - 3*j. Let a = w + -16. Which is smaller: a or g?
a
Let b(x) = 28*x - 47. Let d be b(10). Let c = d + -350. Which is bigger: c or -121?
c
Let q = -64396/25455 + -6/1697. Let v = q + 1174/345. Let d = v - 536/299. Is 0 greater than or equal to d?
True
Suppose -6*c + c = 4*v - 34, 0 = -v + 2*c + 2. Let x be (-1598)/1020 + v/4. Which is smaller: x or 1?
x
Let s = -668.8 - -602. Let m = 11.8 + s. Let d = m - -60. Are d and -2 equal?
False
Let h = -108 + 753/7. Let l = 12.002 - 12. Let z = 0.038 + l. Which is greater: h or z?
z
Suppose -14*q = -14 - 0. Let b be 0 - q*(1 + -10*1). Suppose 63 - b = -2*f. Is -28 at least as big as f?
False
Let t = 1459/4 - 365. Let f = 510 + -535.3. Let n = 6.7 - f. Is t != n?
True
Let r = 847 - 865.03. Which is greater: r or 0?
0
Let u(a) = -58*a + 65. Let c be u(-5). Let k = 413 - c. Is -0.2 > k?
False
Let f(q) = -q**3 + 4*q**2 + 7*q - 6. Let n be f(4). Suppose n + 30 = -4*o. Let c be o/5 + 0 + 3. Which is smaller: 0.06 or c?
0.06
Let z(f) = 30*f + 2. Let h be z(-2). Let n = -13 - h. Let p = -70 + n. Is p bigger than -27?
True
Let c = 4 + 14.6. Let l = -1.8 + -18.2. Let m = c + l. Which is bigger: 0 or m?
0
Suppose -3 = 2*f + 4*r - 7, -5*r = f + 1. Suppose -446 = 50*v - 52*v + b, 5*v = f*b + 1109. Which is greater: v or 223?
v
Suppose 2*s = -s + 2*r - 2269, s + 761 = -4*r. Let p = s - -469. Let u be p/(-15) + 2/(-10). Which is smaller: u or 20?
u
Let x be ((-8)/647)/(60/((-80)/(-8))). Let b = x - -122323/19410. Is b greater than -2/7?
True
Suppose 66*p = 70*p - 24. Let s = -6 - -10. Suppose -p*h + h + 8 = o, h = -s*o + 13. Is 3/26 at most as big as h?
True
Let h(f) = f**3 - 5*f**2 - f + 9. Let b be h(5). Suppose 0 = b*l - 8*l - 60. Let t be (-25)/(-2)*(96/l)/4. Is -21 > t?
False
Let c(o) = -o**2 + 11*o + 2. Let k be c(11). Suppose -6*x = k*x - 24840. Let g be (-1)/(-1)*4 + x/(-777). Which is greater: g or 1?
1
Let k = -172807556599/3146 - -54929292. Let j = k - -33/26. Suppose 0 = -42*g - 43*g + 11*g + 74. Which is bigger: g or j?
g
Let q = -3.717 - -3.617. Let u = -128099/129 + 993. Which is bigger: u or q?
u
Suppose 140 = -160*m + 155*m. Let j be 442/(-700) - 16/m. Which is bigger: j or 1?
1
Let x = -9660 + 9659. Which is greater: x or 5940?
5940
Let m = 64204/3 + -21403. Which is smaller: m or 2.82?
m
Let m = -8 - -1. Let p = 4897 + -4881. Are m and p nonequal?
True
Let q be 140/(-90) - (-6)/4. Suppose 4*p + 6*p - 200 = 0. Let b(y) = -y**3 + 19*y**2 + 21*y - 21. Let r be b(p). Is r at most q?
True
Let i = 3848.5 + -3840. Which is smaller: -23 or i?
-23
Let i = 6752/17 + -397. Let k(r) be the third derivative of r**6/120 + r**5/15 + r**4/4 + 3*r**3/2 + 18*r**2. Let b be k(-3). Is b less than or equal to i?
True
Let g = 1668 + -1667. Is -17/473 at least as big as g?
False
Let q be (-16)/12*15/(-13970). Is 0.1 bigger than q?
True
Suppose 5*o + 15 = v + 4*v, -2*o - 6 = 3*v. Suppose 4*i - 1248 = 4*s, 4*i = 2 + 6. Let t = s - -10849/35. Which is smaller: t or v?
t
Let g(c) = c + 13. Let i be g(3). Let k be (62/i*-6)/(77 + -83). Is k less than 3?
False
Let g be 22/(-1*(-5 - (-33)/6)). Which is greater: 24 or g?
24
Let r be ((-78)/(-2))/(-3) + (-5 - (3 + -7)). Do r and -14 have different values?
False
Let w be 3*(-5 + (-56)/(-3)). Which is bigger: w or 12?
w
Let r(l) = 263*l + 1608. Let q be r(-14). Which is smaller: q or 0.1?
q
Let g be (2 + -33 + 43236/1404)/((-16)/6). Let w = 0.16 + -3.96. Which is greater: g or w?
g
Let l = -551 - 3810. Let j = l - -21939/5. Is j less than or equal to 27?
True
Let r = -296 - -1185/4. Let v = 1.6 + -4.7. Let z = v - -0.5. Which is smaller: z or r?
z
Suppose -2*i + 4 = -5*x - 477, 61 = -x - 4