/56. Let f = w + -6/61. Let d be 3*2/6*-1. Do f and d have the same value?
False
Let n = -12.533 + -0.067. Which is smaller: n or 0?
n
Let o be (-2)/((-78)/(-69)) - -1. Let w = o + 44/91. Let z = -0.1 + 0.1. Is w less than or equal to z?
True
Let c = 1.16 - 0.16. Let m = -59/3 + 20. Which is bigger: m or c?
c
Let k = 1 - 3. Let z be (0 + 2)*3/90. Let y = -2/3 + z. Which is bigger: y or k?
y
Let f(x) = x - 3. Let u be f(3). Let g(k) = -2 + 2*k - 3*k + 0*k - 4. Let m be g(-6). Is u != m?
False
Let p be 11/3 + (-14)/21. Let b be (-2)/4*(-5 + p). Which is smaller: 3 or b?
b
Let s be 4/(-6) - 4/12. Let k = s - -3. Which is smaller: 1 or k?
1
Suppose -l = -3*x - 7, -1 = -l + 2*x + 4. Let m(z) = 2*z**2 + z + 2. Let h be m(-1). Suppose -2*o = -3*a + o - 15, h*a + o = l. Is -2/3 <= a?
False
Suppose 0 = c + 4*y - 3, 4*c + 39 = y - 0*y. Is -35/4 greater than c?
True
Let u be (-14)/77 + (-72)/(-154). Which is smaller: u or -2/19?
-2/19
Let g be 2/1 + -5 + 6. Suppose 0*s + 27 = 5*s + 4*c, -5*s + 6 = -g*c. Suppose 0 = 3*i - s*t, 2*t + 2 = t. Which is smaller: -3/2 or i?
i
Let b = 38 - -53. Suppose -o + 35 = 3*k, -o - 5*k = -4*o + b. Suppose -5*i + 10 = 2*r, 4*r = 4*i - i - o. Which is bigger: -6 or r?
r
Let l be (3 + -25)/(14/45515). Let o = l + 71781. Let m = o - 257. Are m and -1 equal?
False
Suppose 15 = 6*x + 21. Which is smaller: x or -17/11?
-17/11
Let c = -37 - -36. Is c less than or equal to 2?
True
Let l(a) = -a**3 + a + 6. Let h be l(0). Is 4 bigger than h?
False
Let p be 326/10 - 2/(-5). Let i be (2 + (-7)/3)*p. Is i greater than -10?
False
Let l be 4/(2/2)*1. Suppose -2*w - 4*m = 0, -w = -0*m + 4*m + 8. Let q be -3 - w/2*-2. Which is greater: l or q?
q
Let y = 17.1 + -10. Let q = 7 - y. Which is smaller: q or 1?
q
Suppose -q + 16 = -4*r + q, 0 = -3*r - 3*q - 21. Is -5 <= r?
True
Suppose -y = -0 - 6. Let i = -10 + y. Is -4 <= i?
True
Let y(q) be the first derivative of -q**4/6 - q**3/2 + 3*q**2/2 + 3. Let n(w) be the second derivative of y(w). Let p be n(-2). Which is bigger: p or 3?
p
Suppose -k - r = -9, 0*k + 5*k = -2*r + 45. Suppose -z = -4*z + k. Does z = 3?
True
Let k = -1 - 0. Let f be 4/32*-22 - -3. Which is greater: k or f?
f
Let m = 64 + -76. Which is smaller: -11 or m?
m
Suppose -5*s - 1 + 21 = 0. Let n(b) = -7 + 2 + b + 2. Let r be n(s). Which is smaller: r or 3/2?
r
Let k = -6847678399/568878 - 150/94813. Let l = k - -11989. Let s = 48 + l. Which is greater: 1 or s?
1
Let z(o) = -9 - o**3 - 5*o**2 + 2*o - 6*o - 4 - o**2. Let p be z(-6). Is 10 smaller than p?
True
Let x = 370 - 250. Let v be (-8)/28 + x/322. Are -1 and v unequal?
True
Suppose -3*a + 4 = 4*o, 0 = -5*a - 3*o + 1 - 9. Is -2 smaller than a?
False
Let n = 1/142 - 299/2130. Suppose -7 + 1 = -3*z. Suppose -z*b + b = 1. Which is greater: b or n?
n
Let n be 3/(-6)*(2 + 1). Let m be (-92)/28 - (-4)/14. Which is smaller: n or m?
m
Let y(q) = 2*q - 9. Let a be y(6). Suppose a*g = -g + 12. Suppose g*m + 3 = -0*m. Which is smaller: -2 or m?
-2
Let k(n) be the first derivative of n**4/4 + 3*n**3 + 4*n**2 + n + 1. Let p be k(-8). Which is greater: 2/17 or p?
p
Suppose 0 = 5*b + 15, -5*h - 5 = b - 2. Suppose 0 = m - h + 2. Let d be (-4)/3 - m/6. Do 2 and d have different values?
True
Suppose -43 = -3*t - 10. Suppose t*f = 16*f - 5. Which is smaller: -2/27 or f?
-2/27
Let m = -16 - -16. Which is bigger: m or 1?
1
Suppose 4*t = 3*j + 89, 2*j + 6*t - t = -21. Let o = j + 23. Which is bigger: 4/3 or o?
4/3
Suppose 6*f - 2*f = 2*j + 12, 12 = -3*j + 4*f. Let z = -291/17 - -17. Is z < j?
True
Suppose 37 = 5*o + 7. Let v = o - 4. Suppose -3*l = 3*y + 12, 5*y + v*l - 20 = 5*l. Is y < -1/4?
False
Let i be 1*1/(-1)*2. Let t = -2 - -2. Let a = t + 1. Are i and a nonequal?
True
Let q = 8 - 10. Let x(h) = h. Let u be x(q). Let z be -4 + u/4*-2. Which is greater: z or 2?
2
Let y be (-3 - 16/(-5))*-8. Does y = -1?
False
Suppose 0 = 2*z - 6*c + 4*c + 62, -4*z - c - 109 = 0. Which is smaller: -113/4 or z?
-113/4
Let d = -0.08 + 0.28. Let y = 0.4 - d. Is -1/3 >= y?
False
Let u be (-2)/6*1935/6. Let o = 185/4 + u. Let k = o + 61. Is k greater than -1?
True
Suppose 5 = -5*u + 4*o, 2 = -3*u - 4*o - 1. Which is bigger: u or -1/4?
-1/4
Let u be 4 + 2*(-83)/80. Let t = 9/5 - u. Is t bigger than -1?
True
Let c be 15/(-50)*(-23)/3. Let l = -9/5 + c. Let a = -0.56 + 0.16. Which is smaller: l or a?
a
Let q = -0.06 - 3.94. Let d = 89.3 - 85. Let b = d + q. Which is bigger: -1 or b?
b
Suppose -32 = -5*z + 2*a, 0 = -z + 5*z + 5*a - 19. Are z and 6 nonequal?
False
Suppose -8 = -2*m - 2*m. Let g be (1 - m) + 20/66. Let w = g - -1/33. Is 0.1 at least w?
True
Let o be -1 - (-4)/(4 + 0). Suppose 0 = -0*i + 4*i. Is i not equal to o?
False
Let u be ((-1)/(-5))/(6/(-582)). Let r = u - -19. Are 3 and r nonequal?
True
Suppose -3*h - 3 = -3*o, 2*h + 4*o = 3*h + 7. Let w(b) = 2*b**2 - 11*b + 18. Let m be w(3). Is h greater than m?
False
Let s be (-4 - -3)/(-1 - -2). Which is smaller: -9/4 or s?
-9/4
Let m be -15*(3 + (-21)/9). Let t(i) = -i**3 - 9*i**2 + 10*i + 5. Let s be t(m). Do 5 and s have the same value?
True
Let a = -6 + 5. Let b be a/(-3) - (-4)/(-30). Let u = 41 - 125/3. Is u at least as big as b?
False
Let l be (-1)/(-4) - (-217)/28. Are 6 and l nonequal?
True
Let l = -55 + 172/3. Which is bigger: 2 or l?
l
Let c(j) be the second derivative of -j**3/2 - 3*j**2/2 + 2*j. Let q be c(-2). Suppose 5*d - 40 = -2*t - q*t, 3*d - 34 = -5*t. Is 3 smaller than d?
False
Let f = -286775264659101/29090 - -9858207790. Let a = 1/11636 + f. Let n = -9/20 - a. Which is greater: n or 1?
n
Let l be 1/(-3)*(-6)/1. Let r = -1 - l. Let s(x) = -x**3 + 26*x**2 + x - 29. Let z be s(26). Is z > r?
False
Let g be (30/25)/(6/(-20)). Let j be 2*(0 + 10/g). Is -6 equal to j?
False
Suppose -3*z + 0*z = -15. Let f = -5 + z. Let j be (-26)/42 - (-1)/3. Are j and f nonequal?
True
Let p = 0.4 - 0.12. Let y = p - 0.3. Let b = y - 1.98. Which is greater: -0.1 or b?
-0.1
Let i(a) = a**3 - 6*a**2 - a + 4. Let k(c) = 2*c**3 - 13*c**2 - 3*c + 8. Let d(v) = -5*i(v) + 2*k(v). Let y be d(4). Do y and -8 have the same value?
True
Let p = 0.071 + 0.029. Do -0.36 and p have the same value?
False
Suppose 0 = -3*t - 5*p, -3*p + 0*p = 4*t. Suppose 0 = 3*r - t - 6. Are 0.1 and r non-equal?
True
Let u be (-113 - 1)*243/(-99). Let b = u - 280. Do 0 and b have the same value?
False
Let f = -5 - 1. Let z = f + 5. Let d be ((-8)/(-230))/((-6)/(-15)). Which is greater: d or z?
d
Let u(m) = -m**2 + m + 2. Let q be u(0). Suppose -5*g = 0, -q*g - g = 4*z - 12. Is z at least as big as 2?
True
Suppose -3*u - 2*b + 0*b = -7, u + 4*b = -1. Suppose -k - 2*r + 10 = -0*k, -5*r = -2*k - 7. Suppose -4*g = -k - 8. Is u at least g?
True
Let j = -191 - -755/4. Let b = -2 + 4. Let p = j + b. Is p at least -1?
True
Suppose h - 2*h + 1 = 0. Let z(g) = 2*g. Let d be z(h). Let w be (1 - (0 + 2))*d. Are -3/2 and w equal?
False
Let f = -4.023 - -0.023. Is 1/8 bigger than f?
True
Let j be (-1)/((-4)/3) + 5676/176. Is j at least as big as 33?
True
Let c be (1 - 2)*(-2)/(-2). Let k = 1 - c. Let o = k + -4. Which is greater: 0 or o?
0
Let o = 50 + -49. Which is bigger: o or 1/62?
o
Suppose 11 + 109 = 10*j. Are j and 10 nonequal?
True
Suppose c + 4*t + 22 = 3*c, -c - 2*t + 7 = 0. Let n = -5 + c. Does 5 = n?
False
Let q = -80 + 78. Suppose -w + 2*w = 0. Suppose -a - 3*a = w. Which is smaller: a or q?
q
Let i = -25 + 36. Is 10 <= i?
True
Suppose 5*p - 7 = -3*v - 2, 4*v - 3*p + 3 = 0. Suppose v = -5*q + 2 + 8. Suppose -q*z - z = 0. Is 0 at least as big as z?
True
Let s be (-2)/3*24/(-16). Is s > 1?
False
Let k = -0.182 + 0.082. Which is greater: -12.9 or k?
k
Let n be (-6)/(-12)*((-1 - -3) + -2). Which is greater: 2/73 or n?
2/73
Let h(w) = -w**3 + 9*w**2 - 8*w. Let v be h(8). Suppose v = 2*o - o. Suppose -6 = -o*x + 3*x. Is x bigger than -4/5?
False
Let k be (2 - (-65)/(-30))*3*4. Does k = -9/13?
False
Suppose 9*r - 4*r - 2*k = 46, -2*r - 3*k + 7 = 0. Let j = -4 + r. Let d = j - 3. Is d at most as big as 1?
True
Let h = 101 + -101. Suppose 4*x + 50 = -5*v, -1 = 2*v - 3*x - 4. Is h at most as big as v?
False
Let u(d) be the second derivative of -d**4/12 + 2*d**3/3 + 3*d**2 + 2*d. Let q be u(5). Let y be (0 + 3)*1/(5 - 12). Is y less than or equal to q?
True
Suppose 10 = -0*f - 5*f. Let a = 13 - 14. 