- 6. Which is bigger: 22/1305 or m?
m
Suppose -2*k = -n + 15, 3*n + 10 = 7*n + 2*k. Let z be 0 + ((-162)/(-12))/((-3)/(-4)). Suppose -8*y + 50 = z. Is y greater than n?
False
Suppose 72 = -7*j - 12. Let c be (j + 11)*-3 - (-1 + 66). Which is greater: -60 or c?
-60
Let g = 344.24 + -347.54. Which is bigger: g or 17?
17
Let j(h) = h**2 - 3*h - 13. Let c be j(4). Let n(f) = -7*f + 31. Let p be n(c). Let t = -95 + p. Which is greater: -10/9 or t?
t
Let v = 64859/6 + -318781987/29490. Is v bigger than -1?
True
Let i(b) = -b**3 + 6*b**2 + 2*b - 23. Suppose 4 = 2*q + s, 4*q + 4*s + 0 - 16 = 0. Let y be ((-14)/(-10) - q)/(6/30). Let p be i(y). Is -59 <= p?
True
Let l(j) = -j**3 - 41*j**2 - 54*j - 570. Let c be l(-40). Let f = 0.1 + 0.1. Is c less than f?
True
Suppose 4 = -x, -q + 25 - 118 = 5*x. Is -62 greater than q?
True
Let j be (-3)/(2 - (-33)/(-18)). Let p = -3.8 + -0.2. Which is greater: j or p?
p
Let r be ((-1)/(-6))/(6/1089). Let j = -30 + r. Suppose 0 = 77*p - 124*p + 69*p. Which is bigger: p or j?
j
Suppose -2075 - 2885 = 32*j. Suppose 0 = z - 2*z - 3*s - 160, -2*z - 316 = 2*s. Which is greater: j or z?
j
Let g be 5 + 13544*((-65032)/(-21680) - 3). Which is greater: -1 or g?
g
Suppose b - 3*b + 52 = 4*n, 0 = -3*b - 5*n + 73. Suppose -v + b = a + 4*v, 0 = v - 3. Let k be a/1 + (-126)/78. Which is smaller: -1 or k?
-1
Suppose 8*n + 135 - 287 = 0. Suppose 5*z - 14 = -n. Which is greater: 2/25 or z?
2/25
Let u be 728/(-52) - (0 - 13). Is u equal to -5999?
False
Suppose 0*g = -x - 3*g + 101, -4*x + 4*g = -372. Let r = x - 90. Is r != 5?
False
Suppose 14*f - 352 = 6*f. Suppose 15*c = f*c. Is c bigger than -3/29?
True
Let v = 30 - 117. Let w = -140 + 63. Let h = v - w. Does 1 = h?
False
Let x be (1 + -26)/(-5) - -3. Suppose 0 = 4*a - x*a + 108. Which is bigger: 23 or a?
a
Let p = -3582.8 + 3584.37. Which is smaller: 4/3 or p?
4/3
Let y be (-8 - (-36290)/5111) + -1*(1 + -2). Which is bigger: -1 or y?
y
Let f(p) = p - 3. Let j be f(2). Let o(r) = 5*r**2 - 4*r + 9. Let v be o(6). Let w be (6/v)/(6/10). Is w less than or equal to j?
False
Let r be 17/51*(-2 - 1975). Let z = -491 - r. Is 170 bigger than z?
True
Suppose -10 = -18*r + 23*r. Let i be r/3*12/176*-2. Suppose -13*q + 7*q - 6 = 0. Is q greater than i?
False
Suppose o + 13*z - 8*z = -17, 0 = 3*o + z + 9. Which is smaller: o or 0.1288?
o
Suppose 0 = -4*d + 2*v - 1572, -30*v = -5*d - 34*v - 2004. Is d <= -400?
False
Suppose -16*n - 33*n + 261*n + 102820 = 0. Is -3403/7 greater than or equal to n?
False
Suppose 0 = 253*v - 131 + 637. Let y be -2 - (-2 - -2 - 0). Let p be (y/6)/(1/3). Is p <= v?
False
Let l = 1.1 + -0.88. Let g = 0.25 - 0.37. Let z = g + l. Is z bigger than 3/10?
False
Let f(m) = -9*m - 103 + 25 + 21. Let z be f(-7). Let o be ((-2)/3)/(5*z/360). Is -36/5 <= o?
False
Suppose -16 = 4*k, -524 = 4*t - k + 248. Let l = t - -1. Which is greater: -192 or l?
-192
Let a be (-42)/(-1002)*4/12. Let w = -82714/3507 + a. Which is smaller: w or -25?
-25
Let l = 2764 - 5922. Let a = l + 28534/9. Which is greater: 13 or a?
13
Let o = 22/79 + -1102/553. Suppose j + 4*f = 4, -4 = -3*j - f - 3*f. Suppose j = -v + 3*q - 8*q + 8, -3*v + 2*q = 10. Which is greater: v or o?
o
Let n(a) = a**3 - 23*a**2 + 97*a - 29. Let l be n(16). Which is greater: l or -1071/4?
-1071/4
Let q(o) = 4*o**2 - 5*o - 19. Let h be q(3). Let i be (6/12)/(153/(-6) + h). Is 0 >= i?
True
Let b = 219 + -165. Suppose 4*a = -2*a + b. Which is bigger: a or 55/6?
55/6
Let v be 2*((-34)/28 - -1). Let q = -129 + 217. Let k = 89 - q. Which is bigger: k or v?
k
Suppose -m + 4*m + p = 3, -5*p + 15 = m. Let f(i) = 2*i**2 - 8*i + 1. Let a be f(6). Let o be 1*2 - (455/a)/7. Which is greater: m or o?
m
Let z be 4 + 2/(-6) - (-3)/9. Suppose -4*o - 8 = z*i - 0*i, 15 = 3*i - 4*o. Let v = -10 + 179/18. Which is bigger: v or i?
i
Let m = 0.11 - -3.89. Let x be (-1898)/2555 + (-2)/(-14). Which is smaller: x or m?
x
Let s = 0.9489 + -1.8289. Is s bigger than 65?
False
Let q = -16.39 - -17.3. Let a = 21 - 20.34. Let h = q - a. Which is smaller: h or 2/7?
h
Let d = 7/13124 + -338195/472464. Is d smaller than -2?
False
Let p = -0.1 + 1.1. Let h = -2602 - -2600.46. Is p < h?
False
Suppose -w - 61*w + 682 = 0. Let f be -7*(6/(-7))/1. Is w at most as big as f?
False
Let t be (-5)/(-7)*-6085 - 4/(112/(-12)). Which is bigger: -4347 or t?
t
Let q = 348427/25 + -13937. Is -0.167 smaller than q?
True
Suppose 27738*z - 27772*z - 275774 = 0. Is z equal to -8111?
True
Let l be (6 + -1)*231/(-55). Let c(v) = 130*v**2 + 1691*v - 8. Let u be c(-13). Is u greater than or equal to l?
True
Suppose 0 = 4*b + 5*z - 82, -4*b + 76 = -2*z + 4*z. Suppose 0 = -p - 4*r - b, 0 = p - r - 4 - 3. Let s be 2/(320/(-164) + p). Is s at least 40?
True
Let b = 16598655/17 + -978049. Let i = b + 1658. Which is greater: -2 or i?
i
Let d(w) = -79*w**2 + w. Let n be d(2). Let c(t) = 254*t + 6800. Let m be c(-28). Which is greater: m or n?
m
Let h be 4/(-415)*(4 + (-2 - -8)). Let y = h + 1342/12201. Is y smaller than -1?
False
Let t be 20536/170 - -2*(-2)/(-20). Is 124 <= t?
False
Let o be (22560/(-720))/(8/(-15)). Suppose -5*d + z = 5, 0*d - 3*d - 5 = -z. Which is bigger: o or d?
o
Suppose -2*v - 5 = 3*v. Let i be (17 - 20/4)*v. Which is bigger: -15 or i?
i
Let g be 2/(-8) + (-5)/(-4). Let v be (32 + -47 + 294/12)/(2 - (-10)/(-4)). Are v and g non-equal?
True
Let l = -344503 + 344506. Suppose -2*p - 4 = -4*m - 12, 5*p = 4*m + 14. Let j be (0 - p)*(-27)/24. Which is greater: l or j?
l
Let h = 38 + -37. Let v = 104 - -1. Let k be (-6)/v*(-30)/(-114). Is k greater than or equal to h?
False
Suppose 5 = -5*w + 5*d, -3*w - w = -3*d + 1. Suppose -w = -6*q + 4. Let c be q + 57/(-2) + 9/(-6). Is -31 < c?
True
Let x be 5/((-86130)/51898) - 6/(-1*2). Which is greater: x or -1?
x
Suppose 134 = -3*c + 4*a, -16*a = c - 12*a + 18. Is -60 > c?
False
Let p be -1 - (70/(-5) + 3). Suppose 0 = -5*n - p, 4*n = -9*w + 4*w + 197. Let v be (7 - w) + 0/3. Which is bigger: -35 or v?
v
Suppose -3*t - 10 = 4*w, -26*w - 4*t = -24*w + 10. Let r be -4 - w*(-2065)/(-520). Which is bigger: r or 0?
0
Let b = 5744 + -5713.85. Which is smaller: -0.1 or b?
-0.1
Let o be (2 + 0)/(((-4)/10)/(100/150)). Suppose 20 = 4*n - 9*n. Which is bigger: n or o?
o
Suppose 12*w = 7 - 6 - 13. Which is smaller: 1/384 or w?
w
Suppose 49*o - 48*o - 12 = 0. Let v be ((0 - 6) + 0)*(-10 + o). Let t be -2 + (-285)/(-12) + (-3)/v. Is t at most as big as 22?
True
Let t = -33/16 - -371/176. Let y = 25 + -25.24. Let p = y + 0.34. Which is bigger: t or p?
p
Let n = 0.1 + 5.9. Let x = -235 - -447. Let p = -213 + x. Which is smaller: p or n?
p
Let z(u) = 105*u**3 + 4*u**2 - u - 104*u**3 - 5*u**2 - 6 + 0*u**2. Let g be z(0). Let j be (8/3 - g/18) + 3. Which is greater: j or -1?
j
Let i be (((-24)/(-10))/(-6))/((-54)/135). Let a be (((-24)/(-519))/4)/2. Are a and i equal?
False
Let s be (64/(5 - -11))/(-2). Is 22/69 < s?
False
Let i(f) = -f**3 + 8*f**2 - 6*f - 7. Let z be i(7). Suppose z*k = 4*u + k - 108, -126 = -5*u + k. Let t = 23 - u. Which is greater: -11/4 or t?
-11/4
Let u = 6 - 4. Suppose -4 = -u*t, -i + 22 - 6 = 2*t. Let d be (-2)/(i/(-10))*1. Which is smaller: 1 or d?
1
Let x(d) = d**3 - 20*d**2 + 12*d + 272. Let p be x(-13). Are p and -5460 unequal?
True
Let j(c) be the second derivative of -c**5/20 - 5*c**4/12 - 5*c**3/3 - 17*c**2/2 - 19*c. Let f be j(-5). Which is greater: f or 31?
f
Suppose 21 = 16*a + 101. Let r be (-1)/(a/16) - 1/5. Suppose 0 = 4*c + k + 28, -r*k = -k. Which is smaller: -6 or c?
c
Let h(r) = -3*r - 15. Let m(x) = x - 1. Let l(i) = h(i) + 2*m(i). Let a be l(-7). Let s be (2 - 20/8)*24. Which is smaller: s or a?
s
Let s be (-428)/2247*(-14)/628. Let m = 0.01 + 0.09. Is m not equal to s?
True
Let d(h) = -4*h - 23. Let g be d(-6). Suppose 2*r - 4*w + g = 39, -2*r - 3*w + 24 = 0. Suppose 0 = -r*t + 16*t - 11. Which is smaller: t or 51/5?
51/5
Suppose 17*r + 43*r - 19*r = -95243. Which is smaller: -2320 or r?
r
Let z(i) = 9*i**2 + 29*i - 19. Let s be z(7). Suppose j + 5*o = s, -9*j + 5*j = -5*o - 2575. Which is greater: 0.1 or j?
j
Let l = 544153/492 - 1106. Which is greater: 1 or l?
1
Let a(p) = p**3 - 17*p + 189. Let j be a(0). Is 755/4 at most j?
True
Let b be -5*(-204)/(-120) - -8. Which is smaller: 526 or b?
b
Suppose -4*x 