n-equal?
True
Let b = -519 - -14011/27. Suppose 7 = a - 2*a - 2*q, -4*a = q + 7. Is b smaller than a?
False
Let p(v) = -v**3 + v**2 + 5*v - 2. Let b be p(3). Let s be (466/(-4))/((-7)/b). Let w = -167/2 - s. Which is smaller: w or 0.2?
w
Let u = 23/124 + 2/31. Is -0.4 <= u?
True
Let d = -140 - -140. Which is smaller: d or 5.6?
d
Let i(k) = k**3 - 11*k**2 + 2*k - 10. Let j be i(11). Which is bigger: j or 11?
j
Let p = -370557203/364 - -1018015. Let n = p + 4/91. Which is greater: n or 0?
n
Let m be (-8)/5*20/4. Let r = -7 - m. Let l be (1 + -3)*3/(-6). Is r greater than l?
False
Suppose 0*v - v = -5. Suppose 0 = -v*m - 3*u - 4, 4*m + 6*u - 3*u + 2 = 0. Suppose 5*a = -20, 4*a + 5 + 13 = -2*s. Which is smaller: s or m?
m
Let i = -63713/74 + 861. Which is smaller: i or 1?
i
Let o(a) = -a + 9. Let j be o(10). Which is bigger: -2/27 or j?
-2/27
Suppose 3*t - l + 8 + 3 = 0, -4*l - 4 = 0. Let a be (-3)/135 + 7/(-35). Do a and t have the same value?
False
Suppose 2*j = 2*y - 0*y, 5*j = y - 4. Let v(c) = c**2 + 6*c + 3. Let s be v(-5). Which is smaller: s or j?
s
Let n = 6 + -4. Let z = n + -1. Let j be (-1)/(1*2/(-2)). Is j at least as big as z?
True
Let n = -7 + 7. Which is greater: -1/46 or n?
n
Let n be 3*(16/6)/(-2). Let h be 1/(-3)*(-18)/n. Let r be -3 - (-2 + 15/(-20)). Is h not equal to r?
True
Let k = -2.107 + 0.007. Let h = k - -1.1. Is 3 smaller than h?
False
Suppose 0 = -3*l + 5*m - 49, 18 = -3*l - 2*m - 17. Do l and -12 have the same value?
False
Suppose w - 5 + 7 = 0. Which is greater: -13 or w?
w
Let a(l) = -l**2 + l + 2. Let u be (1/3)/(1/9). Let v be a(u). Which is greater: -7/2 or v?
-7/2
Let g = -1.6 - -2.6. Is 5 at most as big as g?
False
Let z(i) = -i**2 + 3*i + 3. Let q be z(3). Let c be 12/54 - (-20)/(-9). Which is greater: q or c?
q
Let m = 31/100 + -3/50. Let b(l) = -l**2 - 4*l. Let p be b(-4). Let g be -1 + p - 6/(-6). Do g and m have the same value?
False
Let k be 2/(0 - 2) - -6. Suppose -k*f + f = 0. Let r be (1 + 0)*3/6. Which is smaller: f or r?
f
Suppose 3*p + 2*h = -p + 12, -h - 3 = -p. Suppose b - 1 = 5*c, 0 = b + p*b + 2*c - 4. Is 1 greater than b?
False
Let a be ((-18)/10)/((-6)/20). Let v = -16 + a. Is v <= -10?
True
Let l be (4/6)/((-9)/((-540)/8)). Are 7 and l equal?
False
Let n be 4/(-10) + 24/10. Suppose 0 = -z + n + 3. Suppose -4*x + 2*q + 14 = 0, z*q = -3*x + 9*q + 23. Which is greater: 0 or x?
x
Let t(h) = -2*h**3 - 3*h**2. Let w be t(-2). Is w < -4?
False
Let t be -2*5/(625/(-10)). Which is greater: t or 0?
t
Let v be (4 - (-1 - -3)) + -6. Let f be (-12)/4 - 2*v. Is f < 5?
False
Let c be 15/28 - (-2)/(-8). Suppose -a + 8 = a. Let o = a + -5. Is o <= c?
True
Let j = -71/171 - -10/19. Let y be (-4)/24*2*3. Which is smaller: j or y?
y
Let r be 140/(-825) + 1/3. Let s = 4/11 - r. Is s != 1?
True
Suppose 2*a = 4*b - 8, 2*b - a - 4 = 4*a. Which is smaller: 12/19 or b?
12/19
Let u = 19 + -27. Do u and -7 have different values?
True
Let j = -12 + 12. Let o = 0 - 1. Are o and j equal?
False
Let h = -0.1 - -0.6. Let k = 3.12 + -3. Let d = -1.12 + k. Which is bigger: d or h?
h
Let u(g) = -14*g**3 + 2*g**2 + 2*g + 1. Let z be u(-1). Let o be (-3)/(-15)*z/6. Which is smaller: o or 1?
o
Let d(n) = n**3 - 4*n**2 - 3*n - 3. Let b be d(5). Let g = 7 - b. Are -1/4 and g non-equal?
True
Let x = -6 - -21/4. Do x and 0 have different values?
True
Suppose -13 = -y + 3*w, -w - 11 = -2*y + 2*w. Let g be (y - -4) + (-34)/16. Which is smaller: 1 or g?
g
Let t be 2/(-1 + 24/21). Are t and 14 unequal?
False
Let a = 0.1 + 0.1. Let m = 29 + -205/7. Which is greater: m or a?
a
Let f = 1 + 1. Suppose 0*q + 3*q + 10 = -5*r, 3*q + 13 = -f*r. Is r != 1?
False
Let y = -0.01 - 0.69. Is y greater than -1?
True
Let u(y) = -y**3 + 6*y**2 - 3*y - 7. Let j be u(5). Suppose -o = 4*o - 4*n - 4, -3 = -3*o + j*n. Let a be (-1 - o)/(1/4). Is -4 at least a?
True
Let p be ((-2)/5)/(14/10). Which is greater: p or 0.3?
0.3
Let x = 14 + -14. Let k be 14/35*1*-5. Let t be ((-4)/8)/((-3)/k). Is x <= t?
False
Suppose -3*v + 2*v = -4. Let q be ((-3)/v)/(36/32). Which is smaller: q or -1?
-1
Suppose 0 = 2*c + 7 + 3. Is -4 smaller than c?
False
Let r be -3 - -194*2/132. Let o = 13/33 + r. Let q(s) = 2*s - 1. Let g be q(1). Which is greater: o or g?
g
Let f(q) = q**3 - 2*q**2 - 2*q - 3. Let a be f(3). Which is bigger: -1/8 or a?
a
Let g = 11 - 8. Suppose -g*h = -1 - 2. Suppose -4*d + 2 = -2. Are h and d unequal?
False
Let z = -0.1 - 0.9. Let x = -1 - z. Let d(v) = v**3 + 2*v**2 - 3*v. Let w be d(-3). Is w < x?
False
Let a(v) = v**2 + v + 1. Let i be a(-4). Suppose -i = -5*z + 12. Suppose 0 = -z*p + p. Which is greater: p or -1?
p
Suppose o = 5*s - 10, 5*o + 104 = s + 6. Which is smaller: -19 or o?
o
Suppose 10*l = 2*l - 104. Is -14 bigger than l?
False
Let d be (4 + -1)*(-1)/76. Let b = -4/19 + d. Let x be (-22)/33 - 10/(-6). Do b and x have different values?
True
Let a be 6/10 - (-3 + 472/120). Which is smaller: -0.86 or a?
-0.86
Let t(m) = -728*m**2 - 7*m - 6. Let c be t(6). Let i = 157097/6 + c. Let w = i - -74. Which is smaller: w or 2?
w
Let q be 0/((-9)/(4 - 1)). Suppose 0 = -0*s + s. Suppose 0 = -s*f - 2*f. Is q less than or equal to f?
True
Suppose 16*i = 11*i - 15. Let y be (-3)/(-2)*-1*2. Does y = i?
True
Suppose 7*j - 5 = 2*j. Let p(n) = 2*n**2 - 2*n + 2. Let y be p(2). Let c = y + -6. Is j equal to c?
False
Suppose 2*f + 3 = 5*f. Is 3/14 not equal to f?
True
Suppose -4*y + 14 + 294 = -p, 0 = 2*y + 10. Let s = -1973/6 - p. Which is greater: s or -2?
s
Let g = -6 - -5.94. Let j = g - 0.04. Which is smaller: j or -2/7?
-2/7
Let v(l) = 14*l - 17. Let m be v(4). Is 0 bigger than m?
False
Let a = 4 - -1. Suppose 2 = a*x + 7. Which is smaller: x or -1/12?
x
Let h be (-4)/2*6/24. Suppose 5*c - 4*c + 10 = 2*g, 0 = -4*c - 4*g + 8. Which is smaller: c or h?
c
Let u = -0.69 + 2.99. Which is greater: -0.2 or u?
u
Let x = 195/2 + -682/7. Let z = -2 + 3. Is x smaller than z?
True
Let q = 0 - 8. Let i = 7 + q. Let x = i - -4. Are 2 and x unequal?
True
Suppose -r = 2*o - 6, 9 = 3*o - 2*r - 0. Is o greater than or equal to 5/3?
True
Suppose 2*v = -2*a - 4, 7*v - 3*v = a - 18. Is v > -5?
True
Let p(y) = y**2 - 8*y + 5. Let s be p(6). Is s != -3/2?
True
Let b = 3545/7 + -505. Is 2 < b?
False
Suppose q = -z - 4, 4*z - q - 7 = 8*z. Which is smaller: -0.08 or z?
z
Let r be (2 - (-1 + 38)) + 3. Suppose 4 - 1 = 3*h. Let w be h/3 + r/24. Which is smaller: w or -1/6?
w
Let d = -6 + 5. Let i be (d/12)/(4/8). Let x be 0 + (0/(-1) - -1). Which is smaller: i or x?
i
Let u(z) = -2*z**2 + 2*z - 4. Let p be u(0). Is -3 at least as big as p?
True
Let a = 4.1 - -0.9. Let f = 5.1 - a. Is f at least -4?
True
Suppose 0 = u + 5, -u - 97 = -2*h - 0*u. Let a = 89/2 - h. Does a = -1?
False
Let b = 13 + -13. Is b less than 0.1?
True
Let l = -13 - -8. Let n(q) = q - 6. Let i be n(9). Let p be 2*i/12*-10. Is l at most p?
True
Let f = 0.39 - 0.19. Is f greater than 2/5?
False
Let u = 2 - 9. Let n be 2/u + (-310)/(-7). Suppose -4*l - 26 = 2*r, -5*l = 2*r + n - 13. Are -3 and r unequal?
False
Let b = -0.3 + 0.2. Let k = -1.54 - -0.24. Let n = -1.3 - k. Is n greater than or equal to b?
True
Let b = -17671/188 - -94. Let g = b - 757/940. Is g not equal to -0.1?
True
Suppose -2*z + m = 10, -8 = 4*z - 0*m + m. Let y be 1 - (2 + z + 2). Let u be 2 - (-4)/22 - 2. Which is greater: y or u?
u
Let m = -2 - -3. Is 4 <= m?
False
Let b = -1790 - -1781.09. Let m = 9 + b. Let r = m - 0.07. Is 0.1 greater than or equal to r?
True
Let h(y) = 4*y - y - 3 - y - y**2 + y. Let v be h(2). Is v at least as big as -3?
True
Suppose 5*c + 4*a = -13, 3*a - 3 - 26 = 4*c. Is 1/5 bigger than c?
True
Let t be (-5)/(-340)*(-148)/10. Let d = 2/17 + t. Which is smaller: -1 or d?
-1
Let d be ((-976470)/42)/((-2)/(-2)). Let s = d - -23288. Let z = 39 - s. Which is greater: -0.1 or z?
z
Let o be 3/(-7) + 312/91 + -3. Does o = -2/5?
False
Let n = 92 + -82. Which is greater: 11 or n?
11
Let d(o) = o**2 - 7*o + 11. Let v be d(6). Which is smaller: 0 or v?
0
Let d be (-3)/9 - 14/(-6). Let u(x) = -4*x - 9. Let j be u(-3). Which is smaller: j or d?
d
Let o be (0 - -2)*-1*(-11)/(-55). Which is greater: 0.04 or o?
0.04
Let c = 2 + -2. Let w = 4 + -4.1. Let s = c + w. Which is bigger: s or -0.3?
s
Suppose -4 = o - 3*g + 1, 0 = o + 4*g - 16. Su