(-20). Is m at least b?
True
Let b = -3011869079/372 - -32390197/4. Let m = 1127 - b. Which is bigger: m or 0?
m
Let j(l) = 4*l**2 + 16*l - 4. Let s be j(-4). Let h be 6/((-252)/(-222)) + 20/s. Let d = 0.28 - 11.28. Is h smaller than d?
False
Let v(d) be the third derivative of -d**7/5040 + 7*d**6/180 + 19*d**5/60 - 13*d**2. Let y(n) be the third derivative of v(n). Let i be y(23). Is i >= 4?
True
Suppose 11*y + 4*y - 75 = 0. Let t be (1 + 6)*(-6)/7. Let m be (-2)/t*(y - (1 + 1)). Is 9/8 >= m?
True
Let y = 0.5 + -39.5. Let l = y - -42.5. Let d = l - 3.7. Is d at most 3?
True
Suppose -2848 = -2*g - 4*h, 5*h + 2594 + 3167 = 4*g. Is g equal to 1432?
False
Let k = -5 + 29. Let b be (k/2250)/((-6)/9). Suppose -7*u - 3 = -4*u. Which is greater: b or u?
b
Let i(r) = -r**2 + 13*r - 3. Suppose -2*x + 8 = f, -2 = 4*x + 6. Let m be i(f). Let p(v) = -v**2 - 9*v + 13. Let w be p(-10). Which is smaller: m or w?
w
Let i be (-2)/5*(-4 - (4 + -3)). Suppose q - 241 = -i*z, -4*q + 8*z - 3*z + 1003 = 0. Is 247 != q?
False
Suppose -15324 + 15520 = -2*u. Which is bigger: u or -295/3?
u
Let i(u) = u**3 + 1. Let v(t) = 4*t**3 - 16*t**2 - 34*t - 13. Let k(x) = -5*i(x) + v(x). Let l be k(-14). Is l at least as big as 66?
True
Suppose 1911 = -18*j - 3741. Does j = -317?
False
Let t(r) = -9*r**3 - 4*r**2 + 2*r + 31. Let a(d) = 2*d**3 - d**2 - d - 2. Let h(v) = -3*a(v) - t(v). Let q be h(-3). Let o = -64 + 19. Which is greater: o or q?
o
Let n be 19290 + 245 + 0 + (0 - 5). Are n and 19530 unequal?
False
Let i = -7.2 - -6. Let j = 10624 - 10625. Which is smaller: j or i?
i
Suppose 0 = -2*k + 4*x + 4282, 68*k - 66*k = -3*x + 4296. Is k >= 2145?
True
Let r be -2 + -14 + 3 + -6412. Which is smaller: -6424 or r?
r
Let v = 63.854 + 0.146. Let i = -196 - -133. Let o = i + v. Is o less than 4/7?
False
Let q(m) = -m**2 + 7*m + 61. Suppose -15*n + 162 = 27. Let u be q(n). Which is greater: u or 41?
u
Let g(v) = -6 + 3*v - 10 - 3 + 3*v**3 - 4*v**3. Let y be g(3). Which is smaller: -35 or y?
y
Let i be 58/(-261)*(-36)/375. Which is smaller: -1 or i?
-1
Let m = -3386.8 - -3697. Let g = m - 310. Is g > -277?
True
Let x(s) = 114*s - 482. Let k be x(4). Are -12 and k equal?
False
Suppose 25*x + 0 + 0 = 4*x. Is -11/3099 at most x?
True
Let q = -7190 + 7190.028. Which is smaller: 27 or q?
q
Let f be (-27)/(162/60) + 8 + (0 - -3). Suppose -2*i - 2 = 4*d, 0 = -2*i - 0*d - 3*d - 1. Let l be (-795)/(-3100) - i/4. Is l not equal to f?
True
Suppose -3*k + a = 218, -2*k + a + 358 = -7*k. Let n = k + 40. Is n not equal to -30?
True
Let t = -0.3166 + 0.3726. Is t > -0.7?
True
Let x = -143.87 + 145. Let u = x + -1.17. Are 12 and u unequal?
True
Let w(l) = -l + 17. Let q be w(10). Suppose 2*p = -9*v + q*v - 14, 3*p = -v - 17. Which is smaller: p or -22/5?
p
Let i = 11 + -12. Let j be (13 - 19)*(-3 - i). Let m(b) = 3*b - 27. Let u be m(12). Which is smaller: j or u?
u
Let r = 2 + 0. Let w be (-6063)/235*10/(-6). Suppose 89 = -r*v + w. Is 1/4 equal to v?
False
Suppose -2*z + 11 = -4*h + 3, 5*z = -h + 20. Let m(p) = -p**2 + 4*p - 15. Let l be m(h). Which is bigger: l or -5?
-5
Let a = 121 + -113.1. Let n = -515.94 + 516. Let k = 0.16 - n. Is a != k?
True
Let w = -226520367699/299 - -757589278. Let h = 3925 + w. Let v be (-2 - -1) + (-7 - 7) + 14. Which is greater: v or h?
h
Let h = 1334/3 - 1315/3. Let a(l) be the second derivative of l**4/12 + l**3/3 - l**2 - l. Let c be a(-4). Which is smaller: h or c?
c
Let q be ((-135)/90)/(6/(-16)). Suppose 5*s + 2 - 5 = -2*p, -5*s = -q*p + 81. Which is smaller: p or -2?
-2
Let g(y) = y**2 - 6*y + 7. Let r be g(5). Suppose 0 = -d + r*d + 13. Let b be (4/(-7))/((-60)/42) + 72/(-5). Which is bigger: b or d?
d
Let x = -0.05036 + -233.94964. Which is smaller: x or 0.05?
x
Let m = -17.761 + -0.239. Let u = m + 19. Is u at most 226?
True
Let q be (-1 - -19)/(-3)*-1 - 2. Let s be (2/(-32))/(q/(16/10)). Which is greater: s or -1?
s
Let f = -206 + 206. Let x be (-171)/(-99) - (-6)/(-4) - f. Which is greater: x or 0?
x
Let b = -2.6 - 0.4. Let p = b - -5. Let w = 42318 - 42302. Which is bigger: p or w?
w
Let c = 180021/7 + -25717. Which is smaller: c or 5126?
c
Let h(m) = 43*m**3 - 3*m**2 + 2*m - 12. Let l be h(8). Let d be 7/((-546)/l) - 2/13. Let b be 150/d + 4/14. Do -1 and b have different values?
True
Let s = -449843997/4385 + 102587. Is s at least -0.1?
True
Let w = 2054 + -1546661/753. Let y = 5254/12801 + w. Is 1 >= y?
True
Let p = 3 + 715. Suppose 6*o = -116 - p. Are -138 and o equal?
False
Let v(z) = -8 + 11 + z**2 - z - 4*z - 41. Let k be v(10). Which is bigger: k or 9?
k
Let l = 0.15 - -16.85. Is -62 at least l?
False
Let r = -35 + 34.97. Let j = r - -14.03. Let k = j - 13.8. Is 0.4 smaller than k?
False
Let a = -0.1018 - -0.3018. Which is bigger: a or 32?
32
Suppose 0 = 17*w - 2299 - 5844. Is 1911/4 <= w?
True
Let i = 116371/1638 + -1492/21. Is 1 greater than or equal to i?
True
Suppose 2*z = -2*a + 14, 2*a - 3*a = -2*z - 10. Suppose -134 = 36*j + 10. Let q be (129/21 - 7)*42/j. Which is smaller: q or a?
a
Suppose -3*w + 0*w - 7*k = 333, -5*w + 5*k - 605 = 0. Is -112 at most w?
False
Let z be 26 + (3 + 1)/4. Let o = -25 + z. Suppose -o*b - 2*k - 6 = 0, -b + 3*b - 2*k + 18 = 0. Is b equal to 0?
False
Suppose 0 = -5*g + 25*g + 600. Let f = g - -38. Is -2 > f?
False
Let g = -51 - -53. Suppose m - g = -3*v, -4*m - 5 = 5*v - 6. Is m equal to -2/45?
False
Let n(c) = -3*c**2 - 38*c - 5496. Let m be n(0). Is -5496 equal to m?
True
Let b be 0 - ((-18)/42 - (-13375013)/(-3024980)). Let v = -2/21607 + b. Let u = -21/4 + v. Do 25 and u have the same value?
False
Let x be 4*15*(38/12 + -3). Suppose 3*i = -0*i + 4*z - 20, 5*i = -2*z + x. Do i and 2 have different values?
True
Let v = 59.934 + -59.95. Which is smaller: v or -54?
-54
Let s = 2.1601 - -3724.8399. Is s at least -1?
True
Let m be 387/1479 - (-7 + (-585)/(-85)). Let j = m + -2217/493. Which is greater: j or -5?
j
Let c = -4.44 + 12.97. Let x = c + -7.53. Which is smaller: -116 or x?
-116
Suppose 2*y - 5*x = -9, 3*x - 9 = -6*y + 9*y. Is y less than or equal to -19/24?
True
Let z = -213 - -5113/24. Let n = -49 + 53. Suppose 3*i - 6 = 4*k - k, 0 = -2*i + n*k + 8. Which is bigger: z or i?
z
Let w be (4 + -9 + 4)/(-1). Suppose 15*q = 5*q - 600. Let i be ((-10)/q)/(1/11). Is w < i?
True
Suppose 0 = -b - u + 2 - 5, -2*u = 4*b + 12. Is b at most as big as -2/213?
True
Let p = 2100 - 2094. Do p and -51 have the same value?
False
Let c = -1402 - -1984. Do c and 580 have the same value?
False
Let z(l) = -174*l**2 - 2413*l - 4. Let w be z(-14). Is w less than or equal to -326?
True
Let t = -111.107 - 33.723. Let i = t - -145. Is i >= -3?
True
Let j(l) = -13*l**2 - 20*l - l**3 - 11*l**2 - 6*l**2 + 19*l**2 - 19. Let s be j(-9). Is s != -11/102?
True
Let h = -0.0293 + -91.9707. Let c = h + 93. Which is smaller: 0.05 or c?
0.05
Suppose 231 = -11*r + 1287. Suppose r*w - 108 = 98*w. Which is bigger: w or -56?
w
Let g = 25 - 573/23. Let j = -86 - -120. Let u = j - 35. Is u <= g?
True
Suppose 0 = -9*x - 602 + 791. Let a be ((-36)/x)/((-12)/140). Is 21 at least as big as a?
True
Suppose 0 = q - x - 314, 7*q = 9*q - 4*x - 626. Which is greater: 316 or q?
316
Let g = -153/44 + 41/11. Let j = 103 - 34. Is j less than or equal to g?
False
Suppose -3*q + 4*y - 1 = 0, 3*y - 5*y = 3*q - 5. Which is bigger: q or 174/79?
174/79
Suppose 316 = -5*k + 5*q + 286, 5*k - 51 = -4*q. Let b be 131/63 + (-4)/18. Which is bigger: b or k?
k
Let o = -665 + 218. Let p = o + 448.8. Which is smaller: p or 1/6?
1/6
Let n(x) = 7*x**2 + 97*x - 20. Let r be n(-15). Do r and 3 have different values?
True
Let u = 50.8705 + -0.8705. Is 70 at least as big as u?
True
Suppose 18*v + 69 = 15*v. Let i = 27 + v. Let y be (-21)/14 - (-6)/i. Is y at most 3?
True
Let m(v) = -v + 35. Let a(o) = o**3 - 25*o**2 + 48*o - 33. Let y be a(23). Let d be m(y). Is d greater than or equal to 144/7?
True
Let p(h) = h**3 - 14*h**2 + 14*h - 14. Let i be p(13). Let a(m) = -20*m**3 + m + 1. Let w be a(i). Let k = 21 - w. Is 2/85 greater than k?
False
Let f(t) = -12 - 36*t + 11 - 7 - 8 + 8*t. Let g be f(4). Are -127 and g nonequal?
True
Let y(c) = 10*c**2 + 95*c - 29. Let r be y(-6). Which is smaller: r or -185?
r
Let q = 82265/386448066 - 1/118506. Which is bigger: 0 or q?
q
Let n = 101 