ch is smaller: k or x?
k
Suppose 0 = 61*b - 12*b - 18179. Is b at least as big as 18?
True
Let x = -26.62 - -27. Let j = -0.4 + x. Let u = -15050 + 15050.05. Is u <= j?
False
Let h be 21/(-2)*(2 - (-22)/(-3)). Let y = h - 41. Are 3/5 and y equal?
False
Suppose 4*p - 288 = -16*s + 12*s, 0 = 4*s - 4*p - 280. Which is bigger: s or 0.15?
s
Let t = -26314 + 26331.8. Is 13 greater than t?
False
Let a(b) be the second derivative of b**5/10 - 4*b**4/3 + b**3/2 + b**2/2 - 37*b. Let r be a(8). Is r bigger than 23?
True
Let f = 64 - 64. Suppose f = -6*s + 5 + 7. Let w = 4571/17 + -269. Is s at most w?
False
Let v = 0 + 0. Let i = -5223322/63 + 82910. Which is bigger: v or i?
i
Let p = 59 - 60. Let s = -0.0783 - 58.9217. Which is bigger: p or s?
p
Suppose 0 = z, s - 3*z - 310 = 3*s. Let f be 25/5 + (-5 - -2 - -2). Let p be f + 610/s*1. Is p >= -1?
True
Let u be (-128)/(-832) + (252/(-26))/(-2). Suppose u*f = -26*f - 12400. Is -400 at most f?
True
Let r be 2/(-4)*20/(-6)*-3. Let g be 2/2 + r + 7 + 3. Suppose -g = -7*n + 5*n. Is 3 less than or equal to n?
True
Let y be 73260/(-276750) + -9 + 1251/135. Let h = -1 + 2. Is y bigger than h?
False
Let l be (((-35)/7)/10)/(66/(-92)). Let g = l - 602/869. Is g at most as big as -1?
False
Let p be (((-12)/(-9))/2)/((-1)/42). Suppose -s + 34 + 16 = 0. Let h be s/3 + (p/(-12) - 3). Which is smaller: 17 or h?
h
Let g(x) be the third derivative of -3*x**5/20 - x**4/8 - x**3/3 - x**2. Suppose -196*l = -201*l + 10. Let k be g(l). Is -46 != k?
True
Suppose 0 = 39*v + 151945 - 59554. Does v = -2369?
True
Let l = 0.085251 + -82.159251. Let x = 82 + l. Let q = -0.014 - x. Is q < 0?
False
Suppose -5*d + 60 = -4*p, 9*d - 12*d + 39 = -3*p. Which is smaller: p or -0.0794?
p
Suppose d = 11*d - 40. Suppose 0*u = b - u - 2, -d*b - 6 = 3*u. Suppose l + 3*z + 16 = 0, b = -l + 2*l - 5*z - 24. Do -3/23 and l have the same value?
False
Let d be (-5 + 3 - 42)*(-10)/(-4). Let y = -337 - d. Which is smaller: -228 or y?
-228
Let q(k) = 2*k**3 + 8*k**2 - 3*k - 1. Suppose -2*f - 2 = 0, 4*a + 2 + 13 = 5*f. Let y be q(a). Let i = y + 106/3. Which is smaller: -4 or i?
-4
Let i = 1.1 + -5.1. Let w = i - -3.3. Let v = 26657.9 + -26658. Which is smaller: v or w?
w
Let b be (9396/(-189))/(6/42). Which is smaller: -352 or b?
-352
Suppose -8*s - 15 = -o - 5*s, o + 5 = -2*s. Suppose -18 = o*y - 33. Let m be y - 5/((-40)/14). Are m and 7 equal?
False
Let o(p) = p**2 + 10*p + 26. Let l be o(-6). Suppose 1 - 11 = -l*d. Suppose 115 = d*v - 5*b, b = 3*v + 4*b - 81. Are 26 and v nonequal?
True
Let r = 23 - 23. Suppose -k - d = 8, k - 2*d + 0*d + 11 = r. Let q be 0 + 0 - 30/k*-3. Is q at least -9?
False
Let q = -862 + 4258/5. Suppose 78*n + 54*n + 1452 = 0. Is q not equal to n?
True
Suppose 0*a = 2*c + 3*a - 2523, -5*c = -a - 6350. Let r = c + -8790/7. Which is greater: 12 or r?
r
Let r be (1 + -3)/(60326/14). Is r at most 1?
True
Let q(g) = 788*g - 235. Let i be q(-2). Are -1810 and i unequal?
True
Let c(b) = 5*b + 10. Let k be c(-2). Let a(w) = -3*w - 10. Let z be a(-3). Let g be (-35)/25 + (1 - z/(-2)). Are g and k non-equal?
True
Suppose 0 = -q - 5*h - 107, 2*q - 20*h + 25*h = -219. Is q at least -665/6?
False
Let l(z) = 10*z**2 - 7*z + 17. Let d(i) = -5*i**2 + 3*i - 7. Let h(y) = -5*d(y) - 2*l(y). Let q be h(0). Which is greater: 6/193 or q?
q
Suppose f + 20 = 5*f. Suppose 0 = -5*i - w - 10, f*i - 5*w = 7*i + 4. Let p be 10/i - (-730)/70. Which is smaller: p or 6?
p
Suppose 3*u + 2*v = -0*u - 52, v - 73 = 4*u. Let h be ((-45)/6)/(u/2)*-3. Let t = -110/7 + 108/7. Do t and h have different values?
True
Let d(n) = -n**3 + 23*n**2 - 45*n + 25. Let q be d(21). Let o be -8*(-4)/(-8) - q*1. Suppose -4*z - 2*x = o, 5*z - x = -5*x - 38. Which is bigger: -11 or z?
z
Let n(x) be the second derivative of x**5/20 - 13*x**4/12 + 7*x**3/3 - 17*x**2/2 - 8*x. Let v be n(12). Let c be 2/v + -3*(-46)/(-924). Is c at most 1?
True
Let y(q) = -3 + q - q**2 - 3*q + 2*q**2. Let v be y(4). Let x(d) = -d**3 - 53*d**2 + 109*d - 50. Let h be x(-55). Does v = h?
True
Suppose -3*k = -4*n - 0*n - 312, -549 = -5*k - 3*n. Suppose k = 5*z + 18. Let l be 237/(-735) + (z/15 - 1). Which is bigger: 1 or l?
1
Let p(q) = -15527*q + 896. Let f be p(-1). Is f less than or equal to 16423?
True
Suppose -3*r - 3 + 57 = 0. Let q(j) = j**2 - 20*j + 9. Let i be q(r). Does -27 = i?
True
Suppose -27*l + 2706 + 183 = 0. Are 755/7 and l equal?
False
Let a = -214 - -217. Suppose 6 - 9 = -a*y. Is -16 greater than or equal to y?
False
Suppose -2*k + 5*k + 5*h + 25 = 0, -k = 3*h + 15. Suppose -4*y + d = -d - 24, 2*y - 2*d - 12 = k. Suppose -2 - 13 = -3*r. Which is smaller: y or r?
r
Suppose -h + 3*h = 8. Let k(d) = 63*d + 14398. Let t be k(-228). Is t bigger than h?
True
Let r be 119641/(-670605) + 6/38. Which is smaller: 1 or r?
r
Let l be -1 - 7 - (-16 + 10 + 18). Does l = -24?
False
Let f be (0/26)/((-3 + 1)/(-2)). Suppose 2*b + 2*w = -f*b - 58, 79 = -3*b + w. Suppose 49 = -7*h - 133. Which is bigger: h or b?
h
Let l(k) be the second derivative of -k**5/10 + k**4 - 3*k**3/2 - 5*k**2/2 - 88*k. Let b be l(5). Are -2/231 and b equal?
False
Let o be (-25)/(-4 - (-84)/20). Let h be (188/46 - 4) + o/115. Is h != -1/278?
True
Suppose 101*r = 77*r + 24. Which is smaller: r or -5/328?
-5/328
Let f(w) be the first derivative of -2*w**2 + 7*w + 5. Let u be f(2). Let s = 0 + u. Which is smaller: s or -2/23?
s
Let x = 63775 - 4528032/71. Suppose -7 = -i + 3*q, 2*i + 3*i = 5*q + 15. Are i and x equal?
False
Let g be ((-3)/(-2))/((-3)/522*3). Is g at most as big as -87?
True
Let h(q) = 124*q. Let m be h(-3). Let l be (-2)/3*(10 - (-3714)/m). Is l >= 1?
False
Let n = 4.3 + -1.46. Let g = n - -2.23. Let h = 1.33 + g. Is h greater than or equal to 2/9?
True
Let m = -349960191 + 72091625895/206. Let c = m + 842. Which is greater: c or 0?
c
Suppose -2*o = 2*q - 266, 2*q - 22*o + 20*o = 266. Are 143 and q equal?
False
Suppose 2*z + r - 11 = -4, 0 = -3*z + 5*r + 30. Suppose -5*d = -15, 2*p + 6*d - z*d - 35 = 0. Which is bigger: p or 15?
p
Let h = -1857487/4711860 + -6/26177. Let i = 1/18 - h. Is i != -1?
True
Let y be 48/(-42) - 3/(-21). Let m be (-2704)/(-160) - 17 - (-192)/1695. Which is greater: m or y?
m
Suppose -2*g - 2 + 8 = 0. Let c(y) = y + 1 - 9 + g*y + 3. Let r be c(4). Are 10 and r non-equal?
True
Let p be 2/(7 - (-8)/(-2)) - (-1012)/3. Is p greater than 341?
False
Suppose n + 297 = -55. Let o be 22*(15 + -53 + 22). Are o and n nonequal?
False
Let o be -3 + ((-3040)/(-2235) - -2). Let p = -4/149 + o. Let n = 0.6 + 2.4. Are n and p equal?
False
Let v be (-77)/(-33) + 4/(3 - 15). Suppose -v*s + 5*c = 58, -110 = 5*s - c + 6*c. Suppose -2*h - o = 51, 3*h + o + 84 = -3*o. Is s != h?
False
Let w = 15725 + -15725. Which is smaller: w or 1/306?
w
Let g = 23347756/11 - 44267244913/20856. Let a = -471883/24 - -19657. Let i = a + g. Which is bigger: i or 0?
i
Let t be (312/(-48) - -5)/(1/(-10948)*3). Is t smaller than 5475?
True
Let y = 128 - 66. Let a = -172 + y. Let p = a - -110.1. Is -73 >= p?
False
Suppose -252 = i - 5*u, -5*u + 6 = -2*u. Let n be (i/(-12))/(1/2). Let x = n - 37. Is 1 <= x?
True
Let p be (-20640)/384*13/(-5). Which is greater: 139 or p?
p
Let a be -9 - (-12)/((-1512)/(-1170)). Which is smaller: 19/14 or a?
a
Let s = -5.99 + -0.01. Let d = -23 - s. Let w = 12 + d. Is w <= -4?
True
Let p(b) = -26*b - 181. Let w be p(-7). Is 41/34 at least w?
True
Let m = 14378125293 + -388273993961/27. Let b = -2392698 - m. Let r = 304 - b. Is -1 < r?
True
Let j be (5 + 426/18)*3. Suppose j*f - 80*f = -24. Which is smaller: -7 or f?
-7
Let o = -545.32 + 551. Let t = o + 0.42. Which is bigger: t or 0.3?
t
Suppose -h - 52 = -2*o - 0*o, 125 = 5*o - 5*h. Let c be ((-14)/8)/(o/108). Let q(z) = -z - 8. Let m be q(c). Is 2/41 bigger than m?
True
Let j = 307.1 + -305.3. Are j and -12/11 equal?
False
Suppose 27*u - 32*u = 0. Suppose u = 5*p - 22 + 12. Suppose -p*c + 6 = -0*c. Which is greater: 2 or c?
c
Suppose 3*s - 2 = 5*j, 3*s + 4*j = -0*s + 47. Let r be 6/8*((12992/120)/(-28) + 16). Which is smaller: r or s?
s
Suppose -3*l + b = -13, 0*b - 8 = 2*b. Let g be 0 + -4 - (-3 + -2 + l). Let t be -1*3 - (4 - 6). Is t at least g?
True
Suppose -7*t + 3*t = 8. Let y be (-16)/18*1*(16 + (-13 - 0)). Is y smaller than t?
True
Suppose 3*g 