second derivative of -z**4/12 + z**2/2 + 5*z. Let v(t) = 6*b(t) + f(t). Let h be v(1). Which is bigger: h or -4/3?
-4/3
Suppose -2*i - 2*i + 4 = 0. Let a be 21*8/(-156) - (-2)/13. Let q = a - -326/325. Are q and i nonequal?
True
Let r be ((-7)/((-56)/12))/(6/(-8)). Let d be (-26)/10*(-20)/(-24). Let h = r - d. Is h greater than 0?
True
Let q = -172.5 + 179. Does 2/11 = q?
False
Let p = -7657/5 - -1531. Suppose 0 = 2*b - 6*b - 36. Let z be ((-9)/12)/(b/8). Is p not equal to z?
True
Let f(h) = 38*h + 65. Let l be f(-3). Is -52 > l?
False
Let a = 67 + -58. Suppose -a*y + 15 - 78 = 0. Is -7 at least as big as y?
True
Suppose f = i + 2, -i - 7 + 5 = 4*f. Is f bigger than 8/33?
False
Let x = 3 - 0. Suppose -o = 2*y - 5, x*o + 4*y - 11 = -0*y. Let z be 0 - (0/o - -2). Is z greater than -2?
False
Let s be 0 - (2 + -3)*9. Let r be -4 - 6/(-4) - 147/(-14). Is s greater than r?
True
Let f(k) = 8 + 4*k - 3*k + 2181*k**3 - 2182*k**3. Let c be f(0). Let x be (2 - 1) + 2 + 0. Is c less than x?
False
Let b(p) = p - 12. Suppose -4*q - 3*w + 0 = -21, 3*w - 18 = -3*q. Let m be b(q). Which is bigger: -8 or m?
-8
Suppose -3*y - 73 = 15*p - 16*p, 4*y = -4*p + 292. Which is smaller: 0 or p?
0
Let s be (-10)/(-20) + 6/4. Let c = 6 - s. Suppose j = -d + 4, 11 = -c*d + 4*j + j. Is d equal to 2/9?
False
Let d be 18/8 - 4/16. Suppose -i = -2 - d. Suppose 12*a - 10*a = m + 7, 3*m = -4*a + 9. Is i at most m?
False
Let x be 108/(-4)*(-2)/6. Let z be 33*(-3 - (-30)/x). Suppose -i + 4*d + 8 = 0, 0 = -5*i - 4*d + 64 - 0. Which is bigger: i or z?
i
Let r be (6 + 78/(-12))*-16. Which is smaller: 11 or r?
r
Let o = 27949/33 + -847. Which is greater: o or -13?
o
Let q = 76 + -97. Which is smaller: q or -1/4?
q
Suppose 3*t - 273 = -3*n, -5*n - 193 - 171 = -4*t. Is t greater than -1?
True
Suppose 5*i + 18 = 5*z - 2*z, -4*z + 3*i + 24 = 0. Suppose 4*q = 7*q - z. Suppose 2*m + 2*m = -2*a + 4, 5*m - q*a = 5. Are m and 2 unequal?
True
Let f = 323 + -298. Let w(j) = j**3 + j**2 + j + 24. Let i be w(0). Is i less than f?
True
Let n(y) = -y**3 - 4*y**2 + 6*y + 10. Let g be n(-5). Let a be (-2)/g*(-5)/2. Which is greater: -3/19 or a?
a
Suppose 0 = 2*p - 5*f + 9, -5*p + 5*f = -6*p + 3. Let z be 2*12*1/p. Let d be (-10)/(-20)*(z + 0). Which is smaller: -5 or d?
d
Let d(n) = n**3 + n**2 + 7*n - 4. Let v be d(-3). Which is smaller: -18 or v?
v
Let u = -16.58 - 0.42. Let d = -19 - u. Let o = d - 2. Do o and -1 have different values?
True
Suppose 76*n + 4*q + 23 = 79*n, -n - 5*q = -14. Is n at most 71/7?
True
Suppose -3*y - 275 = 3*h + 91, h + 2*y = -127. Let c = 69 + h. Is -48 greater than c?
False
Let z be -15*(-7 + 5/5). Suppose 11*v = v + z. Let b = 1 - -8. Is v not equal to b?
False
Let z = -1360 + 4000/3. Let s = z - -1034/39. Suppose -3*w + 15 = 4*v, v + v - w + 5 = 0. Which is smaller: s or v?
s
Let p = -260 - -320. Let a be 4/(-16)*-6 + -1. Is a at most p?
True
Suppose 4*j = 3*p - 2, -j = 2*j - 5*p - 4. Let d be j/17 - 8/(-68). Which is smaller: 4/11 or d?
d
Let m = 10/77 - 783/6622. Which is bigger: -1 or m?
m
Let t be 154/(-35) + 4/10. Is -0.49 <= t?
False
Let v(a) = -a**3 - 10*a**2 - 7*a - 3. Let c be v(-9). Let i = c - -20. Are 12 and i equal?
False
Suppose -4*r + 45 = 142*d - 141*d, -3*d = 5*r - 107. Let p = -0.1 - 0. Is d greater than p?
True
Let z = 0.095 - -63.905. Let k = z + -41. Which is smaller: k or 0?
0
Let l = 666 + -508. Is l != 159?
True
Let p be (205/(-123))/((-2)/(-12)). Which is smaller: p or -3?
p
Suppose 2*i = 5*k + 10, 4*k = 3*i + 5 - 13. Let g(b) = 7*b**2 - 2*b + 1. Let x be g(1). Let m be (x - 2)/(5 - 4). Are k and m equal?
False
Let b = 3 - -1. Let g = 210 - 221. Let c be g/(-3) + b/(-4). Is c smaller than 2?
False
Let i(a) = 4*a**3 + a**2 - a - 1. Let f be i(-1). Let m be (7/f)/(7/21). Is m at most -3?
True
Let d = -218.2 - -218.3. Let z = -1.9 - -2. Is d greater than z?
False
Let i be 1603/401 + (-2 + 5 - 7). Do 0 and i have the same value?
False
Suppose 4*p - p + y = -245, 2*y - 248 = 3*p. Let z(s) = -s**2 + 20*s + 142. Let f be z(-8). Is p bigger than f?
False
Let y = -86 + 51. Let u = y - -41. Let m = 6 - 3. Which is bigger: u or m?
u
Let b = -24 + 27. Let z be (2/b)/(140/30). Let o = z + -31/21. Is 1 equal to o?
False
Let o = 6/47 - -452/141. Suppose -2 = -3*m + 3*g + 10, -3*m + 12 = 5*g. Suppose -22 + 6 = -m*s. Is o bigger than s?
False
Let v be 3 - (2 - 2*(-70)/145). Are 7 and v equal?
False
Let w(l) = 9*l - 34*l**2 - 1 + 33*l**2 - 1. Let t be w(3). Are t and 16 non-equal?
False
Let w(g) = -g**3 - 5*g**2 - g + 1. Let i be w(-5). Let z be ((-14)/12)/(8/(-48)). Do i and z have different values?
True
Let q = -118.4 - -103. Let b = 9 + q. Let w = -1.4 - b. Do w and 0 have the same value?
False
Let m = 101 + -56. Let k = -31 + m. Do k and 12 have different values?
True
Let t = -25.0061 - 0.0939. Which is smaller: 2 or t?
t
Let b = -749 + 27711/37. Which is smaller: 0.04 or b?
b
Let h be (((-144)/30)/6)/((-4)/290). Let z = h + -45. Which is smaller: z or 16?
z
Let f = 213/4 - 1069/20. Is f less than or equal to 2/39?
True
Let u be (-3)/12 + (-1)/(-4). Let l be ((-1551)/88 - -8) + 10. Is u equal to l?
False
Let k = -458/91 + 32/13. Let u(f) = 11*f - 35. Let j be u(4). Suppose 0 = 5*z + 19 - j. Is z less than k?
False
Suppose 49*x - 11730 = 15*x. Which is bigger: 346 or x?
346
Let s = 2721 + -5561/2. Let g = -129 - -187. Let y = s + g. Is y at least -4?
True
Let a(s) be the second derivative of s**5/20 + 2*s**4/3 - s**3/6 - 11*s**2/2 - 2*s. Let b be a(-8). Let c = -48 - -45. Is b greater than or equal to c?
True
Let j = -717809 - -226110782/315. Let h = 3585 + -225868/63. Let g = j + h. Which is smaller: g or 4?
g
Let g = -833/5 - -111617/670. Is g at least as big as 0?
False
Let n = -0.32 - 0.46. Let a = n - 0.9. Let s = a - 0.32. Which is greater: s or 3?
3
Let b = 0.0241 + -2.0241. Which is greater: b or 53?
53
Let m be (-318)/(-10) - (-96)/(-160). Which is bigger: m or 30?
m
Let x be 8*1/(1/(-2)). Let t(s) = -4*s - 14. Let f be t(0). Let i = x - f. Is i bigger than -10/7?
False
Suppose -4*v + 8 = -2*v. Suppose -t - 5 = v*t. Let i(d) = -3*d + 1. Let n be i(t). Is n < 4?
False
Let f = -33 + 642. Let o be (-7)/f*6/2. Is o at most 1?
True
Let y be 882/12*(-14)/(-357) - 3. Which is smaller: y or -2/15?
-2/15
Suppose 2*j - 3 = 3*p, -j + 6*j + 4*p = -4. Let o(l) = -3*l + 48. Let w be o(18). Which is smaller: j or w?
w
Let j be (-24)/(-60)*5/(-7). Suppose -3*h + x = 2*x + 12, 3*x + 12 = -3*h. Let u = -3 - h. Is u at most as big as j?
False
Let g = -47802/36883 - 698/479. Let i = g - -18/7. Which is greater: -5 or i?
i
Let g be (2/(-295))/(5/(-25)). Which is smaller: -1 or g?
-1
Let u(m) = 3*m**2 - 5*m - 5. Let k be u(-4). Is k less than or equal to 63?
True
Suppose -116*v - 38 - 78 = 0. Are v and 26/53 nonequal?
True
Suppose 156 = -8*y + 12. Let n = -52 - -35. Is n < y?
False
Suppose -2*d = 5*x + 16 - 280, -39 = -x - 5*d. Are 56 and x unequal?
True
Let z be (-6)/(-14) - 66865/(-602). Are 113 and z non-equal?
True
Let p = 25 - 13. Suppose 20 = 2*g + 3*u + 4, 0 = -2*g - 5*u + p. Let s be 207/18 - (-1)/2. Is s greater than or equal to g?
True
Let p = -25.18 + 25. Let s = 0.35 + p. Let u = -8.83 - s. Is -2 bigger than u?
True
Let o = 0.088 + 5.212. Let u = o - 6.3. Is 2/27 < u?
False
Let f = 30 - 46. Let o = f + 6. Let n be (1/5)/((-2)/o). Is n smaller than 16?
True
Let y(c) = -c + 8 - 11 + 0. Let m be y(-6). Which is greater: 5 or m?
5
Let j be 0*(1 + 9/(-6)) + (-470)/799. Let m = 2 + -3. Which is bigger: j or m?
j
Let c = -339 - -328. Let s be (-10)/8 + 67/60. Is s not equal to c?
True
Suppose -m + 4*m - 3 = 0. Let q be ((-36)/54)/(m/9). Which is smaller: q or -9?
-9
Let m(c) = 3*c - c + 3 - 13 - 7. Let k be m(4). Are -8 and k nonequal?
True
Suppose 6*v + 49 = 7. Let o = v + 6. Is 1/22 <= o?
False
Let n = -41 + 45. Let d be (-2)/(-6) - (-77)/3. Let u be 4/d - 99/(-117). Is n at most as big as u?
False
Let d be 43/21 + 91/(-39). Let f = -23/6 + 109/30. Let s = -2/15 + f. Which is bigger: d or s?
d
Let i be (1/3)/(19/627). Is i at least 19?
False
Suppose 4*d = 3*u, 0 = 11*d - 12*d - 2*u. Is d less than or equal to -9/143?
False
Let u = -15 - -9. Suppose -d + 7 = 2*n, -3*n + 6*n - 3*d + 3 = 0. Let y be (n/u)/(18/54). Is y at most as big as -1/4?
True
Let c = 232 - 1