 + 5*d**4/12 + 13*d**3/2 + 5*d**2 + 6. Let s be k(-4). Is -13 greater than s?
True
Let m = -68/333 + -2/111. Let g be 8 + 138/(-18) + (-8)/6. Is m equal to g?
False
Let i be (-1116162)/249275 + 1/((-1)/(-4)). Let n = i + -2/845. Is 0 <= n?
False
Suppose 3 = -g - 2*g. Let r = -33798 + 1047743/31. Which is smaller: r or g?
g
Suppose 11*d + 1457 = 4416. Let u = -219 + d. Is u greater than or equal to 50?
True
Suppose -2*z - 5 = -5*n + 3*z, 3*n - 2*z = 1. Let j be (14440/2432)/(1*n/4). Which is bigger: j or -24?
j
Let r = -3/172 + -3769/860. Suppose -5*s + 20 = -6*h + 3*h, -2*h = -2*s + 8. Suppose -j - 2 - 11 = 3*z, h = 5*z + 4*j + 24. Is r > z?
False
Let o be (-3 - (4 - (3 - -5))) + 51. Let c be ((-78)/o)/((-3)/(-4)). Which is greater: -6 or c?
c
Let p be (-3)/(-15) + (-2409)/2805. Which is greater: 0 or p?
0
Suppose 0 = 2*s - s - 2. Suppose 110 = -32*t + 54*t. Suppose t*x - s*a = -3*a - 11, -4*a = -16. Is -9 greater than x?
False
Let g be (-2098)/355 - (2 + 21/((-147)/56)). Is 1 greater than or equal to g?
True
Let o be 13*((-40)/(-6) - (-1895)/(-1137)). Suppose 2*g - 3*k = 114 + 21, -2*k + 246 = 4*g. Which is smaller: o or g?
g
Let l be (-9)/(435861/6)*(7 - (-1 - -2)). Which is smaller: l or 0?
l
Let h(v) = -v**2 - 10*v - 1. Let i be h(-7). Let f(t) = 23 - 5*t**2 - t**3 + i - 2*t - 36. Let c be f(-4). Is -2/35 != c?
True
Let z = -468 - -466.8184. Let j = -0.0116 - z. Are j and -3 unequal?
True
Let m be 1636/18*(-9 + 1 + 1). Let b = -637 - m. Suppose 4*p + 18 - 10 = 0. Is b >= p?
True
Let c be (6/(-10))/((374/(-1615))/22). Which is smaller: c or -21?
-21
Let c(u) = u**2 + 182*u + 2352. Let p be c(-14). Which is smaller: -3/335 or p?
-3/335
Let k = 1586/7 - 26948/119. Suppose 0*c + 2*c + 2 = 0. Let a = c - -2. Is k greater than a?
False
Let t = 6931 + -6829. Is t equal to -18?
False
Let g be 14562/2082 + (-53 - -46). Is 2/15 at least as big as g?
True
Let c = 91060.7222 + -91072. Let b = c - 0.2322. Let p = b - -11.6. Is 1 smaller than p?
False
Let i = 69 - 67. Suppose -j = i*j - 15. Let u be 17/5 + (-2)/j. Which is smaller: u or 13/6?
13/6
Let z(q) = -17*q - 9. Let a = 2 + -7. Let k be z(a). Let w be 2*-2 - k/(-22). Are w and -2 unequal?
True
Let p = -918130/43 + 21353. Which is smaller: 1 or p?
1
Let b(w) be the second derivative of -17*w**3/6 + 46*w**2 + 76*w. Let h be b(0). Which is smaller: 93 or h?
h
Let d = 22103 - 20710514/937. Is 1 < d?
False
Let o = -2397 - -2276.9. Which is bigger: o or -2?
-2
Let l be ((-2)/18)/((-13)/254046). Suppose -5*n - 1202 = s + 976, -10970 = 5*s + 5*n. Let c = s + l. Is c less than -26?
True
Suppose 5*o + 0*o - 181 = v, 4*o - 2*v = 146. Let t(r) be the first derivative of r**4/4 - 4*r**3/3 - 3*r**2 + 16. Let j be t(6). Is o equal to j?
True
Suppose 5*g + 2*s - 373 = 0, -223 + 0 = -3*g - 2*s. Let f be ((-125)/g)/(10/(-12)). Suppose 3 = l + k, -5*l = -2*k - f + 8. Is l <= -8.7?
False
Let y(n) = 25243*n**2 - 4*n - 6. Let p be y(-2). Let v be (-2)/(-5) - (4 - p/27600). Let q = v + -3/200. Which is smaller: 0 or q?
0
Let k = 11647 - 11655. Let c be 16/(-1) + (3 - 1). Let g be 1/21 + (-4)/c. Are g and k nonequal?
True
Suppose 4*z - 4*x = -49 + 41, 3*z + x = -18. Is 14 > z?
True
Suppose 3*n - 13 = 4*p, -2*n - 22 = -1051*p + 1056*p. Are n and 30/1459 equal?
False
Let u be 170/(-24) + ((-63)/12)/(12/(-16)). Which is smaller: u or -12/7?
-12/7
Let h = 98080 - 17556042/179. Which is greater: 3 or h?
3
Let i(z) = -4*z**2 - 164*z + 295. Let o be i(-58). Is -3648 not equal to o?
True
Let v be 5*(-5 - -3) - -2296. Is 2290 greater than or equal to v?
True
Let b = -7576 + 5395. Is b greater than -2181?
False
Let z be 30/(-4)*812/(-21). Let i be -2 + 5/15*(z - -1). Let v = 473/5 - i. Are v and 0.03 non-equal?
True
Let j be -5*1 - ((-4 - -10) + -8). Let o be -7 - -10 - j/(-1). Is o greater than or equal to 5/21?
False
Suppose 2*x - 582 = 2*z, 3*x = -0*x - z + 873. Suppose 730*u + 5 = 2*n + 729*u, 0 = 3*n + u. Is x not equal to n?
True
Let v(s) = 3*s**2 - 13*s - 81. Let q be v(23). Let f = q + -162943/135. Let x be -3 + 4 - 2*1. Is f at least as big as x?
True
Let v be -6 - (-372)/18*(-33)/(-114). Let i = -4 - -3. Is i smaller than v?
True
Let k = -0.12964 + -0.37036. Is 4/285 equal to k?
False
Let w = -244 + -85. Let c = w + 329.26. Is 5/4 less than or equal to c?
False
Let t(k) = -2*k**2 - 38*k + 38. Let b be t(-20). Let j be (-51)/(-459) - b/(-153). Is j at least -1?
True
Suppose 11*g = 15*g - 32. Let j(h) = 2*h**3 - 21*h**2 + 14*h - 19. Let n be j(g). Which is bigger: -226 or n?
-226
Let c be -4 - -1 - 1/(129/(-389)). Suppose -136 = 9*x + 224. Let f = 39 + x. Which is bigger: c or f?
c
Let i be (-1 + 33/27)/((-15)/(9 + -1764)). Suppose 173 - 65 = 4*s. Is s at most i?
False
Let x(h) = -5*h + 9. Let v = 98 + -96. Let d be x(v). Which is bigger: -5/8 or d?
-5/8
Let v = 38.452 - -0.148. Let o = 37.6 - v. Is o > 5?
False
Let y be 34/119 + (3/14 - 0). Is 2.7 at least as big as y?
True
Let k = 563959 - 1179326. Let v = k - -135996558/221. Let r = -36/17 + v. Which is smaller: r or 1?
r
Let l be (4/(-10))/((-12)/420). Let p be l/(-35) - 28/(-120). Let j = -555/3113 - 1/283. Is p at least as big as j?
True
Let g = 1 - 0. Let s = -1047/53075 - -4/275. Which is greater: g or s?
g
Let b = 124 + -212. Let o = b + 52. Let w = -14 + 13. Which is bigger: w or o?
w
Let k = -1101 + 1179. Let r(u) = u**2 + 7*u - 1. Let o be r(-13). Which is greater: o or k?
k
Let g(p) = 4*p**3 - 10*p**2 + 2*p - 12. Let n be g(16). Suppose -5*v + 27708 = -v - 5*s, -5*s - n = -2*v. Let x = v - 62468/9. Which is greater: -10 or x?
x
Let n = 27 + 5. Suppose -3*a = -2*a + n. Let f = a - -37. Is -1 at least f?
False
Let q(u) = 2*u**2 + 39*u - 29. Let b be q(-20). Let h be 48/14*30/b. Is h < -11?
True
Let l(u) = 119*u**3 - 6*u**2 - u + 17. Let x be l(2). Is x < 952?
True
Let q(v) = -v**3 - 2*v**2 - v + 2. Let s be (-3)/9 - 2/(-6). Let c be q(s). Is -3 at most c?
True
Let s = -22026 + 22326. Which is smaller: 295 or s?
295
Let d(x) = 176*x - 2612. Let b be d(26). Are 1964 and b non-equal?
False
Let s = -3110 - -3109. Is s greater than 12/611?
False
Suppose 4*i = 2*r + 10, -2*r + 29 = 2*i + 9. Suppose -j + r*j - 5*b - 9 = 0, -j - 4 = 5*b. Let v = -1915/103626 - 2/51813. Which is smaller: v or j?
v
Suppose 0 = 5*f + 3*l, 2*l - 25 = 7*l. Suppose 2*w + w + 25 = 2*y, 2*y + w = 5. Suppose -f*j + 26 = -y*j. Is -23/2 greater than j?
True
Suppose 4*u + 5 = -2*x - 483, u + x = -121. Which is smaller: u or -126?
-126
Let d be (2/7172)/(1/4). Let s = -551 + 550. Is s < d?
True
Let i = 12610 + -11212. Which is bigger: 1399 or i?
1399
Let n be 34 - 42 - 54/(-7). Is n bigger than -3/13?
False
Let s(t) = 4*t**2 + 26*t - 9. Let w be s(2). Which is smaller: 62 or w?
w
Let t = -226.22 - -226. Let w = -0.239 - t. Which is smaller: -0.1 or w?
-0.1
Let m = -267 - -266.9515. Let n = m + -67.9515. Do n and -0.1 have the same value?
False
Let o be -2 - (-103 + -4 + 4). Let v = -136 + o. Does -35 = v?
True
Let v = 75 + -70. Suppose -z - 4*j + 13 = v, -8 = -z - j. Suppose -2*m - 1 = -s + z, -6 = -m + 4*s. Is m at most as big as -10?
False
Let i(q) be the first derivative of 4 + 3/2*q**2 + 9/2*q**4 - q - q**3. Let m be i(1). Is m smaller than 17?
False
Suppose 5*s + 19370 = -5*x, 2*x = -2*s + 4*x - 7748. Let m be (-5)/((-525)/30) - s/14. Which is smaller: 276 or m?
276
Suppose 0*p = 5*p + l - 18, 3*l = 2*p + 3. Let w be (-8)/((-1)/4 - p/12). Do w and 12 have different values?
True
Let r = -1.0798 + 0.8298. Do 1/67 and r have the same value?
False
Let j(h) = -54*h - 926. Let k be j(-17). Is k < -35?
False
Let y = -4/2363 - -17545/593113. Let k = 13641/471127 - y. Is k != -1?
True
Suppose 0 = -10*x + 41 + 119. Suppose -840 = -x*a + 888. Is 108 equal to a?
True
Let h = -0.1267 - 0.1533. Are h and -29 equal?
False
Suppose 2*c = 2*s + 28, -4*s - 78 = s - c. Suppose -3*k - 77 = 5*y, 78 = -5*y + 172*k - 174*k. Is y < s?
False
Suppose 18*t - 10*t + 25*t = -33. Is -3/1354 at most t?
False
Let g be ((-26)/(-10))/((-3)/(-15)). Suppose g*v - 171 = 24. Which is greater: v or 1?
v
Let p = 3.58797 + -0.08797. Which is smaller: p or 51?
p
Let s be (-440)/792 - ((-1)/3 + 0). Let u = -2 + 2.8. Is u at most as big as s?
False
Suppose -2*s - o - 9 = 0, -2*o = 3*s + 2*o + 16. Let p be ((-14)/(-21) - 16/15)/s. Le