ch is smaller: -2/7 or c?
-2/7
Let n be 3/2*(-276)/18. Let h be (-5)/36*(n + 13). Let g = 20/9 - h. Which is bigger: g or 1?
1
Let z be (18 - 6)/(-4) - (1 + -6). Suppose 0 = s + 12*k - 8*k - 8, s - 4 = -z*k. Let a = -4 + 9. Which is smaller: a or s?
s
Let y be 3/2*(-9 - 209/(-33)). Let k = 0 + 4. Suppose k = -c - 1. Which is greater: y or c?
y
Let v = 0.2 + 20.8. Let i = v + -21.2. Is i at least as big as 8?
False
Suppose 17 = -96*x - 27 - 52. Let b(t) = -t + 5. Let n be b(4). Let v = -1 + n. Is v less than or equal to x?
False
Let l = -44 - -46. Let w be l/4*(-36)/75. Is -1 at most w?
True
Let n = -307 + 184. Let c = 75 + n. Is -47 < c?
False
Let r = -40.08 + 40. Let n = -0.02 + 0.18. Let l = -0.06 + n. Is l bigger than r?
True
Let g = -147448/75 - -1966. Let y(b) = b**2 - 5*b + 4. Let i be y(4). Is i bigger than g?
False
Suppose 4*y - 20 = 4*k, -3*k = 2*y - 7*y + 17. Suppose -3*z - 3 = -2*l, -l - 4 = -y. Let w be (-4)/(0 + 2) + z. Are w and -6 unequal?
True
Let l(i) = -13*i - 40. Let j be l(-5). Let w = -17 - j. Is -41 at most w?
False
Suppose -4*x - 3 = j - 59, 0 = -2*j - 5*x + 103. Which is greater: j or 306/7?
j
Let w(p) = p**2 + 7*p + 9. Let h be w(-8). Let k be -6*(-16)/(-6)*-1. Let b be k*(9/(-3) + 4). Are b and h non-equal?
True
Let q = -754 - -454. Which is bigger: -301 or q?
q
Let j = 0.3 - 0.25. Let c = j - -0.15. Let n be (-6)/(-45)*(-4 - (-4)/4). Is c bigger than n?
True
Suppose 0 = -2*z + 5 - 1. Suppose j = z*j - 5. Which is greater: 19/3 or j?
19/3
Let k = 55.044 - 55. Let j = k + 1.956. Is 3 at least j?
True
Suppose 5*a = 4*x + 6*a + 5, 0 = -x - 4*a - 5. Is 0 greater than or equal to x?
True
Let g be (-3002)/(-330) - 2/(-6). Let s = 47/5 - g. Let q = -199 - -200. Is q greater than or equal to s?
True
Let l = 85.97 + -1.97. Let s = -84 + l. Is s at most as big as -0.07?
False
Let u = 0.708 + -0.798. Are -0.1 and u equal?
False
Let v = 1/10060 - -40049/1921460. Is -1 less than or equal to v?
True
Let p = 6473 + -45410/7. Which is bigger: p or -15?
p
Let d = 473/5 - 95. Let l = 42.97 - 64.97. Are l and d non-equal?
True
Let u be (-2)/(-1) - (-4 + 8 + 9). Do -5 and u have the same value?
False
Let o = -1150 - -1387. Which is smaller: o or 241?
o
Let q(z) = -z**3 - 18*z**2 - 4*z - 99. Let o be q(-18). Do 0.1 and o have the same value?
False
Suppose 2*y + o = 295 + 205, -2*o = y - 250. Is y smaller than 248?
False
Let u be (-1 - 1)*-1 - (0 - -3). Let z = -354 - -3181/9. Which is greater: u or z?
z
Let t = -30 - -30. Are 9/35 and t nonequal?
True
Suppose -16 + 10 = -s. Let d be (-316)/(-26) + 1 + 75/(-65). Is d greater than or equal to s?
True
Suppose -4*w + t - 2 = 0, -3*t + 8*t = w + 10. Is w at most -6/11?
False
Let u = 267 + -268. Which is bigger: u or -6/83?
-6/83
Let x(n) = n**3 - 11*n**2 - 12*n. Let k be x(12). Suppose i + k = 5. Suppose i = 3*m + 2. Is m greater than 9/7?
False
Let f be (-1 + (-297)/(-306))/(3/12). Do f and -4.2 have different values?
True
Let q(b) be the third derivative of -b**5/60 - b**4/3 - b**3/3 - 4*b**2. Let p be q(-8). Suppose 0*n + 3*u + 5 = -2*n, -n + 2*u = -1. Is p at most as big as n?
True
Let p = -6.6 - -7.9. Let d = 1.2 - p. Which is smaller: d or -2/43?
d
Let c(k) = -k**2 - 6*k + 3. Let i be c(-6). Suppose -i*z - 2*z - 15 = 0. Suppose h - 10 = 3*a, -3*h + 0 + 5 = -4*a. Which is smaller: a or z?
a
Let k = -4800/7 - -687. Let t = 164 + -162. Which is bigger: k or t?
t
Suppose 2*u = 4 + 2. Suppose -4*b - 4 = 4*h, h - u = -4*b - 4. Suppose b = -2*w + 2 - 0. Which is smaller: w or 1/3?
1/3
Suppose 28 = 140*u - 144*u. Let b be (0 - 0) + 3 - -792. Let c be 2/u - b/35. Is c bigger than -22?
False
Let k be -19 - 1*(-1 + 3). Let v be (-30)/(-44)*14/k. Is -0.1 at least v?
True
Let s = 0.3 + -0.4. Let n = -2.04 - -5.04. Which is smaller: s or n?
s
Let r be (-1442)/(-1740) + -3 + 44/20. Is r less than 0?
False
Let h = 144 - 155. Is -132/13 less than or equal to h?
False
Suppose 5*s - 3970 = -5*u - 205, 0 = 3*s - 6. Is 751 not equal to u?
False
Let f = -21 + 5. Let t = 64 + -49. Let r = t + f. Is r smaller than 0.2?
True
Let b = 381.9 + -382. Let d = 0.09 - -6.91. Let q = d - 7.06. Is q != b?
True
Let a be -15 - (-305)/20 - (-10)/(-8). Suppose h + 4 = 3*l, 0 = l - 3*h - 0*h + 4. Let m be (-1 + 2)*l/(-12). Which is smaller: a or m?
a
Let p(a) = -a**3 - 7*a**2 + 8*a + 7. Let k be p(-8). Let m = k - -1. Is m bigger than 10?
False
Suppose 9*f + 16 = 5*f. Let r be (-86)/(-4) + (-2)/f. Is 22 at most r?
True
Let r = -18.9 - -19. Which is smaller: 183 or r?
r
Suppose 11*j = 9*j. Let s = 4 - 1. Let f be ((-6)/(-26))/(s/2). Is j less than f?
True
Let j be (-48)/16 - 6/(-2). Let n = -118.1 + 123. Is n != j?
True
Let z(d) = d**3 + 7*d**2 + 13*d + 14. Let x be z(-5). Which is greater: x or -2/519?
-2/519
Let h(f) = f**3 - 6*f**2 - 5*f + 12. Let g be h(6). Is g at least -6?
False
Let f = 11.07 + -11. Let n = 5 + -5.03. Let l = f - n. Are l and -3 nonequal?
True
Let v = 852 - 845. Is v greater than -10?
True
Let a(v) = v**2 - 27*v + 121. Let x be a(5). Suppose 84 - 24 = 5*h. Let f = x - h. Which is smaller: -1/3 or f?
f
Suppose 0 = 4*i - 351 - 237. Let o be (-4)/6 - (-140)/i. Are o and 1 unequal?
True
Let v be (0 + 0)*(-5)/20 - -1. Let d = -2 - -2. Is v less than d?
False
Let o be (-14)/21 + (-17)/(-3). Let d = -30 + 24. Let h be (-38)/d + (-12)/36. Which is smaller: h or o?
o
Let f(l) = 7*l**3 - 14*l**2 + 2*l - 7. Let x be f(4). Which is smaller: 223 or x?
223
Let t = 18942911/1154 - 16415. Let c = t + -62327/12694. Is -4 < c?
False
Let b = -530 - -752. Are 221 and b nonequal?
True
Let s = -18/95 - 4/19. Let l = -716/3 - -237. Do s and l have the same value?
False
Suppose 0 = -2*c - 5*c + 42. Suppose q = c*q - 210. Is q smaller than 43?
True
Let x(a) = -4*a + 23. Let c be x(6). Let u = -1712/15 + 114. Let o = u + 3/10. Which is bigger: c or o?
o
Let l = -70 + 71. Which is smaller: l or 1/135?
1/135
Let b be ((36*1)/(-2))/(-2). Suppose -4*w = -b*w + 20. Let t be (-3 + w)*(-2)/(-26). Which is greater: t or 1?
1
Suppose -4*d + 2*l + 48 = 0, 0 = -2*d - 3*d - 2*l + 51. Let a = -132 - -143. Is a at most as big as d?
True
Let t = 25 - 27. Let v(u) = -2*u**3 + u. Let a be v(t). Which is bigger: a or 12?
a
Let q = 7/107 - -709/2247. Is -1 <= q?
True
Let l = -2887/4 - -728. Let x = l + -6. Which is smaller: x or 9/5?
x
Let w(t) = -t**2 + 14*t - 1. Let v be w(14). Let a = v - 0. Let k be a - ((-6)/9 + -1). Which is smaller: 1 or k?
k
Let b = -14.9 - -15. Let j be (4 - 4) + (-2)/4*-2. Which is smaller: b or j?
b
Let o = 155.24 - 152. Let h = o - 3.3. Which is greater: h or -2?
h
Let c(g) = -4*g**3 + 19*g**2 + 8*g - 9. Let j be c(6). Suppose 4*r + 560 = -0*r. Do r and j have different values?
True
Suppose -2*f + 6 = -12. Suppose 7*z = -9*z + 12*z + 40. Which is greater: f or z?
z
Let j be (-3)/(-12)*0 - (-1 - 1). Suppose -j*n + 3*z = -n - 2, -5*n = -z + 4. Which is smaller: n or -3?
-3
Suppose 4*n - 4*s = 2*n + 232, -5*s - 227 = -2*n. Suppose -n*m = -130*m + 4. Is m bigger than 6?
False
Let r be 1*56 + ((-1)/1 - 2). Let v be (0 + (-106)/(-4))/(3/6). Is r not equal to v?
False
Suppose 23 = -5*y - 7. Let m = -20 - y. Is m greater than -12?
False
Let m = 477 - 484. Which is smaller: m or -57/8?
-57/8
Let g be (-2)/8 - 609/(-36). Let n(h) = -29*h + 18. Let x be n(0). Which is smaller: x or g?
g
Let u = -353/5060 - -3/46. Is -1 bigger than u?
False
Let h be (-837)/42*28/(-24). Let b = -1403/60 + h. Let w = 1 + 0. Do w and b have the same value?
False
Let n = 106 - 212. Let p = 108 + n. Which is bigger: p or -7?
p
Let n = -1299 - -1300. Let w = 6.15 + -0.15. Which is smaller: n or w?
n
Let x be 210/280*3/(18/4). Which is smaller: -271 or x?
-271
Suppose 13 = -5*w + 4*i, -2 = 2*w + 5*i - 10. Which is smaller: w or 32.4?
w
Let f = 965055444/337 - 2863649. Let j = 17 - f. Is 1 at least as big as j?
True
Let f = 0.0678 - -0.2322. Let z = -0.996 - 0.044. Let t = 0.04 + z. Which is bigger: f or t?
f
Suppose -5*x - 195 = 2*v, -x = -3*v - 213 - 54. Is v greater than or equal to -89?
False
Suppose -4 = -5*z - 49. Let u(n) be the third derivative of n**4/24 + n**3 - n**2. Let f be u(z). Which is bigger: -3/2 or f?
-3/2
Let l = -43 - -51. Let q = -0.02 + 1.02. Let f = -0.9 + q. Is f <= l?
True
Let b = -30 + 31. Do b and -95/7 have different value