v be g(-6). Suppose v*n = -5*n + 5. Which is bigger: n or 1/3?
n
Let g be (-3 - -4)*2/(-2). Does g = 2/11?
False
Let r be 0 + 2/((-8)/(-3)). Suppose -5*v = -s, -v + 8 = 2*s - 3. Is r greater than v?
False
Let d = -78 - -77. Which is smaller: 1/23 or d?
d
Let k = -0.6 - -1.6. Which is bigger: -0.09 or k?
k
Suppose -n = h + 9, -8*n + 4*n - 41 = 5*h. Let o be 7/(-5) + (-2)/h. Which is smaller: -4/7 or o?
o
Let h be (9/10)/(2/(-4)). Let m = 36 - 33. Suppose 0 = 2*j + m*w + 17, -j - 7 - 9 = 3*w. Are h and j nonequal?
True
Suppose 0 = -4*v + 5*l + 12, -2*v - 3*l - 2*l + 6 = 0. Suppose -4*g - v = -7. Let n = -48/7 + 50/7. Which is bigger: n or g?
g
Let h(z) = -z - 4. Let g be h(-9). Suppose -5*f + g + 0 = 0. Which is bigger: f or 3?
3
Suppose -2*k = 2*c - 4, -4*k + 3*c = -8*k + 5. Let n = -1 - k. Let y = 1477/8 - 185. Which is greater: n or y?
n
Let v = 32 - 33. Is v less than -6?
False
Let w = -45.4 - -7.4. Let u = w - -36.94. Let z = u - -0.06. Is -2 >= z?
False
Let v = 22 - 8. Which is smaller: 4 or v?
4
Let k(j) = j**3 + 2*j**2 - 4*j - 3. Let q be k(-3). Let p(m) be the first derivative of m**3/3 - m**2/2 - 2*m + 1. Let l be p(q). Is -3/2 bigger than l?
True
Let z(b) = b**3 - 2*b**2 - b - 4. Let s be z(3). Let k = 48 + -237/5. Is s at most k?
False
Let c = 0.111 - -5.889. Which is smaller: 1 or c?
1
Let r be (6/(-27))/(4/12). Is -1 greater than or equal to r?
False
Let c(v) = -v**3 - 9*v**2 - 10*v - 15. Let p be c(-8). Which is bigger: p or 8/7?
8/7
Let j = -10 - -11. Which is greater: 1/6 or j?
j
Let s = 0 + 2. Suppose 0 = b + s. Is -3 not equal to b?
True
Let s(m) = -m**3 + 5*m**2 - m + 5. Let x be s(5). Suppose x = -2*i + 2*n + 4, 3*n + 7 = 2*i - 0*i. Let u = 23/2 + -12. Which is smaller: u or i?
i
Let n = -0.6 - -1. Let b = -0.36 + n. Let k = b + -2.04. Which is smaller: -1 or k?
k
Let i be (9/(-102))/((-3)/(-6)). Which is smaller: i or 1?
i
Let b(m) = 2*m - 18. Let s be b(8). Let g(f) = -f**3 - 2*f**2 + 2*f + 3. Let c be g(s). Let u = 0 - 0. Is u equal to c?
False
Let m = 73 + -58. Is 16 less than m?
False
Let s be (4/(-70))/(7/560). Which is smaller: s or -5?
-5
Suppose -4*j = 4*c + 20, 0 = -4*c - 3*j - 8 - 8. Let r be 2 + c + -3 + 2. Which is greater: -2/11 or r?
r
Suppose -2*p - 25 = -7*p + 2*s, 0 = -4*p - 2*s + 20. Let d = p + -6. Let w be (0 + -3 + 2)*d. Are w and 1 equal?
True
Let p(r) = -r**3 - 8*r**2 - 7*r - 1. Let m be p(-7). Which is bigger: m or -2/41?
-2/41
Let p be -1*5/(5/(-2)). Suppose -2*v - 2*a = 0, p*v - 4*a = -v - 7. Which is bigger: v or 2?
2
Let b = 33/7 - 59/14. Let v = -1 + -1. Let h = v + 3. Which is smaller: b or h?
b
Let a(d) = -1 - 2*d + 3*d - 3*d**2 + 2. Let z be a(-1). Let k = 1/3 - 11/6. Is z less than k?
True
Suppose 3*b - 2*o + 4 = 0, -2*b = -0*b + o - 9. Let i be (-1)/b*0/(-1). Suppose 3*z + i*z = 0. Which is greater: z or -1/5?
z
Suppose 0 = 2*o - 4*o. Suppose o = 2*c - 3*c + 3. Is c bigger than 2?
True
Let b = 32 - 34. Is 0 at most as big as b?
False
Let a(n) = 4*n**2 + 2*n + 1. Suppose 0*p + 1 = -p. Let z be a(p). Suppose z*u - 3 = -12. Are -4 and u unequal?
True
Let i be (-3)/6*2*1. Which is greater: i or -22/9?
i
Let n be ((-3)/(-2))/(24/64). Is n > 3?
True
Suppose -5*v = -3*s - 24, 2*v + 0*v = -5*s - 9. Suppose v*z + 2 = -10. Suppose 3*y + 3*x - 7*x = 3, -4*y = -4*x. Which is greater: z or y?
y
Suppose 18*i - 11 = 7*i. Suppose 0*w = d - 3*w - 11, -3*w = 4*d + 1. Are i and d unequal?
True
Suppose 5*j - 19 = 3*t, -5*j + 35 = -0*t + 5*t. Is 11/8 at most as big as t?
True
Let x(y) = y. Let v be x(0). Let h = 22/9 + -28/9. Which is bigger: v or h?
v
Let l = 96 - 96. Which is smaller: l or -4?
-4
Let l = 0.64 + -0.04. Let z = 0.38 + 0.02. Let q = z - l. Which is smaller: q or 1?
q
Let s(r) = -r**3 + 6*r**2 + 6*r + 7. Let o be s(7). Let h be 4/(-18) + (-34)/9. Let k be (-1)/(-2)*o/h. Are -1/8 and k unequal?
True
Suppose 2*t - 3*t = -4. Suppose t*f + 9*m - 19 = 4*m, 0 = 2*f - m + 1. Suppose -2*c - 1 = f. Do -3 and c have the same value?
False
Suppose i + 7 - 16 = 0. Suppose i*j = 13*j. Do 1/11 and j have the same value?
False
Let z be (-4)/1 + (7 - 4). Which is greater: -2/9 or z?
-2/9
Let x(h) = 3*h + 4. Let m be x(9). Let y = m + -94/3. Let z(p) = p**3 + 7*p**2 + 5*p - 6. Let q be z(-6). Which is greater: y or q?
q
Let w = -1.26 - 9.94. Let m = w + 11. Is -2 at least m?
False
Let z(i) = 2*i**2 - 3*i - 5. Let j be z(4). Suppose -3*y + 11 = v, -y + j = 3*v + 2*y. Let b = v - 1. Is -2/5 <= b?
True
Suppose 0 = 5*z - 4*g + 6*g + 6, 2*z - 3*g = 9. Which is bigger: 2/3 or z?
2/3
Let b = 0.4 + -0.2. Let v = b - 0.2. Let s = v - 1. Which is bigger: s or -0.1?
-0.1
Let v(m) = -m**2 - m**3 - m**3 - m + 0*m**3 - 1. Let c be v(-1). Let f be (-18)/(-20) - (-4)/(-10). Which is bigger: c or f?
c
Let v(x) = -x - 2. Let q be v(-1). Let n = -3 - q. Which is bigger: -3/5 or n?
-3/5
Let b(q) = q**3 + 3*q**2 - 2*q - 4. Let i be b(-3). Let r = i + -1. Which is bigger: r or 0?
r
Let r = -11 - -10.8. Let a = 0.4 + 0. Let m = 0.4 - a. Is m >= r?
True
Let f be 4/(-20) - 22/(-10). Suppose d - 3 = -f*d. Are -2/7 and d nonequal?
True
Let m = -8/29 + -34/87. Which is smaller: -42/11 or m?
-42/11
Let a = -1 + 4. Suppose -a + 7 = t. Which is smaller: 5 or t?
t
Let b = -8 - -5. Let g be (-4)/(-6) + 2/b. Which is bigger: -1/15 or g?
g
Let v(l) = -l**3 + 12*l**2 + 14*l - 14. Let c be v(13). Which is greater: c or 3?
3
Let a(h) = -h + 4. Let g be a(4). Are -4 and g equal?
False
Suppose 11*f + 3 = 14*f. Which is bigger: f or -17?
f
Let m = -0.21 - -7.21. Let i = m - 9. Which is greater: 0.3 or i?
0.3
Let h(j) = -j**3 - 6*j**2 + 8*j + 3. Let q be h(-7). Let f = q + 5. Let b = -1 + f. Is b > -3/5?
True
Let j = 4 - 6. Let l be 2 - ((-176)/(-7))/j. Let c = 15 - l. Which is smaller: c or 1?
c
Suppose 3*a = 5 + 4. Suppose -75 = -a*v + 5*k, 5*v - k - 159 = -4*k. Let p be (-1)/(-3) - (-14)/v. Which is bigger: p or 1?
1
Let w be (-15)/(-5) + 1 + -1. Suppose -n - 3*h + 6 - 14 = 0, w*h = -4*n + 4. Which is greater: n or 3?
n
Let c(y) = -y**3 - 6*y**2 + 8*y + 5. Let q be c(-7). Let i be (9 - 8) + (-1 - q). Suppose i*a = -a. Is 1 at least as big as a?
True
Let j(d) = d**3 + 14*d**2 + 12*d - 9. Let v be j(-13). Suppose -36 = v*c + 2*c. Which is greater: -4 or c?
-4
Let k(t) = t - 5. Let r be k(5). Let s(a) = 2*a**2 + r*a - a + 2 + 2*a**3 - 3*a**3. Let h be s(2). Which is smaller: h or 2?
h
Let l = -4 - -13. Let s = l + -5. Which is greater: 1 or s?
s
Suppose 2*r + 8 = -3*l, 3*r + 6 = 4*r - l. Let f(v) = -23*v - 11. Let p(a) = -8*a - 4. Let w(g) = -6*f(g) + 17*p(g). Let d be w(r). Which is bigger: d or 3?
3
Suppose 5*z = -i, 2*z = -i - 2*i + 26. Which is smaller: i or 13?
i
Let w be 3/(-6)*10 - 3. Is w > -3?
False
Let o = -858/5 + 171. Suppose y - 3 = 4*l, -5*l = 5*y + 51 - 16. Let i be (l/(-10))/((-2)/5). Is o less than i?
True
Let g(i) = 4 - i - 1 - 4 - 2*i. Let y be g(3). Which is smaller: y or -11?
-11
Let t be 2 + 1 + -1 + 3. Suppose 0 = -2*k - o + 3, -k + 9 = t*o - 6. Let b be (-96)/(-165) + 4/(-10). Is k smaller than b?
True
Let j = 0.8 + -11.8. Which is smaller: -1 or j?
j
Let v(h) be the second derivative of h**3/6 - 2*h**2 + 2*h. Let q be v(6). Let d be (q*1)/(8/(-12)). Which is smaller: d or -4?
-4
Let r(o) = o**2 + 2*o + 1. Let y be r(-4). Is y at least 9?
True
Let t be 68/(-18) + (-8)/36. Let r(n) = -n**3 + 2*n**2 + 2*n + 1. Let l be 3*2/(1 - -1). Let a be r(l). Which is smaller: t or a?
t
Let z = 44 - 23. Let b be (-1)/3*z*-1. Let w = 7 - b. Which is smaller: 2/3 or w?
w
Let f be (4 + (-1048)/260)/(2/3). Which is smaller: 0 or f?
f
Let n be (-6)/((-2)/(-2) + 0). Let y be (3/(-28))/(n/(-4)). Let j = 16 + -15. Are y and j non-equal?
True
Let b = -1964570 + 972461734/495. Let d = b - -4/99. Is d bigger than 0?
False
Let r(d) = -d**3 - 6*d**2 + d + 8. Let f be r(-6). Let z be -1 + (-1)/(2/(-46)). Suppose -2*x + 1 - 9 = 0, 4*x = 3*v - z. Are f and v nonequal?
False
Let u = -0.1 - -0.3. Suppose 0*h - 1 = -p - 2*h, p = h - 2. Which is smaller: u or p?
p
Let c = 59 - 55. Is 13 > c?
True
Let y be (-1 + 1)*(-2)/(-6). Is y at most -1/4?
False
Let w be (6/9)/((-1)/(-9)). Suppose -2*t + 4*q + 1 = t, -4*t - w = 2*q. Which is smaller: t or -1/3?
t
Let z = -0.8 + 0.5. Let h = 1 + -0.9. Which is smaller: z or h?
z
Let n(t) = t**3 - 7*t**2 + 7*t - 2. Let m be 