 j(n) = -n**3 + 8*n**2 - 4*n - 21. Let x be j(7). Which is bigger: x or 2/61?
2/61
Let h be -2*3*3/(-45). Which is greater: -1 or h?
h
Let p be ((-3)/7)/((-12)/8). Let r(u) = u**3 + 2*u**2 - u - 1. Let n be r(-1). Which is smaller: n or p?
p
Let v be 8/48*1/(-5)*2. Is v less than -1?
False
Let m be 42/(-60) + (-2)/(-10). Which is bigger: -2/9 or m?
-2/9
Let r = 4 + -6. Let q be (-8)/(-6)*9/r. Let k be 26/(-7) + q/21. Is -4 at least k?
True
Let o = 0 + 6. Let c = 7 - o. Which is greater: c or -1?
c
Suppose 541 = 3*g - 89. Suppose -2*q + g = 3*q. Let l = 125/3 - q. Do l and -1/2 have the same value?
False
Let w be (3 + 6/(-2))/2. Let x(u) = u**3 + 6*u**2 + 4*u. Let s be x(-5). Suppose -l + s*l - 8 = w. Is 1 equal to l?
False
Let y = -4 - -1. Suppose 5*d + k + 21 = 0, -3*d + 0*k = k + 11. Which is smaller: d or y?
d
Suppose -13*d = -15*d. Which is greater: d or -1?
d
Suppose -w + 1 = -5. Let p = 3 - w. Is -3 not equal to p?
False
Let q = 3 + -3. Let u = q + -1. Let v = u - -1. Which is greater: v or 4?
4
Let u(x) = 2*x + 10. Let t be u(6). Does 21 = t?
False
Let r = 16 - 10. Let h(q) = 5*q + 10 - 1 - 6*q. Let o be h(r). Do o and 4 have the same value?
False
Let x = 0 + -13. Is 1/2 at most x?
False
Let l be (0 - 1)/((-3)/(-6)). Let c = -1 - l. Is -2/17 equal to c?
False
Let o be -25*-1*3/1059. Let i = -171077/3177 + o. Let b = i + 54. Which is greater: b or 0?
b
Let t be (-1 + 1)/(-1*3/(-1)). Is -3/22 equal to t?
False
Let x be 4 + (0 - (-8)/4). Suppose 1 = -3*y + 5*n + 13, 2*n + 1 = 5*y. Which is smaller: y or x?
y
Let x = -1182 - -8289/7. Let k = -127/56 + x. Does 1 = k?
False
Let x = -5 + 4.93. Let b = 0.1 - 0.13. Let y = x + b. Is 6 less than y?
False
Let k = -2369/536 + 3/67. Let j = 29/8 + k. Are j and 0 unequal?
True
Let l(x) = 4*x - 2. Let h be l(-2). Let c(o) = -o - 3. Let i be c(0). Let q be 5/(h/6) - i. Which is bigger: 1 or q?
1
Let r = 3 - 13/5. Let g be (1/3)/(20/(-14)). Let j = g + r. Which is smaller: -1 or j?
-1
Let k = -11 - -12. Is k equal to -1/12?
False
Let n be (-43)/(-4 + 4 - 1). Let j = 47343/5 - 9512. Let k = n + j. Are k and -2 unequal?
True
Let n = 5 + -7. Let u = -1 - n. Let g be (-4 - (u + -2)) + 2. Do g and -2/7 have the same value?
False
Let n(r) = -r**2 - 5*r + 4*r - 3 - 5*r. Let i be n(-5). Let j = i + -3. Is j at most -0.2?
True
Suppose 0 = 2*d + a - 1, d + 2*a = -d + 2. Is 2/11 greater than or equal to d?
True
Suppose 0 = 4*o - 2*c + 10, -c - 6 = c. Let l = o - -7. Let s be ((-2)/(-15)*l)/2. Are 1 and s equal?
False
Suppose -2*s = -1 - 3. Suppose -5 = -5*u + 7*d - s*d, -3*u + 5*d + 1 = 0. Is u greater than -6/5?
True
Let u = -7 + 7. Let w = 1 - u. Let p = -0.1 + 0.2. Is w at most as big as p?
False
Suppose 0*i = i - 5. Suppose i*l = 6 + 4. Is l less than 2?
False
Let r = 90 - 103. Which is greater: r or -0.3?
-0.3
Suppose 0 = -3*f + 2 + 1. Which is greater: f or 2?
2
Let t(z) = -z - 5. Let w be t(-4). Let a be w/3 + (1 - 0). Suppose 4*p - q = -4, -3*p - 2*q + 4 = -q. Is p greater than or equal to a?
False
Let q be (-3)/(-9)*(-6)/(-4). Let m = 0.07 - -2.93. Let b = m + -2.9. Is q equal to b?
False
Let o(z) = z + 6. Let t be o(-5). Let b = -12 - -14. Is t < b?
True
Let t = 1.8 + 3.2. Let k = 4 + -5. Which is greater: k or t?
t
Let p be 1 - -20*3/(-6). Is -8 less than p?
False
Let g be (-4082)/12*(-3)/(-2). Let x = g - -7157/12. Let v = -86 + x. Which is bigger: v or -1?
v
Let j = 54.1 + -52. Let t = 4.1 - j. Which is smaller: t or -2/11?
-2/11
Suppose s = 4, 2*y = 4*s - 2*s - 2. Suppose 5*f - 12 = -j - j, f = 0. Let o be (-3)/2*(-8)/j. Which is smaller: o or y?
o
Let l = -0.3 - -0.4. Let a = l + -0.09. Let n = a + 1.99. Is -1/2 bigger than n?
False
Let g = 5/2 - 83/34. Which is smaller: g or -1?
-1
Suppose 0 = -4*v + 2*v + 20. Suppose j - v = -4*h, -h - 5 = -3*j - 1. Is h <= 1?
False
Let a = 6 - 2. Suppose 3*g + 7 = -4*u, 2*g = -2*u - 0*g - a. Which is smaller: 1 or u?
u
Suppose 5 = d + 4*d, 4*k - 2*d = 2. Let r be ((-16)/(-6))/((-5)/15). Let j be r/(-14)*14/4. Which is smaller: k or j?
k
Let c = -110080631/4150905 + -34/34305. Let s = c - -5/242. Let v = s + 27. Do 2/11 and v have the same value?
False
Let l = -10 - -15. Which is greater: l or 7?
7
Let h(r) = 0 - 6*r - r**2 + 0*r**2 - 6. Let a = 10 - 15. Let n be h(a). Which is bigger: 3/8 or n?
3/8
Suppose -2*n + 5 = -1. Suppose 10 - 37 = -n*u. Let a = 8 - u. Which is bigger: 1 or a?
1
Let o be 46*-1*5/(-10). Let f = o + -530/23. Which is smaller: 0 or f?
f
Suppose 0 = -0*g + 5*g - 10. Let u = -242/5 - -49. Which is smaller: u or g?
u
Let p = 0 + -2. Let n(s) = s**2 + s - 2. Let g be n(2). Let k be 2/g*(-4 - -2). Is k at most p?
False
Let o be 37 - 1*(-4)/4. Let s be 10/20 + (-21)/o. Is -1 less than or equal to s?
True
Let c = -7/3 + 8/3. Let y = -6 + 9. Let d = y - 2. Which is smaller: d or c?
c
Let x = 1.4 + 6.6. Let r = x + -5. Which is bigger: r or 2?
r
Let r = 1 - -1. Suppose -w = 3*x + 4 - 13, r*x - 26 = -4*w. Let u be w/3 - (3 - 0). Which is greater: 0 or u?
0
Let x = -30.08 + 30. Is 0.4 < x?
False
Suppose -8*z = -9*z - 2. Suppose 0 = 3*m - 9, 0 = -2*a + 3*m - m - 10. Is a equal to z?
True
Let p(s) = -s - 5. Let u be p(-5). Let b = 1 + u. Let w be (b - 2) + (0 - -2). Are w and 1 equal?
True
Let a(l) = -l**3 - 10*l**2 - l - 7. Suppose 0 = -4*v - 16 - 24. Let o be a(v). Let q(n) = n - 1. Let j be q(o). Which is greater: j or 0?
j
Let q(p) = p**2 - p + 1. Let i be q(3). Let f(n) = -2*n - 6. Let x be f(-6). Which is smaller: x or i?
x
Suppose 2*q = q + 2. Suppose -4*z - q = 4*k - 14, -5*k + 2*z = -22. Are k and 1 equal?
False
Let a = 0 - 0.5. Suppose 8 = 2*p + 3*y, 3*y + 16 = 3*p + p. Suppose 0 = -4*j + 4*g - 12 - p, -3*j + 4*g = 17. Which is greater: j or a?
j
Let r = -1 + 1.06. Let t = r - 0.06. Do -5 and t have the same value?
False
Let j(i) = -i - 5. Let o be j(9). Let v = -3 - o. Are v and 12 unequal?
True
Let x = -0.117 + 5.017. Let h = x - 5. Which is bigger: -9 or h?
h
Let y = -68 + 68.1. Is 0.98 < y?
False
Suppose -3*y + 32 = w, -4*w + 3*w - 4 = 0. Let h = y + -6. Suppose -2 = 3*x + t, -5*t + h = 3*x - 2*t. Is x greater than -2?
False
Suppose 5*u - 27 = 28. Is u greater than 11?
False
Let k = -27 - -29.2. Let b = k + -12.2. Which is greater: 0 or b?
0
Let c(i) = i**3 - 3*i**2 + i - 2. Let z be c(3). Let s be (z + -3)/(1 - 2). Suppose -3*t = 4*v - 2*v - s, 2*t + 2 = 2*v. Which is smaller: v or 0?
0
Let u = -5/18 + -2/9. Which is bigger: u or -2?
u
Let z = -5 + 7. Suppose 8 = -3*h + z. Let g(s) = -s - 1. Let q be g(h). Is q <= 2?
True
Let b = 0.08 - -4.92. Let u = b + -5.06. Let o = 1.06 + u. Are -2 and o unequal?
True
Suppose 0 = 2*f + x + 4 + 2, f - 4*x + 12 = 0. Let u be -6*((-38)/f - 2). Let v = 134/3 + u. Which is smaller: v or 0?
v
Let q = 26 + -23. Let y be 1/(-3) + (-20)/(-6). Suppose q*m + y = -0. Is 1/4 > m?
True
Let y(x) = -x**3 + 6*x**2 - 3*x - 6. Let n be y(5). Suppose -5*f - n*p = -10, 4*f - 14 = 6*f - 2*p. Suppose 0*r + 2*r = -4. Is r bigger than f?
False
Let s(a) = -2*a - 32. Let k be s(8). Are k and -48 nonequal?
False
Let w(j) be the second derivative of j**3/6 - 3*j**2 - j. Let t be w(9). Is -1 at least t?
False
Let x = 6 + -1. Let w = x + -17. Is w greater than or equal to 2/3?
False
Let t be 2/(3/(-18)*-1). Suppose t = 3*v + 3. Let h be 2/(-2) - (-3)/v. Which is smaller: -1 or h?
-1
Let u be (-3 - -4)*9/(-21). Which is bigger: u or 0?
0
Let j be (0/2)/(1 - 0). Suppose 13 = -3*v - 4*s, -3*s - 9 = -j*v + 2*v. Which is bigger: -4 or v?
v
Let f = 19.8 + -20. Which is bigger: -2 or f?
f
Let d = -1.5 - 0.5. Let a = -1 + d. Which is smaller: -0.1 or a?
a
Let u(c) = c**3 + 2*c**2 + 2*c + 2. Let o be u(-2). Let i = o - -2. Let j be (0/(-1))/(-2 + 3). Is j <= i?
True
Let f be -1*(1 - (-67)/(-65)). Is -1 bigger than f?
False
Let t be 3/(-3) + -1 + 2. Which is bigger: t or -5/6?
t
Suppose -2*t + 35 = 3*y - 0*y, -2*y = t - 22. Let l = -9 + y. Suppose 2*s + 8 = 0, -2*a + 2*s - 6*s = 14. Is l equal to a?
False
Let a(h) = h - 8. Let u be a(6). Is u less than -5/3?
True
Let j be (-1)/9 + (-1608)/108. Are j and -13 equal?
False
Let n = 64 - 321/5. Which is bigger: n or -2/3?
n
Let r = -1 + 3. Suppose r*o - 3 = 5. Let z = -2 + 7. Do o and z have different values?
True
Let h(q) = -7*q + 9. Let t(x) = -3*x + 4. Let w(l) = -2*h(l) + 5*t(l). Let y be