40/157
Let x(p) be the second derivative of -p**5/20 + 5*p**4/3 + 23*p**3/6 + 28*p. Let z(o) be the second derivative of x(o). Let i be z(19). Is -73 > i?
True
Let i = -282.567 - -282.467. Let r = -55 - -91. Let w = r + -2. Which is bigger: i or w?
w
Let i = -3873 + 3885. Is i > 246/23?
True
Let y be (-11917)/(-765) + -11 + (-6)/(-27). Is y at least 2?
True
Let s be (302/(-1716))/((-7)/(-98)) + (-34)/(-187). Is -3 at least s?
False
Let z = -675/22 + 58233/1870. Let d = z + -1/17. Let u = -0.81 - -0.51. Which is bigger: d or u?
d
Let l be ((-6)/(-36))/(145/58). Let d(y) = -y**2 - 5*y - 3. Suppose -w = 4*w + 2*z + 24, -5*w + 5*z - 10 = 0. Let c be d(w). Are l and c non-equal?
True
Let q(z) = -10*z + 90. Let t be q(9). Suppose t = 18*o - 278 - 226. Is 26 bigger than o?
False
Let g = -116 + 123. Suppose 10 = -g*m + 136. Is m smaller than -2?
False
Let o(s) = s**2. Let n(a) = -2*a**2 + a - 7. Let h(u) = n(u) + 3*o(u). Let x be h(-4). Suppose -x*j + 45 = -8*j. Do -15 and j have different values?
False
Let g = -3577280027/100772 - -141995/4. Is g >= 1?
False
Let t = 2/55747 - -19121149/2006892. Which is greater: 11 or t?
11
Let i(j) = -j**3 - 7*j**2 - 6*j. Let r be i(-6). Let n be (-106)/(-13) - (-40)/(-260). Let g be 1/(-10) - (n + -8). Does r = g?
False
Let o = 4 - 8. Let w = 4 + o. Which is smaller: w or 5/2?
w
Let v(x) = -x**2 + 20*x + 35. Let f be v(21). Suppose 6*p = f*p - 272. Are p and 34 non-equal?
False
Let n = 46.3497 + -0.0497. Let t = 65.3 - n. Let l(k) = -k**3 - 6*k**2 + 7*k + 1. Let c be l(-7). Which is smaller: c or t?
c
Suppose 2*r = -4*w - 0 - 2, w - 12 = 2*r. Suppose -t = -3 + w. Let s be (2/(-12))/((-12)/63). Is s > t?
False
Suppose 0 = 4*b - w + 1920, 5*w + 938 = 2*b - 4*b. Let y = 957/2 + b. Which is smaller: y or 136?
y
Let q be (2/(-6))/((-6)/(-4)). Let l = -16.53 + 18.449. Let r = -0.081 - l. Is r greater than q?
False
Suppose 20*m - 1827 = 373. Let o = m + -107. Let n be ((-36)/(-10))/((-1)/(-5)). Is o > n?
False
Let w(b) = 387*b + 168. Let k be w(32). Let x = -4317885/344 + k. Is x at most as big as 0?
False
Suppose 3*b + 4*u + 1059 - 2298 = 0, b + u - 413 = 0. Are 416 and b equal?
False
Let q be (3 - (-339)/(-57)) + (-4)/1. Let b = -377/57 - q. Are b and 0.3 equal?
False
Let f = -652139817/4610 + 141462. Is f < 1?
True
Suppose 15*h + 1003 = 3898. Let b = -240 + h. Are b and -47 nonequal?
False
Let p = 10589 + -14277. Which is smaller: -3691 or p?
-3691
Let u = -49 - -79. Let j = u - 39. Is j != 0?
True
Suppose -54*g - 15 = -53*g. Let f be (30845/g + 0)/(-1). Let x = 2083 - f. Which is smaller: 28 or x?
x
Let l = -0.022 + -5.078. Let a = 5 + l. Suppose -j = 1, -3*q - 2*j = -1 - 0. Is a smaller than q?
True
Let n = 453942/181 - 2508. Which is smaller: 1 or n?
n
Suppose 0 = 3*x - a - 3, 4*x - 28*a = -30*a + 4. Which is smaller: -3/9299 or x?
-3/9299
Let n be (306/(-4828))/(12/128). Is n at most as big as -2?
False
Let b be ((-6 - (-16677)/27) + -9)*(-9)/(-4). Which is greater: b or 0?
b
Let j = -465 - -477. Let l be (3/9 - 1)*(j + -9). Which is bigger: -12/17 or l?
-12/17
Let s(p) = 5*p - 60. Let f be s(13). Suppose -2*a = f*h + 563, -4*h - a - 453 = -2*a. Is h <= -111?
True
Let m be 117579/198*(-6)/21. Is -169 < m?
False
Suppose -124*b - 27044 - 62589 + 6801 = 0. Is -656 smaller than b?
False
Let n = -80.152206 - -0.152206. Let r = -3 - -3.1. Which is bigger: n or r?
r
Let k = -45834557/1335 - -34333. Which is smaller: 0 or k?
k
Let i(n) = -2*n**2 + 10*n - 4. Let y be i(4). Suppose -2*m + 22 = 4*j, y*j - 31 = 4*m + 9. Suppose 0 = -2*h - j*h - 4*h. Which is smaller: h or 7/13?
h
Let l(g) = -g**3 - 19*g**2 - 11*g - 45. Let p be l(-10). Which is bigger: p or -834?
-834
Let j be -3 + 2 + 1 + (-1 - 3). Let l be (0 - j/(-5))/(6/(-15)). Suppose 3*h + 3 = 2*o, 2*h + 23 - l = -5*o. Which is smaller: -1 or o?
o
Let f be -3 - -2 - ((-3)/(-3) + -2). Let o be (f + (-7)/(-7))/((-1)/1). Are o and 4/17 equal?
False
Let m be ((-124)/(-465))/((-4982)/5). Let x = m + -53971/2491. Which is smaller: x or -23?
-23
Suppose 4*v - 11 = -g, 10*g = 3*v + 9*g - 3. Let u be (63/(-18) + 4)/((-1)/v). Which is bigger: -13/36 or u?
-13/36
Let m be (-10)/(-15)*2/8. Let f = 213.4 + -12.4. Let y = -202 + f. Which is greater: y or m?
m
Let d(x) be the second derivative of x**3/6 - 2*x**2 + 11*x. Let a be d(8). Suppose 27 = 1067*c - 1064*c. Which is smaller: a or c?
a
Let x(u) = -u**3 + 77*u**2 + 14*u + 626. Let d be x(76). Are 7465 and d non-equal?
True
Let r(w) = 143*w**3 - 142*w**2 + 4*w - 19. Let p be r(3). Is p <= 10309/4?
True
Suppose 4*l - 73*b + 20 = -71*b, b - 8 = 0. Let k = -1053/440 - -19/8. Is k at least as big as l?
True
Let a be (1 + (-1)/2)/(9/(-7002)). Let y = a + 388. Let s = -473/5 + 94. Which is greater: y or s?
s
Let k = -25 - -19. Let j(w) = w**2 + 16*w - 4. Let d(g) = g**2 + 17*g - 3. Let q(v) = k*j(v) + 5*d(v). Let l be q(-14). Which is smaller: -32 or l?
l
Suppose k + 3 = 2. Let a be -44*(3/(-5) + (-24804)/360). Suppose -3076 = 2*y - a. Which is bigger: y or k?
k
Let l = 4245 - 4246. Is l smaller than -267/8?
False
Suppose -2*o = -5*y - 28, 2*o - 2*y - 9 = 7. Let d = -6 - 16. Let j = 24 + d. Are o and j equal?
False
Suppose -2*u + 10*m + 6 = 6*m, -2 = -2*m. Suppose 1 = -2*q + 7*q + 2*y, -4*q + u = 3*y. Which is greater: 7/47 or q?
7/47
Let y = -2.019 - -321.019. Which is smaller: 3 or y?
3
Let m be -11 + 133929/(-39 - -16). Which is smaller: m or -5835?
-5835
Let j = -296 - -200. Let p = 188 + j. Let g = p - 91. Which is smaller: -1/5 or g?
-1/5
Let d(f) = -f**2 - 18*f - 29. Let o be d(-15). Let n be -5 + (-270)/(-10) - 5. Is n >= o?
True
Suppose 5*f + g - 3412 = 0, 0 = 3*f - g + 4*g - 2040. Let x = f + -1391/2. Let c be -1 + -15 - (0 + -2). Which is bigger: x or c?
x
Let k be ((-1696)/18)/(24 - 25). Is 94 < k?
True
Let o = -43 - -42.44. Let u = -12 - -12.55. Let z = o + u. Which is smaller: z or 2?
z
Let y be 3/(-5) - (2 + 0)*5/25. Which is smaller: y or 5/23?
y
Let t = -76 - -145. Let h = -3846 + 3911. Let f = h - t. Which is smaller: f or 0?
f
Let u be 1899/21 + 6/(-14). Suppose u*k - 68 = 88*k. Which is smaller: k or 35?
k
Suppose p - 8*p + 14 = 0. Suppose 71 + 55 = -4*m - p*x, 4*m + 5*x + 135 = 0. Let w = -36 - m. Is -7 at most w?
True
Let t be (-3608)/(-308) + 12/(-1) - 771/21. Is -75 <= t?
True
Let o(z) = 3*z**3 + z**2 + z - 2. Let q be o(-3). Let m be 2/(-7) + 6/q. Let b = -0.045037 + -0.054963. Which is smaller: m or b?
m
Suppose 62*g - 57*g + 31 = -n, 3*n + 23 = -g. Let y(q) = -8*q + 2*q**2 - 4*q**2 + q**2 - 11. Let w be y(n). Which is smaller: w or -3/10?
-3/10
Suppose -5*b - 141 = -x - 151, 5*b - 4*x - 25 = 0. Is -2/151 < b?
True
Let x(h) = 122*h + 7. Let f be x(2). Suppose f = -11*o + 229. Which is smaller: o or -10?
-10
Let s = -9270673/60 + 623219/4. Let b = s + -1294. Which is bigger: 1 or b?
1
Let u be 2/6*(10 + -10). Let m be (-35)/55 - (u - 6/(-33)). Let b be (9/6)/(3/(-4)). Does b = m?
False
Let n(d) = d**2 + 20*d - 37*d - 20 + 16*d. Let y be n(5). Which is bigger: y or -121?
y
Let u be (-3576)/1791 - (0 - (6 + -4)). Is 0 >= u?
False
Let z = -5731 + 5731.0824. Is z greater than 1/3?
False
Let k = 3174481/183 - 17347. Let w = k + 72/1403. Does w = -1?
False
Suppose 0*n - 5*n = -4*z + 1844, 4*z = 3*n + 1100. Which is bigger: n or -378?
n
Suppose -7*c + 2*c = -465. Suppose -3*a + c = -6*a. Is -31 at most as big as a?
True
Suppose 0 = -t - 2*a - 49966, -49971 = 3*t - 2*t + a. Let j be -3 - (t/(-124) - 2). Let i = 404 + j. Which is smaller: i or 1?
i
Let t(h) = 3150*h**2 - 154*h - 4. Let l be t(1). Which is bigger: l or 1?
l
Suppose 0 = -5*k + 4*c + 570, 2*k - c - 246 = -3*c. Let z = 141 - k. Let f be -2 + (-212)/(-8) + -2. Is f at most as big as z?
True
Let b be (-338)/(-65) - 4/(-5). Suppose -3*d - b + 9 = 0. Let h = 3.97 - 4. Which is smaller: h or d?
h
Let c(z) = -z**3 + 3*z**2 + 4*z + 4. Let a be c(4). Suppose 0 = -17*k - 7577 - 362. Let h = -468 - k. Is a greater than h?
True
Let n be -5*(-870)/(-9)*(-24)/16. Is 3623/5 smaller than n?
True
Let z be 3/2*(-4)/2. Let p = z + -16. Let o be 1 - 190/20*2. Which is smaller: o or p?
p
Let j = 82.13 + -83. Let t = -1.11 - j. Let a = 0 + t. Which is smaller: a or -1?
-1
Let c(q) = -q + 2. Suppose -8 = -2*z + 2. Let t be c(z). Suppose -5*i - 9*h = -8*h + 27, -i - 2*h = 0. W