second derivative of p**4/12 + 2*p**3/3 + 5*p**2/2 + 13*p. Let z be g(-5). Let q be 4 + 38/(-9) + z/(-9). Are -8 and q equal?
False
Let s = -391/5 - -2767/35. Let h = -86 + 85. Which is smaller: h or s?
h
Let g(t) = t**3 - 5*t**2 - 6*t - 2. Let j be g(6). Suppose 54*z - 15*z + 78 = 0. Is z >= j?
True
Let q = 8068617/10 - 400066233771/495830. Let k = -3/277 - q. Is k >= -1?
True
Suppose -y + 2*l + 328 = 0, 2*y + 11 = -4*l + 643. Which is smaller: y or 321?
321
Let u = -0.8 - 0.2. Let y = -1761.9 - -1745.9. Which is bigger: u or y?
u
Let o(d) = d**3 - d**2 - 6*d - 4. Let j be o(-4). Let b be j/45*174/(-4). Suppose -5*t + b + 72 = 0. Is t not equal to 26?
False
Let m = 1636497/4079387422 + 1/411602. Do m and 0 have different values?
True
Let h = -83 + 65. Let r be (-24)/9*h/8. Suppose -y = 2*t - r*t + 2, 5*y + 10 = t. Is 1/151 not equal to t?
True
Let o be (-5)/10*(16 - 16)/10. Does 5/2057 = o?
False
Let l(n) = 49*n + 1634. Let z be l(-33). Which is greater: 444/25 or z?
444/25
Let i(w) = w**2 - w - 31. Let c(n) = n**3 + 9*n**2 + 8*n + 6. Let s be c(-8). Let q be i(s). Is 1/9 < q?
False
Let a be 32/(-152)*(-3)/4. Let o = -17021/14 + 8514/7. Which is smaller: a or o?
a
Let z be (129/(-12) + 319/29)/((-34214)/(-16)). Which is greater: z or 1?
1
Let r(b) = b**2 - b - 1. Let v be r(-1). Let n = -1089 + 1179. Let u be n/(-75) - 1/(-1). Is v greater than u?
True
Let a be ((-10)/(-9))/(88/396) - 8048. Is -8043 >= a?
True
Let x be -4 + (-66)/(-15) + (-321)/15. Let y = 28 - -64. Suppose y = -4*s - 3*z, -3*s - 2*s - 115 = -3*z. Are s and x nonequal?
True
Let g = 12325 - 12336.086. Let n = g - -0.186. Let m = -11 - n. Which is bigger: -2/75 or m?
-2/75
Let p = 100 + -100. Let d = -9 + -27. Let x be d/12 + 4 + -1. Is p <= x?
True
Let x(a) = a**3 + 11*a**2 + 21*a - 2. Let d be x(-9). Suppose 195 = -7*n - 57. Let j = d - n. Are 7 and j nonequal?
False
Let z be (-3 - -2) + -8 + 1. Let i be (36/z)/((-3)/(-8)). Let d be -35 + 18 - (-2 - 1). Is d > i?
False
Let i(q) = 3*q + 30. Let t be i(-22). Let g = 36 + t. Is 3/53 smaller than g?
False
Let q = -1819 + 1810. Let b(l) = -3 + 3*l - 2*l**2 + l**2 - 14*l. Let c be b(q). Which is bigger: 14 or c?
c
Suppose -30 - 34 = 38*x + 12. Let r = -3 - -2. Let m be (5/(-6))/5 - r. Is x at most as big as m?
True
Let c = -83657 - -83657.08. Let i(y) = -y**3 + 8*y**2 - 8*y + 9. Let a be i(7). Which is bigger: a or c?
a
Let z = -1835/197284 + 4/1147. Let r = z + 1897/860. Let y be 35/(-14)*(-2)/5. Which is greater: r or y?
r
Suppose 146 = 7*m - 232. Suppose -2*v = -3*v, -2*v = -2*a + m. Let z be (2 + 10/6)/((-9)/a). Is -11 greater than or equal to z?
True
Suppose 2*s - 29 = 5*n + 35, 3*s - 33 = -3*n. Which is bigger: 186/11 or s?
s
Let t = 842 - 813. Which is smaller: 708/25 or t?
708/25
Let y = -1209/107 + -969667/963. Which is smaller: -1019 or y?
-1019
Let d(i) = -i**2 + 17*i - 8. Let v be d(12). Let t = v - 49. Let z = -5 - t. Which is smaller: z or -28/3?
-28/3
Let n(s) = -s**3 - 26*s**2 + 26*s - 28. Let w be n(-27). Suppose l = d - 33, -47 = -2*d + 4*l + 27. Suppose 4 = 3*y - d. Is w != y?
True
Suppose -z = -l + 225, 3*z + 5*l + 829 = 178. Which is bigger: z or -14?
-14
Suppose -18*j + 17*j + 6 = 0. Let g be 203*(-2)/j - 4/12. Let f = -71 - g. Which is smaller: f or -0.11?
f
Let l = 4428 + -4440. Suppose r - 8 = -0*r. Let p(t) = -t**3 + 9*t**2 - 8*t - 9. Let n be p(r). Which is smaller: n or l?
l
Let z be 3/(-7) + 793/1638. Suppose -9*f + 1 = 1. Suppose f = -6*k - 2 + 2. Which is greater: z or k?
z
Let i be (-14)/(-4)*((-92)/28 - -5). Let k be ((-2)/(-12))/(-12*i/2976). Which is bigger: k or -6?
-6
Let y = -567 - -566. Which is smaller: 23/241 or y?
y
Let l(y) = 54*y**3 - 269*y**2 - 6*y + 4. Let d be l(5). Which is smaller: -5/468 or d?
d
Let a = -1133 + 1132. Which is greater: a or -2/325?
-2/325
Let k = -49.1 - -9.1. Let z = k + 51. Let t = -5.4 + 5.3. Is t smaller than z?
True
Let t = -63.941 + 3.941. Are 0.4 and t non-equal?
True
Let q = -28182 + 27380. Is q less than or equal to 0.3?
True
Let a(c) be the third derivative of -199*c**6/120 - c**5/20 + c**4/8 - c**3/6 - 10*c**2 + 12*c. Let h be a(1). Which is smaller: -202 or h?
-202
Suppose -4*b - 47 = -7. Let o(s) = 2*s**2 + 28*s - 9. Let n be o(b). Let l = n + 64. Are -25 and l equal?
True
Let m = -83.96 + -105.04. Which is smaller: -12 or m?
m
Let p = 411 + -162. Let l = p + -254. Which is greater: l or 2?
2
Let s = 605212/6792033265 - 2/278191. Does 0 = s?
False
Let v be (0 + 12/3)/(0 - -1). Suppose v*k + x - 5 = 9*k, -5*k - 5 = 2*x. Which is smaller: k or -2/7?
k
Let k be (-20)/12*-6 + -13. Is k at most as big as -30/23?
True
Let m = -299.861 - -300. Let f = m + -200.139. Are f and 1/3 unequal?
True
Suppose -5*o + o + 2*v = -96, 0 = -5*v - 20. Suppose o - 1 = 3*x - 3*i, 0 = 3*x + 4*i. Is x greater than 0.21?
True
Suppose -l - l = -76. Let z(w) = 17*w + 107. Suppose -834 = -2*m - 842. Let v be z(m). Which is smaller: l or v?
l
Let y = -46 - -44. Let i be (11 + -10)/((-1 + y)/375). Does i = -126?
False
Suppose 110 = -y + 113. Let j be ((-12)/74)/(1/(-3)*y). Are j and 1 non-equal?
True
Let i be (-2 + 78/48*4)/((-174)/29). Let m = -50 + -74. Let r be (8/m)/(0 + 1). Is r at least i?
True
Suppose -3*l + 12*l - 5310 = 0. Suppose l = 2*n + 8*n. Let b = 54 - n. Which is smaller: -4 or b?
b
Let j be (-42629234)/(-5067) + 2/(-18). Which is greater: 8412 or j?
j
Let i(u) = 6*u - 13. Let n be i(-9). Let c be 0 + -1 - (-6 + n). Let p = c - 84. Which is smaller: -9 or p?
p
Let s be -4 - (33795/(-50) - 6). Let q = s + -677. Do 1 and q have the same value?
False
Let t = 27527 - 27294. Is 236 at least as big as t?
True
Let r be 1172304/(-97680) - (1 - 13). Is r bigger than 0?
False
Let o be (-2)/12 - (-44)/72. Let g = -493/212 + 9/4. Let s = -45/106 + g. Is o equal to s?
False
Let q = -13411 + 13154. Which is greater: q or -2?
-2
Let u = -56 - -1020. Which is smaller: u or 5?
5
Let a = 308 - 268. Let m be (a/(-100))/(24/(-15)). Let s be (-3)/(-5) + 1 + -2. Which is bigger: m or s?
m
Let g = -214 + 213.03. Let q = g + 1. Let o = -191 - -193. Is q not equal to o?
True
Let y(q) = 2*q**2 - q + 7. Let u be y(4). Suppose 5*n = 4*t + t + u, -2*n = 2*t - 6. Suppose z - p - 8 = p, -4*p + 110 = n*z. Does 18 = z?
True
Let p be (-19856)/(-12)*45/(-275)*(-35)/14. Is p bigger than 678?
False
Suppose -21*m = 106 - 631. Are 372 and m nonequal?
True
Let l be (-3)/12 + ((-42)/(-8) - 1). Suppose -l*r + 3 = -k + 2, 1 = -r. Let p(b) = -b**2 - 2*b + 17. Let v be p(k). Which is smaller: 24 or v?
v
Let q(u) = u**3 + 13*u**2 + 2*u - 20. Let o be q(-11). Suppose -l - 634 = -o. Let j be 93/l*2/3. Which is smaller: -7 or j?
-7
Let t be -1 - 5/(15/(-54)). Let l be 36/(-2 - 0) - (-8)/(-8). Let p = t + l. Is -18/7 > p?
False
Let g be -1 - (-4388)/3*174/(-1972). Is -130 not equal to g?
True
Let h be (5/(-5) + 10)*(-221)/969. Which is smaller: -3 or h?
-3
Let f(c) = 5*c**3 + 16*c**2 - 31*c + 70. Let q(k) = 2*k**3 + 8*k**2 - 15*k + 35. Let b(u) = -3*f(u) + 7*q(u). Let p be b(7). Which is greater: p or -9/14?
p
Suppose -52*k + 61*k = -1593. Let f be (-10)/(-16) + 118/k. Let u = -0.04 - -2.04. Which is bigger: u or f?
u
Let o = 0.0078 - -0.0322. Suppose -5*g - 5*t = 24 + 1, -5*t = 0. Let r = -2 - g. Is o greater than or equal to r?
False
Let r be 1 + 0 - (-162)/(-161). Let d be -4 - 18 - (-4095)/189. Which is greater: r or d?
r
Let o = -274 - -273. Which is smaller: o or 1/802?
o
Let x be ((-558)/(-12) - 45)*3/((-9)/25556). Which is greater: -12779 or x?
x
Let w be (-1)/(22/12) + (-18004)/(-1386) + -14. Is w greater than -22?
True
Suppose 3*g = 5*d - 122, 3*d + 8871 = g + 8901. Which is greater: -69 or g?
g
Suppose 2*o - 130 = 4*u, 3*o - 6*u = -9*u + 177. Suppose 3*a - 4*j + o = 0, -9*a + 11*a + j + 37 = 0. Let l be ((-18)/8)/(2/16). Which is greater: l or a?
l
Suppose 0 = -26*v - 110540 + 45852. Is -2489 greater than v?
False
Let x(q) = -q + 67. Let p be x(0). Let a = -57/52 + 10831/156. Is p bigger than a?
False
Let x be (868/(-1389))/1*481413/(-46). Let r = x + -6540. Is 0 greater than r?
True
Let f = 2.3 + -1.3. Let r = 37.45 + -0.45. Let l = -37.15 + r. Is f > l?
True
Let q = 38550 - 36048. Which is greater: q or -1?
q
Let w(n) = -n**3 - 3*n**2 - 2*n + 2. Let m be w(-3). Let y(l) = 3*l**2 - 24*l + 8. Let g be y