 9 - 5. Let r be c(v). Let n = 513 - 515. Is r < n?
False
Let w = -7260915/1352 - -10741/2. Is w > 0?
True
Let d = 1120/3149 + 56/67. Which is smaller: 3 or d?
d
Let r = 128/225 - -17/225. Let j = -1/45 - r. Which is greater: 2/21 or j?
2/21
Let b(i) = -2*i**2 - 80*i + 530. Let w be b(6). Is w at most -387/17?
False
Suppose -4*v + 2 = -3*v. Let w = 2160539/7 - 308646. Which is bigger: v or w?
w
Let l = -1096377993894/506851879 + 3/9563243. Let n = -2163 - l. Does n = 0?
False
Suppose -16*o - 21 = -23*o. Let s be (-22)/(-33) + 2/o. Which is bigger: s or 14?
14
Let f be (-2)/(-19) + 84/(-76). Which is bigger: 44/323 or f?
44/323
Suppose -47 = -22*n - 839. Which is greater: 25 or n?
25
Let v be -1 + ((-14)/4 - -4). Suppose -2*j - u = 21 - 123, -3*u + 18 = 0. Are v and j unequal?
True
Suppose 8*a + 2*x = 3*a - 5939, -9488 = 8*a - 4*x. Is -1189 greater than or equal to a?
False
Let i = -4962 - -4946. Is -460/31 != i?
True
Let g = -602 + 1537. Let f be (-197)/g - (-1)/5. Do f and 1 have the same value?
False
Suppose 0 = -0*f + 4*f + 5*v - 28, -v = -4. Suppose -3*b = 2*s - 7*s - 540, -f*s = -3*b + 225. Is s less than -104?
True
Let m = -1173 - -71551/61. Suppose 4*x = 2*q - 7 + 1, 0 = -x + 5. Suppose 5*r = -3*v + q, -4*v - 2 = 2*r - 5*r. Is m greater than v?
False
Let t(a) = -a**3 + 10*a**2 + 41*a - 26. Let u be t(13). Suppose -l - 8 = -4*z - 3*l, l - 6 = -4*z. Let v be (8/(-204))/(1*1/z). Which is greater: u or v?
u
Let h = -9723 - -9728. Which is smaller: h or -1581?
-1581
Let j(d) = -301*d + 23. Let l be j(-26). Let a = 1216591/155 - l. Which is bigger: a or -1?
a
Let k = 3472 + -3471. Do 1/234 and k have the same value?
False
Let q = 31.6 + -221.6. Let l = q + 190.04. Do l and 8 have the same value?
False
Let v(s) = -4*s**2 - 95*s - 322. Let u be v(-19). Is u >= 26?
True
Let k = -466289140/897 + 519832. Let u = -2/69 + k. Is 0 not equal to u?
True
Let n = -98 + 165. Suppose -2*j = 5*f - 182, -5*f + 6 - n = -j. Let p be 336/495 - 9/(j/6). Is p not equal to -1?
True
Let v = -77250 - -77001.0144. Let o = v - 0.0144. Let g = 177 + o. Which is bigger: -2/3 or g?
-2/3
Let k = 37119 - 37689. Which is greater: -23 or k?
-23
Suppose d - 2*g = -4*d + 86, 0 = 3*d - 2*g - 54. Let h(o) = -7*o + 56. Let u be h(6). Which is smaller: u or d?
u
Suppose 3*i = 2*o + 2*o - 3, 4 = -2*o - 4*i. Let g be (642/4 - o)*20/(-15). Let w be g/602 - (1 + 9/(-7)). Which is bigger: w or 0?
0
Let o = 3 - 5. Let i = -17691/5 - -3521. Let z = i + 461/30. Do o and z have the same value?
False
Let q = -2215.694 - -2216. Which is smaller: 3 or q?
q
Suppose -2*v = 1 + 5, 4*w + 5*v + 375 = 0. Let i = -85 - w. Suppose l - i*l = -40. Is 10 at least l?
True
Let t(j) = j**3 + j**2 - 5*j - 2. Let p be t(2). Let z be (-20)/10 - (p/(-2) + 131). Let u be (-3)/(0 + -2 + (-228)/z). Which is smaller: u or 11?
u
Let y = -131 + 107. Suppose 0 = q + p + 20, -q + 2*q - p + 16 = 0. Are y and q nonequal?
True
Let s be (9/(-62 + 8) + (-33058)/84)*-1. Is s >= 394?
False
Let q = -0.8 - -0.7. Let x = -30.77 - 4.23. Is x >= q?
False
Let h(a) = a**3 + 9*a**2 - 18*a - 85. Let g be h(13). Which is smaller: 3396 or g?
3396
Suppose 0 = -27*j + 14174 - 52622. Which is smaller: -1425 or j?
-1425
Let a = -77419/1242 + 1/1242. Are -0.1 and a equal?
False
Let y = 21985/6549 - 124/37. Suppose 3 = -2*d - d. Which is bigger: d or y?
y
Let t = 1210045916/99 + -12222994. Let b = -308 - t. Which is smaller: b or -1?
-1
Let k = -111 - -150. Let o be 4 - (-280)/(-2712)*k. Which is bigger: o or -1?
o
Let h = 34046 - 33991.78. Is -2/3 at most as big as h?
True
Let o = 5387737/6 + -895813. Which is smaller: 2142 or o?
2142
Let g = -0.12615 - -0.13. Let m = g - 34.07385. Let i = m + 34. Is -5 less than i?
True
Suppose m + 4*m = -d + 56, d - 56 = -3*m. Suppose 20 - d = -6*t. Suppose -5*g = -8*g + t*g. Is g > 9?
False
Let t = 33.09 - 2.19. Let y = 26.9 - t. Let p be 8 + 0/2 - -1. Which is smaller: p or y?
y
Let f = 2158 + -10793/5. Which is smaller: -54 or f?
-54
Let p = 6/37 + -152/481. Suppose 3*m - 4*u + 0*u + 2 = 0, 5*u = -3*m - 11. Let l be (-14)/63 - (-1)/(-9)*m. Does l = p?
False
Let n(s) be the second derivative of -s**4/12 - s**3/3 + 9*s**2/2 - 6*s. Let v be n(-7). Suppose 16*j = t + 17*j + 29, 8 = -4*j. Which is smaller: t or v?
t
Let s = -736 - -751. Let m = 14.7 - 0.7. Let d = s - m. Which is smaller: d or -34?
-34
Suppose 3*j + 14 = 2*k, 5*k - 15 - 3 = -j. Let i(w) = -2*w**3 - 9*w**2 - 2*w - 6. Let m be i(-6). Let s be m/(-60) + 4/10. Does j = s?
False
Let a(j) = -j**3 + 6*j**2 - 3*j - 4. Let s be a(5). Suppose -3*h - 370 = -2044. Let r = 560 - h. Is r equal to s?
False
Suppose 2*p + 185 = c + 2*c, -2*c + 136 = 5*p. Let a = -19 + 81. Let j = a - c. Which is greater: -7/20 or j?
-7/20
Let n = 3375 - 3441. Let w = 16 + -46/3. Is n at least as big as w?
False
Let m(w) = -17*w + 14. Let y be m(-4). Let v = -82 + y. Suppose 10 + 2 = 3*p. Which is bigger: v or p?
p
Suppose 6 = 2*y - 4*u, -2*y + u = 5 + 1. Let s be -188 + (8 - 18/9). Let b be ((-156)/s)/(2/(-14)). Which is smaller: b or y?
b
Let f(a) = 4*a**2 + 34*a - 754. Let w be f(15). Is w bigger than 656?
False
Let u = 12209 - 12237. Which is smaller: -89 or u?
-89
Let l be (-10)/(-165) - 8241/396. Are -21 and l unequal?
True
Let b = 22.725 - -0.275. Which is smaller: b or 2?
2
Suppose 23*c - 35*c = -2208. Let l be -1*2 + (-23)/(c/16). Is -37/12 >= l?
True
Let u = 1650/13 - 3208/39. Let m = 7767 - 7723. Is m less than or equal to u?
True
Suppose 2 + 8 = -3*n + 5*o, -4*n = -3*o + 6. Let v be (-46)/(-2) - (-3 + 6). Let k be (24/(-440))/((-18)/v). Which is bigger: k or n?
k
Suppose -7*d - 231 = -9*d + b, 3*d = -4*b + 319. Let h be 1116/10 - 10/(-25). Which is smaller: h or d?
h
Suppose 30 + 28 = -2*f. Let d(h) = -2*h**3 - 57*h**2 + 29*h + 14. Let k be d(f). Let q(y) = 15*y**2 - y - 1. Let m be q(-1). Which is smaller: k or m?
k
Let z = 0.2 - 0.2. Let b = 0.91 - -1561.09. Let g = -1561.933 + b. Is z != g?
True
Let j = -15 - 411. Let b = -428 - j. Which is smaller: 6 or b?
b
Let g(x) = -x**2 - 7*x + 4. Let s be g(-6). Let y(m) = m**3 - 16*m**2 + 19*m + 21. Let i be y(14). Let v = -97 - i. Is s greater than or equal to v?
True
Let k = 384 - 643. Let q = k + 250. Is q greater than or equal to 1.7?
False
Let o = -0.18 + 0.55. Let l = -0.87 + o. Let n = l - -0.71. Is 0 greater than n?
False
Suppose 0 = 4*d + 6*v - 4*v + 188, d + 50 = -2*v. Which is greater: 13 or d?
13
Suppose -2 = -2*v - 5*n - 7, -5*v + 2 = -2*n. Let i = 8 + v. Suppose 3*l + 4 = q - 4, 0 = -2*l - i. Is q at most -5?
False
Let f = 6 + -6.3. Let m = -0.4 - f. Let d = 13739.6 + -13689.6. Which is smaller: d or m?
m
Suppose -106 - 218 = 38*q - 96. Which is bigger: -163/29 or q?
-163/29
Let k(i) be the second derivative of i**5/120 + i**4/2 - 2*i**3 + 30*i. Let m(l) be the second derivative of k(l). Let j be m(11). Which is smaller: -0.2 or j?
-0.2
Suppose -p - 13607 = -4*o + 1175, 3*o - 11103 = -2*p. Do o and 3694 have the same value?
False
Suppose 0 = 962*j - 953*j - 6678. Is 743 equal to j?
False
Let g = -5.46 + -74.44. Let r = 6.9 + g. Let s = r + 72.9. Is s < -9?
False
Let s = -2360 + 2359.34. Is s less than 6?
True
Suppose 461 = 7*i + 69. Suppose 7*f - 35*f = -i. Let x be 18/10 + 4/4. Which is smaller: f or x?
f
Let r be (6 + 0)/(150/250). Let g be (91/7 - r) + -4. Let p be 1/((-5)/(-1)) - 0. Which is bigger: p or g?
p
Let u = -76 + 78. Suppose 50 - 12 = -u*s. Let i be (1 - 5*4) + -1. Which is bigger: s or i?
s
Let s be (-1675)/20*7/((-315)/558). Which is bigger: s or 1038?
s
Let k be (-2)/9 + 146/252. Let y(f) = 2*f + 75. Let s be y(-37). Let m be 3*(s + (-32)/24). Is k bigger than m?
True
Suppose -4 = -4*b - 3*x, 2*b - x = -0*b + 12. Suppose 185 = b*f + k - 101, -208 = -3*f - 4*k. Let v = 53 - f. Which is greater: v or -17?
-17
Let a = -642/973 + 13868/248115. Let s = a - -8/17. Which is smaller: -6 or s?
-6
Let w = 15 + 0. Let b(d) = -14 + w*d - d**2 + 5 - 4*d + 0. Let q be b(9). Do q and -0.1 have the same value?
False
Let v = 22.9 - 22.45. Let l = 0.85 - v. Let w = 0 + -2. Which is greater: w or l?
l
Let u = 4232/261 - 470/29. Suppose 26*i - 22*i = -4. Which is smaller: i or u?
i
Let w = -50 + 51. Suppose -13 = 2*z - 3. Let n be (3 - w)*((-12)/3 - z). Which is smaller: 0.3 or n?
0.3
Suppose b - 23*c =