2). Which is smaller: s or 7?
s
Let f be (-6)/15 + 1 + (-9)/15. Let a(x) = -3*x + 30. Let v be a(f). Is 30 at least as big as v?
True
Suppose -3*g + 9 = -0*g. Suppose 0 = -5*m - 15, 0 = g*x - x + 4*m + 10. Let k = -1499/11 - -136. Which is greater: x or k?
x
Let p be 6/15 + 176/10 + 2. Suppose p*q = 18*q - 2. Is q greater than -1?
False
Suppose 5*s + 0*f - 4*f + 3 = 0, 4*s + 4*f - 12 = 0. Let h be 6/144 + s/3. Does h = -1?
False
Suppose -4*i + 96 = -2*o, -21 = -5*o + 2*i - 229. Let h = o + 37. Suppose z + 5*y = 0, -4*z - 5*y - 24 + 9 = 0. Is z at most h?
True
Let i = -23.8 + 26. Let b = 2.3 - i. Which is smaller: b or 32?
b
Let a be ((-117)/(-26))/(1/(-26)). Let n be (-40)/(-70) - a/(-217). Is n less than or equal to 1?
True
Suppose 5 = k - 8. Let q(j) = -j**3 - 4*j**2 + 2*j - 1. Let n be q(-5). Let r = n - k. Is r less than or equal to -2/37?
False
Let a be (-37)/5 - 6/(-15). Suppose 0 = -5*l + 8 + 7. Suppose -r = 4 + l. Is r at most a?
True
Let h = -9 + -43. Which is smaller: h or -59?
-59
Suppose 0 = 5*n + u + 27 + 28, 4*u = -20. Which is smaller: -8 or n?
n
Let r = -0.04 - 0.06. Let p = -0.15 - -0.33. Let a = r + p. Which is smaller: a or 0?
0
Suppose 3*m = 4 + 2. Suppose 21 = 4*q + m*c - 9, 4*c + 5 = 5*q. Suppose 4*r = -r - q. Are r and 5 equal?
False
Let y be 3/((-126)/4) - 0. Let g(q) be the third derivative of -q**6/120 + q**5/12 - 5*q**4/24 + q**3/2 + 11*q**2. Let d be g(4). Which is smaller: y or d?
d
Suppose 0 = -3*s + q - 11, -4*s + 3*q - 142 = -129. Is -1 > s?
True
Let v = 2677 - 2355. Which is greater: v or 1285/4?
v
Let z be (-130)/39*((-36)/10)/(-3). Let l be z + -3*65/(-60). Suppose 2*k - 7*k = 5. Which is smaller: l or k?
k
Let j be (0 - (-4)/3) + 40/6. Which is bigger: 70/9 or j?
j
Let x = -0.07 - 0.03. Let k be 5/4 - 1 - 133/(-28). Let w be (-94)/56 + k/((-175)/(-15)). Which is bigger: w or x?
x
Suppose -4 = -2*v + 2. Suppose 2*i + 8 = -v*b, 0*b - 4*b + 22 = -2*i. Are i and -17/3 unequal?
True
Suppose -7*t + 13*t - 66 = 0. Suppose 0 = -4*z - 3*f + t, 2*f = 7*f - 25. Is -0.016 smaller than z?
False
Let b(n) = 2*n**2 + 7*n + 17. Let p(y) = -3*y**2 - 7*y - 18. Let k(d) = -6*b(d) - 5*p(d). Let v be k(9). Let z = v + -1514/9. Is 0 smaller than z?
False
Suppose 0*v - 1 = -2*v - 5*a, 0 = -v - 4*a - 1. Let f be -1 + 2 - 3/v. Suppose f = d + 2*d + 9. Which is bigger: -8/5 or d?
-8/5
Suppose -49 = -19*i + 179. Which is bigger: i or 20?
20
Let b(x) = -x**2 - 6*x - 11. Let h be b(-5). Is -8 at most h?
True
Let i = -73.1822 - -0.1822. Is i greater than -3?
False
Let p(a) = a**3 + 4*a**2 + 2*a + 9. Let x be p(-4). Let c be (-12)/x + 2 + -5. Which is bigger: -27/2 or c?
-27/2
Let q = -20 + 19. Let s = 95 + -569/6. Are s and q non-equal?
True
Let i(z) = 12*z**3 - 2*z**2 - 4*z - 2. Let q be i(-2). Let b be (4056/252 + -12)/(2/(-48)). Let x = b - q. Is -3/4 at least x?
False
Let f(g) = 8*g**3 + 36*g**2 + 48*g - 5. Let q be f(-7). Which is greater: q or -1323?
q
Let b = -0.11 + -0.79. Let h = 0.99 + b. Let r = 28 + -111/4. Which is smaller: h or r?
h
Suppose 4*j = -j. Let l be 0 + j + (-909)/(-99). Let k = 9 - l. Is k less than or equal to 0?
True
Suppose 0 = 2*t - 3*c - 234, -5*t + 288 = -2*c - 308. Suppose -8 = 2*y + 3*o + 36, -4*y + 2*o - t = 0. Which is smaller: y or -27?
y
Let o = -0.21 + -1.79. Which is smaller: o or 0.051?
o
Let a = 36 + 4. Suppose 19*h - 11*h + 8 = 0. Let r be ((-100)/a)/(h/4). Which is bigger: r or -0.1?
r
Let c be (-35)/21*(-468)/60. Which is smaller: c or -33?
-33
Let z = 0.08 - -0.92. Suppose -5*h - g + 38 = 0, 0*h + 26 = 5*h - 3*g. Which is smaller: h or z?
z
Let c(y) = y**3 + 2*y**2 + 4*y + 2. Let b be c(-2). Let n = b - -65/11. Is 1 at least as big as n?
True
Let z = -178 + 115. Let o = z - -64. Is 32 <= o?
False
Let z(x) = -x**3 + 9*x**2 - x - 33. Let q be z(8). Which is greater: 159/7 or q?
q
Let o(m) = -m**3 - 9*m**2 - 22*m - 2. Let p be o(-7). Is -5 bigger than p?
False
Suppose -227*o + 1071 = -206*o. Which is greater: o or 50?
o
Let u = -7555 - -30605/4. Do u and 97 have the same value?
False
Let j be (0 + -5)*4/5. Let w be 0 - -4 - (3 + -1). Let z be 0/w + (2 - 2). Do z and j have different values?
True
Let f = -3 + 8. Let h = 0.113 - 5.213. Let p = f + h. Which is smaller: p or 0?
p
Suppose -4*l - 4*h = -8, 5*l - 6 = 2*l - 4*h. Suppose l*b - 4*g = -6, -2 - 18 = 3*b + 5*g. Let c(k) = -k**2 + 3*k + 7. Let t be c(5). Is b <= t?
True
Let t = 62435/23 + -2715. Is 1 < t?
False
Let f = -1622 + 1715. Which is smaller: f or 0?
0
Let m = 0.8 - 0.74. Let h = 1535.9 + -1536. Which is smaller: m or h?
h
Suppose 3*n = 23 + 1. Suppose -2*w + n = -3*w. Let m be 33/(-6) - 12/w. Is -3 < m?
False
Let k be -1 + 3 - (7 - (5 + 3)). Do k and 14 have the same value?
False
Let w = -75.2 - -75.26. Which is smaller: w or 20?
w
Let k be (8/(-4))/(1/17). Let w = -28 - k. Let b(q) = -q + 11. Let v be b(w). Which is smaller: 6 or v?
v
Let v(l) = 2*l**3 + l**2 - 2*l - 5. Let g(c) = c**2 + 12*c - 31. Let b be g(-14). Let a be v(b). Is a at least -44?
True
Let g be (-2 + 5)*8/6. Suppose g*l - 2*a = 3 + 1, -3*l + 3 = -4*a. Which is smaller: l or 3?
l
Let u = 1195 - 1196. Which is greater: -2/1003 or u?
-2/1003
Let d(w) = -2*w**3 - 4*w**2 - 3*w + 3. Let a be d(-3). Let v be (14 + -6 - 2)/((-3)/2). Let q be v/14 - a/(-7). Which is greater: 2 or q?
q
Let s = -70 - -74. Suppose s*q + 204 = 4*w, -w = -2*q - 3*w - 82. Which is greater: -45 or q?
-45
Let b = -43/497 - -12442/144627. Which is greater: b or -1?
b
Let b be (-423)/(-17) + 8/68. Which is smaller: b or 24?
24
Let m = 0.069 - -57.931. Let u = -55 + m. Does u = 16?
False
Let g = 49 + -49. Which is bigger: g or 8/25?
8/25
Let f be (-2312)/204 - (5/3 + -1). Which is smaller: -87/7 or f?
-87/7
Let i = -7/40 + 821/120. Let k = -295 + 303. Which is smaller: i or k?
i
Suppose -j - 16*j - 1564 = 0. Are j and -453/5 equal?
False
Suppose -4*r - p + 2 = -3*p, -4*p = 3*r + 15. Let w be 1 + 3 + 6681/(-1632). Which is bigger: r or w?
w
Let k = 28/1075 - 19714/13975. Let u = -2 - -1.8. Is k < u?
True
Suppose 0 = 3*h + x + 9, 0*h + 2*h + 6 = 3*x. Let f be 4 + h + (3 - 4). Let v = 1 + f. Which is bigger: 2/5 or v?
v
Let d be (-8)/(-6)*15/10. Suppose -2*b - d*g = -28, -3*b + 3*g = -3 - 15. Which is greater: 1 or b?
b
Let z = 1221 - 1162. Are -11 and z non-equal?
True
Suppose -4*y - 82 = -3*h + h, 4*h = y + 150. Suppose -2*o + h = 3*v + 3, -o = 2*v - 24. Let z(k) = -k**2 - 15*k - 12. Let f be z(-13). Is f equal to v?
True
Let h = -1340/557931 - -2/6413. Is h <= -1?
False
Let k = -111985/18594609 - -23/3589. Which is smaller: -1 or k?
-1
Let m = 4110 + -86312/21. Suppose o + 4*o - 40 = 0. Suppose -2*k = -4*s + 2 + o, 0 = -s - 2*k - 5. Which is smaller: s or m?
m
Let w(a) = -a**3 - 2*a**2 + 7*a - 1. Let f be w(-6). Suppose 3*x - 4*t + f = 0, -7*x - 155 = -2*x - 4*t. Let q be 2*(x/21 - -1). Is q less than or equal to -1?
False
Suppose 3*a = -15, 4*b + 4*a - 8*a - 136 = 0. Let q = 22 - -7. Is b >= q?
True
Let a be (-15)/2*(-1243808)/(-1832). Let w = a + 5092. Let s = w - 902/1603. Is s <= 1?
True
Let w = 770 + -25412/33. Suppose -10 + 11 = u. Is w at most as big as u?
True
Let b(q) = -q**2 + 10*q - 4. Let p be b(9). Let j be p/(-2)*1/5*-2. Which is bigger: j or 2/123?
j
Suppose -2*p - 9 = -5*u, 7*u - 3*u - 5*p - 14 = 0. Which is smaller: u or -35?
-35
Let f be 20*(18/30)/((-18)/(-42)). Which is greater: 33 or f?
33
Let t be (-12)/210*-5 - (-328)/28. Suppose 87 = z + z - u, -4*z + u = -171. Suppose 2 = 4*m - z. Which is smaller: m or t?
m
Let n = -17 + -1. Let r = -17.7 - n. Let h = r + -0.4. Which is smaller: 3 or h?
h
Let y(p) = 7*p**3 + 15*p**2 - 8*p + 13. Let r(u) = -15*u**3 - 31*u**2 + 16*u - 26. Let l(h) = -6*r(h) - 13*y(h). Let g be l(-10). Is 9 at most g?
False
Suppose 0 = 3*t, -4*y = -4*t + 27 + 21. Let p be (8/16)/((-11)/y). Let w = 14 + -12. Are w and p nonequal?
True
Let z(x) = -34*x - 136. Let p be z(-4). Which is smaller: -2/7 or p?
-2/7
Let k = 31.6 - 32. Let r = 2.05 - 2. Which is bigger: r or k?
r
Suppose -7*p = -4*p + 5*v + 95, -2*p + 2*v - 74 = 0. Does -36 = p?
False
Let u = 539/6 - 90. Let v = 1.91072 + -0.11072. Is v > u?
True
Let h = 367.4 - 413. Let n = h - -46. Is 0.4 at most as big as n?
True
Let r be 4*(-2)/(-8)*-2. Let b = 6 - r. Suppose -64*u = -59*u - 40. Is b at most u?
True