 b <= f?
False
Let y(b) = -106*b**3 + 5*b**2 - 3. Let l be y(1). Suppose 76 = -o - 30. Is l at least as big as o?
True
Suppose 3*b - 14*k + 381 = -15*k, -b - 3*k - 143 = 0. Is b equal to -1/14?
False
Let d(s) = 3*s**3 + 3*s - 2. Let x be d(1). Let q be (19/x)/(13/260). Suppose 68 = 2*o - 5*y, -2*o + 3*y + q = 27. Which is bigger: o or 33?
o
Let x(t) = t**2 - 6*t + 4. Let v be x(12). Let f = 69 - v. Let q be (-8)/(-28)*8 + 2/f. Is q smaller than 5?
True
Let i be 74/14 - 0 - 52/182. Let u be -6 + (60/(-2))/i. Which is smaller: -1 or u?
u
Let g = -24 + 26. Suppose -12 = -5*z - g. Let c be (1 - 3)*3/(-6). Do z and c have the same value?
False
Let c = 14507 + -14943. Is c equal to -438?
False
Let d(l) = -1152*l**2 - 130*l + 262. Let h be d(2). Is h at most as big as -4605?
True
Let h(v) = -v**3 + 8*v**2 - 9*v - 7. Let o be h(7). Suppose -q = -7 + 4. Suppose -7*b - 190 = q*b. Which is smaller: o or b?
o
Let u = -147.82 + 146. Let t = 15.82 + u. Is -6/11 bigger than t?
False
Let g = -413 - -341. Let u be 90/g - 807/(-204). Which is greater: u or 2?
u
Let l = -164 + 134. Let q = 18 + -17. Let s be (-1 - 57)*q/2. Which is smaller: l or s?
l
Suppose 2*g + g + 108 = 0. Let r = 1645 + -1682. Are g and r unequal?
True
Let b be (-42)/18 - (-9 + 230/30). Which is smaller: 13/341 or b?
b
Let g = 1217 + -502. Is 1/4 != g?
True
Let i be (4542/36 - 3) + 2/(-12). Which is bigger: 125 or i?
125
Let i be 2 - (-4 - 0)/(-4). Let g be 8/(-3) - i - (-4)/6. Which is smaller: -6 or g?
-6
Let c = -57/203 - -4/29. Let m = -100 - -115. Suppose 5*u + m = -0*q - 5*q, -2*u - 3*q = 9. Is c at most as big as u?
True
Let m(j) = 48*j + 961. Let i be m(-20). Which is smaller: -11/144 or i?
-11/144
Suppose 0 = -2*q + 2*y + y + 2, -5*q = 2*y - 5. Let k be ((-16)/(-10))/(q/(-5)). Let n be (-4 - k - 4)/(-2). Is 2 > n?
True
Let q be (3 - 0)*176/4224. Which is bigger: -71 or q?
q
Let u = -20734 + 20544. Is -194 bigger than u?
False
Suppose 34*s - 35*s = -3, 3*i - 7782 = s. Is i less than or equal to 2596?
True
Let h be (-4 - -12)/(249/(-62) - -4). Which is smaller: h or -499?
-499
Let x be 6/(-33) + (192/88 - -5) - 7. Which is smaller: -1/17967 or x?
-1/17967
Let b = 43 + -43. Suppose b = 8*h + 44 - 12. Let c be (-30)/h + 57/(-38). Do 6 and c have the same value?
True
Let g be (-68)/102 + (-11)/(-12). Let d = -3247/259 + 119/74. Let b = d - -4353/406. Which is bigger: b or g?
g
Suppose 4*u = -4*n + 728, 724 = 4*u - 93*n + 98*n. Are 190 and u equal?
False
Let n = 4843/2 - 2420. Let l = -12.02 + 0.02. Which is bigger: l or n?
n
Let h = 29846 - 16556. Are h and 13290 unequal?
False
Let r be 366 - ((3 - 1)/(-16) + 93/(-24)). Is r greater than or equal to 0?
True
Let z = -1557 - -694. Is z at most -861?
True
Let y = -5630 + 16595/3. Is y equal to -98?
False
Let o = -310.91 - -308.91. Is 1523 greater than o?
True
Let m = 28196/37 - 762. Let r = 321 - 316. Suppose r*d = -3*f + 25, f - 5*d + 12 + 13 = 0. Is f >= m?
False
Suppose 4*y - 4219 = g + 113, 0 = -4*y + 3*g + 4340. Is 1081 greater than y?
False
Let k = -11.7 - -12.7. Suppose -i = -3*v + 166, -28*v + 30*v = -3*i + 96. Is v < k?
False
Suppose -l = 152 - 48. Let g = -22/7641 + -3970663/38205. Let j = l - g. Which is smaller: -1 or j?
-1
Let g = 31991 - 31990. Are 6/12029 and g nonequal?
True
Let s be 1/(-4) - 3396379/(-954720). Let h = s + 1/4320. Let a = h - 38/13. Is a greater than or equal to 1?
False
Let f = 9387 + -9357. Let s(c) = -7*c + 5. Let y be s(-4). Which is greater: y or f?
y
Let r be ((49/(-35))/(-7))/((-15)/(-27)). Let w be (1 - (-2 - -2))/(-1). Which is greater: r or w?
r
Let c = -58483 - -36920. Is c smaller than -21564?
False
Suppose -c = -3*c. Let k be -28 + (-3 - -3 - c). Let f be (2688/(-36))/16*6. Is k >= f?
True
Let x be ((-5)/35*60)/((-111)/21). Let g = -1400/407 + x. Which is smaller: -1 or g?
g
Let n = 5177 - 5194. Which is bigger: 11.6 or n?
11.6
Suppose -231 - 139 = -5*r. Suppose 191 = -t - r. Let b be (t/(-30) - 4)*1*2. Is 9 less than b?
True
Let x(d) = 4*d**3 + 10*d**2 - d - 8. Let l be (-8)/(-2) - (55 + -47). Let z be x(l). Is z less than -2?
True
Let l = 6281 - 6281.2. Which is smaller: l or 360?
l
Let z be (12 - (-1026)/(-81))*(1 - (-68)/(-71)). Suppose 0 = -4*m - 5*a - 6, 0*m - 11 = -3*m + 4*a. Is m greater than z?
True
Let y = -172856/3 - -55572. Is -2046 smaller than y?
False
Let f = -354239/7 + 50391. Which is smaller: f or -214?
f
Let q be (7096/10 - -2) + 4. Let a = 720 - q. Do 5 and a have the same value?
False
Suppose -294 = -3*p + 3*r, -p - 2*p - r + 282 = 0. Let y = -75 + p. Which is greater: 16 or y?
y
Let i = -213809 - -34850758/163. Let k = i - -1/489. Is k smaller than 0.0103?
True
Let x = -51 - -82. Let i = -5711 - -5741. Let p = x - i. Is p at least as big as 31/5?
False
Let k = -563037649/442155402 - -2/459621. Let p = -31/26 - k. Suppose -2*o - o - 3 = 0. Is p at least o?
True
Suppose 3*s = 4*f + 223, -5*f - 413 + 143 = 5*s. Let w(g) = 2*g**2 + 4*g + 6. Let t be w(4). Let x = t + f. Is 3/11 at most x?
False
Let f = 13125 + -15514. Which is greater: -2385 or f?
-2385
Let b = 2052 - 1906. Is 134 at most b?
True
Let b be -4 + 0 + 26904/9. Let d = b + -3013. Let l = d - -28. Which is greater: l or -1?
l
Let i = 262.853 + -263. Let q = i - 0.053. Which is smaller: 2/121 or q?
q
Let g(a) = -a**3 + 10*a**2 - 10*a - 16. Let k be g(10). Let i = -121 - k. Which is smaller: -4 or i?
i
Let l(i) = -40*i**3 - 14*i**2 + 19*i - 79. Let t be l(5). Which is greater: t or -10665/2?
-10665/2
Suppose 0 = -5*n + 4*n + 4*h + 456, 4*n - 5*h = 1791. Let r = n + -438. Is 17 at most as big as r?
False
Let j = -369 + 393. Suppose 47 = j*f - 1. Let q = -0.57 + -0.03. Is q > f?
False
Let p = -10 - -10. Let f = p - 1. Let o = 347 - 353. Is f < o?
False
Let a be 770058/478*(-1)/(-9). Which is smaller: 157 or a?
157
Let t be (0 - -2)*(-543)/6. Let h be (9 - 265/30)*(4 + -2). Which is greater: h or t?
h
Let x be 40*24/9*(-18)/5. Let v = 392 + x. Let l(f) = 2*f**2 - f + 2. Let j be l(2). Is j smaller than v?
False
Let l = 474 - 482. Suppose 8*m + 161 = m. Is l <= m?
False
Let f = 8482.7 - 8483. Which is smaller: f or 791?
f
Let g be 84742*(-3)/(-224) + (-3)/(-48). Which is greater: g or 0.4?
g
Let b be ((-112)/(-20) + -6 + -3)*5. Let p be b + 22 - (-489)/(-96). Do 1 and p have the same value?
False
Let d = -19315 + 19186. Which is bigger: 2.8 or d?
2.8
Let z = -213/4 + 53. Let q be -2 + (-4 - (-199 + 1 + (8 - 4))). Which is bigger: z or q?
q
Let k = -44/7 + 68/7. Let l = k - 26/7. Is l less than -1.29?
False
Let g = 24.3 + -23.3. Let n = 1189985/3744 + 31/3744. Let q = n - 318. Is g greater than or equal to q?
True
Let i(m) = -142*m + 297. Let v be i(2). Let o = -32 + 29. Which is smaller: o or v?
o
Let u = 72.49 + -73. Let r = -497 + 496.5. Let i = r - u. Which is smaller: 2 or i?
i
Let g = 162 - -919. Which is smaller: g or 1077?
1077
Suppose -4*x = -4*v + 56, -v + 0*x - 2 = 3*x. Let q be 6 - ((-132)/(-21) - v/35). Is -2/1269 less than q?
True
Let g(p) = p**3 - 31*p**2 + 85*p - 28. Let l be g(28). Suppose 0 = 14*k - 15*k + 4*d + 450, 3*k - 5*d - 1322 = l. Which is bigger: k or 433?
k
Let v = -139 + 138. Let n be (v/(-2) + 1)/((-11)/440). Is n bigger than -60?
False
Let j be 471/54 + (-4)/18. Suppose -2*u = -4*n + 2*n - 72, 78 = -2*n + 5*u. Let c = -24 - n. Is c equal to j?
False
Let v = 10.2 + 0.8. Let p = 36 + -36.034. Let c = p + 1.034. Is v less than or equal to c?
False
Let h = 47459 - 47458.3. Let o = -12.8 + 16. Let d = o - 3. Which is smaller: h or d?
d
Let d = -119868/19 - -6309. Is d < 0.185?
True
Let z = -4890 + 4132. Which is bigger: -756 or z?
-756
Let w = 352 + -358. Let c be 16*2/w - (-222)/(-333). Is -12 greater than or equal to c?
False
Suppose -4*r = 4*v - 1963 + 503, -3*r + 4*v = -1109. Let g(s) = s**3 + 9*s**2 + s + 367. Let f be g(0). Is r bigger than f?
False
Let m = 591 - 583. Suppose m*z + 47 = -81. Let b(q) = 14*q - 1. Let v be b(-1). Is z not equal to v?
True
Let z = -769 - -279. Let y = 464 + z. Are y and -1/4 non-equal?
True
Suppose -4*m - 13332 = 3*s, 3*s = -s - 5*m - 17777. Let r = 22109/5 + s. Is r smaller than -26?
True
Suppose -1928 = -3*f - 3*f + 2080. Which is smaller: f or 665?
665
Let n = -11404 - -7870. Is n > -3534?
False
Let i = -73 - 203.5. Let s = -29.5 - i. Are -1/3 and s une