ch is smaller: k or -2?
k
Let x be (22 - 27) + -27 + 1. Is -6/11 greater than x?
True
Let p = -89/57 - -5/3. Suppose c = -3, -4*u + 3*u - c - 3 = 0. Let a = 1 - u. Which is bigger: p or a?
a
Let m = 416 + -2473/6. Let t = -9/2 + m. Which is greater: t or -1?
t
Let s(j) = j + 4*j - 7 - 3*j + 2*j**2 + 2*j. Let o be s(-4). Suppose o*u = 5*u + 4. Which is greater: u or 1/3?
u
Let f = -689.8 - -690. Are f and -2/163 non-equal?
True
Let q be 8/24*(-3 + 0). Let a = -380 + 4164/11. Which is smaller: q or a?
a
Let c = 730 - 2941/4. Let v be (-2)/(-8) - (44/16 - 3). Is v > c?
True
Suppose -5*f + 2787 = 762. Which is smaller: 407 or f?
f
Suppose 2*p = -f - 8, 0 = -16*p + 13*p + 2*f - 12. Is 0 greater than p?
True
Suppose 5*a - 4*h - 575 = 0, -902 = -5*a + 2*h - 327. Let l = a + -88. Is l less than or equal to 27?
True
Let t be ((-1)/(-3) + 1)/(700/(-210)). Is t at least 25?
False
Let h be (2/4)/(5/(-1300)). Let t be h/13 + (-4)/(-1). Let l be (-4)/t*3/2. Is l equal to -1/17?
False
Suppose -4*k + 5*i = 5, -2 = 3*k - 0*i - 2*i. Which is smaller: -14/61 or k?
-14/61
Let k = -17 + 20. Suppose -i = -0*y - 4*y + 14, 4*i = 8. Let c be 5 + (12/k)/y. Is c < 6?
False
Suppose 505 = -3*m + m + v, 509 = -2*m + 5*v. Let q be 4 + -6 - (-5)/((-625)/m). Which is greater: q or 0?
q
Let k = -3 + 3. Let d = -2089/45 + 416/9. Which is greater: k or d?
k
Let t be 3683382/(-2310) - (-8)/(-14). Let z = -1595 - t. Let g = 1/5 - z. Which is smaller: g or -1?
-1
Suppose -6*u + 17 = 5. Suppose 0 = -v - 2 - u. Is v < -4?
False
Suppose 6*b - 1937 = 163. Is 350 >= b?
True
Let v be -1 + 29/9*1. Let i = 14 - 13. Is i > v?
False
Suppose 50*r = 37*r - 21762. Which is smaller: -1675 or r?
-1675
Suppose -4*w = 2*w - 36. Let s = 45793/12 - 3810. Let n = s - w. Is -1 at most n?
True
Let l(k) = k**3 - 10*k**2 - 1 + 5*k**2 + 3*k**2 + 4 - 4*k. Let z(x) = 2*x - 1. Let g be z(2). Let n be l(g). Is n greater than 0?
False
Let x(s) = s**3 - 5*s**2 - 68*s - 8. Let c be x(-9). Is -530 >= c?
True
Let p = 0.19 + -0.39. Is -9.6 equal to p?
False
Let p be 1*-5*6/(-1530). Is -1 at most p?
True
Let h = 22 - 22. Suppose r - 7*r + 18 = h. Are 5 and r nonequal?
True
Let m be (-4 + 36/8)*10. Suppose -s = m*v + 3, 0 = -s + 3*v + 2*v + 7. Suppose -s*j + 3 + 7 = 0. Is 6 > j?
True
Let s = 965 - 968. Are 26/25 and s unequal?
True
Let m = 1035.29 + -1034. Is -0.4 equal to m?
False
Let z = -134 - -222. Let j = 164 - z. Which is smaller: 77 or j?
j
Let l be 1/((3 - 2)*-1). Let o be 1/(l/(-76)*4). Is 18 not equal to o?
True
Let a = 22 + -12. Let t(h) = -18*h**3 - h**2 - 2*h - 1. Let s be t(-1). Let z = a - s. Is -7 at least z?
True
Let b(c) = -29*c**2 - 1. Let l be b(1). Let d = l + 31. Which is smaller: -0.14 or d?
-0.14
Let y be (1/10*-8)/(12/90). Let x = -9 + 15. Let o = -13 + x. Which is smaller: y or o?
o
Let s = -60 - -60.1. Does 2/125 = s?
False
Let b = 6584 + -460917/70. Let l = -3/7 - b. Which is greater: l or -0.4?
l
Let v = -1961 - -1960. Which is greater: -2/10173 or v?
-2/10173
Let q(i) be the second derivative of -i**4/12 - 4*i**3/3 + 9*i. Let m be q(-7). Is m greater than 5?
True
Let g be -5 + 7 + 0 + (7 - 10). Is g greater than -28/17?
True
Let c be -4 - (-290)/25 - (-6)/15. Let w be -18*(4 + (-28)/c). Which is greater: -8 or w?
-8
Let y = -56.47 - 0.53. Let s = -57 - y. Let b = 3/65 + 251/195. Which is smaller: s or b?
s
Suppose -5*u - 2*o + 49 - 5 = 0, -5*u + 3*o = -59. Let s(k) = -2*k + 15. Let d be s(0). Is u greater than d?
False
Suppose 13 + 8 = 2*g + q, -2*g + 4*q + 16 = 0. Suppose -38 + 14 = -2*o. Which is smaller: g or o?
g
Let g = -0.6 + 0. Let o = g - -5.6. Let s = 4 - o. Is s equal to 0?
False
Let v(m) = -m**2 - 2*m + 213. Let t be v(-15). Is 18 greater than t?
False
Let u = 31600 + -95705/3. Which is greater: u or -301?
-301
Let d(y) = -11*y + 11*y**2 + 0 + 7 - 8 + 6 - y**3 - 4*y**2. Let a be ((-6)/(-9))/(4/30). Let s be d(a). Which is greater: s or 3?
3
Let h(j) = 2*j + 48. Let d be h(-12). Suppose -2*u - 48 = 2*p + d, -p = 2*u + 36. Which is smaller: p or -33?
p
Let t = -6/12043 - -3685224/132473. Is -1 at most as big as t?
True
Suppose p - 2*m + 0*m - 3 = 0, m + 4 = p. Let b be ((-2)/p + 8/20)/2. Let g = 12 + -17. Is b equal to g?
False
Suppose 4*g = 2*u + 9690, 2*g = 7*g - 2*u - 12110. Let o = -12062/5 + g. Which is greater: 8 or o?
8
Let o(m) = m**2 - 30*m - 686. Let k be o(0). Are k and -686 nonequal?
False
Let u = 2.6 - 0. Let j = u + -2.69. Is j bigger than -3?
True
Let z = 1404 - 1401. Which is smaller: z or 0.021?
0.021
Let w = 32/63 + 10/63. Is -538 less than or equal to w?
True
Let o be (-4)/(-32)*280/26005. Which is smaller: -1 or o?
-1
Suppose 72 = -4*r + 3*y, 5*y = 32*r - 28*r + 64. Do -1 and r have the same value?
False
Let u be 4/(-8) + 516/1000. Let s = u - -603/1375. Do -1 and s have the same value?
False
Let a = 769 + -842. Is a at least -74?
True
Let x = -0.3 + 0.2. Let y = -1033 + 65108/63. Let z = -2/63 + y. Is x at most z?
True
Suppose 0 = 5*r + 3*v + 7 + 2, -3*v - 9 = 2*r. Suppose -5*x = -2*i + 7, 5*i - 5*x = -2 + 12. Let a = r + i. Which is bigger: a or 0.1?
a
Suppose -5*l + 3*l + 6 = 0. Suppose -l*d + 4*w + 8 = -2*d, -4*w = 5*d - 16. Suppose -o - 15 = 5*c, -c = -6*c - 5*o - 35. Is c less than d?
True
Let n = -14 + 10. Let y be 6 - n/(-1 - 1). Suppose -2*i = -2 + y. Which is bigger: -2/7 or i?
-2/7
Let s be 0 - (0/(-1))/(-4). Suppose s = 4*v - 0 - 8. Suppose 3*o = -5*q + 5, 3 = q + v. Which is smaller: 1/9 or o?
o
Let u = -9 + 11. Suppose b + 9 = 2*a, 3*b + 22 = 3*a + u*a. Suppose -4*c - 6*x - 4 = -4*x, a = -5*c + 2*x. Is c greater than or equal to -6/17?
False
Let n(l) = l**3 - 6*l**2 + 6*l - 4. Let x be n(5). Let m be 312/(-36) - (-2 - -1)*x. Is m at least as big as -8?
True
Let n(v) = -21*v + 5. Let t be n(2). Let c = -23 - t. Is c less than or equal to 13?
False
Let v(o) = o**3 - 8*o**2 - 19*o - 8. Let a be v(10). Do 3 and a have different values?
True
Let v(o) be the first derivative of o**4/4 + 3*o**3 + 5*o**2 + 17*o + 22. Let l be v(-8). Which is smaller: l or 15/7?
l
Let o = 1/5 - 3/5. Let q(s) = 14*s**3 + 2*s**2 + s. Let z be q(-1). Let a = z - -13. Which is smaller: a or o?
o
Let x = 175 + -172. Is -153 at most x?
True
Let r = 115 - 109. Suppose -h - 22 = -n + r*n, -2*h + n = 55. Is -27 smaller than h?
False
Let r = -144 - -857/6. Is -0.2 less than r?
False
Let p be ((-43)/(-18) - 2)*4. Let x be 18 + -9 + -1 + 5. Suppose 0 = a + 5*g + x, -2*g + 3 = -a + 11. Is a < p?
False
Let j be (1 - (-165)/9) + ((-120)/10)/36. Let b = -4 - -21. Is j at least as big as b?
True
Let s = -0.275 + -1.125. Is s less than 2/7?
True
Suppose 0 = -5*i + 4*m + 17, 4*m - 45 = -3*i - 54. Is i >= -33?
True
Let h be 6/(-4) - (15/(-6) + 1). Is 1/53 greater than h?
True
Let o(x) = -3*x - 119. Let u be o(-40). Which is smaller: u or 1/393?
1/393
Let w be 5 + -4 + 1344/8. Do 166 and w have different values?
True
Let w(m) = -9 - 5*m**3 - m + 5*m**3 - 10*m**2 - m**3. Let a be w(-10). Is -3 != a?
True
Suppose -8*r + 45 = 285. Let t = -28 - 2. Is t not equal to r?
False
Let f = -366 + 371. Which is smaller: 7 or f?
f
Suppose 22 = 3*i - 2*l, i - 5*i - 4 = 4*l. Let q be (368/26)/4 - i. Which is greater: q or -1?
q
Let n = 135 - 93. Let t = n + -50. Which is smaller: t or -9?
-9
Suppose -2 = s - 2*f, -5*s = -3*f + f - 6. Let d(p) = -p**2 + 5*p - 2. Let y be d(s). Suppose -5*k - 3 = -0*k - o, k - 7 = y*o. Is -1/3 less than or equal to k?
False
Let g(x) = x**2 - 7*x + 2. Let c be g(7). Let k(v) = -10*v**c + 3*v - 4 + 2 + 9*v**2 + 4*v. Let t be k(6). Which is smaller: t or 1?
1
Suppose 0 = u - 9. Let w = 1254 - 1244. Which is smaller: u or w?
u
Suppose 94 = -47*y - 0*y. Which is smaller: y or -17/15?
y
Let c(a) = -6*a**3 + a**2. Let w be c(1). Let m = -5 - w. Suppose -2*z + 5 + 9 = m. Which is smaller: 5 or z?
5
Suppose 2 = -101*z + 99*z. Is 3/595 at least z?
True
Let j = 372720625059/964330010 + 125/901243. Let x = j + -4/535. Let q = x - 395. Which is smaller: -9 or q?
-9
Let c = -3 - 1. Let h be (-5 + -5)/(-2) + 84/(-12). Which is greater: c or h?
h
Let m = 1118 + -1117. Is m greater than or equal to -336?
True
Let v = -0.14 - 0.4. Let j = v - -0.7. Which is smaller: j or -0.2?
-0.2
Let m = 37 + -36.56. Let w = m - -18.56. Which is bigger: 1 or w?
w
Let b = -3563 + 3583.93. Let d = -21 + b