 f = 7 + 0. Suppose -3*a - 6 = 0, 4*a - f + 18 = -3*n. Is n not equal to 4/11?
True
Let i = 3170/19 - 387/76. Let u = -161 + i. Suppose 2 = -2*w + 4*v, 4*w - 3*v + 2*v + 4 = 0. Do w and u have different values?
True
Suppose 2*k - 9*k = 42. Let h(o) = -o**3 - 5*o**2 + 5*o - 1. Let b be h(k). Are b and 5 unequal?
False
Let h = -163/40 + 39/8. Suppose 3*t - 8 = t. Suppose -b - b = -t. Which is smaller: b or h?
h
Let s be (-3)/12 + (-13)/(-4). Suppose -p = -0*p - s. Suppose 0*i = -p*i. Is 0 equal to i?
True
Let z = -2.2 - -2.2. Is -29 less than or equal to z?
True
Let d be -3 - (16/(-5) + 1). Let f = -6/5 - d. Is f smaller than -1?
False
Suppose -3*n = -8*n. Let i = -4 - -3. Which is greater: i or n?
n
Let g(k) be the first derivative of -k**5/120 - k**4/3 - 2*k**3/3 + 1. Let c(b) be the third derivative of g(b). Let j be c(-9). Which is smaller: -1/5 or j?
-1/5
Let p(a) = 2*a**2 - a. Let c be p(1). Suppose 0 = -2*u + 3*u + c. Let h(r) = -r**2 - 2*r - 1. Let i be h(-2). Is i less than u?
False
Let z = 0.09 + -0.13. Let d = -107 + 104.96. Let r = d - z. Which is bigger: r or -1?
-1
Let k(n) = -n**3 + 12*n**2 - 3. Let m be k(12). Let d be 2/2 - (3 - -2). Which is bigger: m or d?
m
Let h = -9 + 3. Let v be 2/5 + h/(-10). Let k be ((-2)/(-10))/((-12)/15 + 1). Are k and v non-equal?
False
Let u be ((-262)/(-1))/(-2) + 0. Let i = -1705/13 - u. Which is smaller: -2 or i?
-2
Let q = -30/233 - 3105/3029. Which is smaller: -2 or q?
-2
Let k = 17/33 - 2/11. Let l = -0.93 - -0.03. Let f = l - -5.9. Is k at most as big as f?
True
Suppose 4*n = 8*n + 4. Which is greater: n or 3/8?
3/8
Let h be ((-15)/9 - -1) + (-50)/(-30). Is h <= 4/27?
False
Let a be (-12)/18 - 1/3. Let m be -2 + (2*a - -4). Let v(l) = -l**3. Let q be v(m). Which is bigger: q or 1/4?
1/4
Let n(g) = g**2 + 3*g. Let c be n(5). Let v = c - 29. Suppose 0 = 2*r - 3*m - 3 - 4, 4*m + v = r. Is -1 less than r?
False
Suppose 4*i + a - 41 = 0, 4*a = -2 + 6. Is i equal to 11?
False
Let i = -0.2 - -0.2. Let s = i + 3. Let g be (10 - 9)/((-2)/(-4)). Is g > s?
False
Let v = 1.1 - 0.9. Let d = v + 1.8. Which is greater: d or -1?
d
Let b be (8 - (20 + -4))*2/4. Let l be (-6)/3*(-10)/4. Suppose -16 = -r + l*r. Is r greater than or equal to b?
True
Let p = 130.1 - 130. Which is smaller: p or 1/3?
p
Let g be 8/33 + 1/(-3). Is g < 0?
True
Let j = 11 - 14. Is j at most -0.04?
True
Let m be (2 - 1 - 1)/(-1). Let r be 1 + (m - 1/1). Let g = 32 - 129/4. Is r equal to g?
False
Let f = -319 + 318.9. Suppose 2*h + 2 + 0 = -t, 4*t + h = 20. Let b be 8/t*(-9)/6. Which is bigger: b or f?
f
Let q(t) = t - 6. Let u be q(9). Suppose 14 = -u*a + 17. Let i(x) = x + 8. Let r be i(-6). Which is bigger: r or a?
r
Let g = 3 - 2.8. Let v = -1.1 + 1.1. Is v > g?
False
Let w = 2.2 - 1.6. Which is greater: w or 2?
2
Suppose 0*w + 24 = 2*w. Is 12 greater than w?
False
Suppose a + 3*a + 24 = 0. Let x = 1 + -3. Do x and a have different values?
True
Let o be -3 + 3 + 119/3. Suppose 147 = -4*s - 13. Let f = s + o. Is -2/19 less than or equal to f?
False
Let y = -5.73 - -5.7. Which is smaller: 0.5 or y?
y
Let j = 0.7 + -0.4. Is j at most as big as -1/3?
False
Let f be (-75)/50 + (-18)/(-4). Which is smaller: -23 or f?
-23
Let k(p) = p**3 - 3*p**2 - 2. Let x be k(3). Let z = -0.3 - -0.26. Let m = -2.04 - z. Is m less than or equal to x?
True
Suppose -5*j = 0, 3*z + 0*z + 4*j = -3. Which is smaller: z or -4/7?
z
Let r(h) = 4*h - 12. Let f be r(3). Let b be (-18)/8 + 1 + 1. Which is smaller: b or f?
b
Let s = 80.6 - 73. Let u = s - 8. Do 1/3 and u have the same value?
False
Let r = 10 + -6. Suppose 0 = -r*p - 1 - 23. Suppose 4*u + 14 = 2*u. Is u at most p?
True
Let u be (-2)/(-14) - 858/(-21). Do 198/5 and u have the same value?
False
Suppose -3 + 17 = q. Is 13 > q?
False
Let c be 1 + (-1 - (0 - 1)). Suppose -4*o - 2 = -2*u, 3 + c = -5*o + 3*u. Which is smaller: 2/5 or o?
2/5
Suppose 5*z = 2*v - 24 - 25, z + 4*v + 1 = 0. Which is smaller: -11 or z?
-11
Let b = 1/4 - -1/4. Let x = 8 + -6.8. Let o = 0.2 - x. Which is smaller: b or o?
o
Let w(l) = -l**3 + l**2 + 3*l - 3. Let b be w(2). Let c = 961/153 + -6678/1105. Let r = 1/65 - c. Is b >= r?
False
Let w be (16/(-6))/((-8)/(-12)). Are -14/5 and w unequal?
True
Let a(k) = -k + 12. Let z be a(10). Let g be (13/(-7) + z)*1. Which is greater: 1 or g?
1
Let w = -39 + 38. Is 3/28 smaller than w?
False
Suppose 4*r - 4*s - 32 = 2*r, -5*s = 3*r - 15. Let c be (28/(-35))/((-2)/r). Is 6 bigger than c?
True
Let y be 5*(5 - (-2044)/(-410)). Are y and 1 equal?
False
Let r(a) = -5*a - 2. Let x be r(2). Let n = x - -11. Which is smaller: -4/7 or n?
n
Suppose 4*f - 8 = -0. Let a be f/8 + (-13)/20. Which is greater: a or -0.1?
-0.1
Let i(m) = m + 7. Let t be i(-5). Suppose -4*j - 2*q - t = -7*q, 2*q = j + 2. Suppose c + j*g + 0 = 2, 5*c = -g + 10. Which is bigger: c or 4?
4
Suppose -2*d = 3*d + 110. Let f be d/26 + (-1 - -2). Which is smaller: f or 0.2?
f
Let i(q) = -2*q + 4*q - 3*q - 11. Let r be i(-5). Is r greater than -6?
False
Let g = 0.1 - 0.3. Let i = -4 + 7. Let q be 2*(i + -2) + -1. Is g smaller than q?
True
Suppose n + 4*f + 13 = 0, -6*f = 5*n - f + 20. Which is bigger: n or 0?
0
Let p = 6 - -16. Suppose -2 = -4*x - 0*w - 2*w, -4*x + 2*w + p = 0. Suppose x + 3 = -o. Is o < -6?
False
Let j = 6 - -6. Suppose -d + 0*d + 5*l - 20 = 0, 0 = -4*d - 3*l + j. Is 4/5 at most d?
False
Let n = -12 - -5. Let v = -5 - n. Is v greater than 3?
False
Let n(t) = 3*t + 7. Let s be n(-7). Let q be (-4)/s + 75/(-140). Which is smaller: q or -1?
-1
Let d = -3 + 2. Suppose 0 = -2*f - f + 12. Suppose 5*o + 7 + 8 = q, 0 = 5*q - f*o - 12. Which is smaller: d or q?
d
Let z = 14 + -24. Is -9 <= z?
False
Let h = -3467/9 + 386. Let q = 2551 + -114742/45. Let i = h - q. Which is smaller: 0 or i?
i
Let m(l) = -l**2 + 6*l - 4. Let d be m(5). Suppose -3*o + 4*t - 11 - 15 = 0, 3*o - t = -20. Let i be (-10)/o + 1/3. Is d smaller than i?
True
Let t(k) = -k**2 + 2. Let y be t(2). Let a be y + 0 + (0 - -2). Which is smaller: -1 or a?
-1
Let c(i) = i**3 + 8*i**2 - 10*i - 5. Let h be c(-9). Suppose u + t - 33 = -3*u, 29 = h*u - 3*t. Is 8 less than or equal to u?
True
Let h = 11 + -14. Let m = 12 - 9.3. Let q = m + h. Which is smaller: q or -1?
-1
Suppose l + 3*l - 40 = 0. Is 9 greater than or equal to l?
False
Let v be (26/4)/((-14)/(-84)). Which is bigger: v or 38?
v
Let d(m) be the first derivative of m**3/3 + 11*m**2/2 - 13*m + 6. Let k be d(-12). Is k bigger than -9/7?
True
Let i(r) = -r**3 - 4*r**2 + 6*r + 1. Suppose -5*w - 19 - 6 = 0. Let v be i(w). Suppose t - 8 = 2*j, 5*j = 3*t - 6 - 14. Is v equal to j?
True
Let q = 3.9 + 0.1. Let v = -1 + -3. Let o = q + v. Do o and 0 have different values?
False
Let o be -2*(-10)/4 + 1 + -3. Is o != 5/2?
True
Let s = 11 + -17. Let m = s - -4. Let o be 2 + -1*(2 + m). Are 2 and o non-equal?
False
Let u be (-2)/(-3) - (-67)/3. Suppose -d - u = -3. Let g be (6/d)/(30/25). Which is bigger: 0 or g?
0
Let a(q) = -q**2 + 5*q - 3. Let o be a(5). Let u be (0 + o - -2)*3. Which is smaller: -9/4 or u?
u
Suppose -v - 10 = 5*y + 2, 0 = 2*v - y - 9. Let t be 183/78 + 6/39. Is v smaller than t?
False
Let x be (68/35 + -2)/((-1)/(-5)). Which is greater: -108 or x?
x
Let n(a) = -a + 11. Let k = 3 + 1. Suppose -h + 6*u - 3*u = -21, -k*h + 24 = 3*u. Let v be n(h). Is v greater than or equal to 2?
True
Let h = -21 - -19.7. Is 1 less than or equal to h?
False
Let i = -27 + 28. Let q be 2*(-1)/(-132)*-4. Which is smaller: q or i?
q
Let z(f) = f**2 + 5*f - 16. Let y be z(-7). Does y = -4/7?
False
Let y = -13 + 9. Do -2/5 and y have the same value?
False
Suppose 27 = -7*j + 34. Is 6/65 less than j?
True
Let d(t) = -t**3 - 4*t**2 + 3*t - 5. Let i be d(-5). Suppose -i*p - 5*l = -20, -3*p - 27 + 11 = -4*l. Suppose -3*o + 8*o + 15 = 0. Is p bigger than o?
True
Suppose -4*c - c + 15 = 0, -2*p = -4*c + 18. Which is smaller: -13/3 or p?
-13/3
Let x be (-9 - -5) + 7*-7. Which is bigger: 0 or x?
0
Suppose 21 + 49 = -7*d. Which is bigger: d or -8?
-8
Let v be (50/4)/(3/6). Let q be 4 - (-17 - 15/5). Is v < q?
False
Let d(u) be the second derivative of u**3/6 + 3*u**2/2 - 3*u. Let w be d(-3). Let l be 12/9*-1 - -1. Which is greater: w or l?
w
Let x = -36 + 60. Does x = 23?
False
Suppose -2*z + 3*z = 1. Let w be (-4)/6*(z + 2). L