1. Is n greater than 6?
False
Let p = -19/2 + 16. Suppose -87 = -27*f + 1074. Suppose 12*b + 217 = f*b. Which is greater: p or b?
b
Suppose 2*t + 6 = 0, 1 = x + 5*t + 16. Let j(q) = -q + 4. Let b be j(1). Suppose 4 = -b*f - 5. Which is smaller: x or f?
f
Let b be 4/14 - 40590/(-35). Suppose -16*m - b = 184. Which is greater: m or -1/4?
-1/4
Let y = -7.95131 + -0.04869. Is 3/26 > y?
True
Let a = 0.0608 + -555.0608. Let c = -554 - a. Which is greater: 12/11 or c?
12/11
Let a = -556 - -531. Let i(x) = -2*x**3 + 2*x**2 + 2*x + 2. Let d be i(3). Is a != d?
True
Suppose 0 = 21*f - 835320 - 360861. Let z be (-9)/(-21) + -6 + f/10269. Are z and 0 equal?
False
Let l(u) = 13*u**3 + 2*u**2 - 2*u. Let m be l(1). Let r = 13 - m. Suppose -3 = -2*o + 4*f + 13, r = -5*o + 4*f + 16. Do o and 3/59 have the same value?
False
Let v be 14/(-10) - -1 - 154/(-35). Suppose 3*c - v = -2*n, 3*n - c + 0*c = 6. Let l be n/(-12)*2*14/(-12). Which is bigger: 0 or l?
l
Suppose -23 + 9 = -7*f. Suppose v = -x + f, -3*v + 3 = -4*x - 3. Does x = -3/56?
False
Suppose 44*a + 2*l - 392 = 46*a, 5*a + l = -1004. Which is bigger: a or -198?
-198
Let c = 46 - 43. Suppose c*a + 2*p - 24 - 15 = 0, -a = -3*p - 24. Suppose -5*n = -4*z - 7, -n - 2*n = 4*z + a. Which is bigger: 2/41 or n?
2/41
Let c(y) = y**3 - 13*y**2 + 38*y + 2. Let x be c(9). Is x >= 1?
True
Suppose 4*q - 12922 = 69*q + 26*q. Which is smaller: q or -184?
-184
Let b(g) = 10*g**3 - 21*g**3 + 2 + g + 19*g**3 + 2*g**2. Let q be b(-2). Let k = 55 + q. Is k <= 2/33?
True
Suppose 25*v - 98838 + 25263 = 0. Is 1 at most v?
True
Let k = -3.3 + -10.7. Let v = -95 + 95.29. Let s = -0.19 + v. Is s greater than or equal to k?
True
Suppose 20*u + 11 + 4 = -5. Do -22/95 and u have the same value?
False
Suppose 0 = 5*j + j + 12. Let n be (-340)/(-80)*j/4 + 2. Is 0.3 less than n?
False
Let w = 40 + -38.53. Let p = w + 0.03. Let r = 2628.73 - 2628.43. Which is smaller: r or p?
r
Let r(u) = u**3 - 75*u**2 + 281*u + 208. Let p be r(71). Is 46 at most as big as p?
False
Let w be ((-2376)/18)/((4/(-3))/((-64)/(-48))). Is 131 <= w?
True
Suppose -1600 - 16003 = 28*l - 1307. Do l and -0.1 have the same value?
False
Let r be (-2)/(-3)*((-18)/(-12))/(-1). Let h = 2/6179 - 6515/1038072. Which is smaller: r or h?
r
Let t(l) = 3*l**3 - l**2 + 61*l - 398. Let c be t(7). Is c greater than -9?
True
Suppose -2 = -2*j + 346*n - 349*n, -j - 3*n = -1. Which is bigger: j or -13/18?
j
Let h = -108928799/210125 - 1/210125. Let b = h + 515. Is b < -3?
True
Let l be 5073 + (-13)/((-156)/(-60)). Are 5069 and l equal?
False
Let t = -336188/517 - -7152/11. Is t not equal to -1/2?
True
Let k = -86 - -594/7. Suppose -36 = -3*u - 12*j + 16*j, -2*u = -4*j - 28. Suppose -650 + 650 = -u*q. Are k and q equal?
False
Let t = -120 + 196. Let q = 376 + -379. Which is smaller: q or t?
q
Suppose 1568 = -62*u + 5350. Which is bigger: u or 69?
69
Suppose 0*s = 5*s + 3*o + 178, s + 5*o + 40 = 0. Let w be 119/s + 4/10. Let f be (-8)/w - (-1 - 25/(-15)). Which is greater: f or 4?
4
Suppose -4*x - 80 = -8*x. Let i be 206/(-4) + (-10)/x. Suppose -3*u - 137 = -0*u - 4*m, -2*m = 3*u + 161. Which is smaller: u or i?
i
Let n = 8430 + -91148/11. Let j(t) = 6*t**2 - 2*t + 4. Let c be j(5). Let p = n - c. Which is greater: -3/4 or p?
p
Let p be (-48)/1692*((-21)/(-35))/(34/15). Which is greater: 0 or p?
0
Let r = 16099 + -16098. Which is smaller: 1/516 or r?
1/516
Let f = 8.7 + -7. Let b = 15.7 - f. Let r = 14.1 - b. Is -18/7 greater than r?
False
Let b(i) = -2*i**2 + 5*i + 1. Let n be b(4). Suppose -4*h = 20, 3*a + 12 = -5*h - 31. Let d be (a - -8)*2/n. Which is smaller: d or -2?
-2
Let f(l) = l**3 - 10*l**2 + 11*l - 3. Let g(z) = z + 11. Let n be g(-5). Let d be f(n). Let r be (4 - 5)*(-3)/d. Which is smaller: r or -1?
-1
Let r = -190.29 - -33.29. Is 5 greater than or equal to r?
True
Let w = 0.128 + -1.888. Let r = -1.76 - w. Which is smaller: r or 7/4?
r
Let d = -4963 + 4496. Is -473 greater than d?
False
Suppose 0 = -6*d + 14654 - 47216. Do -5427 and d have the same value?
True
Let r = 4.9135 + -5.0135. Let t be 2/6 - 230/726. Which is greater: r or t?
t
Let o = 777.07 - 777. Which is smaller: o or 2.33?
o
Let j = -6.95 + -8.17. Let h = j + 15.1. Which is smaller: -7 or h?
-7
Suppose -2*i - 9 = -3*i. Suppose i = 4*t + 5. Let l be 4/22 + (-1364)/(-484). Is t at least l?
False
Let c = -45288 - -220869577/4877. Is c < 1?
True
Let g be 3 - ((-328)/(-7) + (-180)/126). Which is smaller: -0.1 or g?
g
Suppose l + 6 = 2*v, -2*l + 5*v - 18 + 3 = 0. Let j be (-4689)/1557 + (0 - -3). Let d = j - -400/4671. Which is smaller: l or d?
l
Let j be 2*(-12)/(-28)*7. Let n be 0/1 - (-1)/(j/(-54)). Let b(g) = 4*g - 21. Let x be b(n). Which is smaller: -56 or x?
x
Let z = -57 + 58. Let h = -86/57 + 5170/3477. Which is smaller: h or z?
h
Let n = 1260124133/1453368 + -249399/287. Let p = 47/24 + n. Which is bigger: p or 1?
1
Let n = 3.1424 - 3.01594. Is n <= -2/7?
False
Let a = 23 + -17. Let g(p) = p**3 - 6*p**2 + 3*p - 9. Let k be g(a). Suppose r - k = -2*r, 2*r - 3 = 3*s. Is s greater than or equal to 1/2?
True
Let s be ((-4)/3 + 34760/(-3))/((-20)/10). Are s and 5795 equal?
False
Let o be ((-24)/84 - 258/(-21)) + -5. Suppose 0 = -v + 3*u + 99, 5*u = -o*v + 2*v + 515. Is v less than 101?
False
Let n(o) = -3 + 23 - 6 - 11*o + 20. Let v be n(3). Which is smaller: 1/28 or v?
1/28
Let a = 398 + -167. Let i = -62265 - -62497. Which is smaller: i or a?
a
Let t be 5/(-1 - (-3)/18). Let q be (-5 + (-726)/t)*-1. Is -117 less than q?
True
Let d be (-16)/(-88)*4/(-6)*1386/(-84). Let q be 2/(2580/442) + -3. Let a = 2/215 - q. Which is smaller: d or a?
d
Let b = -121 - -114. Let n = 7.4 + -7.3. Which is smaller: n or b?
b
Let k = 7 + -2. Let x be (k - -3)*(14/4 + -3). Suppose x*o + 204 = 10*o. Which is greater: o or 35?
35
Let x(s) = -26*s**2 - 191*s - 61. Let r be x(-7). Let n = 5 + -7. Which is smaller: r or n?
n
Let h(n) = -2*n + 81. Let l be h(39). Which is greater: 0 or l?
l
Suppose 14 - 25 = 2*k + w, 0 = 5*k + 3*w + 32. Which is greater: -2/899 or k?
-2/899
Let q = 328/1155 - -2/1155. Let a = q + -5/42. Is 97 not equal to a?
True
Suppose -g + 0*g - 17 = 0. Let v be g/(0 + -4 + 3). Let b = v - 375/22. Which is smaller: b or 0.1?
b
Let j(z) = -30*z**3 - 3*z - 2. Let g be j(-1). Let w = -32 + g. Let d be -6 - w*(-5 + 4). Which is smaller: d or -6?
d
Let w be -2*(-4)/(-8)*(-106)/2. Let l be 60/18*717/45. Is l at most as big as w?
False
Let f = -122 - -119. Let q be (f - (-101)/63) + 6/21. Suppose 5*r - 5*n = -25, 6*n - 16 = 2*r + 2*n. Is r less than q?
True
Let t = -566 + 593. Let n be (-2)/4 - 60*t/(-2664). Is n equal to -1?
False
Let d(h) = h**2 + 290. Let t be d(11). Which is bigger: t or -0.18?
t
Let o = -56 + 61. Suppose -v = o*s - 4, -4*s = -3*v - 7 - 0. Is 1 at least s?
True
Suppose 2*o - 2*w + 1294 = 0, 4*o + 202*w + 2615 = 203*w. Is o less than -664?
False
Let u be (249/(-249))/(2/4). Are 982 and u unequal?
True
Let r be (-1)/7 + (-66)/(-21). Let z = 67.48 - 69. Let y = z - 0.48. Which is greater: y or r?
r
Let n(t) = 2*t**3 - 10*t**2 - 4*t + 9. Suppose -10 = -11*l + 45. Let f be n(l). Let z = f + -20. Which is greater: -33 or z?
z
Let r be (-6)/(-4)*2/3. Let o(k) = k**3 - 4*k**2 - 4*k + 16. Let z be o(5). Let u be (-2)/z*(-15)/25. Which is bigger: r or u?
r
Let p = 1 - -2. Let w be (4650/(-279)*(-2)/(-5))/(-1 - 21/(-36)). Which is smaller: w or p?
p
Let p = -359 + 201. Let s = 155 + p. Is 11/4 bigger than s?
True
Suppose 3*w - 4128 = -3*z, 0 = -20*z + 24*z - 8. Is 1373 less than w?
True
Suppose -14*u - 48 = -48. Which is greater: u or 1/1506?
1/1506
Let s be (-4)/(-64) + 77805/560. Is s greater than 2?
True
Let k = -11157 + 13229. Which is smaller: k or -5?
-5
Let v = 3.93 + -61.93. Let w = -8.5 + -50.7. Let k = w - v. Which is smaller: k or -1?
k
Let u(d) = -3*d - 2 + 3 - 4*d. Let x be u(2). Let w(p) = 23*p + 155. Let a be w(-7). Which is greater: x or a?
a
Let o be 1707/15 + (-5)/(-25). Let q = o - 110. Let j be 5/(-50) + q/40. Which is bigger: -4/63 or j?
j
Let n = -10682 - -10682.19. Is n greater than or equal to -0.0377?
True
Let x = 0.646 - 0.7. Let v = -339.954 + 340. Let c = v - x. Which is greater: -16 or c?
c
Suppose -137*b = -146*b + 1 - 10. Let i = -3 - -5. Let k be i/20*4/2. Does k = b?
False