 Let o = 8 + -8. Let p be a(o). Let f(s) = -2*s**2 - 46*s - 40. Let l be f(p). Is 19/5 greater than l?
False
Suppose 41*t - 30*t = -11. Let z be (-126)/162 + (-2)/(-9)*t. Is z not equal to -1/268?
True
Suppose -y = -3*y, 2*l - y = 0. Let k be (52 - -1 - 9)/((-3)/(-6)). Which is bigger: l or k?
k
Suppose 0 = 2*n + v - 11 - 3, 32 = 4*n + 3*v. Let y(o) = o**2 + 7*o - 63. Let b be y(n). Are -10 and b unequal?
True
Let j(a) be the second derivative of -a**5/120 - a**4/6 + 11*a**3/3 + 5*a. Let x(y) be the second derivative of j(y). Let p be x(-20). Is 15 > p?
False
Suppose 2*w - 269 = -f, -5*w - 211 = -f + 100. Which is smaller: 275 or f?
275
Suppose 0 = 12*q - 48*q + q + 35. Which is greater: q or 44/85?
q
Let m = 3145 + -3145. Let q = 31617/23 - 1375. Is m at most q?
False
Suppose -103*r + 105*r - 2 = 0. Let a = 15 + r. Let j = -21 - -39. Are j and a nonequal?
True
Suppose 0*o - 11*a - 17720 = -3*o, 5888 = o + a. Which is smaller: o or 0.1?
0.1
Let q(f) = -4*f**3 - 13*f**2 - 8*f + 2. Let y be q(-1). Which is bigger: y or -1/9517?
y
Let o = 28 - 35. Let i be 16/72*9*(-1)/o. Are 54 and i equal?
False
Let k = -17 + 17. Suppose -2*i = d - 59, 3*d - 2*i + i - 170 = k. Suppose 3*p - d = -18. Is p smaller than 38/3?
False
Let w = -1878 + 1878. Is w greater than -23/153?
True
Let j be 28/432*112/392. Is j at least as big as 14?
False
Let r = -1008 + 1735. Let i = 726 - r. Is i smaller than -2/109?
True
Suppose -5*m + 4*p - 360 = -60, m - 3*p = -60. Let q = 46.58 - 46. Let t = q - 0.48. Which is bigger: m or t?
t
Let b(n) be the second derivative of n**5/20 - 11*n**4/12 - 4*n**3/3 - 3*n**2 + 42*n. Let z be b(12). Let h be 2*1/(-36)*z/(-63). Which is bigger: 0 or h?
h
Let b be -13*1780/(-650)*(-3)/150. Is b bigger than -2?
True
Let x be 14/8 + 0 + 0. Let z be ((-5)/45*-3)/(110/(-66)). Which is greater: x or z?
x
Let i = 4786 - 4785.939. Is i greater than 0.033?
True
Let r = 11.5 + -7.4. Let c = 2.1 - r. Is c at most -2/5?
True
Let m(c) = -c**3 + 6*c**2 - 9*c - 36. Let v be m(7). Let a(g) = -13*g + 72. Let z be a(17). Is v >= z?
True
Let h(y) = -y**2 + 3*y - 3. Let m(c) = -c**2. Let s(q) = h(q) - 2*m(q). Let f be s(-4). Let g be ((-2)/6)/((35/(-6))/(-7)). Is g >= f?
False
Let u be 4*(-11)/(-88) + 116/152. Let f be (-6)/8 + (-99)/(-36). Which is bigger: f or u?
f
Let f = -86 - -86. Let o be f + (-8)/44 - 1526/77. Is o != -184/9?
True
Let b(n) = -n**3 + 8*n**2 + 41*n + 14. Let t be b(11). Let r be (-767)/4 + 1/(-4). Let d = r + t. Which is smaller: -1 or d?
d
Let f be ((-8)/(-18))/(12/12). Suppose 4*v = -4*b + 8, -2*b + 10 = 4*v - 2. Let x(h) = h**2 - h - 5. Let l be x(b). Are l and f unequal?
True
Let b = -40640 + 53373. Is b bigger than 1/3?
True
Suppose -7*j = -13*j + 36. Let c(l) = -l**3 + 5*l**2 + 11*l - 31. Let x be c(j). Let a be x/2 - 13/(-26). Is -3/8 > a?
False
Let r = -6/161 + 844/14007. Let a(n) = n**2 + 2*n. Let k be a(0). Which is greater: k or r?
r
Let b = 2.8 + 263.2. Let n = 242 - b. Do n and -7 have the same value?
False
Let p(j) = 245*j - 2030. Let s be p(5). Which is smaller: -806 or s?
-806
Let l(m) = -m**2 + 7*m. Let o be l(8). Let a be (90/24)/(1/o). Let i be a*(5 - (1 - -5)). Which is smaller: i or 27?
27
Let f(g) = 4*g - 16. Let v be f(8). Suppose -k - 2*q = 2*k - 3, 3*q - 6 = -5*k. Suppose w - k*w = -v. Which is smaller: w or 5?
5
Let b(k) = -k**3 + 15*k**2 + 154*k + 1. Let t be b(-9). Suppose -113*d + 100*d + t = 0. Which is greater: 45 or d?
45
Suppose 7*k = 3*k + 3*l + 22, 2*k - 16 = -l. Suppose -16*r - 2323 = k*r. Do r and -102 have different values?
True
Let n = 86 - 80. Suppose -4*r + 17*h - 16*h - 5 = 0, 5*h - n = r. Is -1/376 at most as big as r?
False
Let l be (-5)/15 - ((-4)/16 + (-59325)/(-36)). Which is smaller: l or -1646?
l
Suppose 188*g + 95*g = 38205. Which is smaller: 25 or g?
25
Let j = -97.064 + 0.064. Let b = j + 16. Let h = b + 69. Which is greater: h or 1?
1
Suppose 0 = -3*q + 2*f - 3*f - 41, 2*q = f - 34. Let i be ((-10)/(-8))/(-1)*(-11 - q). Let w = i + -2. Is -5 != w?
True
Let r = -15772 - -15774. Is 63/43 <= r?
True
Suppose -8*r + 2*r = -12, 0 = 5*c + r - 2. Do -22/1021 and c have the same value?
False
Let i be 455/(-36764) - (-1)/(-12). Which is smaller: -1 or i?
-1
Let v = 4672547/72 - 64898. Which is greater: v or -2?
v
Suppose -2*r - 18 = -2*v - 0*r, -4*v - 4*r = 4. Let n(x) = 2 + 2*x + 10*x - 6*x**2 + x**3 - 4*x. Let i be n(v). Is 1/14 <= i?
True
Let w = -13592107/80171 + 2204/13. Which is greater: w or 1?
1
Suppose -2*i - 347 = w + 355, 3*i + 1053 = 3*w. Is i greater than or equal to -350?
False
Suppose 24*a = 27*a - 6*r - 24, 0 = -4*a - 4*r - 28. Is -45/46 <= a?
False
Let f be (-19641)/(-58905) + (-18)/54. Is -2/5 greater than or equal to f?
False
Let b = -1324/29 - -67601/1508. Is -1 >= b?
False
Let f = -8658 + 103745/12. Is -14 bigger than f?
False
Let u(l) = -l**3 + 8*l**2 - 4*l - 3. Let a be u(6). Let i be (-4)/(-18) + -5 + 80/a. Let f be (-1 - -32) + (4 - (9 + i)). Is 29 > f?
False
Let b = -26494 - -20635. Which is greater: b or -5858?
-5858
Let h be (-2)/5 + (-468)/130. Let p be (h/264)/(28/42). Which is smaller: 0 or p?
p
Let x(u) = -u**2 + 155*u - 6114. Let o be x(82). Which is smaller: o or -30?
o
Let u = 43858/230475 + 2/10975. Which is greater: u or -1?
u
Let x = -855.88 + -315.12. Is x greater than or equal to 2/7?
False
Let x = -1.1652 + 2.1652. Let o = -84.055 + 0.055. Which is greater: x or o?
x
Let z = -0.288 - -0.008. Let h = z + -41.72. Let f = 25 + h. Is f equal to 1?
False
Let f = 3742 - 3742.1. Is f not equal to 1118?
True
Let g = -322 - -471. Suppose -151*f + g*f = 288. Which is greater: -143 or f?
-143
Suppose -44*b + 4314 - 1014 = 0. Which is smaller: 57 or b?
57
Let f = 7.79 + 0.21. Let l = -12 + f. Let a = -43618 + 43615. Is a at most as big as l?
False
Let x(o) = -16*o + 38. Let k be x(3). Let b be k + -31 + 0 + (3 - 1). Is b at least as big as -40?
True
Let t = 4/153 + 15347/153. Let l = -101 + t. Is l at most as big as 0.08?
True
Let i = 0.96742 - -0.03258. Is -0.0506 >= i?
False
Let b = 155 + -127.7. Let n = b + -24.3. Which is bigger: n or 14.1?
14.1
Let q = -21 - -69. Let p be q/24 + (3 - -2)*-4. Let f = p + 72. Are f and 54 equal?
True
Let q be 6/(-10) - (-1022)/(-5). Are -1850/9 and q non-equal?
True
Let m(u) = 4*u + 14. Let i be -2 + (-6)/(-16) - (-15)/(-40). Let j be m(i). Are 3 and j equal?
False
Let s = -17687 + 17688. Which is smaller: -1/3115 or s?
-1/3115
Let m = -4.19 - -55.09. Let g = -0.069 - 50.931. Let b = g + m. Which is smaller: b or -25?
-25
Let v be (-5 + 7)*38/(-4)*-1. Suppose -v = 35*r - 54*r. Is 5/28 <= r?
True
Let v(t) = -t**3 - 33*t**2 - 2*t - 536. Let z be v(-25). Is -5486 smaller than z?
False
Let v = -401 + 3662/9. Let x = 31730 + -31723. Is x != v?
True
Suppose -6 = 5*f - h + 7, -h = 2*f + 8. Let w be 0 + f - (-3806)/1270. Is w != -1?
True
Let b = 2958 + -2961. Which is bigger: 584 or b?
584
Suppose -312*o - 6174 = 6*z - 314*o, 4114 = -4*z + o. Is -1026 at most z?
False
Suppose -19*n = -20*n - 4*d + 329, 4 = d. Let b = n - 332. Do b and -91/5 have different values?
True
Let l be 2/4*96/(-12792). Let x = l + 1080/3731. Which is bigger: 215 or x?
215
Suppose 4*v = -3*q + 4210, 46*q = 3*v + 47*q - 3160. Is 1054 less than v?
False
Let o(m) = -m**3 + 3*m**2 - m - 1. Suppose -2*x + 7 - 3 = 0. Let f be o(x). Let g = 11/95 - 6/19. Which is greater: f or g?
f
Let n = 49 + -48. Let p(w) = 13*w**2 + 2*w - 3. Let z be p(n). Let v be (7*2/(-4))/(6/z). Which is smaller: v or -6?
v
Let j = 45 - 15. Let t be (0 - 1/j)*-4. Suppose 4*m + 33 = 3*x, -126*x + 6 = -123*x - m. Does x = t?
False
Let b = -8.862 + 9.015. Which is smaller: -2/27 or b?
-2/27
Suppose -8 = -4*d, -3*d = 2*g - 28 - 2. Suppose -2*w = 2*b + 32, -g = 2*b - 5*w + 48. Suppose 2*y - 8 = -50. Is b <= y?
False
Suppose -3*i + 4 + 0 = 2*z, 5*z = 10. Suppose i = -7*c + 10*c - 15. Let w be (-4)/(-10)*(c + 5). Which is bigger: w or 3?
w
Let v be -1 + -1 + -224 + 352/16. Which is smaller: -199 or v?
v
Let i = -1347.994 - -1348. Which is bigger: -56 or i?
i
Suppose 0 = 20*c - 9*c + 396. Let t be (-4)/c - (-117)/405. Let g = 163/5 - 334/15. Which is bigger: g or t?
g
Let a = -0.546 + 0.5315. Let z = a + 314.0145. Which is smaller: -2/3 or z?
-2/3
Let r = -67 + 75. Let v be ((-21)/(-2))/((-2)/(r/(-3))). 