n(k) = -k**2 - 14*k - 5. Let s be n(-13). Let p be (-36)/s*8/(-6). Do p and 5 have different values?
True
Let x = -79619/5 - -15852. Let u = 72 + x. Let o = -73 - -72. Is u greater than o?
True
Let h = -154493/3825 - -1006/25. Let f = -2/51 - h. Which is bigger: f or -5/6?
f
Let h be (-8)/30 - (-1 - -1). Let b(n) = n - 1. Let l be b(2). Which is greater: h or l?
l
Let m = -29 + 28.71. Let f = 0.01 - m. Which is bigger: 3 or f?
3
Suppose -4*y - b = -61, 2*b = -y - 0*y + 17. Let w be y + -13 - 9/4. Which is bigger: 22 or w?
22
Suppose 94 = 12*h - 86. Let r(c) = -c**2 + 15*c + 2. Let t be r(h). Is 2 != t?
False
Let u = -26 - -99. Which is smaller: u or 74?
u
Suppose 3*q = 2*b - 1, 2*b + 3*q - 15 + 8 = 0. Is b >= -1?
True
Let y = -49 + 32. Let a = 12 + y. Is -4 equal to a?
False
Let q be ((-100)/(-30))/(213/(-216) + 1). Do q and 241 have different values?
True
Let s be 392/280 + 2097/(-1505). Is s bigger than -1?
True
Let m(o) = -6*o - 97. Let a be m(-16). Is a at least as big as -12/13?
False
Let t = 29 - 29.1. Let h be ((-1)/4)/(9/(-612)). Is t smaller than h?
True
Let z = 19/1025 + -1343/76875. Which is bigger: -1 or z?
z
Suppose 2 = -3*z + 14. Suppose -2*j - 4 = c - 3*j, 2*c = j - z. Suppose -p + 5 = -3*m - 2*p, c = 4*p + 8. Is 0 > m?
True
Let a = -363 - -363.2. Which is bigger: a or 35?
35
Let n be 87/4 - ((-165)/44)/(-5). Suppose k - 4 = -k, -4*r = -3*k - 74. Which is greater: r or n?
n
Let v = -676 + 671. Does -58/15 = v?
False
Let o = 27 - 26.9. Suppose -3*z - 19 = 2*m + 7, -z - 4*m + 8 = 0. Let d be (-19)/z - 1/4. Which is smaller: o or d?
o
Let r(o) = -o**3 - 8*o**2 - 23. Let q be r(-8). Suppose -165 = 2*a - 119. Is q at most as big as a?
True
Let q be 3 - ((-19110)/(-16))/(-7) - -3. Let w = q + -171. Are 7 and w non-equal?
True
Suppose -1226 - 195 = -7*l. Is l at least 202?
True
Suppose 6*a - 8*a + 5*t = -11, 15 = 4*a - 3*t. Suppose -2*f + 1 = a*j, 7*f - 2*f - 11 = j. Is -59 < j?
True
Let i(a) = 2*a**3 - a**2 - 11. Let y be i(2). Is y greater than -3/26?
True
Let h(g) = g**2 + g - 1. Let j be h(0). Let f be 3 - (2 - j) - -1. Let b be 5 - (2 - (f - 1)). Which is greater: 4 or b?
4
Let o(l) = -l**3 - l**2 - l - 3. Let i = 4 + -7. Let f be o(i). Let c be (1/f)/(10/(-40)). Which is greater: 0 or c?
0
Let g(n) = -3*n**3 + 9*n**2 - 3*n + 3. Let d(i) = -10*i**3 + 27*i**2 - 9*i + 10. Let p(b) = -2*d(b) + 7*g(b). Let h be p(9). Let q = 17 + h. Is q < -9?
False
Let u = 740 - 742. Are -6/113 and u nonequal?
True
Let j be (6/(-59))/(78/(-52)). Which is smaller: j or 0?
0
Let p = 926 - 923. Do p and -10 have the same value?
False
Let n(t) = t - 40. Let u be n(9). Which is smaller: u or 1?
u
Suppose -2*l = q + 4, 21*q - 2*l = 18*q + 4. Which is greater: -11/58 or q?
q
Let s be 76/18 - (-6)/(-27). Suppose 2*a + v - 3*v + 4 = 0, 2*v - s = -a. Which is greater: a or 4/23?
4/23
Let y(x) = x - 7. Let f be y(5). Let h be 28*(8/f - -3). Let a be h/(-12) - 10/(-15). Which is bigger: 1 or a?
a
Suppose -z + 0*c = -3*c + 10, 4*c - 14 = 2*z. Let f = -14 + 25. Let p(h) = -h**2 + 11*h - 4. Let k be p(f). Which is smaller: k or z?
k
Suppose -74 = -20*x - 54. Is x greater than or equal to -28/89?
True
Let t be (0*(4 + -5))/3. Let n be (-6)/105 - (2 - 2). Let a = -1/7 + n. Which is smaller: t or a?
a
Suppose 0 = 227*n - 253*n - 8424. Are -325 and n equal?
False
Let f(n) be the first derivative of n**2 - 5/3*n**3 + 7 - 4*n. Let k be f(2). Is -21 equal to k?
False
Let x be 4/(14/9*21). Which is bigger: x or -0.3?
x
Let q be 4/(-6)*465/(-50). Let j be 5/(5/(-10)*-2). Which is smaller: q or j?
j
Let n be 1462/8404 - 26/143. Let u = n + -1325/1528. Is 0 greater than u?
True
Suppose -6*y - 2009 = -1955. Which is bigger: y or 4?
4
Let u = -0.07 + -0.32. Let k = u - -0.34. Suppose 0 = 5*c - l - 8, -2*l = -c - 0*l + 7. Are c and k equal?
False
Let b = -24439/9 - -2706. Which is smaller: b or -10?
-10
Suppose 0 = -o - 2*c - 16, o - 64 = 5*o + c. Let v = 15 + o. Let g be (2/(-8))/(0 + v). Is g at least as big as -7?
True
Let r = -0.9 - -1. Let z be -1 - (8 + 378/(-56)). Is r > z?
True
Let p be (-50)/(-15)*1836/45. Which is smaller: p or 134?
134
Let w = -2.1 - -2.7. Let j = 0.5 - w. Which is smaller: j or -1/2?
-1/2
Let f be (-20)/(-12)*3 + -7. Let g be (-7 + 5)/((-3)/(-39)*f). Which is greater: 14 or g?
14
Suppose -4*u = 5*n + 20, -4 = u - 2*n + 3*n. Suppose w - 2*p + 1 = u, 0 = -3*w + 5*w - 2*p. Let d be (-59)/(-30) + 7/35. Is d equal to w?
False
Let x be ((-6)/3)/(-8) + 5/(-4). Suppose -j = -2*j - 69. Let s = j - -480/7. Is x less than or equal to s?
True
Suppose v = 4*v. Let d be (-3 + (-35)/(-10))*v. Suppose d = -3*l - 13 + 7. Which is bigger: -1 or l?
-1
Let x = -211.02 - -209. Let j = -46.02 - -46. Let d = j - x. Is d < 2?
False
Let h be ((-1)/3 - 1)/((-3160)/(-564)). Let v = 3/79 + h. Which is smaller: -0.3 or v?
-0.3
Suppose -4*v = k + 10 - 34, -k = 2*v - 12. Suppose -v*h + 10 = -h. Is h smaller than 10?
True
Let o = -46 - -30. Let b be ((-5)/45)/(o/6). Let h(m) = m**3 + 10*m**2 - 23*m - 230. Let y be h(-10). Which is smaller: y or b?
y
Let k = 222 + -189. Let i = 20 - -12. Is k less than i?
False
Let p be 0/((-9)/(27/6)). Suppose 4*s - 20 = 0, 3*x + x - s - 3 = p. Which is smaller: x or 1?
1
Let n = -189 + 191.8. Which is greater: -3/4 or n?
n
Let r be (3/3 + 1)*2. Suppose -s = -2*z - r - 12, 3*s - z - 28 = 0. Let f = s + -10. Which is bigger: f or -13/4?
f
Suppose 2*x - 24 = 3*w, -w = -4*x - 3*w + 64. Suppose -2*o - 18 = s, -2*o = -5*s + x + 27. Suppose -p - 52 = 4*l - 2*p, 3*p - 24 = l. Is l at most o?
True
Suppose -3*q + 625 = 2*q. Suppose 2*s + q = -3*s. Is s smaller than -24?
True
Suppose 5*p = 5*q + 370, -4*q - 2*p - 38 = 252. Which is greater: q or -71?
-71
Let o be -2 - 87*1 - (-4)/1. Let b be (2 - 2 - 2)*-2 + o. Which is greater: b or 0.1?
0.1
Let g be (0 + 34/(-12))*324/1520. Let c = -11/19 - g. Which is smaller: c or -1?
-1
Let q = 8 - 0. Is q <= 120/13?
True
Let o(n) be the first derivative of 3*n**3 - n - 4. Let r be o(-1). Let i be 448/77 + (-2)/(-11). Is r at most as big as i?
False
Let o = 12439.29 + -12372. Let k = -67 + o. Let j = k - 0.09. Which is smaller: j or -0.7?
-0.7
Let i(n) = -4*n**3 + n**2 + 2*n. Let r be i(-2). Suppose -4*l - r = 16. Let h be (-3)/12 + (-19)/l. Which is smaller: h or 2?
h
Suppose 4*h - 8*h = -96. Let d be (-8)/(-6)*h/1. Suppose 0 = -31*w + d*w + 5. Which is smaller: w or -6?
-6
Let r be (-3 - 1)*(-15)/(-12). Let i be -3 + ((-50)/r)/5. Let b be (2/(-3))/(71/3). Which is bigger: i or b?
b
Let j = 81 + -69. Let d = -14 + 13.9. Is d >= j?
False
Suppose a + 5*c + 38 = 2*a, 4*c = a - 34. Let j be ((-16)/(-24))/((-3)/a). Which is bigger: j or -5?
j
Suppose -2 - 10 = -3*k, -x - 5*k = -3. Let p = -15 - x. Suppose r = -p*r. Are -7 and r non-equal?
True
Let o = 135 - 134. Which is greater: o or 133?
133
Let k = -1549/4 + 8233/20. Which is smaller: k or 25?
k
Suppose -952 = -0*n + 34*n. Which is smaller: n or -53/2?
n
Let a = 145.2 - 145. Are a and -56 nonequal?
True
Let f = 17/82 + -9701/46002. Which is smaller: -1 or f?
-1
Suppose 3*q + 5 = -z - 1, 0 = 5*q + z + 12. Let o = -16 + 10. Let k be 9/q - o/2. Which is bigger: 2/13 or k?
2/13
Let m be (-4)/30 - 46/15*-2. Which is greater: m or -1/4?
m
Let o = 8.41 + -19.5. Let a = o - -11.8. Which is bigger: 1/2 or a?
a
Let x be (329/(-28))/((-15)/(-60)). Is -145/3 != x?
True
Let u be (11/(-9) + 2/9)*7. Let h be u + 18 + 6/(1 - -1). Which is greater: 16 or h?
16
Suppose -2*p + 11 = 1. Suppose -z - 2*z + 3*n + 27 = 0, n + p = 0. Let o = -5 + z. Which is bigger: -3 or o?
o
Let a = 307 + -290. Let q = -17.68 - 0.32. Let b = a + q. Is 0 != b?
True
Suppose 5*u - 10 = 5. Suppose u*o - 18 = 87. Is o equal to 35?
True
Let i = -45 - -51.8. Let b = i - 2. Which is smaller: -2 or b?
-2
Let z(g) = g**3 - 2*g**2 + 3*g - 2. Let w be z(2). Suppose 3*i + c - 4 = 0, -w*c = -i - 0*c + 10. Suppose 0 = -i*k + 3*k. Is -2 at least as big as k?
False
Let w(s) = s**3 + 27*s**2 - 57*s + 28. Suppose -6*x - 133 = 41. Let z be w(x). Which is bigger: -3/133 or z?
-3/133
Let a = 684 + -684.9. Which is bigger: a or 1/3?
1/3
Suppose 2*o = 5*o + 4*o. Let m be 2/(-7) + 22/(-14). Is m <= o?
True
Let h be (-1)/(-2) + 4313/38. Are 114 and h unequal?
False
Suppose -r - 2*r = 3*v, 2*r - 8 = -4*v. Let c be (1/(r - (-117)/29