n-equal?
True
Let g = -1.6 + 0.7. Let z = 0.1 - g. Let p be ((-9)/(-6))/((-3)/(-1)). Which is smaller: p or z?
p
Suppose 36 = -5*h + 4*z, 2*h = -2*h - 3*z - 35. Let v(u) = -u**2 - 9*u - 9. Let i be v(h). Is i greater than or equal to 2/9?
False
Let l = 1 - 0. Suppose -l = c - 0*c. Let r = 21 - 21. Is r at least c?
True
Let n be (3*(-4)/(-6))/(-1). Let d be -2*(2 + 5/n). Let h = 3 - d. Is h != 2?
False
Let t be 3*-3*(-2)/(-81). Is t equal to 1?
False
Let x = 65 + -62.1. Is x less than or equal to -2/9?
False
Let t be (-1 + 13/3)*3. Suppose -3*m + l + 5 = 2*l, -t = -4*m - 2*l. Which is smaller: m or 2?
m
Let x(l) = -l + 7. Let i be x(6). Let u = i - -2. Suppose 1 = u*c + 4. Which is smaller: 0 or c?
c
Let b = -6.29 + 6. Let a = -4.49 - b. Let q = -0.2 - a. Which is smaller: q or 0.1?
0.1
Let v = 2 + -2. Let a be 11/66 - (-13)/(-42). Is v greater than a?
True
Let p = -8.6 - -7. Let x = p + 0.6. Is x at most 0?
True
Let p = -2 - -2. Suppose d - 6*d = 30. Let l be 6/81*d*-3. Which is bigger: p or l?
l
Let r = -528/5 + 106. Which is smaller: r or 0.076?
0.076
Let w(a) = a**3 + a**2 - a + 11. Let t be w(0). Is t smaller than 2?
False
Let h = 130 - 131. Which is smaller: 0 or h?
h
Let x = -55231/246 + 449/2. Are x and 1 unequal?
True
Let u(w) = -w**2 - 32*w - 62. Let x be u(-30). Let k be ((-122)/(-18))/(2/(-24)). Let h = -82 - k. Which is greater: x or h?
h
Let i = 2612/17147 - -2/1319. Is 6 greater than i?
True
Let m = -2 - -2. Let o = m + -0.1. Let n = o - -0.1. Which is bigger: 1/3 or n?
1/3
Let d(a) = a**2 + 3*a + 1. Let t be d(-3). Is t > 1/10?
True
Let v = -23 - -27. Which is greater: 1 or v?
v
Let z(v) = 6*v**2 - 4*v**3 + 2*v**3 + 3*v**3 + 3 - 5*v. Let c be z(-6). Let l = c - 65/2. Is -6 <= l?
True
Let x = 20 + -9. Let t = 21/2 - x. Does t = -2?
False
Let l be 4 + -2 - (9 - 6). Are -20/23 and l unequal?
True
Let n be -2*(0 + -1) - 0. Suppose 0 = -n*h - 1 + 3. Suppose -2 + 5 = -4*j + 3*t, -5*j = 4*t - 4. Is h at least as big as j?
True
Let l = -6 + 9. Let g = -4 + l. Let s = -0.3 - -0.2. Is g smaller than s?
True
Suppose -5*f - 2*p - 3 = 39, 4*f + 36 = -p. Which is smaller: f or -13?
-13
Let u = -164542767/25 + 6583599. Let b = 1888 - u. Let a = 107/100 + b. Is 0 smaller than a?
True
Let f be ((-2)/(-7))/((-33)/(-7)). Let t = 1482/11 - 134. Let d = t - f. Which is smaller: 2 or d?
d
Suppose -4*d - 10 - 2 = 4*b, 7 = -5*b - d. Let c be (-15)/18 - b/3. Is c bigger than 4?
False
Let h be (4/18)/((-120)/802). Let x = 2/135 - h. Is x less than 2?
True
Let k = 31 + -164/5. Let q(v) = -v**3 - 4*v**2 + 16*v + 21. Let f be q(-6). Which is smaller: k or f?
f
Let d be 0 - 0 - 1/1. Let r(x) = -2*x. Let z be r(-2). Let n = z - 5. Is n equal to d?
True
Let y = 1 - -1. Suppose 3*b + 17 = 4*k, 3*b - 2*k + y + 5 = 0. Which is smaller: 4/3 or b?
b
Let i(j) = -2*j**3 - 2*j**2 + 3*j + 2. Let l be i(-3). Is l bigger than 29?
False
Let z be ((-21)/14)/((-3)/2). Which is bigger: 1/12 or z?
z
Let i = 55 + -82. Is i >= -28?
True
Suppose -6*i = -i - 20. Suppose -i*n = n + 15. Which is bigger: -2 or n?
-2
Let r = -22 + 23. Is -0.103 greater than r?
False
Suppose -b + 6*b + 4*i = 20, -2*b - 2*i + 8 = 0. Suppose 0 = -3*n, -b*a - 3*n + 0*n = -12. Let x = -1 + a. Which is bigger: 0 or x?
x
Suppose y = -0*y. Let z(b) = -b**3 - 8*b**2 + 9*b + 2. Let c be z(-9). Let j be (6 + -4)*c/32. Which is greater: j or y?
j
Let m = -8 - -4. Let p be (-2)/4 + (-18)/4. Which is greater: m or p?
m
Let j = -6.06 - -6. Let p = 0.06 + j. Let c = -1 - 1. Which is smaller: p or c?
c
Let r be 26/10 + 2/5. Suppose 4*q = -r - 1. Let i be 4/(-14)*(-1 - -3). Which is bigger: i or q?
i
Suppose -11 = -6*j + 7. Which is greater: 2 or j?
j
Let z = 0 - 0.05. Let s = 0.27 - 0.32. Let f = z + s. Which is bigger: -3 or f?
f
Suppose 2*f - 4 = -0*f. Let k = -46 - -46. Suppose -x = -k*x - f. Which is smaller: 2/3 or x?
2/3
Let n = 4.2 - -50.8. Is n >= 1/4?
True
Let z be (-354)/(-14) + 4/(-14). Which is bigger: z or 24?
z
Suppose 5*p - 17 = -7. Suppose -6 + 16 = -p*u - 3*f, 2*f = 4*u - 12. Which is smaller: u or 0.1?
0.1
Let v = 152 - 118. Is v not equal to 35?
True
Suppose 5*y + 18 - 4 = -3*n, -4*n = -5*y + 7. Let z = n + 4. Suppose -l = -0 - z. Which is bigger: l or -2?
l
Suppose 3*x = 2*x - 5. Are x and -36/7 nonequal?
True
Let d(q) = q**3 - 4*q**2. Let f be d(2). Which is greater: f or -1?
-1
Let q = 1.01 + -0.01. Let t = -7 + q. Is t smaller than -2/5?
True
Let s be (-2)/6*(-4 - -2). Which is smaller: 2 or s?
s
Let p(l) = l**3 + 0*l - 4 + 2*l + 4*l**2 - 3*l. Let m be p(-4). Let r = -1 - m. Are r and 4 non-equal?
True
Let j = 0 - 0. Let m be (-39)/130 - 12/(-15). Which is bigger: m or j?
m
Suppose 2*z + 10 - 70 = 0. Is z <= 29?
False
Let h = -27 + 16. Let j = 11 + h. Are j and 0 equal?
True
Let y = 28 - 33. Is -6 smaller than y?
True
Suppose -2*k + 6 = 3*h - 4, -4*h - 15 = -3*k. Suppose 0*s - 5*s = 5*v + 50, h = 2*v - 3*s. Which is smaller: -3 or v?
v
Let l = 1 + -10. Let t = -9 - l. Let p be 0*-1*3/(-6). Is t < p?
False
Let r(q) = -q + 7. Let f be r(7). Let j = f + -2. Which is smaller: -3 or j?
-3
Let m = -8.48 + -0.62. Let d = m - -9. Is -6 > d?
False
Let p = -22 + 108/5. Let a = -2.2 + 0.2. Let g = a + 2.4. Which is greater: p or g?
g
Let b(t) = -3*t - 22. Let g be b(-7). Is -12/7 != g?
True
Let a = 4 + -6. Let h be -6*((-3)/a)/(-1). Let r be (3/(-2))/(h/(-12)). Which is bigger: r or -1/4?
r
Let v = 0.11 - -0.09. Are -5/3 and v equal?
False
Let p be 6/2 - (3 - 5). Suppose 0 = p*r - 0 + 5. Is r less than or equal to 4/13?
True
Let p = 61/69 - 5/23. Which is smaller: p or 0.1?
0.1
Let q = -22.17 + 22. Let w = 0.83 - q. Are -11 and w non-equal?
True
Suppose 4*z = 5*z + 1. Which is bigger: -10/9 or z?
z
Let z(n) = n**2 + 8*n - 13. Let p be z(-9). Let f = p - -2. Is f at least -4/5?
False
Suppose 2*f = 4*k - 40, -3*f + 3*k - 4*k - 25 = 0. Suppose 0 = 2*c, -3*d - 30 = -2*c - 0*c. Is d greater than or equal to f?
True
Suppose 5*u + 150 = 4*h - 140, 4*h - 232 = 4*u. Let n = u + 109/2. Which is greater: n or -4?
n
Let b be 4 - -1*(1 + -2). Suppose -1 = i + b. Which is smaller: i or -1?
i
Let n(c) = -c - 13. Let x be n(-11). Let t be (-3 - x) + (-7)/(-14). Is 2/9 bigger than t?
True
Let a be 1 - 0 - (-6 + 2). Suppose -t + 5*t + 12 = -5*v, 3*v - 2*t = 6. Is v greater than a?
False
Suppose u = 0, -2*v + 4*v - 2 = -4*u. Let k be 12/(-10) - (0 + -1). Which is greater: k or v?
v
Let w(i) = -i**2 - 4*i + 6. Let t be w(-5). Which is greater: 2 or t?
2
Let b(f) = -f**2 + 3*f - 1. Let p be b(2). Which is greater: 4 or p?
4
Let j(s) = -s**3 + 5*s**2 - 4*s + 3. Suppose 3*w + 3*d - 27 = 0, -5*d + 13 = -0*w - 3*w. Let h be j(w). Let q be 5 - h - (1 - -1). Is q bigger than 2/11?
False
Let f = 45/8 - 479/88. Let m = 2 + 0. Suppose -m*d = 4 - 2. Is f greater than d?
True
Let u be 25/(-10)*(4 - 2). Is -5 at least u?
True
Let o = 1 + 0. Suppose -3*m + 7 + 15 = 5*b, -16 = -4*m - 4*b. Which is smaller: o or m?
m
Let c be 6/(-15) - 4/(-10). Suppose c*u = -4*u. Is -1 less than u?
True
Let j = 2.7 - 2.59. Let s = j + -3.11. Which is greater: s or 0?
0
Let d(n) = -n + 2. Let k be d(8). Let c(j) = j**2 + 2*j - 1. Let p be c(-2). Let z = -7 - p. Is k greater than z?
False
Suppose -3*r = l + 2*l - 12, 4*l = 2*r - 2. Let g be -1*l*(-8)/88. Which is greater: g or 0?
g
Suppose -80 = 10*z - 10. Are z and -4 equal?
False
Suppose 0 = -0*s + 5*s - 15. Suppose u + 20 = -4*u. Let n be (3/(-2))/(2/u). Is s equal to n?
True
Let b be (8/5)/((-6)/15). Let n be b/26 + 30/26. Is -6 >= n?
False
Let r(l) = -l**3 - 4*l**2 - 2. Let p(m) = -m**3 - 5*m**2 - 3. Suppose -5*h - 7 = 8. Let j(c) = h*r(c) + 2*p(c). Let d be j(-2). Is 0 greater than or equal to d?
True
Let k = 57/5 - 628/55. Are 1 and k unequal?
True
Let d(c) = -3*c**2 + 7*c + 1. Let k(r) = 2*r**2 - 3*r. Let j(i) = 3*d(i) + 5*k(i). Let s be j(-6). Suppose 0 = -4*m + q, -2*q = s*m - 5*q. Is m > 2?
False
Let h(v) = -v**3 - 10*v**2 - 9*v + 3. Let t be h(-9). Suppose -2 = -t*p + 1. Is p > 3/5?
True
Let r(o) = o**3 - 6*o**2 + 2*o - 2. Let z be r(6). Let x be (63/(-35))/((-3)/z). Which is greater: x or 7?
7
Suppose 2*a = -3*a + 5. Let j be 8/4 + a*-3. Let h be 1*(1 - -1)/(-6). Does j = h?
False
Suppose 6*b - 2 = 5*b. Let k be (3/(-5))/((-1)/5). Which is bigger: b or k?
k
Suppose 5*r + 0*r + 20 = 0. Let n