2/41 greater than or equal to s?
True
Suppose 0 = -2*o + 2*i + 4 - 0, 0 = 2*o + 2*i + 8. Let r be (-63)/(-444) - o/(-4). Is -2 >= r?
False
Let m(v) = 435*v + 10. Let s be m(4). Let y be (12/21)/(60/s). Let n = 52/3 - y. Which is greater: 1/43 or n?
n
Suppose 6*t - 12*t = -12. Let z be t/(-18)*-3 - (-3895)/(-11856). Which is greater: -1 or z?
z
Let z = -2 + 1. Let a be (-21)/(-24) + (-1233426)/1398256. Which is smaller: a or z?
z
Let v = 81810 + -81810. Let t = -1672/1035 + 104/45. Is v <= t?
True
Let z = 220 + -215. Let w be 5*42/75 + (-4)/z. Let h be -1 + (-45)/(-24) - 0. Is w at least as big as h?
True
Let y = 5 + -3. Suppose -h + q + 90 = y*h, -2*h + 3*q = -60. Let s be (-9)/h*6/9. Is s greater than 0.2?
False
Suppose -10200 = -132*o - 38*o. Is o != 60?
False
Suppose -9*p = -4*x - 5*p - 6740, -6*p = 3*x + 5109. Is x less than -1689?
True
Let c = -20332 - -9997. Which is smaller: c or -10336?
-10336
Let o be (1 + 5)/6 - -2. Let h(i) = 2*i - 13. Let z be h(o). Let g be (-4)/z + 130/(-245). Which is smaller: g or -1?
-1
Let m(u) = 23*u. Let y be m(-4). Let v(r) = -r**2 - 16*r + 228. Let t be v(9). Suppose 3*x + 3*i = -261, -29*x + 30*x = -t*i - 79. Which is smaller: x or y?
y
Let h(m) = -27*m + 7. Let n be h(-7). Let u = n + -132. Is u smaller than 65?
True
Suppose 0 = -2*w + 5*w. Let k = 28019/30 - 1867/2. Is k greater than w?
True
Let q = 3 + -2. Let h = 7519/154297 + -1/1859. Which is smaller: q or h?
h
Let k be (-9)/((-720)/(-52568)) + 4/(-160)*-4. Is k less than -657?
False
Let s(q) = -248*q - 1752. Let h be s(-8). Suppose 468 - 2 = 2*a. Are h and a unequal?
True
Let z = -8125 + 2851877/351. Let c = 277/28080 - z. Is 0 at least as big as c?
False
Suppose 111*q + 478 = -854. Let d = -67 + 76. Is q > d?
False
Let m = 1.3632 - 0.0332. Is -13 at least m?
False
Let a(t) = -5*t - 46. Let h be a(-10). Suppose -19*k + 17*k + 5 = z, 0 = k + z - h. Which is greater: k or 68?
68
Let a be -148 + 13 + (5 - 32). Is -162 >= a?
True
Suppose -v - 101 = -2*j, 2*j + 43 = 4*v + 159. Suppose 466 = 4*h - x, -2*x + 4*x = 5*h - 584. Let s be h/10 - (j/(-20))/(-4). Is s smaller than 11?
False
Let m = 20 + -21. Let u be -4*(-4)/16*(m - 28). Let q(n) = n**2 - 11*n - 4. Let l be q(8). Which is smaller: u or l?
u
Let y(m) = 29*m - 24. Let n be y(3). Suppose -20*r + n = -77. Which is smaller: -14 or r?
-14
Let z be 0*((-44)/16 - -3). Suppose -2*q + 21 - 13 = z. Suppose 0*n = -q*g - 5*n - 13, 0 = -g + 2*n. Which is smaller: g or -5?
-5
Let s(x) = x**2 + 30*x - 110. Let l be s(-38). Do l and 195 have different values?
True
Suppose 0 = 4*u - 16, 2*l - 6*u - 66562 = -u. Suppose 45*q - l = 5229. Is 856 greater than q?
False
Let a = -56371 + 56370. Let q = 1.2 - 6.2. Let s = q - -4.89. Is s smaller than a?
False
Let l = 1.9 + -1.7. Let r = 4751/10629 + -3/1181. Which is bigger: l or r?
r
Let x = -0.17 - 6.83. Let q = x + 1. Let m = 676834/3 - 225612. Which is smaller: m or q?
q
Let j = -312.6 + 58.6. Let o = 257.26 + j. Let f = o + -0.26. Is f < 5/2?
False
Let d = 1717/37 - 17152/1147. Is 31 < d?
True
Suppose 2*v - p = 1698, 0*p - 2*p = 4. Let x = v - 859. Which is greater: x or -120/11?
-120/11
Suppose k = -2*b + 148, 20*b + 500 = 3*k + 19*b. Is 11 < k?
True
Let t(b) = -9*b**3 + 20*b**2 - 15*b - 2. Let c be t(5). Which is bigger: c or -701?
-701
Let a = 124 - 114. Suppose -t + 3*l = -2 - a, 5*l + 20 = 3*t. Is -1/36 at most as big as t?
True
Let b be (74/(-4))/((-304)/(-32) + -9). Which is smaller: 97 or b?
b
Let t = -1206 + 678976/563. Let p = 133 - 133. Is p at most t?
False
Let o(u) = 16*u + 93. Let t be o(14). Suppose 6*y = -323 + t. Which is bigger: y or 1?
1
Let t be 1/(1 + 54/(-624)*(-34)/(-3)). Which is smaller: t or 9?
9
Suppose 45470*k - 45486*k = 16. Which is greater: k or 2/2925?
2/2925
Suppose 5*g + 164*m - 168*m - 31 = 0, 4*g + 4 = -4*m. Let q(i) = -i**2 - 8*i - 2. Let d be q(-4). Let a be 4/d*(4 - g). Is a at most 0?
False
Suppose 3*k = 4*w + 11144, 3*k + 11168 = -3*w - w. Which is smaller: w or -2787?
w
Suppose 462775 + 211508 = -152*o - 20813. Which is bigger: o or -4572?
-4572
Let c be 69 + -70 - (19159 - -5). Is -19165 equal to c?
True
Let j = -1.895 - -26.895. Which is greater: j or 2/5?
j
Suppose b - 3*b - 332 = 4*g, -2*g + b = 158. Suppose 383 - 55 = -4*k. Is g equal to k?
False
Let n = 17846 + -17848. Is 0.214 greater than or equal to n?
True
Suppose 3*h + 8 = 2*p, 17 - 1 = 4*p. Let q be 13 + -17 + 38/11 - h. Suppose j = s + 3, 5*j + 2*s = 2 - 8. Do j and q have the same value?
False
Suppose 5*b + 778 + 42 = 0. Let t be (b/(-6))/((-8)/6). Is -20 at most as big as t?
False
Let r = 5898 - 5900. Let u = -0.28 + 5.19. Let b = u - 5. Which is smaller: r or b?
r
Let q = -4553 - -4553.1. Which is greater: 0.2938 or q?
0.2938
Suppose 39*k + 153 + 29 = -52*k. Which is smaller: k or -122/43?
-122/43
Let d = -54 + 56. Let o be 20/35 + d*150/14. Let k = -0.1 + 0. Which is smaller: k or o?
k
Let n = 10 - -24. Suppose -n = 5*t + 1. Which is smaller: t or -20/3?
t
Let m = -545 - -547. Suppose -4*k + m*l + 33 = -33, 3*l = 3*k - 51. Is k less than 13?
False
Let y be 1/(-4)*-2*-54. Let j = 16752 - 16779. Are y and j equal?
True
Let t be 4/(-18) - (-558992)/414. Suppose -4*a - 6*a = -t. Is 135 at least as big as a?
True
Let c(k) = k**3 + 9*k**2 - 11*k - 15. Let v be c(-11). Let r be (-3)/((-12)/v) + -3. Let h = r + 39. Are h and 4 equal?
False
Suppose 148*o + 34 - 143 = 39. Is o <= -17/75?
False
Let f be 2*(-6)/(-60) + 22/(-10). Let h = f - -1/2. Which is smaller: h or -11?
-11
Let m(l) = l**2 - 9*l + 13. Let f be m(8). Suppose 26 = -f*d + 46. Suppose -44 = 5*t - d*j, -2*j = -t + 3*j - 13. Is t > -8?
False
Let j(k) = 208*k**3 - 2*k**2 - k + 2. Let h be j(1). Let w = 240 - h. Is w less than or equal to 30?
False
Let d = -77 - -78. Let v be (13/(-15) + (-96)/72)*d. Which is bigger: -2 or v?
-2
Let i(w) = w**2 + w - 21. Let a = -100 - -183. Let s = a - 79. Let v be i(s). Which is smaller: v or -1/21?
v
Let q(u) = -u**3 + 21*u**2 - 35*u - 39. Let b be q(19). Suppose n - 34 = 2*n. Let h = n + b. Is -17 > h?
False
Let o(j) = j**2 - 22*j - 204. Let y be o(29). Let v be 6*((-4)/342)/(-1). Which is greater: y or v?
v
Let h = -15743 + 16880. Which is smaller: 1139 or h?
h
Let m(v) be the first derivative of 17*v**2/2 - 95*v - 3. Let a be m(-12). Are a and -299 unequal?
False
Let z(g) = 6*g**2 + 1. Let k be z(-3). Let t = k + -49. Let v be (t/20)/((162/8)/3). Is 0 less than or equal to v?
True
Let j(a) = 2*a**2 + 5*a - 26. Let o be j(6). Let u = -30 + o. Are u and 47 unequal?
True
Let i = 2691.1 + -2836. Let o = 139 + i. Let n = o + 6. Is n equal to 4/11?
False
Let l = -1 + -39. Let g = 40 + l. Let s be 7/(21/4)*-3. Is s less than or equal to g?
True
Let o = -2980/3 + 994. Which is greater: -1017 or o?
o
Let p(b) = 2*b**3 + 14*b**2 + 4*b - 15. Let g be p(-7). Let r = g + 58. Let n be 6/r - 4/20. Which is smaller: 0 or n?
0
Let k be (7/(-5))/((-12)/(-10)). Let s be 175/(-30) - -5 - -3*(-8)/(-72). Let x = k - s. Are 36 and x equal?
False
Suppose -2125*s + 2135*s - 220 = 0. Is s at most 27?
True
Let g = 485 - 286. Let h = g + -201. Are h and 2/3 nonequal?
True
Let h be 438255/(-270) + (-10)/12. Let c be 12/(-1 - 1) + (-9664)/h. Which is greater: 0 or c?
0
Let i = -6060 - -6061. Is -28/87 < i?
True
Suppose -52 = -4*i + 192. Suppose -194*u + 10 = -205*u - 1. Is u greater than i?
False
Let m be (-165)/(-40) - 4 - ((-47229)/(-56) + 7). Is -849 < m?
False
Let g be 1 + 28/14*5/2. Let y be g - ((-156)/33)/(-1). Which is bigger: 1 or y?
y
Let s be (-850)/(-20)*8/60*3. Let m be (-2 + s/10)/(6/(-16)). Let w = 7.6 + -7. Are w and m nonequal?
True
Let p = -328 + 579. Let v = -253 + p. Let b = -20/33 + -98/165. Which is greater: v or b?
b
Let u = -1511/928 + 3/928. Let n = u - -29/18. Which is greater: 1 or n?
1
Suppose 0 = w - 4*w - l + 1443, -3*l = -3*w + 1431. Let r be -5*(-256)/(-6)*(-216)/w. Is 96 at least r?
True
Let m = 735 - 736. Let n be (1/3)/(m/(-3)). Is 2/111 not equal to n?
True
Let m be (-11)/(44/(-96)) + -4. Suppose 0 = -30*j + 35*j - m. Suppose -5*w = j*w. Which is bigger: w or 9/10?
9/10
Let a(s) be the second derivative of s**4/12 + 5*s**2/2 + 12*s. Let b be a(0). Let r be (b/((-495)/6))/((-6)/72). Which is bigger: r or 0?
r
Let g = 92 + -86. Let q = g - 9. Let p be 16/24 +