et v(f) be the second derivative of -f**5/20 - 11*f**4/12 - 2*f**3 - 3*f**2 + 2*f. Let r be v(-10). Let x be (-1)/2 - 7/r. Does 1 = x?
False
Let x be (24/(-36))/(3/(-2)). Is x greater than or equal to 44?
False
Let u(j) = j**3 + 5*j**2. Let l be u(-5). Suppose l = 14*z - 16*z - 6. Let t be -3 - z/2 - 0. Is t != 3?
True
Suppose -10 = -n - 3. Let a(i) = 662*i**2 - 6*i - 1325*i**2 + 664*i**2. Let z be a(n). Are z and -1 non-equal?
True
Let h = -3658437/11 - -332308. Let u = -277 - h. Is 2 smaller than u?
False
Let w(c) = c - 8. Let d be w(7). Let t = 3 + d. Suppose -5*m + q - 32 = t*q, -3*m - 5*q - 28 = 0. Is m bigger than -5?
False
Let x be 4/((-654)/(-94) + -2 - 5). Is -95 < x?
True
Let g = 318 - 376. Which is smaller: -60 or g?
-60
Suppose 3*v = 5*v + 2. Let a be v/(-4) - 17/4. Let w(h) = h**2 - 32*h - 4. Let x be w(32). Is a > x?
False
Let v = -106.8 - -106.89. Let g = -0.2 + 0.1. Which is smaller: g or v?
g
Suppose 16*y - 315 = 51*y. Let s be (-7 - 11)*(-1)/(-2). Is y greater than or equal to s?
True
Let w(z) = 2*z**2 - 9*z - 184. Let f be w(-8). Which is smaller: f or 1.8?
1.8
Let x = 2/21168143 - 44939968573/10414726356. Let k = 943325/164 - 5752. Let v = x + k. Are v and -5 equal?
False
Let p = -7.67 - -7.37. Is p greater than 2/119?
False
Let a = 2.329 + -0.329. Is a greater than or equal to -20?
True
Let s = -146.1 - -146.2. Let x = -87.937 + 88. Which is smaller: s or x?
x
Let n be 3*-3*3/(-9). Suppose -w = -0*w + n. Let z be (w - 0)/(3/(-5)). Are 5 and z unequal?
False
Let n be (3/2)/(96/(-64)). Let m = -96/5 + 2789/145. Let i = -27/58 - m. Which is bigger: i or n?
i
Let y(a) = -a**3 - 4*a**2 - 2*a - 3. Let p be y(-4). Suppose p*t - 14 = 16. Suppose 4 = t*k - 7*k. Is k equal to -5?
False
Suppose 13*a = 15*a - 2486. Let m be a/(-770) - 3/(-2). Is m bigger than -1?
True
Let i = 0 - 0.3. Suppose n - 17 = -16. Let m be 24/54*-2*n/4. Which is smaller: m or i?
i
Let s = 11250/7 + -1612. Which is smaller: -5 or s?
-5
Let j = -3/7903 - -2228679/86933. Let y = 2787/110 - j. Which is greater: 0 or y?
0
Suppose 21*l - 21 = -0. Which is bigger: -2/1117 or l?
l
Suppose 2*x - 618 = x. Let l = -3102/5 + x. Is -2 greater than or equal to l?
True
Let g = 28 - -5. Let z = -32.92 + g. Suppose 4 = -4*u - f + 3*f, -3*f + 2 = -2*u. Is u >= z?
False
Let n(z) = z**3 - 9*z**2 - 2. Suppose -f = 1, -3*g + 4*f = -2*g - 13. Let k be n(g). Let v(x) = x - 6. Let y be v(6). Which is smaller: k or y?
k
Let i be 4/6*-3 + 7. Suppose b + n = 6*b - 11, -n + 16 = 4*b. Is b smaller than i?
True
Let i be (1330/56)/(3/(-9)). Is -71 less than or equal to i?
False
Let j = -25 - -24. Let p = -35/13 + 263/117. Is j at least as big as p?
False
Suppose 0 = 2*n + 2*n + 8. Let l be (20/(-15))/(n/9). Let k = -5 + l. Is k smaller than 2?
True
Suppose 0*u = 2*h + 2*u + 412, 2*h + 4*u = -404. Which is smaller: h or -209?
h
Let x = -2304 + 2305. Which is greater: x or -6/619?
x
Let r = 118 - 171.12. Let u = 53 + r. Which is greater: 2/9 or u?
2/9
Let t(y) = -y**3 + 9*y**2 + 9*y - 4. Let a be t(10). Let c(q) = -3*q - 34. Let j be c(a). Is 8 greater than j?
False
Suppose 0 = 41*r + 5169 + 1514. Is r at most as big as -163?
True
Let v = -148 - -160. Which is smaller: 18 or v?
v
Let z = -17 - -26. Is 112/11 at most z?
False
Let m = -48 + 109. Let h = 76 - m. Is h at most 1?
False
Suppose 4*g - 47 = -2*r + 131, -g - 77 = -r. Let m = r + -87. Is -23/5 at most as big as m?
False
Let a = -66 - 289. Let h = a + 2479/7. Let i be 2*2/(-4) + 1. Which is greater: i or h?
i
Let p = 16 + -14. Suppose -3*h + 30 = -h + 4*a, 30 = 4*h - p*a. Suppose h*z - 35 = 4*z. Do z and 8 have different values?
True
Suppose 4*i + 0*i - 2 = -2*l, 5*l = -25. Let j(s) = -s**3 + 5*s**2 - 5*s + 3. Let b be j(i). Is b less than -1?
False
Let x = 674 - 673.88. Which is greater: 14 or x?
14
Let a = -618 - -620. Is 127 < a?
False
Let j(u) = 57*u + 341. Let v be j(-6). Let o = 1 + 0. Let t be o/1 - (-24)/(-15). Is v smaller than t?
True
Let q = 112 - 83. Let i = q + -24. Which is smaller: 0 or i?
0
Let z be (-1522)/120 - (-10)/30. Let t = -63/5 - z. Let n = -4 + 3. Are t and n unequal?
True
Let u be 88/(-24)*1*(17 + 1). Let p = u - -92. Is 25 at most p?
True
Suppose 3 + 1 = -f + 3*q, 0 = -2*f + 3*q - 2. Suppose -5*l = -2*z - 5, -f*l + 3*l - 1 = 0. Let a be ((-1)/(-5))/(4/12). Is z > a?
False
Let p(n) = -8*n**3 - n**2 + n - 1. Let h be p(1). Let l = -4 - h. Is 5 bigger than l?
False
Let i = -212 - -98. Let t = -168 - i. Is t smaller than -54?
False
Let t(r) = -r**3 - 3*r**2 + 3*r + 6. Let n be t(-4). Let f = 546 + -545.9. Is f at most as big as n?
True
Let b(i) = i**2 - i + 1. Let j(u) = -u**3 + 18*u**2 - 5*u + 7. Let t(k) = -5*b(k) + j(k). Let s be t(13). Let m be (169/26)/(s/4). Is m bigger than 12?
True
Let y = 2125 - 2125. Which is smaller: -10/513 or y?
-10/513
Let w = 1339 + -3713. Is w at most as big as -2373?
True
Let m be -5 + 3 + -4 + 5. Which is bigger: 2/123 or m?
2/123
Let f = -51 - -51.21. Let c = f - -7.79. Let a = 56 - 56. Which is bigger: a or c?
c
Suppose 75 = 5*s - 50. Suppose 0 = -6*t + t - 5*l + s, -5*l = 3*t - 23. Let n be (6/9 - t)*3. Is 2/5 at least as big as n?
True
Let g = 86.116 + -12.106. Let v = -74 + g. Does v = -1/3?
False
Suppose 3*z + 8*z + 572 = 0. Let o = z + 54. Is 5/6 smaller than o?
True
Let a(t) = -t**2 + 2*t + 6. Let x be a(4). Let r be ((-10)/180)/(3/x). Suppose -h - 6 = 3*u, -h + 5*u = -12 + 2. Are r and h unequal?
True
Let w = 1047 - 1599. Which is bigger: w or -553?
w
Suppose 0 = 734*d - 736*d - 602. Is -298 less than or equal to d?
False
Suppose 2*l = -3*p - 6, -5*p = -3*l + 5*l + 6. Does -13/22 = p?
False
Let l be -5*4/(-20)*2. Suppose -y = 5*r + 16, 3*r = l*y - 13 - 7. Let n be 2/y*(-4)/(-7). Which is smaller: -3/7 or n?
-3/7
Let q = -1 - 6. Let b be (8 - -1) + 4 + q. Let n be 2/5*(-10)/b. Which is greater: n or -3/4?
n
Let u = 16 - 11. Let r = -77219/1768 - -742/17. Let m = r + -181/936. Which is smaller: u or m?
m
Let z = -34.8 - -34.7. Is -162 at least as big as z?
False
Let m = 0.017 - 4.217. Let k = m - -3.2. Which is bigger: k or -9?
k
Let r be -16997*4/(-44) + 2/(-11). Let w = 97333/63 - r. Which is bigger: 1 or w?
1
Let m(q) be the second derivative of q**3 + 43*q**2/2 + 32*q. Let c be m(-6). Which is bigger: c or 5?
c
Let v = 71 - 23. Let u = v + -75. Is u < -28?
False
Suppose -455 + 657 = 2*s. Which is bigger: 104 or s?
104
Let r(o) = 2*o**2 + 25*o + 72. Let u be r(-8). Let i = -6 + 4. Let q be 0 - (i - (-34)/10). Are u and q equal?
False
Let i = -1.75 + 5.75. Which is greater: i or 35?
35
Let c = -25 - 9. Let l = 41 + c. Let w be (-1)/(-21) - (-2)/7. Is l at least w?
True
Let f = -47 - -74. Let t = 27.1 - f. Is -23 <= t?
True
Let t(z) = 10*z**3 + 20*z**2 + 26*z - 11. Let f(w) = -7*w**3 - 13*w**2 - 17*w + 7. Let h(x) = -7*f(x) - 5*t(x). Let b be h(-7). Is b < -16?
False
Let h(b) = -3*b - 6. Let o be h(-12). Suppose -5*z = -5*g + o, -4*g - 2*z = g - 16. Which is smaller: -0.3 or g?
-0.3
Let a be (1 - 4)/((-20)/8). Suppose 0 = 3*b + 25 - 4. Let n(h) = h**3 + 6*h**2 - 7*h. Let r be n(b). Is a bigger than r?
True
Let a = 43637/357 + 12/119. Is 123 at most a?
False
Suppose -3*s - 4*h + 82 = 20, -5*h - 31 = -4*s. Suppose -2*a + t + s = 2*t, -3*a + 7 = -2*t. Suppose 5*o + 2*x + 8 = o, 5*x = -5*o - a. Is o at least -7/3?
False
Let l be (-3 - 3)/((4 + -5)*1). Which is greater: l or 1.2?
l
Let n = -35 + 56. Let z be (-38)/(-14) + 6/n. Let p = -9 + z. Which is smaller: p or -7?
-7
Suppose -2*p = -5*c - 154, 0*c + 58 = -2*c + 2*p. Let l be c/(-12) + (-4)/6. Suppose 0 = l*n + 2 + 2. Is -3 bigger than n?
False
Let l = 5468/391 - 208/23. Which is bigger: 6 or l?
6
Let r = 1 + -3. Is r at least 19?
False
Let v be (-34195)/16800 + (-2)/(-30). Which is smaller: v or -2?
-2
Suppose 0 = -u + 5*v - 4*v + 12, -u = 3*v - 8. Let q = -11 + u. Which is bigger: -1/10 or q?
q
Let o = 4.01 + -0.01. Let j be (-5)/10*(3 - 41). Let s = 18 - j. Is o < s?
False
Let k(l) = -l**2 + l + 49. Let q be k(7). Let f(g) = -g**2 + 7*g - 6. Let d be f(7). Let b = q + d. Do b and 5/4 have the same value?
False
Let s(m) = -m**3 + 2*m + 1. Let u be s(-1). Let y = u + -8. Let i be 2/8 + y/160. Does 1 = i?
False
Let b = -5 - -7. Let a = 81485/6 + -13580. Which is bigger: b or a?
b
Let x = 18.8 + -17. Let v = -270 + 27