n-equal?
True
Let q = -11 + 11. Suppose s + 3 - 2 = q. Suppose 5*b + 5 = 5*l, l - 3 = -1. Which is smaller: s or b?
s
Suppose 3 = o + 5. Let n be ((-2)/(-5))/(12/(-15)). Is o greater than or equal to n?
False
Let k = 1.01 + -0.01. Is -4 not equal to k?
True
Let o = -19 - -26. Which is greater: -6 or o?
o
Let l be 3 - 2 - 1034692/7. Let u = 147335 + l. Let f = u + 478. Is 0 < f?
True
Suppose -3*h + 4*m = -77, 0*m + 1 = m. Suppose 4*d - d = -h. Is -9 < d?
False
Let t(j) = -j**2 - j + 8. Let p be t(0). Let u = -15 + p. Does -7 = u?
True
Suppose v + 19 = 5*m, 4*m = -v - 1 + 9. Let b = m - 4. Is -5 greater than or equal to b?
False
Let r = -9.5 - 0.5. Let q = 8 + r. Which is smaller: 2/7 or q?
q
Let k be 2*(285/(-130) + 2). Are k and -1 equal?
False
Suppose -1 + 4 = -3*a. Do a and 12/11 have the same value?
False
Let o = -0.235 - 1.785. Let d = o + 2. Does 0.2 = d?
False
Let a(k) = k**2 + 0*k + 3*k - 6*k. Suppose 1 + 7 = 2*m. Let b be a(m). Are b and 4 unequal?
False
Let a be (2 - 5)/219*2. Which is smaller: 0 or a?
a
Let w = -15 - -11. Let k = 34/9 + w. Is 0 less than k?
False
Let r be ((-3)/(-2) + -1)*0. Suppose 3*s - 4 = 2*d + 10, 0 = -4*s + 16. Which is greater: d or r?
r
Let z = -0.39 - 0.01. Let q = z + 0.7. Let u = 2 - 2.1. Is u != q?
True
Let b be (-72)/105 - ((-12)/(-20) + -1). Let l(z) = z**3 - 3*z**2 + 2*z - 2. Let k be l(3). Suppose -k*t = t - 5. Is t at least as big as b?
True
Suppose w + 54 = 3*g, -6*g + 90 = -g - 2*w. Which is greater: 21 or g?
21
Suppose 0*a = -3*a + 9. Suppose 3*f + 0 = -a. Which is smaller: f or -2/5?
f
Suppose -z = -0*z - 119. Suppose 4*d = 3*v - 288, -3*v - z = 5*d + 214. Let r = d - -209/3. Is -2 smaller than r?
True
Let k = -6 - -4. Let d = -6 + 2. Let b be (7 - 6) + d/6. Is b equal to k?
False
Let m = -14.4 - -16. Let f = m - 1.59. Which is smaller: f or 0.1?
f
Let x = -5826/25 - -233. Which is bigger: 0 or x?
0
Let q = 1 - 0.6. Let u = -2 - -1.4. Let f = q - u. Which is smaller: -1/3 or f?
-1/3
Let c be 6 + 9/(36/(-8)). Suppose 3*w - 13 = 5*n, 0 = -w - 0*n - 4*n - 7. Suppose w = j - 0*j. Which is greater: j or c?
c
Let a(m) = -m**3 + 11*m**2 + m - 11. Let k be a(11). Which is bigger: k or -3?
k
Let v = 3 + -11. Let x(t) = 2*t**2 - 30*t - 8. Let f be x(15). Is f >= v?
True
Let m be 3/(-6)*22/(-3). Suppose 2*c + 5 - 11 = 0. Does c = m?
False
Let d = -1 + 1. Let a = 12/7 - -25/14. Let l = a + -3. Is l bigger than d?
True
Let p be (-35)/14 - 2/8. Is p less than -4?
False
Let p = 2 + -1. Suppose i + 0*s - s - 1 = 0, 3*s = 2*i - p. Do 1 and i have different values?
True
Suppose -3*h - g = 3, 0 = 5*h - 4*g + 3*g - 3. Let q be (-1)/4 - (-3)/(-4). Is h < q?
False
Suppose 0 = -3*f - 0*f. Let l = -49/24 + 15/8. Is l at most f?
True
Let l = 673/3010 + -2/215. Is -1 less than l?
True
Let d = -8 + 16. Let v be (2 - (d - 3)) + 5. Suppose 3*z + 3*c - v*c - 8 = 0, 3*z - 4*c = -2. Is z equal to -1/3?
False
Let g = -2 + 4. Suppose g*p - 7 = 15. Let l = -9 + p. Is 3 <= l?
False
Let l be ((-672)/(-1))/1 - 2. Suppose 2*g = 3*g + 5*x + 113, 4*x = -5*g - l. Let y = g + 964/7. Are y and 2/3 nonequal?
True
Suppose 4*v + 12 + 16 = 0. Suppose 4*y + 5 = 3*y. Which is greater: y or v?
y
Suppose 1 = -0*d + d + 2*c, 3*c = -3*d + 12. Suppose 5*v - d + 27 = 0. Which is greater: v or -5?
v
Let k(h) = -h - 8. Let r(f) = -f - 1. Let v(y) = -k(y) + 2*r(y). Let l be v(7). Let n be 9/60 + l/(-4). Is n at least 1?
False
Let j = -3.6 + 4. Let c = -1.03 + 0.03. Which is smaller: c or j?
c
Suppose 2*y = 5*h - 18, 0 = -4*y - 5*h + 3 + 21. Suppose 5 - y = -l. Are -4 and l nonequal?
False
Let s(z) = -z**2 - 2*z + 2*z - 2*z. Let j be s(-4). Let c be ((-1)/j)/(2/4). Do c and 2/11 have the same value?
False
Let q be 2 - -2*8/(-12). Which is greater: q or 1/4?
q
Suppose -15 = -3*v - m, 4*v + m - 1 = 19. Suppose -v*a - 5 = -0. Let q be 1*a - 24/(-21). Which is greater: q or -1?
q
Let z = 6.9 - 7. Does 2/19 = z?
False
Let y = 42 + -27. Is y not equal to 15?
False
Let t(u) = u**3 + 6*u**2 + 7*u + 6. Let a be t(-5). Suppose 4*m + 12 = -0*m. Which is smaller: a or m?
a
Let d(p) = -p**2 - 4*p + 5. Let y be d(-5). Suppose -3*k + y = -3*l + 6, -2*l - k = -1. Is 1 less than l?
False
Let w = -1 - 0. Which is bigger: -3/11 or w?
-3/11
Let y = -19 - -24. Suppose -4*k + 0 = -y*n - 6, 4*k - 18 = -n. Does 3 = k?
False
Let n = 3 - -6. Which is smaller: n or 7?
7
Suppose 2 = -i - 0*i. Let w be 6/(1/(-1)) - -2. Let c be w/i + -1 - 2. Is c at most -1/3?
True
Let o be -1*(0 + 1*-1). Let f = 9 - 0. Suppose 0 = -4*d + f + 11. Is o > d?
False
Let l = -22/35 + 3/7. Let t(j) = -3 - j - 1 + 0. Let z be t(-4). Which is smaller: z or l?
l
Suppose -l + 35 = 6*l. Suppose -l*p - 6 - 14 = 0. Is p > -14/3?
True
Let g = -2/1889 - -3852/69893. Do 0 and g have the same value?
False
Let h be (1 + 5)/(-2) - -2. Let y(t) = 0*t + 2*t + 2 - t + 0*t. Let a be y(-4). Which is smaller: a or h?
a
Let f(z) = z**3 - z**2 - 21. Let d be f(0). Is -22 smaller than d?
True
Let b = -0.42 + 0.02. Let m = 0.6 - b. Let i be 1 - 1 - 8/(-20). Is m at most i?
False
Suppose -i + 5 = 4*i. Suppose -i = 5*v + 29. Let o = v - -5. Is 2/5 <= o?
False
Let i(c) = c**3 + 3*c**2 - 4. Let a be i(-3). Suppose 44 = -5*k - 1. Let v = k - -6. Which is smaller: v or a?
a
Let l be (8/24)/(2/42). Is 6 > l?
False
Let r = -8 - -4. Let a(t) = 4*t**2 - t + 1. Let w be a(1). Let n be (-1)/w + (-1)/r. Which is bigger: -2 or n?
n
Let g be -1 + -3 - (2 + -6). Which is smaller: g or -3?
-3
Let o = -6.18 - -0.58. Let r = o - -6. Let h = r + 0.6. Is 0.1 >= h?
False
Let w = 3328/9 + -370. Let d = -2/167 + -161/501. Which is smaller: d or w?
d
Let u = -7 - 0. Are -2 and u nonequal?
True
Let x(s) = -s**3 - 5*s**2 - 5*s - 4. Let v be x(-4). Let z be 4/(-3)*(-9)/66. Which is bigger: v or z?
z
Let v(d) = -2*d + d + 4*d - 2*d. Let p be v(-1). Is p greater than 2/7?
False
Let r = -1 - -2. Let n = 0 + r. Let s = n - 0. Which is bigger: s or 1/4?
s
Let j = -15 - -31. Suppose 7*h + 7 = 4*n + 4*h, -3*n + 3 = -3*h. Suppose -j = -3*o - 2*f, 4*o + n*f - 26 = -f. Does 3 = o?
False
Let t(n) = n**2 + 7*n - 8. Let p be t(-7). Let m = 1 + p. Which is smaller: 3 or m?
m
Suppose 3*h + r = -2*r + 36, 5*h - 5*r - 10 = 0. Let p = h - 5. Is 2 equal to p?
True
Let u(s) = -29*s + 14. Let f be u(-5). Is 160 <= f?
False
Let o(c) = c**2 - 9*c - 17. Let r be o(10). Is r < -7?
False
Let n = 3/5 - 13/30. Is -2/13 <= n?
True
Let o(s) = s + 2. Let b be o(-2). Suppose -9*f = -10*f. Is f > b?
False
Let l = -7 - -7.1. Let x = -0.2 + l. Is -5 smaller than x?
True
Let n(x) = x**3 + x**2 - 4*x - 3. Let r be n(-2). Let y(m) be the first derivative of m**3/3 - m**2 + m - 3. Let b be y(r). Is 1/2 <= b?
False
Suppose -2*z + 85 = -5*n, 3*z + 4*n - 38 - 32 = 0. Suppose 3*h + 5*a = 71, 2*h - 12 - z = 2*a. Suppose 0 = -3*g - 4 + h. Which is greater: g or 5?
g
Let q be 1/(-2) + 34/4. Suppose 2 - q = -p + x, 0 = p - 3*x - 14. Let w = -5 + 8. Which is smaller: w or p?
p
Let h be (-24)/(-110) + 2/(-5). Suppose 4*p + 5*x + 14 + 1 = 0, 5*p + 3*x = -9. Which is smaller: h or p?
h
Let c = 0.9 + -1. Let b = -0.3 + 0.1. Let d = b - c. Do 2 and d have the same value?
False
Let u(i) be the first derivative of -i**2/2 - 2*i - 2. Let y be u(-2). Is y at least as big as 0.1?
False
Let k = -5 + 7. Let d(c) = 2*c**2 + 2*c**2 - 5*c - 3*c**k. Let z be d(5). Which is smaller: 6/11 or z?
z
Let f = 15 - 61/4. Suppose 4 - 3 = u + 3*o, 22 = 5*u - 2*o. Let p be (3 - 5)/(2 - u). Is p greater than or equal to f?
True
Let n = 8 + -14. Let z = n + 4. Suppose -5*d - 7 = -2. Which is bigger: z or d?
d
Let l be (-4)/(-14) + (-4)/14. Suppose 3*u - 5*o = 7*u, l = -u + 4*o. Is 0 greater than u?
False
Let j be (-4)/(-6)*(2 - -1). Suppose 3 = -k + 4. Do j and k have the same value?
False
Let n be 4/6 - (-365)/6. Let b = n + -63. Which is smaller: -3 or b?
-3
Let r be (-2 - -8)*(-3)/3. Let f be ((-2)/r)/((-26)/12). Suppose i + 1 = 2*i. Is i != f?
True
Let i(s) = 0 - s - 2 + 11. Let r be i(8). Let v be (-4)/2 - (-4 - 0). Which is smaller: v or r?
r
Suppose 3 + 27 = -2*q. Let l = -19 - q. Is -4 at least as big as l?
True
Let n be 26/12 + 3/(-18). Suppose -22 = -3*c - 5*m, n*c + 2*m + 0*m - 8 = 0. Do c and 0 have the same value?
False
Let p be -1 + 4 - (-3 + 4). Let b = -3 + 5. Are b and p equal?
True
Let l = 3 - -2. Suppose -l 