08?
-0.08
Let r(d) be the second derivative of 4*d**3/3 - d**2/2 + 11*d. Let u be r(1). Is u at most 6?
False
Suppose 3*p - 9 = -0*p + j, 4*j = -2*p - 8. Let w = 27.8 + 2.2. Are p and w unequal?
True
Let j be 2*1 - (19 + -16). Suppose 0 = 3*y + 5*z - 1, -3 = -2*z + 1. Let q be y/(-2)*6/(-9). Is q equal to j?
True
Suppose -16*s + 13*s - 5*t - 2 = 0, -5*t = -5*s - 30. Is -1 >= s?
True
Suppose 108 + 152 = -20*l. Is l >= -13?
True
Let q = 36 + -21. Suppose 1687*g = 1699*g - 204. Is q equal to g?
False
Let j be (-1 + (-544)/(-40))/((-1)/(-5)). Let q = j - 49. Is q greater than or equal to 16?
False
Let c be 48/(-105) + (-1)/(19/2 - 7). Suppose -4*b + 14 = 2*z, 4*z + 0*b + 5*b = 22. Suppose z*n = -n. Is c bigger than n?
False
Let s = 1400 - 1400.2. Is s equal to -194/9?
False
Let u = -0.65 - -2.65. Is 56 greater than u?
True
Let t be 268/28 - (-42)/(-6). Suppose -2*s - 10 = -j, 4*j + 0*s + 8 = -4*s. Which is smaller: j or t?
j
Let y = 0.2181 + -0.191. Is y bigger than -1/3?
True
Let z = -36 + 38.74. Let k = -0.14 + z. Let v = -2.2 + k. Which is smaller: 0.2 or v?
0.2
Let k(l) = l**3 + 8*l**2 + 3*l + 15. Let d be k(-7). Suppose -4*p - 22 + 2 = 0, 0 = 3*y - 5*p - d. Let r be (-1 + -1)/(4 - y). Which is smaller: -2 or r?
-2
Let w be (-1)/(-12)*-14 - 0. Suppose 11*x - 7*x - k + 1 = 0, 5*k = 3*x - 12. Which is smaller: w or x?
w
Let f be ((-22)/8 - 18/(-6))/1. Is -199 at least f?
False
Suppose 75*b - 7099 = 44*b. Are b and 227 equal?
False
Let p be -3 + 918/183 - (4 + -2). Are 2/3 and p equal?
False
Let j = -65/6 - -37/3. Suppose 39*y - 36*y + 24 = 0. Let p be -5 + 2 + -1 - (2 + y). Is p bigger than j?
True
Let k = -0.01 + 0.13. Let d = -2.88 - k. Let f = d + 2.9. Which is bigger: 2 or f?
2
Suppose 24*c - 5*m = 21*c - 20, 2*c + 5 = -5*m. Suppose 2 = 5*a - 8. Suppose -3*b + q - 15 = -a*q, 5*b + 24 = 4*q. Which is smaller: b or c?
c
Suppose -5*h = -2*i - 45, -5*h - 5*i + 2 = -43. Which is smaller: -13 or h?
-13
Let i(f) = f**2 + 14*f - 748. Let v be i(-36). Is v at most 35?
False
Let b = 0.0985 - -0.0015. Which is greater: 377 or b?
377
Suppose 16 = -2*x - 4. Let k be (-16)/x*25/10. Which is smaller: 3 or k?
3
Let a(d) = 4*d - 2. Let o be a(2). Let p be (-3 - 0) + o + 1. Suppose -p*l = -9*l - 10. Which is bigger: l or -3?
l
Let i = 79 + 31. Suppose -8*v + 2 + i = 0. Suppose x - 2*x - 13 = -c, -49 = -4*c + x. Which is smaller: v or c?
c
Let a(w) = w**2 - 6*w + 6. Let z be a(4). Let f be (3/(-14))/((-1)/z). Let l = f - -19/28. Is l equal to -1?
False
Let a(o) = -2*o + 32. Let q be a(15). Let x be (0 - q)*24/(-16) - 1. Is -0.04 <= x?
True
Suppose -24*i + 12 = 36. Let k = -1.5 - -8.5. Let x = k + -1. Which is smaller: i or x?
i
Suppose f - 4 = -4*c, -c - 3*f = 2*c - 12. Let g = 1803 + -1801. Which is smaller: c or g?
c
Let w be (4 - (-8 + 14)) + 63/31. Which is greater: w or 0.1?
0.1
Let l be -35 + 39 + 24/(-1). Which is greater: l or -19?
-19
Let t = -23945 + 23950. Let g = 4 - 3.94. Is t at least as big as g?
True
Let j(q) = 11*q**2 + 3*q - 4. Let o be j(-7). Let i be (4 - o/127)*(-1)/(-3). Is 0 at most i?
False
Suppose -2*w - 7 = -3*z, 11 + 1 = 3*w + 3*z. Let n(c) = 62*c**2 + 1. Let o be n(w). Do 62 and o have the same value?
False
Let p be (-44)/(-12)*-3*1. Let k(u) = -u - 17. Let r be k(p). Is -6 >= r?
True
Let k be ((8/(-5))/2)/((-24)/240). Let p be (-1)/((6/k)/((-9)/(-6))). Let x = -0.1 + 0.1. Are x and p equal?
False
Let z(j) = j**3 + j**2 + j - 2. Let t be z(-2). Let p be (1*2)/((-8)/t). Let m be (15/140)/(p/(-32)). Which is greater: -1 or m?
-1
Let w = 32 + -27. Let l(i) = i**2 - 6*i - 7. Let m be l(7). Suppose m = 5*z - 4*p - 33, -z + 0*p + 3*p + 11 = 0. Is z greater than w?
False
Let m(n) = -48*n - 762. Let i be m(-18). Which is greater: i or 98?
i
Suppose 0 = 5*n - 148 - 147. Let o = 54 - n. Are o and -32/7 nonequal?
True
Let k be (378/(-78) - -6) + 10/(-65). Which is greater: 2/155 or k?
k
Let t = 2.049 - 0.049. Is t greater than -0.007?
True
Let g be (21/(-280))/(534/(-285) + 2). Is g bigger than 0.1?
False
Let j = 14 - 11. Suppose -j*n + 0*n = -15. Suppose 0 = -2*k - 4, 3*f + n*k = 14. Is f < 7?
False
Let g be ((-2)/(-40)*4)/((-18)/145). Is g equal to -1?
False
Suppose 34*g = 26*g - 1184. Which is smaller: g or -149?
-149
Let m be (5154/(-339))/(7324/24). Let q = m - 6/1831. Let n = 203/1695 + q. Is n at most as big as 1?
True
Let u be -9 + 11 + 2 + (-211 - -3). Is u less than -0.2?
True
Let m = 2 + -2. Let s = -1009 - -9071/9. Does m = s?
False
Let n be 595/1092 + (-6)/72. Let t be (-1)/2 + (-6)/4. Is t less than or equal to n?
True
Let k be (-24)/285*3 - 5/(-20). Which is smaller: -1 or k?
-1
Let w be 2/4*(-155 - (-110)/10). Is -69 greater than or equal to w?
True
Let f = 463 - 482. Which is smaller: -3 or f?
f
Let i(f) = f + 4. Let s be (11/(-2) + 0)*-2*1. Let r be i(s). Is 16 bigger than r?
True
Suppose -3*j - 34*j = -481. Suppose 10 + 38 = 4*o. Which is smaller: j or o?
o
Let p = 16 - 7. Let v = 4.7 + -2.4. Let c = v + -2.2. Is c less than p?
True
Let o = 119 + -112. Let f = 114.1 + -121. Let w = o + f. Is w < 4?
True
Let v = -3677 - -3702. Suppose -3*y - d - 3*d = -55, -3*d - 40 = -y. Is y <= v?
True
Let i = -952 + 918. Which is bigger: i or 1?
1
Let u be ((-2)/(-4))/((-9)/36). Let s be (-3 + 13)*(-4 + (-6)/u). Is -9 greater than s?
True
Let s = -1161607/150 + 7744. Is -1 smaller than s?
True
Let n = -16.1 - 68.9. Let m = 88 + n. Let z = -0.01 - -2.01. Which is greater: z or m?
m
Let l be 1/3*(-6)/16. Let a(r) = -2*r**3 + 15*r**2 - 2*r**2 - r**3 - 12 + r + 2*r**3. Let y be a(13). Is y greater than or equal to l?
True
Let y(p) = -2*p + 6. Let d = 23 + -18. Let f be y(d). Let i(u) = u. Let s be i(-4). Do f and s have different values?
False
Let x = 276 - 3034/11. Let q = -0.583 - -0.483. Is x < q?
False
Let w = -28327/7 - -4047. Let t = 34 - 137/4. Is w < t?
False
Let j = 0.196 + -0.16. Is 1 at least as big as j?
True
Suppose c + 1 - 3 = 0. Let h(o) = -o**3 - 12 - 6 + 20 - o. Let w be h(c). Which is greater: w or -9?
w
Let p = 63.09 - 4.89. Let j = p + -58. Are 12 and j equal?
False
Let z(g) = 51*g + 100. Let s be z(-2). Which is smaller: s or 260?
s
Let j(s) = -15*s**2 + 3*s. Let d be j(2). Let m be ((d/(-8))/3)/((-5)/20). Which is bigger: -15/2 or m?
-15/2
Suppose 0 = -33*u - 726 - 2838. Are u and -105 nonequal?
True
Suppose 0 = -7*p + 4*p + 96. Suppose 5*g + 4*g = 288. Are p and g non-equal?
False
Suppose a - 34 = -28. Let t be 60/7 - a/(-14). Which is bigger: t or 72/7?
72/7
Let k = 404 + 55. Is k at least as big as 1/4?
True
Suppose 4*r - 4*m = 560, -4*r + m + 759 = 196. Let a = r + -421/3. Which is bigger: a or 1?
1
Let m = 25 + -18. Suppose 9 = -6*j + m*j. Is 8 at most as big as j?
True
Let h = 4368.1 + -4368. Let d be ((-52)/(-6))/((-1)/(-3)). Is d less than h?
False
Let j be (-26 - -20) + 12/(-2). Let g = 16 + -27. Which is smaller: g or j?
j
Suppose 5*s + 5*k = -55, -4*s = -0*s + 3*k + 41. Let p be 4*(1/(-4) - 42/s). Which is smaller: 22 or p?
p
Let c = -0.1344 - 2.2656. Let d = 1.4 - -1.2. Let w = c + d. Which is smaller: w or 9?
w
Let w = -60 + 63. Suppose -i + 3*u - 1 = -2*i, -5*u + 7 = w*i. Is i <= -7?
False
Let c = 8 - 4. Suppose -4*h - 5*i = -c, 0 = 5*h - 5*i + 10*i - 5. Are h and -3/76 non-equal?
True
Suppose 3*w - 8*w - 2*u + 1117 = 0, -w = 3*u - 226. Which is smaller: 224 or w?
w
Let x = 992.098 - 996. Let d = 3.9 + x. Is 0 smaller than d?
False
Suppose -11 + 2 = f. Let p be (-2)/(5 - 42/8). Let t = f + p. Which is bigger: t or 2/45?
2/45
Let r(c) = -2*c**2 - 16*c + 43. Let w be r(6). Let q = w - -121. Is -5 != q?
True
Let r be (1 - (-52)/(-36))/(-2) - 0. Which is smaller: r or -67?
-67
Let m = 493/28080 + -1/2160. Let n be 7/(-56) - (-2)/16. Is n at most m?
True
Let q = 0.62 - -34.38. Let i = q + -35. Is -19 at most i?
True
Suppose 1 = 5*k + 6. Let d be ((-15)/k)/3 + -3. Let p be 2*(-1)/(d + 1). Which is greater: -1 or p?
p
Suppose 0*n - 3*n = 12, -i - 3 = n. Let h be 0 + 3 + i + 7. Suppose -3*a = -8*a + 5. Are h and a equal?
False
Let f = 238 + -220. Is 14 smaller than f?
True
Let g be 4 + 4/2 - 186/2. Are g and -81 nonequal?
True
Let m(i) = -i**2 + 4*i + 1. Let k be m(4). Suppose -k + 28 = -3*y. Let f be -1*1 - y/9. Which is smaller: f or 3?
f
Suppose -6 = -c + 3*w, 4*c = 14*w - 13*w - 9. Is c < -44/17?
True
Suppo