 Are i and n equal?
False
Let l be (2 + (-6)/2)/(-4). Suppose -6*z = 1 + 5. Which is greater: l or z?
l
Let b be 6/(-2) + 2 + 2. Let m = -2/125 - -397/1375. Are b and m nonequal?
True
Let f be (-55)/(-50) - ((-1 - -2) + 0). Suppose 0 = -0*x - 4*x. Is f less than x?
False
Let p(v) = -2*v + 1. Let w(o) = -8*o + 6. Let d(i) = 7*i - 5. Let k(h) = 5*d(h) + 4*w(h). Let t(l) = -5*k(l) - 7*p(l). Let u be t(-3). Is -2/5 at least u?
False
Let b = -4 + 7. Let r = 3 - b. Let d = r - 2. Do d and -2 have the same value?
True
Let t = 11.1 + -11. Which is smaller: 2.6 or t?
t
Let n(z) = -z + 4. Let q be n(6). Let k be 36/165*(-5)/q. Which is bigger: k or 0?
k
Let h(m) = -3*m**2 - 7*m + 9. Let r be h(-4). Which is smaller: -10 or r?
r
Let y = -38/13 + 88/39. Is 0.5 at least y?
True
Let m = -6 - -4. Let w = m + 3. Let y be ((-2)/(-8))/(3/(-4)). Is y at least w?
False
Let r(f) be the third derivative of f**6/120 + f**5/10 - f**4/3 - f**3 - 3*f**2. Let m be r(-7). Are m and 0 nonequal?
True
Let h(x) = -x**3 + 10*x**2 + 13*x - 14. Suppose -3*i - 5*y = -58, i - y + 4 = 2*y. Let s be h(i). Suppose d + 1 = 2*g - 2*d, -5*g = -2*d - s. Is g less than 2?
False
Suppose 5*n + 35 + 195 = 0. Which is greater: n or -45?
-45
Let x be (0 - -2) + -6 + 3. Which is smaller: 1/16 or x?
x
Suppose 3*p + 19 = 2*r, 7 = -5*r + r - 3*p. Let n = -4.9 + 1.8. Let k = n - -5.1. Is k greater than or equal to r?
True
Let j(h) = -h + 4. Let o be j(3). Suppose -o = -a + 1. Suppose 0 = s + 4, 5*t + 2*s + a*s + 21 = 0. Are t and -1 equal?
True
Let k(d) = -8*d + 1. Let p be k(-3). Let f = 27 - p. Is -7 less than or equal to f?
True
Let g(f) = -f**2 - 4*f + 6. Let o(v) = v**3 - 5. Let j be o(0). Let z be g(j). Is z less than 2/3?
False
Suppose -2*l = -5*q - 95, 3*l = -l. Is -23 < q?
True
Suppose -4*f + 3*j - 6*j = 14, -3*j = -2*f - 16. Is f equal to -45/8?
False
Let m = -1.5 + 10.5. Let f = -9 + m. Which is smaller: -0.1 or f?
-0.1
Let n = -97 + 126. Is 30 at least as big as n?
True
Let g(h) = 5*h**2 + 2*h + 10. Let a(r) = -14*r**2 - 5*r - 29. Let x(t) = 6*a(t) + 17*g(t). Let b be x(-5). Which is bigger: b or 0.1?
b
Let f be 5/(-5)*(1 - 2). Let r be ((-1)/6)/(6/9). Which is smaller: f or r?
r
Let p be 2/(-5) - (-28)/(-5). Let i be 1/p*8/(-6). Which is smaller: 0 or i?
0
Let b(c) = -3*c**2 - 8*c + 8. Let u(t) = 8*t**2 + 25*t - 23. Let h(j) = 11*b(j) + 4*u(j). Let v be h(12). Are v and -4 unequal?
False
Let h(x) = -x - 5. Let m be h(-4). Let o be 52/(-234) - (-34)/(-9). Is o not equal to m?
True
Let d = 0.03 - 0.13. Let l = -12 + 17. Let f = -7 + l. Is f greater than or equal to d?
False
Let h = 1 + -5. Let c be 1 + h - 104/(-32). Which is bigger: -2/3 or c?
c
Suppose 0*y - 16 = -4*y. Suppose -5*m = -m - y. Is m less than -1?
False
Suppose 2*h = -4*q - 2, -q + 5*q - 2 = 2*h. Which is bigger: -2/87 or q?
q
Let o = 469/85 - 27/5. Is 0 bigger than o?
False
Let v = -4.92 - 0.08. Let q = v - -14. Let r = -3 + q. Which is smaller: r or 2/5?
2/5
Suppose 2*a = 3*n - 19 + 4, -4*a - 9 = n. Suppose -f + 10 = -11. Suppose -k = -4*p - 11, -5*p - 1 = -4*k + f. Is k > n?
False
Let a = 0.05 - 0.02. Let m = a - -0.07. Which is smaller: m or -4/7?
-4/7
Let a(p) = -p**3 + 11*p**2 + p - 7. Let y be a(11). Let f = 11 - y. Which is greater: f or 2?
f
Let x(f) = f**2 + 5*f + 5. Let a(d) = d**3 - 6*d**2 - 8*d + 3. Let g be a(7). Let w be x(g). Which is bigger: w or 5/3?
5/3
Let i be ((-2)/1 - (-48)/14) + -2. Which is bigger: 0.1 or i?
0.1
Let l = 7 + 1. Let n be (366/(-30))/(l/10). Let j = 15 + n. Which is bigger: 1 or j?
1
Let v = -5 + 4. Let o = 4/31 + 11/155. Is o at least v?
True
Let a be (-1)/2*(-2)/(-1). Is a <= -1/5?
True
Let i = 3.06 - 0.06. Are i and 3 equal?
True
Suppose b - s - 4 = 0, -1 = 5*b + 5*s - 11. Let j be (-22)/b*(-4 + 7). Do -22 and j have the same value?
True
Let q = -21 - -38. Is q bigger than 17?
False
Let r be ((-6)/(-8))/(3/(-36)). Let p be 38/r - -3 - -1. Are p and 0 nonequal?
True
Let s(c) = c**2 - 3*c + 10. Let r be s(-4). Is r equal to 39?
False
Suppose -5 = 3*a + 2*x, -5*a + 21 = -0*a - 4*x. Which is smaller: a or -1/5?
-1/5
Let r(m) = m + 11. Let x be r(-11). Suppose -o - o - 2 = x. Is o <= 1/16?
True
Let d = -9 - -9. Do d and -0.05 have the same value?
False
Let y be (-4)/10 - (-260)/275. Which is smaller: y or 2?
y
Let j be 4/(-6) + (-4)/(-6). Let p be 2 - (644/44)/7. Is p at most j?
True
Let u(f) = -f - 2. Let o(w) be the third derivative of w**4/24 + w**3/3 - 3*w**2. Let t be o(-7). Let k be u(t). Are k and 2 unequal?
True
Let v be 6/(-56) + 2/8. Let k = 8 - 11. Let c be k/(6/4) - -2. Is c bigger than v?
False
Let q(h) = -h**2 + h - 3. Let b(x) = x**3 + 6*x**2 + x + 6. Let y be b(-6). Let t = 0 - y. Let c be q(t). Which is greater: c or 2?
2
Let u = -16 + 18. Suppose 4*z = -u - 2. Suppose 3*s - 1 = -4. Is z less than or equal to s?
True
Let u = 6.97 + -7. Let s = u + -0.37. Let i = s - 1.6. Which is greater: -2/5 or i?
-2/5
Let t = 4/87 - 50/667. Let d be (76/46)/((-42)/(-8)). Let i = t + d. Is 0 < i?
True
Let i = -19/2 + 5. Which is smaller: -6 or i?
-6
Suppose 0 = -4*y + 5*r + 119, -5*r - 18 = -y + 8. Which is smaller: 2 or y?
2
Let g be -3*(0 + (-14)/6). Let p(o) = o**2 - 6*o - 8. Let z be p(g). Are 0 and z unequal?
True
Let j be -4 + (1435/(-63) - 4/18). Which is smaller: 2 or j?
j
Let q(n) = -n - 1. Let s = -5 - -9. Let c be q(s). Which is greater: -4 or c?
-4
Let m = 7 + -11. Let q = m - -2. Suppose 0 = 4*f + 5 + 3. Is q > f?
False
Suppose n = 2, 5*i - 2*n = -0*i + 61. Suppose 2*u - v - 7 - 5 = 0, -3*u - v = -i. Suppose -3 = -5*j - h, j + 3*h - u = 4. Which is bigger: 1/3 or j?
1/3
Let q be (-2)/3*(2 - 3). Is q > 1?
False
Let s be (-52)/336 + 1/4. Is 1 less than or equal to s?
False
Let p be 0 - 1/(-6)*2. Which is smaller: -1 or p?
-1
Let y = -37/3 + 12. Which is smaller: y or 0?
y
Let j be 3*((-2)/3)/1. Let c = -8/7 + 19/35. Is c > j?
True
Suppose 0*f + 5*f = 250. Are 51 and f nonequal?
True
Let o = -3 - -2. Let b be (o - -2)*3/(-33). Let r = -48 + 49. Which is bigger: r or b?
r
Let i = 25 + -50. Let a be -1*5/(i/4). Let l be 1/3 - 4/(-6). Are l and a non-equal?
True
Let l(r) = -3*r**3 + 2*r**2 - 1. Let w be l(-1). Let s be 3/(-2 - w)*2. Is s equal to 2/11?
False
Let v(q) = q**3 + 10*q**2 + 17*q + 9. Let m be v(-8). Is m > -5/36?
True
Let q = -0.093 + -1.907. Which is smaller: q or -1/3?
q
Let l be (-1 - 0)/(1/(-2)). Let s(j) = j**3 - 4*j**2 + 2*j + 2. Let u be s(l). Is u at most -5/3?
True
Let x = 6368/7 + -912. Which is bigger: x or -2?
-2
Suppose 0 = x - o - 9, 2*x - 16 = -0*o + o. Let k be ((-2)/x)/(9/42). Suppose 0 = 4*s - 2 + 10. Do k and s have the same value?
False
Let b(o) = -8 + 2*o - 3*o + 2*o. Suppose 6*k - 52 = -16. Let g be b(k). Which is bigger: g or -5/3?
-5/3
Let z = -4 + 7. Let t(o) = -z - 3*o**2 + 2*o**2 + 2 + o + o**3. Let p be t(1). Is p less than or equal to -1/3?
False
Let x be (-2)/(-16) + 6/(-24). Let s(k) = -k - 4. Let a be s(-3). Is x < a?
False
Let k be 11/(-44) - (-35)/44. Is k smaller than 1?
True
Let y = 0.07 + -1.07. Let z = 1.2 + y. Is z >= 1/2?
False
Let m = -1.3 + 0.3. Let f = -6 + 6.1. Let u = f - 0. Which is bigger: m or u?
u
Suppose 2 = s - 1. Let d be (-1)/3*s/1. Let j = -2 - d. Which is smaller: j or -2?
-2
Let w = 20 - 21. Which is greater: w or 1/11?
1/11
Suppose -28 = 5*w - 3*q, -2*w - 4*q + 4 = 10. Let f be (-42)/(-7)*1/(-2). Are w and f equal?
False
Let a be 0 + (3 - (4 - 2)). Let p = a - 4. Let t = p - -2. Are t and 2/5 nonequal?
True
Let d(j) = j**3 - 5*j**2 - 2*j. Let b be d(5). Let z = 4 + b. Is -3 smaller than z?
False
Let i(r) = r**2 - 6*r - 11. Let d(l) = l - 1. Let g(h) = 2*d(h) + i(h). Let s be g(6). Is s less than -1?
False
Let l = 1/808 - 1645/23432. Let t = -23/87 + l. Let w = -1 + 0. Which is greater: t or w?
t
Let w = 7 - 1. Let k = w + -6.2. Is k bigger than 0.4?
False
Suppose 18*g - 22*g = -3*t - 13, -3*g = -5*t - 29. Let n = -16/11 - -90/77. Is t != n?
True
Let o be (-2 - 0)*(-1)/8. Let t = 1 + 0. Is t bigger than o?
True
Let l = 6 - 6. Let u = 1025/7 + -147. Is l equal to u?
False
Let p(w) = -w**3 + 6*w**2 - 4*w - 2. Let c(t) = 5*t**3 - 31*t**2 + 20*t + 11. Let h(s) = -2*c(s) - 11*p(s). Let o be h(3). Do o and 5 have different values?
True
Suppose 4*o - 3*i = -o + 17, 4 = -i. Suppose t - o = -5. Is t bigger than -2