7. Which is bigger: b or n?
b
Let g = 6.4 - 6.71. Let p = 1.71 + g. Let l = 1.5 - p. Are -3 and l unequal?
True
Let x be (-3)/(2175/(-2173)) + 207/(-69). Do x and 1 have different values?
True
Let y be (-2)/6 - 16005/(-459). Let p be 1 - (-5 - 520/18). Let o = p - y. Are -1 and o unequal?
True
Suppose -8*l = -2*l. Suppose l = 4*f + f + f. Is -1/56 <= f?
True
Let v = -197 + 3745/19. Is -1 > v?
False
Suppose 3*h + 4*d + 335 = 0, 4*d = -h - 0*h - 125. Is -107 at least as big as h?
False
Let d = 148/19 + -5840/57. Is d less than -94?
True
Suppose -q = -c + 45, -5*c - 6*q + 217 = -7*q. Suppose 0 = 2*a + c - 3. Is -18 <= a?
False
Let s = -1592/3 + 135326/255. Is 1 bigger than s?
True
Let l be -10 - (1 + 0 + 1). Suppose 3*a = 13 + 2. Suppose -4*d = -2*n + 6 - 42, -a*d - 45 = 5*n. Are l and n non-equal?
False
Suppose -5*b - 2*i + 52 = 0, -i - 30 - 10 = -3*b. Which is smaller: 72 or b?
b
Let b = -117 + 120. Suppose -9 = 4*i - 5*x, -b*i + 5*x - 3 = -5*i. Is -1/2 less than or equal to i?
False
Let k(a) = -12*a**2 + 8*a - 17. Let u(r) = 3*r**2 - 2*r + 4. Let v(h) = -4*k(h) - 18*u(h). Let s be v(1). Which is smaller: s or -8?
-8
Let l be (-10)/(-4)*(-6)/(-5). Suppose -l*c + 9 = -33. Is c >= 14?
True
Let i = 40 + -28. Suppose 4*m + 0 = 4*g + i, 12 = -3*g. Is 2/11 != m?
True
Let y = -16.027 + 27.048. Let b = y + -0.021. Is 0 less than b?
True
Let g be 3/12 - 78/(-8). Let b = 13 - 11. Suppose -b*p + 4 = -12. Which is smaller: g or p?
p
Let t be (2/1043)/((-105)/245). Which is smaller: 1 or t?
t
Let f = 3 + -9. Suppose -5*l = -4*w + 19, 4*w - 16 = 2*l + 2*l. Let j be -10*2/(-4)*(-1)/w. Is f at most as big as j?
True
Let m(g) = g - 2*g - 2 - 4 - 2. Let b be m(-8). Which is bigger: b or -1/34?
b
Suppose -7*t + 43 = 36. Let h be (-2)/4*(t + (-2043)/2061). Are 0 and h unequal?
True
Let s be (-10 - -15)*(-3 - -2). Let d be s - (-6)/(-9)*-3. Which is greater: d or -3/2?
-3/2
Let y(p) be the second derivative of p**3/6 - p**2/2 - 2*p. Let t be y(1). Suppose -s + 5 = -t. Is 5 equal to s?
True
Suppose 0 = 2*d + 6*b - 2*b - 20, 3*d = 4*b + 10. Let u be (-8)/d - -1 - 18/(-27). Is u < 0?
False
Let l = -3 - -2. Let f be 20/4*(-1)/(-2) + 2599/(-1012). Is f at most l?
False
Suppose -6*q + q + 191 = 2*h, 2*h = -3*q + 117. Suppose 16*s + 3441 - 4001 = 0. Is q smaller than s?
False
Let c = -123.98 - -123. Let y = -0.02 + c. Let s = 0.25 + -0.3. Are s and y equal?
False
Let g = -10.3729 + -0.1271. Is 1 smaller than g?
False
Suppose 0 = 4*z - 9*z + 60. Suppose -9 = 9*w - z*w. Suppose -2*y - y + 3 = 2*m, 3 = -4*m + w*y. Which is smaller: -1/28 or m?
-1/28
Suppose -6*v = -245 - 55. Suppose v = -6*z + z + 5*g, -z = -3*g + 14. Are z and -9 equal?
False
Let h = -115.3 - -115.4. Let l(z) = z**2 + 6*z + 4. Let c(n) = -n**2 - 7*n - 5. Let y be c(-7). Let v be l(y). Which is smaller: v or h?
v
Let z(d) = -117*d**3 + 1. Let y be z(-1). Let x = y + -167. Let m = 149/3 + x. Is m <= 1?
True
Let i(z) = z**3 + 3*z**2 + 7*z + 52. Let n be i(-4). Is 23/3 bigger than n?
False
Let s = 89 - 88.708. Let p = s - -3.648. Let j = p + -4. Is j greater than 0.2?
False
Let v = -12 + 7. Is v less than or equal to -24/5?
True
Suppose 4*f - 2 - 6 = g, 2*f - 4 = 3*g. Let l = -13653/28600 - 3/1144. Let p = 9/50 + l. Which is smaller: p or g?
p
Suppose 5*g = 2*z - 5, z - 5*g + 5 = -5. Let h be ((-24)/300)/(33/z). Which is greater: 0 or h?
0
Suppose -17*c + 48*c - 27*c = 0. Is c smaller than -1/504?
False
Let c(i) = -106*i + 33. Let k be c(-3). Which is smaller: k or 350?
350
Let m be 2/(-552)*114/4. Let f be (0/(-3))/2 - (-6)/276. Let i = m - f. Which is bigger: i or 1?
1
Let s(k) = 1 + 0*k + k + 0 - 7*k. Let w be s(-1). Let o be w/70 + (-4)/(-10). Which is smaller: 0 or o?
0
Let c be (-38)/(-9) + 44/(-198). Suppose -5*q = -h - 4*h, 5*h = c*q - 3. Which is smaller: 2 or q?
q
Suppose 169 - 168 = -q. Suppose 39 = -3*s + 9. Let j be (9/s - -1)*-14. Is j greater than q?
False
Suppose 3*s + 24 + 25 = -2*f, -2*s = -5*f + 39. Let t = s - -27. Let m = t - 39/4. Which is smaller: 7 or m?
m
Suppose -57*u + 24 = -54*u. Let o = 11 - u. Is o bigger than 2/3?
True
Let i = -14.4 - 60.6. Let o = 67.5 + i. Does 2/7 = o?
False
Let i = 12 - 11.97. Let w = i - 0.13. Are w and -4/5 equal?
False
Suppose 2*m - 3*j = 59, -21 - 189 = -5*m - 5*j. Suppose 83 = 4*u - m. Suppose 0 = 35*i - u*i - 5. Is 9/5 less than i?
False
Let o(q) = 17*q**2 + 55*q + 12. Let s be o(-3). Is 14/151 != s?
True
Let g be (0 - -7 - 1)*(-5)/2390. Is 1 at least g?
True
Let n = -0.7 + 0.3. Let i = -0.3 - n. Let l = -22 - -18. Is i equal to l?
False
Let j(y) = y**2 - 1. Let d be j(2). Suppose 0 = 4*p - d*x - 12, 7*x + 4 = 4*p + 2*x. Suppose -4*q - p = m, 5*m = -0*q - 3*q - 64. Is m at least -13?
False
Suppose -115*t - 8 = -119*t. Do t and 16 have different values?
True
Let f = -81 + -59. Let j = f + 141. Suppose 0 = -2*n - 32 + 6. Which is greater: n or j?
j
Let p be (1344/(-128))/((-3)/14). Does p = 191/4?
False
Let b be (-10)/((-10)/(-17)) + 1. Which is greater: -13 or b?
-13
Let p = -50 - -56. Let y(q) = q + 1. Let u be y(3). Is u equal to p?
False
Suppose -2*m + 192 = 3*o, -7*o = -2*o - 3*m - 320. Let z = 66 - o. Which is smaller: 10 or z?
z
Let o be -6 + 2 - -2*2. Suppose -3*b = -o*b - 12. Suppose -z - 3*k + 1 = 0, -b*z - k = -0*k + 7. Is -1 at most as big as z?
False
Let j = -0.054 + 21.054. Let g = 18 - j. Let i be (-2)/(-3)*1/3. Is g less than or equal to i?
True
Suppose 29*u - 32 = -3. Which is smaller: u or -2/421?
-2/421
Let x(j) = -j**3 - 10*j**2 + j + 10. Let b be x(-10). Let g(v) = v**3 - 23*v**2 - 49*v - 26. Let y be g(25). Which is smaller: b or y?
y
Suppose 4*p - 9 = -3*g, 2*g + 2*p - 6 = p. Suppose -g*n - 12 = -7*n. Suppose -r = -n*r + o - 23, 0 = 2*o + 10. Which is smaller: -13 or r?
r
Let i = -846 - -13523/16. Let n = 361/464 + i. Let h = -27 + 27. Is h > n?
True
Suppose -6*y + 2*y + 3*k = 3361, -12 = -4*k. Is y at most as big as -837?
True
Let n = 98.9012 + 0.0988. Which is greater: 2 or n?
n
Let s = -0.053 + 0.053. Let m be 1 + (-66)/(-20) - 4. Which is greater: s or m?
m
Let n = -65 - -103. Suppose -14 = 2*m + n. Let u be (-3)/(-6) + 17/m. Which is smaller: u or 0?
u
Let w be 5 + (0 + 1)*0. Let d(q) = -q**2 + 12*q + 12. Let h be d(13). Let s be -1 - (3 + h + -7). Which is bigger: s or w?
w
Suppose -l + 2 = 0, -5*i + 2*l = 6 + 3. Let s be (i/(-6))/((-1)/(-69)). Is s smaller than 11?
False
Let g be 4/((-21)/(-15) + -1). Let v = g - 2. Let l = v + -7. Is 3/14 < l?
True
Suppose -739 - 419 = 39*a + 753. Let l = -0.3 + 0.4. Is a at least l?
False
Let z = -92 + 92.444. Let p = z - -0.016. Is p at least as big as -1?
True
Let y(d) be the third derivative of d**5/30 + d**4/24 - d**3/3 - d**2. Let g be y(2). Let x be 3/2 + (-10)/g. Which is smaller: 1 or x?
x
Suppose -n + 25 = 35. Which is bigger: 6 or n?
6
Suppose -4 = -7*n + 3. Let c = 7 + -3. Let s = c - n. Which is smaller: 0 or s?
0
Suppose -d - 3*v = -4*v + 1, -2*d + 18 = 3*v. Let l be 4 + (-8)/12*d. Suppose 15 = -3*o + 3*g, 3 = l*o + 4*g - 5. Is o bigger than -13/4?
True
Let r(s) = -2*s**2 - 1. Let l = -5 + 4. Let p be r(l). Let o be 48/32 - 11/10. Which is bigger: o or p?
o
Let f be (-100)/(-30) + (-1)/3. Suppose p + 6 = -f*b, 0 = 2*b - 5*b + p. Is b smaller than -1/9?
True
Let v = 459 + -456. Is 197 less than v?
False
Let d = 12/67 - 259/1072. Let v(q) = 5*q + q**3 + 5 - 3*q**3 + 3*q**3 + 5*q**2. Let u be v(-4). Which is greater: u or d?
u
Suppose -5*q = 8 + 17. Suppose -3*w = -2*p - 69, -p - 28 = -w + 7. Let o = -41 - p. Are q and o equal?
True
Let m(s) = -s**3 + 8*s**2 - 16*s + 17. Let t be m(11). Is -522 <= t?
True
Let x = -24.03 - -0.03. Let o = 1363 + -1387.08. Let g = x - o. Which is greater: -2 or g?
g
Let j(z) = -z**3 + 25*z**2 - 47*z + 26. Let q be j(23). Let f be (-2 + q + 0)*1. Is f less than -3/11?
False
Let x = 27.62 - 28. Let s = -0.1 - -0.48. Let z = x + s. Which is greater: 10 or z?
10
Suppose -9*c - 75 - 33 = 0. Let h be -6*(9/(-3))/c. Suppose 2 + 1 = 3*l. Which is greater: h or l?
l
Let z = 1024 - 1030. Which is smaller: -21 or z?
-21
Let l(j) = -j**2 - j - 1. Let a = -8 + 12. Suppose -a*b - q = 6, -b - 4 = b + q. Let f be l(b). Is 0 greater than or equal to f?
True
Let n = -1.16 + 5.16. Is 7/13 < n?
True
Suppose 10 = -r + 5*o - 1, -5*r - 15 = -5*o. Which is smaller: 2/13