= 0. Which is bigger: p or -11?
-11
Let c(u) = -u**3 - 6*u**2 - 7*u - 11. Let a be c(-5). Which is smaller: a or 2/95?
a
Suppose 0*t - 9 = 3*t. Let g be (8/4)/(1/t). Let o be (g/(-30))/((-4)/(-35)). Do o and 3 have the same value?
False
Let o be (-5 - -2)*5/(-3). Suppose 15 = 4*p - 3*n, -2*p = -6*p + o*n + 25. Which is smaller: p or 3/7?
p
Suppose 24 = -2*a + 3*o, -4*a + 2*o - 46 = -3*o. Let q be (a/9)/(0 - 1). Is 2/5 at most as big as q?
True
Suppose 4*t + 4 = 0, 5*w = -3*t + t - 52. Let z be (-6)/w + 182/(-270). Is z at least 0?
False
Suppose 10*z = z + 315. Which is greater: 37 or z?
37
Let k(q) = -q**3 - 5*q**2 + 5*q - 8. Let b be k(-6). Let l be 2/b - -2 - 3. Let i be ((-10)/6 - -2) + -1. Is i greater than l?
True
Let j = -0.13 - -0.13. Which is greater: -14.5 or j?
j
Let m(x) = -x**2 + 13*x - 12. Let d be m(10). Is d greater than 18?
False
Suppose -j + 2*k + 7 = -2*k, 4*j - 3*k - 2 = 0. Is -4/31 greater than j?
True
Suppose -2*x + 0*x + 4 = 0. Suppose x = 2*t - 0. Let h = t + -2. Is 1/4 less than h?
False
Let b(d) be the second derivative of d**4/12 + 2*d**3/3 + 2*d**2 + d. Let x be b(-3). Let k = -62 + 312/5. Is k equal to x?
False
Let i be -3 - -4 - (-5)/(-7). Which is greater: -2/9 or i?
i
Suppose -17 - 33 = 2*h. Is h greater than or equal to -25?
True
Let u be (4 + -5)*(4 + -2). Suppose 0 = -2*p - 2 - 0. Let d = u - p. Is d greater than or equal to -3/4?
False
Let w = 48 + -48. Let x = -13/5 + 34/15. Is x equal to w?
False
Let h = -3 - -2.9. Let a = h - -0.2. Let k = -5 + 3. Which is greater: k or a?
a
Let d = -0.1 - -0.3. Let n = -0.1 + d. Let t = 2.8 - -0.2. Is n <= t?
True
Suppose 2*x = 3*x + 5*z + 21, 3*z + 3 = x. Let c be x/(-12) + (-3)/4. Which is smaller: c or 1?
c
Let p(d) = -d**3 - d**2 + d - 38. Let h be p(0). Which is smaller: -39 or h?
-39
Let b be (-376)/16*(-1)/(-6). Let u = b - -11/3. Let a(h) = h**3 + 7*h**2 + h + 7. Let c be a(-7). Is u > c?
False
Let z = 14 + -13.9. Which is smaller: -2/11 or z?
-2/11
Let n(h) = -4*h + h - 2*h**2 + h**2 - 3*h**2. Let j be n(-2). Let a = -7 - j. Is a equal to 3?
True
Let y = -0.73 - -0.93. Is y less than -0.09?
False
Let z be 1/4 + 17/(-2). Suppose 5*x = -4*w + 20, -2*x + 5*w - 9 = -50. Let m = z + x. Which is bigger: 1 or m?
1
Suppose m - 8 = l, -6*m + 3*m = 2*l + 1. Let s = 61 + -62. Let w = l - s. Which is greater: w or -3?
-3
Suppose b - 16 = 10*y - 7*y, 0 = 2*b + 5*y - 43. Do b and 20 have the same value?
False
Let p be (-10)/(-8)*3 - 4. Is p greater than 5?
False
Suppose -5*h = -2*h + 195. Let v = h - -197/3. Is -0.1 smaller than v?
True
Let z be -3 - (-6)/3 - -3. Let f be ((-24)/18)/(z + 1). Suppose 3*u = -0*u. Are f and u unequal?
True
Let s = -12364/27 + 458. Which is smaller: s or 1?
s
Suppose -6*f - 5*f = -308. Is f at most 26?
False
Let i be (14/24)/((-3)/6). Which is smaller: i or -2?
-2
Let t = 36 + -44. Which is greater: -2 or t?
-2
Let v be (-29)/35*(2 + -1). Let i = 3/7 + v. Is 0.05 greater than i?
True
Let j(y) = -y**2 + 8*y - 9. Let d be j(7). Let t be 8/2 + d + 1. Suppose t*i = -i. Is i greater than or equal to 0?
True
Let q = 43 - 84. Is -1 less than q?
False
Let b(m) be the third derivative of -m**4/24 - m**3/2 - 5*m**2. Let v be b(-3). Is v equal to -4/3?
False
Let r = -0.4 + -7.6. Let o = r - -7.9. Is -5 != o?
True
Let l(s) = -4*s**2 - 9*s - 9. Let z be l(-8). Let w = -5537/11 - -53587/77. Let r = w + z. Is r smaller than 1?
True
Let t = 4210/13 + -324. Let w = -2 + -1. Let f be 4/(1 + w) - 0. Is f <= t?
True
Let m = 0.2 - 0.1. Let f = 57 - 57.2. Is f > m?
False
Let c = -91.9 - -92. Are 1 and c nonequal?
True
Suppose 138 = -4*u - 5*i, -3*u = -u - 3*i + 58. Let a = 129/4 + u. Let l = -2 - -3. Is l at most a?
False
Suppose -3*b + 9 = 2*i - 7, -b = 2*i - 8. Let n = 2 + -1. Suppose p - n = -0. Which is smaller: i or p?
p
Let o(x) = x**3 - 3*x**2 + x + 1. Let a be o(2). Let m be a*(6/2 + -3). Which is bigger: m or -1/5?
m
Let f be 1 + ((-273)/(-27))/(-7). Which is greater: 1 or f?
1
Let g be 1/(-4) - 35/20. Let m be ((-2)/(-5))/((-2)/(-10)). Suppose 2*b = 0, 0*b + m = -v + b. Is v bigger than g?
False
Suppose y + 35 = 2*w, -2*y + 2 + 23 = w. Which is smaller: 2/9 or w?
2/9
Let g = 7 + -7. Suppose 3*p = -k + 6*k + 17, 5*p - 4*k - 11 = g. Is 6/13 smaller than p?
False
Let v = 22 - 23. Is 1/34 != v?
True
Let y(i) = -21*i. Let k be y(-1). Suppose k - 1 = 5*j. Which is greater: 2 or j?
j
Let i be 2/5 + 14/35. Suppose 0 = -2*m + s - 0*s + 5, -m + 1 = s. Suppose 2*n + 0*n - m = 0. Which is greater: i or n?
n
Let o = 563 + -15203/27. Is o smaller than 0?
True
Let h be (1 - 1)/(-1)*1. Let m(f) = 7*f**2 - f - 2. Let w be m(-1). Suppose -3*n + w = -3*o, 3 = -2*o + 4*n - 3. Is h less than o?
False
Let v(h) = 13*h - 3. Let g be v(-1). Which is smaller: g or -15?
g
Suppose 5*n + 1 - 31 = 0. Is n at least as big as 6?
True
Let d = 29 - 27. Which is bigger: d or -1.2?
d
Let g(m) = m**3 + 6*m**2 + 5*m + 1. Let v be g(-5). Suppose x - 5 = -v. Let l be (3 + -9)*1/(-2). Is l greater than or equal to x?
False
Suppose 3*a + 0*a - 64 = 2*x, -67 = -4*a - x. Suppose 7*k - 2*k + a = -2*v, -3*v + 23 = -5*k. Let f be 0 + -2 + (-34)/(-14). Which is smaller: v or f?
f
Let u(d) = d**3 - 9*d**2 - 10*d + 12. Let n be u(10). Which is smaller: 11 or n?
11
Let h(y) = -y**2 + 23*y - 18. Let c be h(22). Suppose -o + 3*o = 0. Suppose o = c*f + 16, 0 = -3*g - 0*f - 5*f - 17. Are g and 0 unequal?
True
Suppose 44 = -4*s - n - 3*n, -3*n + 39 = -3*s. Let f be 1908/53*1/(-3). Are s and f unequal?
False
Let p be (-14)/(-2) + 3/3. Let m be (p/6)/(2/(-14)). Let d = m + 26/3. Is -1 smaller than d?
True
Let q be 6/9 + (-38)/(-6). Suppose q = -5*j - 3. Let s be 1/28 + (-2)/7. Is j at most as big as s?
True
Let w be ((-2)/(-2))/(9/2). Is w != -4/5?
True
Let o = 1773/7 - 253. Let v = 4 - 3. Which is bigger: o or v?
v
Let w(c) = c**3 - 6*c**2 - 7*c - 3. Let n be w(6). Let b be (-18)/n - (-1)/(-40). Is b greater than or equal to 0?
True
Suppose -x + 11 + 15 = 0. Let k = -89 + 41. Let j be 4/x - k/26. Which is smaller: 3 or j?
j
Suppose 3*o - 1253 - 97 = 0. Let w be (80/o)/((-4)/(-10)). Suppose 6 = -5*s + 1. Which is smaller: s or w?
s
Let p be (-9)/6*1/6. Which is greater: p or -16?
p
Suppose 0 = -5*p + j + 73, -3*j - 44 - 21 = -4*p. Let r be (-2 - 42/(-15))/p. Is -1 greater than r?
False
Suppose -2*q - q = -9. Suppose 5*y - 2 - q = 0. Which is greater: 2/3 or y?
y
Let j = -163.9 + 164. Which is smaller: -11 or j?
-11
Let i = -0.12 + -3.88. Is 0 <= i?
False
Suppose -3*f - 403 = -5*m, -227 = 3*f - 4*m + 177. Let p = f + 678/5. Is 1 < p?
False
Suppose -1 = -d + q, 4*q + 6 + 3 = -d. Let f be (-1)/(-2 - 43/(-2)). Is d less than f?
True
Let n(p) = 113*p**3 - 9*p - 2. Let r(v) = 57*v**3 - 4*v - 1. Let w(j) = -2*n(j) + 5*r(j). Let i be w(-1). Let g = i + 176/3. Is g at most as big as 0.3?
False
Let x be -1 - -4 - 3/3. Suppose 1 + x = f. Do 4 and f have the same value?
False
Let q = 2 + -0.9. Let c = -4 - -3. Let r = q + c. Is r equal to 0?
False
Let h = -601/7 + 86. Let d(g) = g**2 - 28*g - 59. Let q be d(30). Which is greater: h or q?
q
Let d = 24 + -73. Which is greater: -48 or d?
-48
Let v = 0 + -1. Let m = v + 0. Is m greater than 0?
False
Let l = -122 + 122. Which is greater: l or -9?
l
Let g(v) = -v**2 - v + 38. Let q be g(-7). Let p(x) = -4*x**2 - 2*x - 1. Let d be p(-1). Is q at least as big as d?
False
Suppose 0 = -2*i + 1 + 1. Do 2/3 and i have the same value?
False
Let v = 20 + -79/4. Let f be 11/44 + (-5)/4. Does f = v?
False
Let g = 258 + -108. Let h = 1048/7 - g. Let v = 3 - 2. Which is bigger: h or v?
v
Let i = -3 - -7. Suppose -19 = -4*v + i*m - 9*m, v + 2 = m. Is 0 greater than v?
False
Let d = 65 - 66. Is d >= 4/9?
False
Let x be (-86)/(-6) - 4/(-6). Let k be ((-4)/(-10))/((-4)/x). Which is bigger: k or -2?
k
Let w be (4/12)/((-3)/2). Suppose 4*b + 2 = -22. Let j be 1 - (3 - (-14)/b). Which is bigger: j or w?
j
Let b be 668/910 + 2/5. Let v = b - -6/91. Is 0 <= v?
True
Let b(f) = f + 5. Let y be b(-9). Let k = y + 1. Suppose 8 = -6*c + 4*c. Is c at least k?
False
Let d be (4*3/12)/1. Which is smaller: d or -2/45?
-2/45
Let x = -1/39 - -9/13. Which is bigger: x or 1.1?
1.1
Let g = -10.3 - -10.2. Is -15 >= g?
False
Let l(j) = j**3 + 4*j**2 + 2*j + 1. Let a be l(-3). Suppose -20 = -0*n + a*n. Which is smal