2/15 - (-1428)/90. Which is smaller: b or 168/11?
168/11
Let n be -1*2/1*-14. Let u be (-2)/8 + 19/n. Let j be (-4 + 2 + -1)*(-4)/(-12). Are j and u nonequal?
True
Suppose -s - j = 4*j - 3, 2*s - 21 = 5*j. Let n be s/12*(-3)/(-4) + -1. Are 1.4 and n equal?
False
Let z be (0 - (-3)/(-15)) + 42/10. Suppose -4 - 36 = z*g. Is g bigger than -10?
False
Let c be 2/3 - (-231)/45. Let t = -131/20 + c. Suppose 3*z = 5*a + 8, -2 = 2*a + 2*a + 2*z. Is a at most as big as t?
True
Let f = -146 - 94. Let a = 4561/19 + f. Is a at most as big as 1?
True
Let b(s) = 2*s**2 - 19*s - 6. Let f be b(10). Suppose -f*o = -p - 16, 4*p - 4*o + 1 = -15. Do -2/19 and p have different values?
True
Let g = 0 - -1. Let v = g - -7. Suppose -h - 3*h - v = 0. Which is smaller: h or -1?
h
Let m be (-505)/(-105) + (-3 - -5). Let z be (72/(-147))/((-4)/56). Let g = z - m. Which is greater: 0 or g?
g
Suppose 11*l - 6*l + 5*w - 55 = 0, 0 = -2*l - 3*w + 26. Let h = 941 - 939. Is l < h?
False
Let k = -240 + 354. Suppose -13*q + 7*q = -k. Suppose -4*a + 5 = -q. Does 6 = a?
True
Let c be (-210188)/(-165) + (-1)/((-45)/6). Let n = -123577/97 + c. Which is smaller: 0 or n?
0
Suppose -15*k + 35 - 95 = 0. Is -27 <= k?
True
Suppose -2*q - 8*q = -570. Let p = q + -56. Which is smaller: -1/81 or p?
-1/81
Let o(q) be the second derivative of q**5/20 - 5*q**4/12 - 3*q**3/2 + 19*q**2/2 - 15*q. Let p be o(6). Which is smaller: p or -1/67?
-1/67
Let v(s) = 8*s + 50. Let k be v(-6). Suppose -5*d = k*y + 3, d - 2*d - 3*y + 2 = 0. Let a be (3/5)/((-10)/2). Which is smaller: d or a?
d
Let y(s) = -s**3 + s**2 + 5*s + 7. Let d be y(3). Let l(p) = p**2 - 7*p + 3 - 3*p**2 + p**3 + 3. Let c be l(d). Which is smaller: c or 9?
9
Let o be (6/(-12))/((-2)/4). Does o = 6/31?
False
Suppose -3*n - 1 - 14 = -k, -3*n = 15. Let w be 0*((-3)/(-6) + k). Which is smaller: w or -4/15?
-4/15
Let n be 40/4*2/135. Let h be (-26)/91 + (-10)/14. Which is bigger: n or h?
n
Let g = -2374903/6 - -393872. Let o = 1939 + g. Is -6 at most as big as o?
False
Let i(q) = 2*q + 8. Let r be i(5). Let o be 3/r + 29/6. Let g = o - 4. Which is smaller: 1/10 or g?
1/10
Let z(b) = 4*b - 22. Let w be z(4). Let r be w/(-20) + (-3)/(-3). Are 0 and r equal?
False
Let n = 50.4 + -63. Let h = n + 12. Which is smaller: h or -1?
-1
Let o = 107.9 - 108. Which is bigger: o or -0.73?
o
Let w(y) = -y**3 + 12*y**2 + 12*y + 7. Let b be w(13). Let g be (6/(-9))/(8/b). Which is bigger: 1 or g?
1
Let h be (10 + -9)/(((-4)/(-2))/18). Let d(y) = -y + 20. Let i be d(11). Is i greater than or equal to h?
True
Suppose 0 = -11*u - 638 - 462. Which is smaller: -99 or u?
u
Let n = -64.15 - -64. Let r = -2 + 1.75. Let v = r - n. Which is greater: v or -0.15?
v
Suppose 2*i - 1597 = 3*u - 3*i, 5*i = u + 529. Which is smaller: u or -535?
-535
Let q = 503 + -1281. Which is smaller: -777 or q?
q
Suppose 3*y + 0*a = 4*a + 508, 2*a - 320 = -2*y. Which is smaller: y or 163?
163
Let o = -38 - -648/17. Let k = o - 27/85. Is 1 bigger than k?
True
Suppose u - 3*y + 12 = 0, 4*u + 0*u + 3 = 3*y. Let g(n) = -2 - 3*n**2 + 4*n**2 + u - 5*n. Let k be g(5). Is k less than or equal to -2/5?
False
Let h = -1177 - -817. Is -361 < h?
True
Let y(u) = -u**2 - 2*u - 2. Let x be y(-5). Let b be 12/4*x/3. Let a be b/7 + 30/10. Which is smaller: a or 1?
a
Let m be (-62)/1 + (-69 - -69). Which is smaller: -65 or m?
-65
Suppose 49*c + 8*c = -57. Let x be (0 + 0 + -1)*68. Let h be ((-1)/x)/((-1)/(-2)). Is c < h?
True
Let o = -2.2 - -3.2. Which is smaller: o or 2?
o
Let v be ((-3)/((-18)/420))/((-2)/3). Is -946/9 < v?
True
Suppose 5*c + 17 = -33. Let m = 10 + c. Is -1/5 < m?
True
Let p(m) = m**3 + 4*m**2 - 8*m - 9. Let y be p(-5). Suppose -3*w = -5*l + 11 + 15, 3*w = -y. Suppose 5*f - l*f + 9 = 0. Does f = -10?
False
Let q(m) = -m**3 - 2*m**2 - m + 1. Let w be q(-2). Suppose 3*o = -w*p - 6, p + 2 = -4*o - 0. Suppose -27 + 31 = -4*u. Which is greater: u or o?
o
Let c be 6 + (-46)/8 - 7/(-308). Is c greater than or equal to 0.093?
True
Let x = -17.014 - -17. Let c = 0.014 + x. Let i = 2 - 1. Do i and c have the same value?
False
Let z(k) = k + 20. Let t(p) = p**2 - p. Let h be t(1). Let r be z(h). Suppose 2 = -3*b + r. Which is smaller: b or 5?
5
Let v(r) = r + 129. Let x be v(-35). Is 94 greater than or equal to x?
True
Let f = 10 + -139/3. Let h = -36 - f. Let v be 2 - 1 - 20/20. Which is smaller: v or h?
v
Let b be (-4)/(-6)*(-18)/(-390). Let g = -230 + 229. Is g at most as big as b?
True
Let z(h) = h**3 - 10*h**2 + 9*h - 3. Let w be z(9). Let l be ((-2)/w)/(1/3). Suppose 3 = -5*i - l. Which is smaller: -1/27 or i?
i
Suppose 0 = -4*q - 2*j + 56, 0 = 3*q - 2*j + 3*j - 43. Let k(b) = b - 13. Let s be k(q). Are -0.2 and s nonequal?
True
Let q = -966 + 991. Is 26 at least as big as q?
True
Let i be 0/1 + (-464)/(-6). Let o = 78 - i. Let t = -0.18 - -0.68. Is o bigger than t?
True
Suppose 105 - 906 = -9*c. Is 88 bigger than c?
False
Let k = -1092 - -1508. Do k and 416 have the same value?
True
Let t(p) = -145*p + 431. Let w be t(3). Let z = -10 - -3. Is z greater than w?
False
Let v be ((-2)/(-3))/((-94)/(-141)). Is v smaller than -3/80?
False
Suppose 4*k + 4 = 2*a, -k - k = 3*a + 10. Let h = -15.9346 - 0.0654. Which is bigger: h or a?
a
Suppose -y + 24*y + 2737 = 0. Which is smaller: -117 or y?
y
Let t = -1 + -9. Let p = -9 + t. Let a = p - -19.2. Do 2 and a have the same value?
False
Suppose -286 = 8*h - 21*h. Suppose 3*r - 3*o - 31 = -r, 3*r + o - 7 = 0. Suppose r*g - h = 3*g. Are 21 and g nonequal?
True
Suppose 0 = -5*u - 2*d - 8, -2*u + d = 2*u + 9. Let c be (-48)/(-135) - u/(-9). Which is smaller: -1 or c?
-1
Let w = -362 + 7601/21. Which is smaller: w or 2?
w
Let v = -2 + 3. Let j(o) = 3*o**2 + 4*o. Let t be j(-4). Let q = t - 30. Which is smaller: v or q?
v
Let j(q) = -2*q - 5. Let r be j(-6). Let a be (556/(-6))/(0 - (-6)/9). Let t = -132 - a. Is t at least r?
True
Let h be 436/(-20) + ((-5)/(-20))/((-10)/(-32)). Let c(q) = 18*q**3 - q**2. Let o be c(-1). Is o smaller than h?
False
Suppose 24660 = -0*g - g. Let z be (-2)/(-5) + 14264/g. Let c = z - 6/137. Is -1 at least as big as c?
False
Let u = 12 - 11. Let b = 31/17 + -8635/4726. Let g = b + 609/14734. Which is bigger: g or u?
u
Let p = 471 + -476.7. Let y = -41.3 - -44. Let t = p + y. Is t < -2/5?
True
Suppose 16*z + 3552 = 68*z + 170*z. Let k(y) = y**2 + y + 17. Let a be k(0). Let r be (a/(-3))/(1/(-3)). Which is bigger: r or z?
r
Let t be 1 + -1 + (-3 - (6 - 6)). Are t and 17 unequal?
True
Let t be 19 + (-10510)/450 + 2*2. Which is smaller: 0 or t?
t
Let t = 0.4 + -1.2. Let y = t + 1. Let p = 0.017 + -3.017. Which is greater: y or p?
y
Let q = -19 + 38. Let b = q - -1. Is 19 < b?
True
Let n be (1/(-2))/((-147)/(-294)). Is -2/83 > n?
True
Suppose -331 = 39*r + 98. Let y(p) = -6*p**3 - 2*p**2 + 2. Let f be y(-2). Suppose o - f = 4*s, 2*o + 23 = 5*s + 74. Are r and s equal?
True
Suppose 0 = -22*y - 4*y. Let g = -0.08 - -0.11. Are g and y non-equal?
True
Let z be (-7)/(-4)*(-3)/(-21). Let a = -0.03 + -0.47. Let r = a - 3.5. Is z greater than r?
True
Let n be (-154)/(-2184) - 2/13. Suppose 0 = r - 4*w + 19, -4*r + 2*w = -w + 11. Which is greater: r or n?
r
Let w(l) = -l**2 - 11*l + 10. Let j(t) = t**3 - 8*t**2 + 5*t + 3. Let x be j(7). Let g be w(x). Is 10 bigger than g?
False
Suppose -364*o - 85 = -359*o. Which is bigger: -19 or o?
o
Let k(o) = -o**3 - 6*o**2 - o - 6. Let q be k(-6). Suppose 4*m = 3*y - 20, -5 = 2*y - q*y + m. Let n(u) = u + 2. Let i be n(y). Is 6 less than or equal to i?
False
Let z = -137/7 - -19. Let a = z - 1/35. Let j(w) = -w**2 - 11*w + 26. Let i be j(-13). Is a < i?
True
Suppose 3*q + d - 8 = 0, -q - 3*d - 18 = -6*q. Suppose 0*p + 4*j + 17 = -p, p = 2*j + 13. Suppose 10 + 2 = p*t. Is t greater than or equal to q?
True
Let u = -10081/25732 + -1/919. Is u smaller than -1?
False
Let f be (4/6)/((-4)/6). Suppose 0*b + 4*b = 72. Let k be b/(-8) + 5/20. Is f at least as big as k?
True
Suppose 5*r = -5*i - 18 + 8, -2*r = -4*i + 10. Which is smaller: i or 37?
i
Let d be ((-18)/11)/(-9) + (-585)/11. Is d smaller than -56?
False
Suppose -4*h + 104 + 476 = 0. Which is greater: 146 or h?
146
Let i(t) = -t**3 - 4*t**2 - 4*t - 6. Let g be i(-4). Let x = -4 - -7. Suppose 6*y - x*y - 27 = 0. Is g > y?
True
Let r = -735/162101 + -