n-equal?
True
Let q = 105 + -841/8. Which is smaller: -1 or q?
-1
Let u(n) = 2*n**2 - 8*n + 1. Let m be u(4). Is -1/117 less than or equal to m?
True
Let x be 2/6 + 10/12. Let d(y) = -y**3 - 4*y**2 + 5*y + 1. Let n be d(-5). Which is greater: n or x?
x
Let v be 8/(-2) - (-2 - 1). Is -2/59 >= v?
True
Let g(b) = -3*b**2 - 3*b - 1. Suppose 3*j = 4*c - 1, -3*c + 4 = c - 4*j. Let a be g(c). Which is smaller: -8 or a?
-8
Let z = 191 + -194. Let s(i) = -i. Let x be s(3). Is z smaller than x?
False
Let g = -1 - -4. Suppose -4*t + t - g*a = 24, 0 = 4*t - a + 22. Let r = 6 + t. Is r != 0?
False
Let z = 7 - 0. Let q = 11 - z. Is 1 > q?
False
Suppose -4*i = 6*i + 10. Which is greater: 1 or i?
1
Let y = 9 + -14. Which is smaller: 0.1 or y?
y
Let w = -1 + 0. Let c be (-6*(-3)/(-6))/(-1). Suppose -2*y = -5*y + c. Which is smaller: y or w?
w
Let f be 4*((0 - -1) + 0). Suppose 2 = 3*y - 2*p, 0 = -f*y + p + 2 - 1. Let l be (y - -2)/(1 + 0). Is l < 2?
False
Let i = 551 + -1165/2. Let g = i + 32. Let n = 0.9 - 0.8. Is g < n?
False
Let r = -4 + 6. Suppose 0 = -w + f - 6, 2*w + r*w + 18 = 2*f. Suppose 5*c - 2*m = -20, 5*c + 5*m + 13 + 7 = 0. Is c < w?
True
Let w = 0.04 + -0.34. Let j = -5.1 - -5. Which is bigger: j or w?
j
Let f(u) = u**2 - 8*u + 8. Let y be f(7). Is y smaller than 5/7?
False
Let f = 30 + -15. Suppose 5*o - f = 0, 4*k - k = -3*o + 21. Let l be 1 + 2 - 1/1. Which is greater: k or l?
k
Let f = -84 - -84. Let l = 2294693/1887612 + 1/37012. Let d = -2/17 - l. Which is smaller: f or d?
d
Let w = -4 - -8. Suppose -w*q + 3*s - 5 = -0, -2*q + 2*s = 4. Is -1 greater than or equal to q?
False
Let i be (-12)/10*(-45)/(-3). Which is bigger: -19 or i?
i
Suppose 2*w = 5*x - 35, -26 = -5*x + 4*w + 19. Which is bigger: 4 or x?
x
Let p be 2/9*3/(-4). Let d = 39 + -26. Suppose -4*x + 5 = m, -2 = -2*x - 3*m + d. Is p < x?
True
Let x = -7.1 - -0.1. Let d = x + 8. Let m = -0.1 - -0.1. Is m greater than d?
False
Let z = -5 - -1. Is z <= -2?
True
Let o(w) = -w**3 - 6*w**2 - 6*w + 4. Let p be o(-5). Let m be 1 + (-2)/(30/p). Which is smaller: m or 3?
m
Suppose 2*r - 32 - 4 = -5*g, 52 = 5*r + 3*g. Which is bigger: r or 7?
r
Let h be (-2)/4*(-4)/(-6). Let c be (4/10)/(12/20 - -1). Is h greater than or equal to c?
False
Suppose -11 = 4*v - 3*v - 5*t, -3*v = 4*t - 5. Which is bigger: -2 or v?
v
Let z = 12.1 + -12. Let t = -19/18 + 245/198. Let m = t - -16/33. Is m less than or equal to z?
False
Let x = -1.21 - 0.19. Let k = 0.02 - -0.38. Let b = k + x. Is -1 equal to b?
True
Let i be ((-8)/(-6))/(18/(-27)). Let w(u) = -u**3 - 2*u**2 - 5*u - 3. Let f be w(-3). Suppose -j - 5*z = f, -3*j - 3*z - 17 = 2*j. Which is bigger: i or j?
j
Let g be (-6 - (3 + -6)) + (-14)/(-5). Which is smaller: g or -2?
-2
Let o = 15 - 15. Is -7 less than or equal to o?
True
Suppose 27*j = 28*j. Let t be (4/180)/((-6)/(-9)). Which is greater: j or t?
t
Let p be -10 + (-4 - (-8 - -4)). Let d be (30/25)/(2/p). Which is smaller: -7 or d?
-7
Let d = -288 + 1426/5. Let t = -55 - -51. Is t at least d?
False
Let l be ((54/4)/(-3))/((-25)/(-150)). Are l and -25 unequal?
True
Suppose -3 = -3*q - 3*r, 1 = 5*q - 4*q - r. Let g = q + -1. Let w = g - -1. Is w at least 0?
True
Let g(l) = l + 1. Let v be g(3). Suppose 1 = d + v. Let u = d - -4. Which is smaller: u or -1/6?
-1/6
Suppose 5*m - v = -3*v - 3, -4*m + 3*v + 16 = 0. Is -2 less than or equal to m?
True
Let f be (-6)/27 - 534/27. Is -19 less than f?
False
Let d be -1 + 6*3/(-6). Let n be ((-22)/33)/(d/(-6)). Is n bigger than -2?
True
Let a be 1*(1 + (-2 - -3)). Suppose -a*l + 0*l + 2 = 0. Is l greater than -2/11?
True
Let t = -55 + 55.1. Let y = -49 + 52.1. Let d = -3 + y. Is d at most t?
True
Suppose 3*f = -5*o - 12, -2*f - o = f + 12. Let i(w) = -2*w + 8. Let c be i(6). Let d = f - c. Is 1/9 greater than d?
True
Suppose 2*i + 0*i - 2 = 0. Suppose -2*b + 3*b = -2*c, 4*b + 20 = 2*c. Is i at most c?
True
Suppose 5*a = -a + 6. Which is smaller: 12/11 or a?
a
Let m = -81 + 83. Which is greater: 4 or m?
4
Suppose 2*k - 2*h - 2*h = 6, 3 = -2*k - 5*h. Let c(p) = 3*p - 2. Let a be c(1). Is k greater than or equal to a?
True
Let h = -943/6 + 158. Let g = 8 + -3. Suppose -g*s + s = 0. Which is bigger: s or h?
h
Let x = -66 - -68. Is x != 37?
True
Suppose 3*w + 2*w = 0. Let r be 1 + -3 - w - -2. Which is greater: r or -2/7?
r
Let t = -7 - -15. Suppose -3*j - 20 = -t*j. Suppose j*q = -q - 25. Is -5 at least q?
True
Let s = -61 - -85. Is s equal to 26?
False
Let k = 4 - 9. Let n = k - -4. Is n less than or equal to -2/7?
True
Let t = -1 - -5. Let o = t + -2. Let x = o + -3. Is 0 < x?
False
Let x = -1 + -1. Suppose 0 = b - 4*j + 3*j + 8, 0 = -b - 3*j - 12. Let n be (-2)/b - x/(-9). Which is greater: n or -2?
n
Let w = -14.87 - -15. Let j = 1.13 - w. Which is greater: j or -3?
j
Let v(o) = 2*o + 3. Suppose 5*c + 47 - 12 = 0. Let r be v(c). Which is bigger: r or -10?
-10
Let v = -3 + 3. Let b(w) = -w**3 - 6*w**2 - 5*w + 1. Let l be b(-5). Let x = l + v. Is x less than or equal to 1?
True
Let f = 1 - 0. Let a = 2.06 - 0.06. Is a < f?
False
Let w = 100 - 89. Is w greater than 7?
True
Let i = -1.2 + 1. Suppose h + 2 = -2. Let o be 4/(-8)*h/6. Is i equal to o?
False
Let s = 122 - 79. Suppose -l = -3*o - 36, s = -4*o - l - 12. Are o and -14 non-equal?
True
Let z be 2/5 + 23/5. Let r(v) be the first derivative of -v**4/4 + 2*v**3 - 3*v**2 + 6*v + 3. Let x be r(z). Are 3/5 and x unequal?
True
Suppose 0 = f + 5*j - 13, 7*f = 2*f - 3*j + 21. Suppose 0*y - f*y = -6. Is y greater than or equal to 2?
True
Let d(r) = -r**2 - 12*r - 10. Let n be d(-10). Let c be -1 + 1 - n/14. Which is smaller: c or -0.1?
c
Suppose 4 = 7*v - 5*v. Is v greater than -1?
True
Suppose -3*f = -m - 14, -5*m - 9 - 1 = -5*f. Let y(g) = g**2 - g + 3. Let d be y(3). Let q = d - f. Which is bigger: q or 2?
q
Let v be (-1)/(15/6 - 3). Let k be (v/15)/(8/(-18)). Suppose 7*g - 25 = r + 2*g, 4*g = -4*r + 20. Which is bigger: r or k?
r
Let w be (698/68)/(5/(-20)). Let h = 41 + w. Suppose 4*r = r + 3. Is h less than r?
True
Let i = -101578/5 - -20214. Let z = i - -101. Which is greater: -1 or z?
z
Suppose -2*v = -4*v + 6. Suppose f = -5*d + 23, 0 = -3*d + 2*f + 2*f. Suppose 0 = d*a - a - 6. Which is bigger: v or a?
v
Suppose -5*u = 3*o + 6 - 26, -2*o = -4*u + 38. Let g = 7 - u. Are -10/9 and g equal?
False
Suppose 2*x = -5*x + 343. Are 49 and x equal?
True
Let f be 3*1 + (7 - 9). Let j be (2 - 9/3)/f. Let a = 0.08 - -2.92. Do j and a have the same value?
False
Let d be (-5)/(-3) - (-1)/3. Suppose 0*y = -5*y - 15. Let l(p) = p + 5. Let k be l(y). Is d at most as big as k?
True
Let i be ((-20)/32)/(3/(-156)). Let s = i + -33. Suppose 5*y - 1 = -6. Which is smaller: s or y?
y
Suppose m = -4 + 2. Let b(l) = l + 1. Let r be b(m). Let x = r + 3. Are x and 2 unequal?
False
Let x = 121.5 - 122. Let r(q) = -q**2 + 1. Let f be r(0). Is f equal to x?
False
Let g = -1.049 + 0.049. Which is smaller: 6/7 or g?
g
Let z(q) be the second derivative of 0*q**3 + 2*q + 0 + 1/3*q**4 + 0*q**2 - 1/20*q**5. Let k be z(4). Is -0.1 bigger than k?
False
Let t = 1 - 1. Let q(d) = -3*d**2 + d - 7. Let i(f) = -f**2 + f - 1. Let x(z) = 2*i(z) - q(z). Let w be x(t). Which is greater: 4 or w?
w
Let f = -0.04 - 0.16. Let q = -1.7 - -2. Let b = q + -0.2. Is b != f?
True
Let u(h) = h**2 - 2. Let x be u(2). Suppose -a = x - 3. Suppose d + 0*d = 4*k, 3*d - 3*k = 0. Do d and a have the same value?
False
Suppose -3*o - 22 + 40 = 0. Which is bigger: 8 or o?
8
Let x = 8 + -8. Is x smaller than -2?
False
Let t be (3/(-2))/(-3)*-8. Which is greater: -9 or t?
t
Let i be (-40)/(-3) - 2/6. Is 13 <= i?
True
Suppose 3*c + 44 = 7*c. Which is smaller: c or 8?
8
Let v(z) = 5*z**2 + 4*z + 8. Let l(i) = 6*i**2 + 4*i + 9. Let x(c) = 4*l(c) - 5*v(c). Let t be x(-3). Let k be t/(-2) + 14/(-20). Which is bigger: -1 or k?
k
Suppose 4*r - 10 = -r. Suppose -2*k = 4*u + 34, -u - 11 - r = 5*k. Let v be u/(-6) - (-2)/(-6). Is v smaller than 3/7?
False
Let d be (-1)/1*-1 + -1. Let h(x) = -2 + d - 3 + x. Let t be h(5). Which is smaller: t or -2/11?
-2/11
Let c = -0.031 + 0.031. Is 0.036 less than c?
False
Suppose -2*f + 2 = -3*f. Let q = 298/63 + -40/9. Is f at most q?
True
Let k be -7 + (2 - 0) - -2. Let j = -99 + 289/3. Which is smaller: j or k?
k
Let x(j) be the second derivat