et k be 6/(-15) - 1014/(-10). Let v = -7100 + 6997. Let w = k + v. Which is bigger: w or -7/4?
-7/4
Let b(d) = 291*d**2 + 181*d + 527. Let z be b(-3). Is 2605 at most as big as z?
False
Suppose 92*n = 87*n + 3*f - 13, 4*n + 2*f - 16 = 0. Is -2/4701 greater than or equal to n?
False
Let y be (-132)/352 + 17421/(-8). Let m = y - -23985/11. Which is bigger: m or 2?
m
Let f be (-15)/20*-12 + 3 + 0. Suppose -f = -3*g - 9. Let l = -692/15 - -46. Is l smaller than g?
True
Suppose 4967 = -6*u + 4049. Which is smaller: -161 or u?
-161
Let m = -8831 - -8625.74. Let o = m + 206. Is -1/2 less than o?
True
Let h be (-29 - (-70 - -32))*(46/30 + -1). Which is smaller: 183 or h?
h
Suppose -3*w - 38 = 3*q - 2*q, 114 = -3*q + 3*w. Let h = 146 + q. Suppose 0 = 4*k - p + h, -6*k - 2*p = -k + 122. Which is bigger: k or -23?
-23
Let f be 2/(16/(-10)) - (45342/264 + -71). Let i be 42/4*(-9 - 1). Which is bigger: i or f?
f
Let o = -41425 + 28849. Let q = o - -63216/5. Are q and 66 equal?
False
Let w = -328 + 327.9472. Let x = -0.1472 + w. Do x and -4/3 have the same value?
False
Suppose -3*w + 240 = 5*w. Suppose 4*q = 6 + w. Let o be 3 - -1 - 45/q. Are o and 4/11 equal?
False
Let y(i) = i**3 + 6*i**2 + 6*i + 1. Let p be y(-4). Suppose -2 = 25*c - 27*c. Let l be (c/(-1))/(7/(-21)). Is p at least l?
True
Let i = -2.37 + 13.92. Let r = i + 1.45. Let s = -0.2 - -0.6. Is s at least as big as r?
False
Suppose -5*n = 3*s - 5, -n + s = -5*n - 3. Let d be (-5 + 5)/(n*(3 + -1)). Suppose 5*u - 4 = u. Is d less than u?
True
Suppose -5*f = 3*y - 193, 11 + 40 = y - f. Suppose 49*p - 7 = y*p. Is p smaller than -9/34?
True
Let c = 121511 - 121510. Let j = -332/7 + 48. Which is bigger: j or c?
c
Let k(p) = -86*p**2 + 117*p - 68. Let z be k(12). Is z smaller than -11048?
False
Suppose -5*u + 58*s = 62*s + 12602, 2*s = u + 2526. Is u < -2521?
True
Let s = -198 + 414. Let w = -196 + s. Is w bigger than -1?
True
Let l(z) = 466*z + 4677. Let q be l(-10). Is 250 less than q?
False
Suppose -2*h + 90 = d, -48 = -d + 5*h + 63. Suppose -2*r + d = -0*r. Let p = 86 + -39. Is r smaller than p?
False
Let t = 4670 + -4967. Which is smaller: -295 or t?
t
Let j be (-14)/(-77) - 398/11. Let w = 207 - 233. Let k = -26 - w. Is k greater than j?
True
Let n = -37/50 - -17/50. Is -12860 <= n?
True
Let a(w) = -w**2 - 17*w + 43. Let c be a(-19). Suppose 24 = c*h + 149. Let k be (-3)/(14/(-198) + (-2)/(-11)). Which is greater: h or k?
h
Let s = -5945 + 4884. Which is smaller: s or 0.2?
s
Let t = 24.53 - 24. Let i = 1.42 + -0.95. Let m = i + t. Which is bigger: m or 4/5?
m
Let s be (-1)/3*-4*(-38454)/(-104). Which is bigger: 492 or s?
s
Let r be (-60)/(-4816)*21/(-6). Is r less than or equal to -1?
False
Let w = 39177142/4719 + -8302. Which is smaller: 0 or w?
0
Let z = -17779 - -19968. Is z < 2185?
False
Let z be 2/(-2) - (-79)/(-5). Let l = 41946 - 41963. Which is smaller: l or z?
l
Let j(a) = -a**2 + 10*a - 3. Suppose z - 2*z = -5. Suppose 13*g = z*g + 88. Let c be j(g). Is -12 at least c?
True
Let k be (6 - -3 - 4249/302) + 5. Is k < -1?
False
Suppose 12*l - 14 - 58 = 0. Suppose 8 = l*t - 10. Let u(o) = -o**3 + 2*o**2 + 2*o + 6. Let k be u(t). Which is smaller: 22 or k?
k
Let w be (1/(-6))/((-197)/(-55554)). Let o be (1 - 48)*(3 - 2). Is w greater than o?
False
Let x = 2 - -1. Let p = 316.034 + -115.034. Which is bigger: x or p?
p
Let m = 24851643939163/13513312410 - -1/132483455. Let f = m - 1839. Is 0 greater than or equal to f?
False
Suppose -5*v - 228 = -3*z, 2*z - 5*v - 90 = 67. Let f = -8 + z. Suppose -u + 14 - f = 0. Which is greater: -50 or u?
u
Suppose 5*q = 2*q. Let o = -4 + q. Let v be o - (-5 + (3 - 2)). Are 3/23 and v unequal?
True
Let g be 6*9/27*(2/(-4) - -1). Is g at least as big as 8/205?
True
Let v = 8636 + -8638. Let f = -17.6 - -5.2. Is f less than v?
True
Let q(j) = -j**2 + 28*j - 146. Let i be q(11). Let w be 6*29*i/82. Is w at least as big as 85?
True
Suppose 0 = -3*c + 2*y + 71, y + 3 = -2*y. Let s = 14 + -12. Is s not equal to c?
True
Suppose 4*h - 47 = -2*m + 35, -3*m + 118 = h. Let i be 4/((-8)/m)*120/180. Are -13 and i equal?
True
Let z = 5428.88 - 5436. Do z and 0 have different values?
True
Let m(u) = 52*u**2 - 2*u + 106. Let c be m(7). Let t = -525361/199 + c. Which is greater: t or 1?
1
Let y = 33.3 - 44. Let j = 0.81 + -4.51. Let i = j - y. Is -3 at most as big as i?
True
Suppose 0 = -51*x + 46*x + 1120. Suppose 0 = 9*r - 8 + x. Let p(o) = o**3 - 9*o**2 + 10*o + 2. Let b be p(7). Which is smaller: r or b?
b
Let w = -3598 + 248278/69. Is 0 less than w?
True
Let q = -43 + 44.99. Let j = -1.89 + q. Let v = 0.3 + 22.7. Are v and j nonequal?
True
Let d(l) = l + 4. Let m be d(2). Suppose b = 11 - m. Suppose 3*p - 2*i = -2, 5 = -b*p - 0*i + 5*i. Is 3/44 at least p?
True
Let n = 45 - 69. Let u = -26.2 - n. Let i = -73.8 - -74. Which is smaller: u or i?
u
Let u = 10126 + -10220. Which is smaller: -1788/19 or u?
-1788/19
Let q(i) be the second derivative of -i**4/12 - 5*i**3/3 - i**2 - 3*i. Let s be q(-9). Let x be 101/15 + (2/(-5) - -1). Is x at least as big as s?
True
Suppose -3013*s + 362*s + 918 = -1733. Let o be 6/(-9) + 8294/84. Let m = o - 98. Which is smaller: m or s?
m
Suppose 0 = -4*g + 5*n + 209, g + 3*g - 4*n = 204. Let k = -49 + g. Let h be -2 + k*(60/27 - 3). Is -2/23 bigger than h?
False
Suppose 0 = -r + 3, b - 3*r - 24 = -7*r. Let y be 65/210 - 2/b. Let i(h) = -2*h**2 + 5*h - 3. Let p be i(1). Which is smaller: y or p?
p
Suppose 4*u - 5*m = 31, 5*m = -14 - 1. Let j be -77*u/52*2. Do -12 and j have different values?
True
Let u = 102 + -100. Suppose x + u*x = 42. Suppose 0*c = c - 14. Is c greater than x?
False
Let v = -1054 - -511. Let i be (-5 + 70/15)/(v/27). Which is bigger: 1 or i?
1
Suppose 0 = -j + l, 351*j - 356*j + 3*l = -6. Which is smaller: j or 110/57?
110/57
Let i = 45.0043 + -45.02. Is 0.02 bigger than i?
True
Let m = 148 - 148. Let h be (-4 + (-9)/(-3))*(m + 1). Which is smaller: h or -1/46?
h
Let h = -3389.027 - -3389. Which is smaller: 0 or h?
h
Let s(m) = -m**3 - 21*m**2 - 10. Let x be s(-21). Suppose 0 = -3*z + w, -4*z - w = -z. Let b be (z - (-4)/(-54))/(x/30). Which is greater: 4/5 or b?
4/5
Let r = -907 - -912. Suppose 9*w - 8 = 7*w + s, 10 = 4*w - r*s. Let t be 0 + 0 + (-7)/(-2). Which is greater: t or w?
w
Suppose 16 = 4*w, 2*w = -5*s + 17 + 16. Let g be (-1056)/(-18) + s - -6. Is 70 greater than g?
True
Let g = -7.53 + 7.6. Let f be 24/(7 + -15) + 8/(-2). Is g greater than or equal to f?
True
Let h = 370302347/8996 + -41163. Which is bigger: h or 1?
1
Let s = -118 + 116. Let c be 112/52 + s + 784/(-4420). Do c and 1 have different values?
True
Suppose 23*b = 22*b + 24. Let v be 3*(-4)/b*-140. Suppose 280 = -31*w + 35*w. Is w greater than or equal to v?
True
Let h(o) = -o**3 + 27*o**2 - 33*o + 173. Let j be h(26). Which is smaller: j or 2?
j
Let v = 48780 - 132588. Let l be 7713/v*-8 - (-6)/(-8). Is l <= 1?
True
Let y be -4*((-78)/(-52))/(6/(-254)). Let f = 199 - y. Is -56 greater than or equal to f?
False
Let s(d) = 2*d - 59. Let i = 9 - -3. Let m be s(i). Which is smaller: -33 or m?
m
Let x = 505 + -852. Let w = x - -348. Are w and -13 non-equal?
True
Let s = -26/63 + 5/63. Which is smaller: s or 793?
s
Let n be (1/1)/(42/8 + -5). Suppose -k = -5*k + n. Do k and 26 have the same value?
False
Let w = 4589 + 13244. Is 17833 bigger than w?
False
Suppose 7*c - 4*c + 42 = l, 0 = 3*l + 3*c - 102. Does l = 25?
False
Let k(w) = -3*w**3 - 8*w**2 - 316*w + 648. Let j be k(2). Suppose -4*f + 4*c - 120 = 0, 4*f + 0*c = -c - 135. Do f and j have the same value?
False
Let n = 13163 + -12675. Is n < -12?
False
Let g be -69 + 66 + (-78)/(-27). Is g < 1?
True
Suppose a + 2*a = 18. Let t(j) = j - a - 1 - 2 + 2*j**2 + 7. Let g be t(1). Is g equal to 11?
False
Let r = 91.346 - -0.654. Let w = 0.11 + 48.89. Let u = r - w. Does 0 = u?
False
Let q be -2 - 7 - (-40)/(32/4). Let m be -2 - ((-6720)/(-836))/q. Is 3 < m?
False
Let h = -94 + 93. Let l be h/(6/1224*-2). Is 103 at least l?
True
Suppose 155*f - 336*f + 145*f = 0. Is -33/1679 < f?
True
Let i = -2843111476/19033 - -149378. Is 1 smaller than i?
False
Let g = -2116 + 620. Is -1494 less than g?
False
Let i be 1 + -2 - -14*1/10. Let a be (-1708)/2110 + 24/30. Which is smaller: a or i?
a
Let p = -65.83 - 17.17.