Which is smaller: 23 or n?
n
Let m(n) be the second derivative of n**3/6 + 11*n**2/2 - 9*n. Let u be m(-8). Is u smaller than 3?
False
Suppose 5*j + 36 = 7*j. Is j smaller than 0.1?
False
Let i(u) = -u - 3. Let r be i(-6). Suppose r*k = -2*k + 20. Suppose 0 = y - 5*x - 2 - 17, -2*x - 12 = k*y. Which is smaller: -1/3 or y?
y
Let k(w) = -w**3 - 3*w**2 + 3*w. Let c be k(-4). Suppose -5*q = -c*q + 3. Is q > -3?
False
Let v(h) = h**3 - 5*h**2 - 7*h + 5. Let i be 6/3*(5 + -2). Let b be v(i). Let n = -9/5 + 3/10. Is b < n?
False
Suppose 2*f = 3*d + 3*f + 1, d + f = -3. Suppose 0 = -0*j + j - 2. Let p = 1 + j. Which is bigger: p or d?
p
Let r be 4785/(-3885) - 1*-1. Let o = 2/7 + r. Does o = 0?
False
Let c = 6 - 5. Let s = 7 - 2. Suppose -s = 4*i - 0*i - a, c = -4*i - 3*a. Which is smaller: 1 or i?
i
Let z = 35 - 29. Which is bigger: 3 or z?
z
Suppose -25 - 25 = -5*u. Which is smaller: u or 11?
u
Let u = -30 - -123/4. Let z(w) = -6*w**3 - 2*w**2 - 5*w + 1. Let y(g) = -g**3 - g. Let q(j) = 5*y(j) - z(j). Let x be q(1). Is u < x?
True
Let h = 3 - 2.95. Let d = h + -0.15. Which is smaller: d or -3?
-3
Let w = 4/43 + 144/301. Suppose -3*v + 6 = 3. Which is smaller: w or v?
w
Let k = -174 - -2785/16. Let n = -420 + 420. Is k at least as big as n?
True
Suppose 3*p + 2*p + 2*a - 220 = 0, -190 = -5*p + 4*a. Suppose 2*y - p = 3*o, 0 = 2*y + y + 3*o - 48. Suppose 4*q + y + 10 = 0. Is q != 1?
True
Let k = -11 + 20. Let b = -4 + k. Suppose 3*g - b*z - 1 + 21 = 0, 2*g + 8 = 2*z. Which is greater: -2/7 or g?
g
Let d(z) = z**2 - 13*z - 9. Let b be d(13). Which is smaller: -8 or b?
b
Suppose -5*h - 7 + 1 = v, -5*v - 2*h = 7. Which is smaller: v or -12?
-12
Let f = 5.96 + -6. Let y = -1.04 - f. Let q = 0.1 + -0.1. Which is smaller: q or y?
y
Let z = -20 + 18. Let l = -3 - 1. Let o = l + 3. Which is smaller: o or z?
z
Suppose -2 = 3*l - 4*i, -2*l + 5*i - 20 = -7*l. Suppose 5*a + 3*d - 4*d - 29 = 0, l*a - 22 = 3*d. Suppose 5*z + a*k = 3*z + 23, -5*z - 2*k = -5. Does 2/19 = z?
False
Let i be 36*(-1 - 4/(-3)). Let z = i - 9. Let b = -2 + 4. Which is smaller: b or z?
b
Let h = -0.2 - -0.3. Let x = -1 - -11. Suppose -5*v = 4*y + y + x, -y + 4 = -5*v. Do v and h have different values?
True
Let u = -66 + 66.3. Do -4 and u have different values?
True
Let j be (8/(-10))/(2/(-5)). Let f be 0/(-1) + j + 3. Let v = -12 + 17. Is v at most as big as f?
True
Let k be (-10)/(-25) + (-4)/10. Let o be (-2)/(k - (-3)/(-6)). Suppose -o*b - 24 + 6 = r, 2*r = 2*b + 4. Which is bigger: r or -1?
-1
Let d(r) = r + 1. Let h(m) = -m**2 + 15*m + 1. Let o(z) = 6*d(z) - h(z). Let c be o(8). Let t = -1 - 2. Is t > c?
False
Let k = -2/67499 - -3645716/25987115. Let v = k - -8/55. Which is bigger: v or -1?
v
Suppose -2*t = 2*c - 8, -t + 5*c = t - 36. Let k = -32 + 39. Which is bigger: t or k?
t
Suppose -3*s = -4*s - 2. Let z = s - 1. Suppose -4*o = o + 15, -5*r - 32 = 4*o. Which is smaller: r or z?
r
Let i be 29/100 - (-1)/(-4). Is i equal to 1?
False
Let w(x) = x**2 - 5*x + 4. Let a be w(4). Let s be -1*3/9*-2. Which is smaller: s or a?
a
Let u(w) = -3*w + 6. Let o be u(0). Is o smaller than 5?
False
Let r be 0 - (2 + 0 + 4). Suppose -12*a + 14 - 74 = 0. Is a greater than r?
True
Let w(n) = 2*n + 3. Let a(f) = -f - 2. Let k(s) = 11*a(s) + 6*w(s). Let p be k(9). Let d = p - 9. Is -3 greater than d?
True
Let d = 1 - 1.2. Which is bigger: d or 3/2?
3/2
Let m(w) = w**2 - 6*w + 2. Let d be m(6). Suppose 0 = 3*o + d*o. Which is bigger: o or -4?
o
Let j = 9 + -8.4. Let b = -0.4 + j. Which is smaller: 0 or b?
0
Let y(t) = 2*t**3 + 8*t**2 + 3*t**3 - 5 - 3*t**3 - 3*t**3 + t. Let d be y(8). Suppose -d*q + l + 32 = 2*q, 5*q - 4*l = 38. Are 7 and q equal?
False
Let t(s) = -s**2 - 6*s + 3. Let q be t(-6). Suppose 4*f - 6 = d - 23, -4*d - 3*f - 8 = 0. Are q and d nonequal?
True
Let u = -16 + 24. Let b = 8 - u. Are 4 and b nonequal?
True
Let h be (-2)/7 - (-32)/14. Suppose p + 1 = 2*p. Is p >= h?
False
Let t = 21.7 + -32. Let j = t - -9. Is j greater than -0.1?
False
Let s = -0.12 - 0.88. Let q = 7 + s. Let x = -0.1 + 0. Are x and q equal?
False
Suppose 4*v - 4*l - 4 = 0, l + 3 - 10 = -3*v. Let k be (-18 - -17)*v/(-1). Suppose 0 = -2*d + 4*j - 2, 0*d - 3*j = -4*d + 1. Which is bigger: d or k?
k
Let b = -0.14 + 1.14. Let u = 0.9 - b. Is 2/7 less than or equal to u?
False
Let q(m) = 2*m + 6. Let o be q(-3). Let p = 1/18 + 121/90. Is o > p?
False
Suppose 3*h + 4 = 5*d, -3*h + 4 = 2*h - 3*d. Let p = 0.2 + -0.3. Let a = -0.1 - p. Is a > h?
False
Let d = 0.19 + -0.2. Let c = 0.49 - d. Is c at least 2?
False
Let s be (-292)/(-18) + 8/(-36). Let b be 68/20*(4 + -3 + 4). Does s = b?
False
Let q be ((-18)/(-12))/(8 - (-3 - -5)). Is q greater than 4/15?
False
Suppose 4*m = m + 27. Let j be (-6)/m - 2/6. Let w = 0.16 + -1.16. Is j != w?
False
Suppose 4*h + 3 = -s - 0*h, 0 = -5*s - 5*h. Let i be ((-28)/(-6))/(3/(-9)). Let l be 4/i - 15/(-126). Which is smaller: s or l?
l
Let y be ((-20)/(-30))/(2/(-7)). Is y less than or equal to -3?
False
Suppose -5*p = 20, 3*j + p = -1 + 6. Suppose 6*q + j*r - 9 = q, 0 = q + 2*r - 6. Which is greater: q or 5/6?
5/6
Let g be -3 + ((-3)/(-3) - -5). Suppose 2*h = h. Suppose h = -y + 2*k - 10, -5*y - 4 = g*k - 6. Is -3/2 > y?
True
Let o be 0 + 2*(2 - 1). Suppose d + o*d = 0. Is d smaller than 1/6?
True
Let l(d) = d**2 + 6*d + 8. Let n be l(-2). Let m be 18/(-104) + (-1)/(-4). Does n = m?
False
Let h = 2 + -2. Suppose -3*g - 2 = -2*c - h*g, -5*c = g + 29. Which is smaller: -6 or c?
-6
Let i = -8 + 4. Let j be (-1)/(4*(-1)/(-20)). Is i greater than or equal to j?
True
Let p be -3 + (0 - (3 - 0)). Let k = p - -12. Which is greater: 7 or k?
7
Let g = -3 - -6. Let d be g - 13 - -2 - -1. Let u = -5/2 + 2. Is d at most u?
True
Suppose c + 0*c - 7 = 0. Let t = -7 + c. Is -2/5 at most as big as t?
True
Let l(n) = -4*n - 4. Let k be l(5). Let w be (-6)/k + 6/(-88). Which is greater: -1/2 or w?
w
Suppose -5*g + g + 48 = 0. Let i be (g/(-105))/(6/15). Let x be (-18)/(-14)*-1 - -1. Is i at least x?
True
Let x be (-5 + 1)/((-2)/3). Suppose 4*j - 3*r = -x*r + 15, r = 4*j - 11. Let t = 3.9 - 4. Which is bigger: t or j?
j
Let l = -30 + 29. Let g be (-10)/5 - 32/(-18). Which is bigger: l or g?
g
Let f = 1 + -1. Let a = f - -0.2. Let u = a - 0.2. Is -2/7 at most u?
True
Let y = -5 - -6. Let n = y + -0.9. Is -1 bigger than n?
False
Let v = 1 - -2. Which is smaller: v or -1?
-1
Let x = 76 - 77. Let p(g) = 2*g + 7. Let m be p(-5). Is m greater than x?
False
Let w(q) = -q**2 - 4*q + 2. Let g be w(-5). Let h = g - -3. Is 1/2 != h?
True
Let j = 754/5 - 151. Which is smaller: 0 or j?
j
Let w be -2 + (-3)/12*-4. Is -1/9 != w?
True
Let d = -11/54 - -1/27. Let b = 2 - -1. Suppose b*c + 4 = -c. Which is smaller: d or c?
c
Let z = 10.7 - 11. Let j = z - -0.5. Which is bigger: 4 or j?
4
Let w = 1.5 + -4.6. Is -3 bigger than w?
True
Let g(b) = b**3 - b + 3. Let l be g(-3). Let p = 29 + l. Suppose -f = 3*f - p. Which is greater: f or 4/5?
f
Let q be (3/15)/(6/8). Which is smaller: 1 or q?
q
Let y = -4.9 - -5. Are 0.11 and y nonequal?
True
Let c be (-4)/(-3 - (3 + -2)). Is c smaller than -4/15?
False
Let t be (-14*(-3)/(-3))/1. Let l = -7 - t. Is 6 >= l?
False
Let v(k) = -k**3 - 7*k**2 - 5*k + 7. Let i be v(-6). Suppose -15 + 1 = 2*p. Let o be p/(273/(-72)) + -2. Which is smaller: o or i?
o
Let p(j) = -7*j + j - 6 + 4*j - 2*j. Let q be p(5). Let z be (-12)/(-20) - q/(-10). Which is greater: z or -3?
z
Let o(m) = -2*m. Let h be o(4). Is -7 >= h?
True
Let o(i) = i**2 + 5*i - 3. Let k be o(-6). Suppose 3*d - k*w + 4 + 5 = 0, 5*d + w = -3. Which is smaller: -4/9 or d?
d
Suppose -4*r - 1 + 5 = 0. Suppose -r = 2*t - 3*t. Suppose -2*x - 1 = t. Is -2 at most as big as x?
True
Let c(l) = -1 + 4 - 4 + l**2. Let q be 1/(-2) - (-6)/4. Let r be c(q). Which is greater: 3/7 or r?
3/7
Suppose 3*n - 8*n = -55. Suppose -2*t - n + 3 = 0. Which is smaller: t or -3?
t
Suppose 0 = -7*g - 21 + 14. Is g greater than 2/165?
False
Let o be (-10 - -1)*(0 + -2). Suppose -5*r = 2 + o. Suppose 3*l - 8 = 5*l. Is r > l?
False
Let l = -8 - -9. Let q be (-12)/(-40)*1/(-3). Is l smaller than q?
False
Let s = 20 - 20. Is 1/10 >= s?
True
Suppose -2*y - 11 = -13. Which is bigger: 2/3 or y?
y
Let t = 9081/7 - 1295. Which is bigger: 3 or t?
3
Let v(n) = -n - 1. Supp