pose u = -u + 10. Let k be (-13)/3 + -3 + u. Are -1 and k non-equal?
True
Let i = -4/367 - 4328/6973. Let t = i + 112/57. Is t <= 2?
True
Let l(j) = j**2 + 9*j + 14. Let d be l(-7). Let n be (-2)/(-7) - 19/42. Which is bigger: n or d?
d
Suppose 1 = -s + 5. Let i = -1645 + 8251/5. Which is bigger: s or i?
i
Let n = 0 + -1. Let b be ((-194)/(-12))/(14/21). Let t = 24 - b. Which is smaller: t or n?
n
Suppose -3*x = -0*x - 9. Suppose -2*z + x*z = -2. Let j = z + 1. Which is smaller: j or 0?
j
Let o = -0.2 + 13.2. Let f = o + -9. Which is greater: f or -0.1?
f
Let x = -103 + 123. Is x smaller than 1?
False
Let l = -17 + 18. Which is greater: 2/5 or l?
l
Let t be (4/6)/((-44)/99). Which is greater: 6 or t?
6
Let a be 0/(1 + 1 + -1). Let w be (a + 12/(-9))/2. Which is smaller: -1/4 or w?
w
Let z be (1/2)/((-5)/6). Suppose 2*m + 9 = 5*m. Suppose -q = -m*q. Which is smaller: q or z?
z
Let j = -129 + 137. Suppose -4*f = 10 - 2. Let l be (-1)/f*-7*-2. Which is bigger: j or l?
j
Suppose 6 = -4*b - 3*u - 1, -5*b + u = -15. Suppose -4 = -2*m, b*m - 3*m = 3*a + 10. Is a bigger than -4?
False
Let b(u) = u**2 + 2*u + 1. Let a be b(-1). Are a and -1/23 non-equal?
True
Suppose 0 = 5*n + 11 - 1. Let q = -22 + 48. Let m be 9/q - (-1)/n. Which is greater: -1 or m?
m
Let t be (-2)/9 - (-868)/18. Let z = -48/7 - 1131/28. Let d = z + t. Which is bigger: 1 or d?
1
Let o = 0.17 + -0.87. Let a = -18 - -18.7. Let p = a + o. Is -3 greater than or equal to p?
False
Let m = -124 - -117. Which is smaller: 1 or m?
m
Let n(i) be the first derivative of i**4/4 - 5*i**3/3 - 7*i**2/2 + 4*i - 3. Let d be n(6). Let m be 1*(-1 - (d + -1)). Is m greater than 1?
True
Let w(a) = 10*a**2 - 2*a + 1. Let d be w(1). Let k(f) = f - 5. Let u be k(d). Is u at most as big as 4?
True
Let v = 0 + -1.2. Let h = -1.2 - v. Let x = -1 - -1. Is x at most as big as h?
True
Let a(d) = d**2 + 9*d - 8. Let b be a(-10). Suppose -u + 3 = b, -18 = -4*g + 2*u. Which is greater: g or 6?
6
Let i(y) = -y**2. Let a be i(-1). Is 18 at most as big as a?
False
Let d be 27/6 - (-2)/(-4). Suppose -4*x = d*q, x - 8 = -q + 2*x. Let g be 3/(-5) + q/(-10). Is g >= -3/7?
False
Let l(k) = k + 1. Let v be l(-3). Is v equal to -8/5?
False
Suppose -4*c + 10 - 30 = 2*w, 0 = 5*w + 5*c + 25. Which is smaller: w or -1/16?
-1/16
Let j(n) = -n**3 - 4*n**2 + 6*n + 3. Let w = -1 - -3. Suppose 4*m = w*c - 2, -6*m - 4 = -c - 3*m. Let p be j(c). Which is smaller: p or -3?
-3
Let c(d) be the first derivative of 3 + 2/3*d**3 + 3*d + d**2 - 1/4*d**4. Let q be c(3). Which is greater: q or -1?
q
Let p = -2.16 - -0.16. Is -1 at most as big as p?
False
Let a = -41748 + 1294078/31. Let m = -6208/1767 - a. Which is bigger: 1 or m?
1
Let y be 6 - 115/20 - (-386)/(-8). Is -48 bigger than y?
False
Suppose 2*g - 3*g - 75 = -5*r, 3*g - 55 = -5*r. Is r > 16?
False
Let s be 7 + -2 + (-1 - -1). Suppose -2*n - b = -0*b + 1, 2*n + 5 = -s*b. Suppose 5*u - 16 = r, r - 3*u = -n*r - 8. Is r >= 4?
True
Let p = -2 + 3. Let h = 1 - p. Let o = 0 + 0. Is h < o?
False
Let v be (6 - 5) + 140/6. Let s = v + -24. Let j be (-4)/14 - (-18)/14. Which is bigger: s or j?
j
Let h = 66.2 + -66. Do h and -21 have the same value?
False
Suppose 2*k + 2*k = 12. Are k and 1 nonequal?
True
Suppose z + 45 = 6*z. Suppose v = -3*j - 9, -3*v + z = v + 3*j. Which is smaller: 7 or v?
v
Let w = 5 - 8. Let p = w + 4. Let r = 0.8 + -0.8. Which is smaller: p or r?
r
Let y(j) be the second derivative of j**5/20 - j**4/2 + 2*j**3/3 + 7*j**2/2 - 2*j. Let i be y(5). Let f be (-8)/(-2) - 2/i. Is f >= 3?
True
Let x = 5038772/143 + -35237. Let r = x - -12/13. Is r at least as big as -1?
True
Let l = 55 - 163/3. Is 2 at least l?
True
Let v = 0.34 - 0.68. Let f = v - -0.14. Is f less than or equal to 5?
True
Let l(z) = z**3 - 3*z**2 - 5*z + 3. Let o be l(4). Let j be (-2 + 4)*o/1. Is j at least as big as -2?
True
Let s be -2 - (1 + (-754)/146). Let i = 77780/657 - s. Let n = -116 + i. Which is smaller: n or -1?
-1
Let o = -0.2 - -0.1. Which is smaller: -8 or o?
-8
Let h be (-3 - 27/(-5)) + -3. Is h greater than 1?
False
Suppose 0 = -5*n - 10. Let g be ((-5)/n - 3)*-4. Which is bigger: g or 3?
3
Let r be 15 - 18 - (-1 - 2). Is -6/5 > r?
False
Let k be (0 + -7)*44/(-154). Is -3 >= k?
False
Let f = 3/104 - 229/728. Let x be (2 - 3)/((-3)/6). Suppose 3*s + 2*t + 4 = 0, -s - t + x*t + 2 = 0. Is s greater than f?
True
Let p = 9 + -17. Let q = p + 4. Let a be 6/20*8/(-6). Which is smaller: a or q?
q
Let d(q) = -q**3 + 3*q**2 + 2*q - 3. Let l be d(3). Let u be (-2)/5*l/(-2). Suppose 4*s - 16 = 5*y, -5*s - 2 + 9 = -3*y. Which is smaller: s or u?
s
Let k(p) = 3*p - 5. Let a be k(3). Which is greater: a or 6?
6
Suppose 2*p = 4*p. Let z be (-1409)/14 - (-1)/2. Let d = z + 100. Is p at least d?
True
Let o be 26/(-91) + (-25)/(-63). Is o <= 0?
False
Let a(m) = m**3 + 7*m**2 + 5*m - 6. Let s(l) = -l**2 + 6*l + 10. Let p be s(8). Let y be a(p). Is -4/9 <= y?
True
Let c be (-18)/12 + 17/14. Which is smaller: -10/11 or c?
-10/11
Let a(k) be the first derivative of -k**4/4 + 2*k**3 - k**2/2 + 7*k + 2. Let t be a(6). Let s = -36 + 326/9. Is t less than s?
False
Let a be 0 + -1*(-4)/(-4). Suppose -4*n + n = l + 3, 1 = -5*n - 3*l. Which is greater: n or a?
a
Suppose 2 = 3*z - 4. Let q(t) = -t**3 + t**2 + 2. Let g be q(z). Let r be 1/6 + (-5)/30. Which is smaller: r or g?
g
Let u = 4493/11 - 409. Is 0 greater than u?
True
Suppose 2*m - 22 = 2*o + 3*o, o = -3*m + 50. Let b be 8/(-10)*12/m. Which is smaller: -1 or b?
-1
Let m be ((-2)/8)/(126/360). Let q = -2 + 2. Which is smaller: q or m?
m
Let u(x) be the first derivative of -x**3/3 + 9*x**2/2 + 9*x - 2. Let m be u(10). Which is bigger: 0.4 or m?
0.4
Let u be (-3 + -2)*2/(-5). Suppose 2*k = p - u*p + 3, 22 = 3*k + 5*p. Suppose -2*n = -0*n - 2. Is k > n?
False
Let c = -1.7 + 5. Let b = 0.3 - c. Let l = -2 - b. Which is smaller: l or -3?
-3
Let k = -7/15 - -107/165. Let z be (6/(-14))/(30/20). Which is greater: z or k?
k
Let h = -55.2 + 14.2. Is h <= -1?
True
Let v be (-1 - -4)*4/(-66). Is -1 greater than v?
False
Let s be (-36)/16 + ((-45)/12 - -3). Is -13/8 > s?
True
Let i = -65 + 92. Suppose i - 9 = -3*o. Let k be ((-9)/(-6))/(o/8). Which is bigger: -4 or k?
k
Let b = 172.1 - 172. Are b and -84 unequal?
True
Let x = 27425/174 + -473/3. Which is greater: x or 1?
1
Suppose -3 - 3 = -2*y + 2*r, -3*y + 5 = r. Suppose -y*l = -2*n, -3*l - 2*l = n - 12. Suppose 3*j = -n*x - 2 - 5, -2*x - 9 = j. Which is greater: 1/15 or j?
j
Let f = 22 + -15. Let t(q) be the first derivative of -q**3/3 + 7*q**2/2 + 2*q - 1. Let x be t(f). Is 2 equal to x?
True
Let h(p) = -p. Let q(t) = 5*t + 3. Let m(o) = 6*h(o) + q(o). Let v be m(7). Is -5 bigger than v?
False
Let m = -2 - 2. Let k be (-1)/m - 9/4. Let s be (0 - (-6)/8)*-4. Which is bigger: s or k?
k
Let t be ((-2)/(-6))/(1/6). Let w be (0/t)/((-9)/9). Which is greater: w or 1/34?
1/34
Let f be (-2325)/(-6)*(-2)/(-10). Let k be (-709)/(-9) + 8/36. Let x = f - k. Which is smaller: x or -2?
-2
Suppose -3*a + 15 = 3. Suppose 0*x + 2*w + 14 = -5*x, -w - a = x. Let p = x - -4. Which is greater: 3 or p?
3
Let a(z) = -z**3 - 6*z**2 - 9*z - 11. Let r be a(-5). Let q(m) = -m**2 + 8*m + 8. Let v be q(r). Is 1/22 equal to v?
False
Let x be 2/12 + 245/42. Let j(y) = y**2 - 7*y + 9. Let h be j(6). Is x bigger than h?
True
Let y(z) = -z**2 + 6*z - 4. Let i be y(5). Let r be ((-32)/60)/((-2)/5). Is i greater than or equal to r?
False
Let o = 99 + -112. Which is smaller: -7 or o?
o
Let s be 51/21 - 3 - -1. Let k = 2 + -2. Is k >= s?
False
Let d = -27 - -28. Which is greater: d or 4?
4
Suppose -2*y = 4 - 0. Let a be -4*y/(-16)*-2. Which is bigger: a or 1/4?
a
Let l = 121 - 120. Which is bigger: -1/12 or l?
l
Let t = -5 - 3. Which is smaller: t or 0?
t
Suppose 0 = g + 11 + 1. Let z be (-8)/g*(-1)/5. Which is greater: 1 or z?
1
Let m = -2 + -5. Which is smaller: m or 3?
m
Let p be (-2)/(-4) - 22/28. Let r be ((-9)/5)/((-4)/20). Suppose 0 = 3*g - 2*d + r, -6*d + 15 = -d. Which is smaller: g or p?
g
Suppose 3*h + 15 = -2*h. Let c = 2 + h. Let f be (3/18)/(c/3). Which is smaller: f or 0?
f
Suppose -s = -0*s + 2*x - 9, -3*s = 2*x - 15. Suppose 5 = 4*z - s. Let c = 4 - 4. Which is smaller: c or z?
c
Suppose -58 = -3*f + 53. Which is smaller: 36 or f?
36
Suppose -