ger: o or w?
o
Let n(q) be the second derivative of -q**5/120 + 19*q**4/24 - 7*q**3/6 + 4*q. Let c(t) be the second derivative of n(t). Let s be c(7). Are 12 and s equal?
True
Suppose -2*w = -w - 2. Let x = -35 + 36. Let a be (-3)/x - (-325)/175. Is a smaller than w?
True
Let v = 0.141 + -2.041. Let j = 0.1 + 0. Let t = j - v. Which is bigger: t or 0.3?
t
Let n = 2/873 + -953/34920. Suppose -5*i = -4*i. Suppose -3*u - 2 = -l, -2*l + i*l + 3 = -5*u. Which is smaller: n or u?
u
Suppose -v + 8*b = 4*b + 19, v + 2*b = 11. Which is greater: 116 or v?
116
Let a = -106 + 1061/10. Let m = 52 + -52. Is a at least as big as m?
True
Let h = 0.73 + -1.088. Let y = -0.058 - h. Is y greater than -1?
True
Let d(c) be the third derivative of c**6/120 + c**5/30 - c**4/12 - c**3/6 + 5*c**2. Let z be d(-2). Let k = 0.2 + -2.2. Which is bigger: k or z?
z
Let d(q) = 4*q - 29. Let m be d(9). Suppose -m*c - 21 = -0*c. Does -4 = c?
False
Suppose -7*c + 3*c = 5*w + 10, c = -3*w - 6. Let x be 4 + (-123)/30 - c. Which is greater: x or 1?
1
Suppose 0 = -4*c - 4, 2*m - 4*c - 4 = -0*m. Is m greater than or equal to 19?
False
Let m = 288 - 284. Which is greater: 9 or m?
9
Let b(r) = 2*r - 13. Let d be b(7). Let i be ((-8)/(-9))/d + -2. Suppose -2 = 4*j + p - 0*p, -2*p = 3*j + 4. Is j not equal to i?
True
Let h = 0.987 + -433.987. Let w = 457.3 + h. Let q = 24 - w. Is q bigger than -3?
True
Suppose x + 3 = 2*x. Let v be (-45 - x)/(-4) + -2 - 2. Is v smaller than 7?
False
Let s be 2 + (-111)/(-21) + (-126)/63. Which is smaller: s or 0?
0
Let p = -9/65 - -193/455. Let r be (-23)/7 - (-2)/7. Does r = p?
False
Let z be ((-36)/202)/3*(-46)/92. Is -1 >= z?
False
Let m(g) = g**3 - 13*g**2 - 20*g - 175. Let p be m(15). Is p at least -47/2?
False
Let h be -1 + 8/14 - 20828/287. Is h > -73?
False
Let k = 31 - 34. Let y = k + 0. Are 0 and y nonequal?
True
Let v be (2 - (-4371)/18) + (-1)/3. Let t = v + -3441/14. Suppose -4 = -0*j + 4*j. Is t < j?
True
Suppose 3*v = 5 + 1. Let s be 0 + -5 - (v - 0). Let b = s + 2. Which is smaller: b or -3?
b
Suppose -42 - 53 = -o - 4*i, 2*o + 5*i = 190. Do 92 and o have different values?
True
Let l = -2507/21 - -584/3. Let b = 75 - l. Which is smaller: b or 1?
b
Suppose -3*a = -0 - 6. Suppose -a*y = -y - 15. Let c be (-2)/3 + 70/y. Which is greater: 3 or c?
c
Let m(u) = 2*u**3 + 3 - 4 - 3*u**3. Let h be m(0). Is -1 greater than h?
False
Let h = 3.065 + 0.335. Is 6 bigger than h?
True
Let v = -0.12 + 0.04. Let h(u) = -u**3 + 29*u**2 + 30*u + 2. Let s be h(30). Is v smaller than s?
True
Let v be 111/27 - (2 + -1). Suppose 42*d - 21*d - 84 = 0. Do v and d have the same value?
False
Let x = 4/7 - 2/7. Let c be (-1)/6*(-2 - (2 + -3)). Is c equal to x?
False
Suppose -4*y - 3*a - 12 = -36, -5*y = 2*a - 37. Suppose 6 = -y*c - 3. Let g = -2/237 - 73/711. Which is smaller: c or g?
c
Let z = -5 + 21. Let a = 11 - z. Let p = -6 - a. Which is smaller: p or 7?
p
Let d(n) = -n**2 + 1. Let j = -7 - -8. Let v be d(j). Let i = -163/6 - -27. Is i at most v?
True
Let o(h) = -4*h + h**2 - 3*h**2 + 3*h**2 + 16 + 13*h. Let u be o(-3). Is u not equal to -2?
False
Let t(l) = -l**2 - l - 6. Let y be t(-3). Is -8 at most y?
False
Let l be (1 + (-4)/3)*-3. Let y = -71 + 22. Let c = y + 538/11. Does l = c?
False
Suppose 0 = 55*j - 57*j + 34. Let x(d) = d - 9. Let z be x(-7). Let n = j + z. Which is smaller: n or 2/113?
2/113
Let x = 9.07 - 9. Let u = 2.05 + -2.12. Let v = x + u. Which is smaller: -3 or v?
-3
Let f be (1 + -7)*(-1 + (-4)/(-12)). Suppose f*n - 8 = 0, -3*k + 2*k - n - 8 = 0. Is k at least -9?
False
Let p = 278 + -277.098. Let d = p - -0.098. Let a be (-34)/(-78) - (-4)/(-6). Which is smaller: a or d?
a
Suppose 3*z = -2*z, 2*z = k - 3. Let l(t) = 4*t**2 + 4 + 3 - 5*t - t**2. Let u be l(k). Is u less than or equal to 19?
True
Let s(m) = -m**2 - 3*m + 6. Let r be s(-5). Let z = r + 11. Let x = 0 - z. Is -7 not equal to x?
False
Let u = 2/25 - 7/5. Which is greater: u or 0?
0
Let c = -60.1 - -60. Is 39.6 less than or equal to c?
False
Let n be (-19 - -4)*(-7)/105. Which is bigger: n or -1?
n
Let o = 7.4 - -6.6. Let h = -2 + -14. Let d = h + o. Are 2/5 and d nonequal?
True
Let t(u) = -u**3 + 13*u**2 + 41*u - 4. Let m be t(-3). Is m less than 23?
True
Let t = -23 - -48. Let m = t - 24. Are 4/41 and m equal?
False
Let x(z) = z - 1. Let q(d) = 7*d + 5. Let a(k) = q(k) - 5*x(k). Suppose -2*r - 2*r = 32. Let g be a(r). Is 1/3 smaller than g?
False
Let t = 15796 - 19334303/1224. Is t bigger than 1?
False
Suppose 3*n - 9 = 3*d, 2*n + 8 = -4*d + 4*n. Suppose 5*c = 5*w + 180, 4*c + 28 = -w + 12. Which is bigger: w or d?
d
Let h = -122 + 40. Which is greater: -165/2 or h?
h
Let j(l) = l**2 + 2191*l + 10958. Let w be j(-5). Let g = 2.3 + 0.7. Let t = -4 + g. Is t > w?
False
Let o be -4*(21/2)/7. Let w = o - -6. Is w <= -2/171?
False
Let t = 0.4 + -0.3. Let o = t + 0.2. Let r be (-1)/(-2*(-7)/(-4)). Which is smaller: r or o?
r
Let o = -103 + 161. Let n = -63 + o. Which is greater: n or 3?
3
Let h be 8/(-36)*3/(-46). Let t = -2438 + 2439. Which is bigger: h or t?
t
Let n be 2*(65/10 - 6). Is 4/123 at most as big as n?
True
Let g = -4 + 6. Suppose g*z + 3*z - 20 = 0. Let v(a) = -a**3 - 15*a**2 - 12*a + 30. Let c be v(-14). Which is bigger: c or z?
z
Let l(u) = 3*u**2 - 10*u + 2. Let z be l(4). Let o be z/(-50) - 7217/(-1235). Let i = o + -72/13. Which is bigger: -1 or i?
i
Let a(p) = p**3 - 23*p**2 - 23*p - 35. Let d be a(24). Which is smaller: d or -23/2?
-23/2
Let o be ((-321)/(-34454))/(1 - (-7)/(-4)). Are o and 0 equal?
False
Let t be 16*2 - (11 + -7). Let m be -1 - t/80*-2. Is 0 >= m?
True
Suppose -3*u - 33 = 18. Let a = -17 - u. Let l be 1*a/(-2 + 1). Are l and -2/23 non-equal?
True
Let a = 257.3 + -241. Let j = 0.3 - a. Let g = j + 9. Is -0.1 bigger than g?
True
Suppose 0 = 4*h + 4*m + 4932, -2*m = -5*h - 4196 - 2004. Is h bigger than 0?
False
Let t = 0.021 - 1.021. Let m = t - -1. Which is smaller: m or 8?
m
Let y be (-2490 + 3)*(204/(-36))/17. Is 829 > y?
False
Let h = 946526/345 - 2744. Let u = h - -8/15. Do u and 2 have the same value?
False
Let j = -6 + 14. Let q = 1 + -9. Let x = q + j. Is x less than -1/11?
False
Suppose -11*g + 398 + 306 = 0. Is g at most 64?
True
Let a(b) = 4*b + 12. Let y be a(-13). Let u be y/(-150)*(14/(-4) - -1). Which is bigger: u or -5?
u
Let t = -0.703 - -1.703. Let j be (2/(-3))/((-291)/9). Is j bigger than t?
False
Suppose -8*m - 3*h = -5*m + 72, -29 = m + 2*h. Which is greater: m or -16?
-16
Let l(r) = 11*r + 34. Let p be l(-3). Which is smaller: -1/277 or p?
-1/277
Let x = 63 + -61. Let w be 0 + (-329)/(-63) + x/(-9). Is w greater than or equal to 0.4?
True
Let f = -6965/6 + 285445/246. Which is greater: f or -1?
f
Let w(i) = -i**2 - 9*i - 19. Let s be w(-6). Let x be (2 + -6 + 3)/(s - 0). Let g = -2 + 5/2. Which is greater: g or x?
x
Suppose 0*t - 70 = 2*t. Let r = -34 - t. Which is greater: 11 or r?
11
Let l = -708 - -798. Which is smaller: l or 93?
l
Let q = 8 - 26. Let x = -18 - q. Is 6/11 >= x?
True
Let p = 361 - 375. Is -9 at least p?
True
Let h = 378 + -364. Which is bigger: -5/2 or h?
h
Let n(x) = x**2 - 15*x + 52. Let j be n(19). Which is greater: 126 or j?
j
Let j be 14/10 - 18/(-30). Suppose -j*w - 3*c + 70 = -84, 0 = -w + 2*c + 77. Let f be (-33)/w - 202/(-406). Is f < 0?
False
Let v be ((-3)/826)/(18/(-8)). Which is smaller: 1 or v?
v
Let t = 78 + -80. Let g be (-4 - -6) + (-32)/10. Which is greater: g or t?
g
Let z be (-4 - (-5 - 49))*(1 - 0). Let x = -54 + z. Let t be (6/5)/((-2)/10). Which is smaller: x or t?
t
Suppose -3 = 5*c + 4*o + 14, -5*o = 2*c + 17. Are -7/4 and c equal?
False
Let f = 1643787/523 - 3143. Let c = -26144/1569 + f. Which is smaller: c or -17?
-17
Suppose -4 = -4*p - 216. Is -52 greater than or equal to p?
True
Suppose -4*a = -2*o - 20, -4*o = -4*a + 10 + 14. Suppose -2*z = -4, 5*z - 18 = -5*g + g. Is g > a?
False
Suppose -4*z - 46 = 18. Let q be (z/6)/(7/(-21)). Suppose q*x + 5 = 3*x. Is 1/13 < x?
False
Let s(l) = -l + 4. Let v be s(5). Let m = -16 + 8. Let k be m/6 + (-6)/63. Which is smaller: v or k?
k
Let u = -0.431 + -98.569. Which is smaller: u or 2?
u
Let a be 158/(-42) + (7 - (-2 + 6)). Do a and -2 have different values?
True
Suppose -2*q - 2 = -4*w, 0 = -w - 4*q + 3*q + 2. Which is bigger: w o