 4/(-6)*(-1)/1. Which is greater: k or d?
k
Let x = -0.79 + -0.01. Let d = 0.2 - x. Let r = -1.1 + d. Is r > 1/2?
False
Let p = 3 - 2.8. Let x = -1.6 + 1.5. Let s = x + p. Is s greater than 1/3?
False
Let f = 1 + -1.3. Let h = -0.12 - 2.88. Is f <= h?
False
Suppose -5*o = 3 - 13. Let i = -2 - -2. Let z = i - o. Are z and -0.2 equal?
False
Let r = 9 - 8.96. Let k = 1.04 - r. Is -0.2 at least as big as k?
False
Let y be (0/1)/(0 + -2). Let p be (-7)/42 - (-1)/6. Is p > y?
False
Suppose 6*y - 2*y = 0. Let x be (2/8)/((-18)/(-16)). Do y and x have different values?
True
Let a(c) = 2*c + 4. Let i be a(-6). Let b = 7 + i. Which is bigger: b or 2/9?
2/9
Let g = 2/154995 - -114661856/51665. Let u = g + -2106. Let r = 112 - u. Which is bigger: r or -1?
-1
Suppose -3*u + 31 + 41 = 3*c, 0 = u + 3*c - 22. Suppose -4*f = f - u. Let r(q) = q**3 - 6*q**2 + 5*q + 3. Let i be r(f). Is i greater than or equal to 2?
True
Let h be (2/(-4))/(52/132). Let i be -1 - 1 - 16/(-13). Let m = h - i. Is m at least as big as 0?
False
Let a be 1 + (544/36)/8. Which is greater: -1/3 or a?
a
Let x = -0.28 - -0.02. Let k = -0.1 - -0.06. Let y = k + x. Which is bigger: 2/3 or y?
2/3
Let u be (-4)/(-14) + 48/(-364). Suppose -l = -3*l + 10. Suppose -4*a - y = l, -4*y = y + 5. Which is bigger: u or a?
u
Suppose 19*i = 3*i + 208. Which is smaller: 16 or i?
i
Let w be (-1)/11*1*33389. Let m = w - -3033. Let i = -249/110 - m. Which is greater: i or -1?
i
Suppose 2*l + 2*l = -8. Let o = l + 6. Which is smaller: o or 6?
o
Let w(y) = y + 32. Let m be w(-19). Which is smaller: m or 14?
m
Let m(f) = -f + 5. Let d be m(6). Let s be (-128)/63 + (4 - 2). Let q = -55/252 + s. Which is smaller: q or d?
d
Suppose -26 = -3*n + c + 33, 0 = -5*n - c + 101. Suppose 5*l - 5 = -2*k + 7, 3*k = 2*l - n. Let v(a) = a**2 + 4*a - 2. Let h be v(-5). Is h > l?
False
Suppose 0 = -4*o - n + 110, n + 41 = 4*o - 73. Let j be (-15)/o + 2/8. Which is greater: j or 0?
0
Let c = -2.59 - 0.41. Which is greater: c or 0.13?
0.13
Suppose -2*k - 12 = -4*k. Let t be ((-16)/6)/((-4)/12). Which is smaller: k or t?
k
Suppose q - 2*q + 1 = -d, -3*d + 5 = 5*q. Suppose d*g = -3*g - 3. Which is greater: 3/7 or g?
3/7
Let f = 2 + -1. Let n = 1 - 1. Suppose -2*b + z - 4 = n, -3*b - 5*z = b + 8. Which is smaller: b or f?
b
Let i be (-5)/(-4)*(-30)/(-25). Which is greater: -0.1 or i?
i
Let b(p) = -p**3 + 2*p + 1. Let g be b(-2). Suppose j + 2*j + 2*i = 0, 0 = -g*j - 2*i. Is 2 < j?
False
Let l = -47.2 + -0.8. Is -0.2 less than or equal to l?
False
Let j be 2/(-3) + 4/3. Let q(g) = g**3 + 4*g**2 - g - 4. Let k be q(-4). Which is smaller: k or j?
k
Let u = -0.5 + 0.45. Let l = u + 1.05. Which is bigger: -1/3 or l?
l
Let v(g) be the third derivative of -g**5/120 + 3*g**4/8 + g**3/3 + g**2. Let m(y) be the first derivative of v(y). Let p be m(7). Is 0 less than p?
True
Let a = -2 - -2.03. Let h = a - 1.03. Which is smaller: 0.1 or h?
h
Let l(g) = -g + 17. Let u be l(7). Let v be (u/(-15))/((-4)/(-6)). Which is smaller: 2/9 or v?
v
Let h = 11/30 - -5/6. Is -2 at least as big as h?
False
Suppose 5*m + n + 13 = 0, -4*m - n + 4 = 14. Let l = m + 5. Which is bigger: l or 3?
3
Let v be (108/96)/(6/8). Which is smaller: 0.09 or v?
0.09
Suppose 4*d = -5*x - 39, -5*x - 1 - 14 = 0. Let f(m) = 2*m**2 - 17*m + 23. Let v be f(6). Let h = d - v. Is h not equal to -1/3?
True
Suppose p = 11 + 1. Suppose -6*u = -3*u + p. Let t = 5 + u. Which is greater: -1/9 or t?
t
Suppose 0*x - 3*c = 5*x, 0 = -3*c. Let p(g) = -g**2 - 11*g - 16. Let t be p(-9). Do x and t have the same value?
False
Let h be ((-3)/9)/((-9)/6). Does h = 30/11?
False
Let m be 140/(-25) - 6/(-10). Is m smaller than -15/4?
True
Suppose 4*v - v = 186. Is 0 not equal to v?
True
Suppose -10*n + 521 = 141. Is n > 40?
False
Let s(u) = u**2 - 5*u + 9. Let c be s(3). Is c bigger than 5?
False
Let f = 320 + -322. Let v = 7.7 - 8. Do f and v have different values?
True
Let z = -11/5 + 2. Suppose 2*d = -0*d + 16. Let j = -8 + d. Is z bigger than j?
False
Let v(r) = 2*r. Let d be v(1). Let a(j) be the third derivative of -j**6/120 + j**5/30 + j**4/8 - j**3/2 - j**2. Let q be a(d). Are 2 and q equal?
False
Let g = 162.85 + -157. Let w = g - -0.15. Suppose -b - 4 = 0, 12 = 2*h - 6*h - 4*b. Which is bigger: w or h?
w
Let q be (-1)/(-1) + (-11)/35. Let w = 2/105 - q. Is w equal to 2?
False
Let m = -32.1 + 32. Let v = 4 + -2. Let f = v + -1.8. Which is smaller: m or f?
m
Let z = -10.3 + 10. Let t = -5.7 + z. Which is greater: t or -2/5?
-2/5
Let x = -11.92 + 12. Are 1/2 and x unequal?
True
Let v = 31595/1281 - -1/427. Let h = 24 - v. Suppose -2*a - 5 + 3 = 0. Which is smaller: h or a?
a
Let r be 1/(-4) - 2529/12. Let n = r - -1906/9. Let k = 1/45 + n. Which is smaller: 0 or k?
0
Let u = 1.1 + -0.1. Suppose i = -i + 10, 3*i - 51 = -4*j. Let f be 3/12 - j/4. Are f and u unequal?
True
Let s = -294 - -2053/7. Let c be -3 - 1/(4/20). Let b be (3/1)/(12/c). Which is smaller: s or b?
b
Let j(t) = -t**3 + 3*t**2 - t + 3. Let p(r) = r**3 - 6*r**2 + 2*r - 9. Let n be p(6). Let q be j(n). Which is greater: q or 1/3?
1/3
Let t = -15 - -10. Let p = t + 5. Suppose b + 3*n = -2*n + 24, p = -n + 5. Is b != 1/3?
True
Let k = -0.017 + -0.983. Which is smaller: k or -0.8?
k
Let k(u) = 11 - 3*u**2 + 2*u**3 + 2*u**3 - 3*u - 5*u**3 - 12. Let l be k(-3). Suppose -o - 5*a = -l, -7 - 7 = 5*o - 2*a. Do o and -2 have different values?
False
Let b = 8.2 - 0.2. Let w = b - 7.6. Is w >= 1/4?
True
Let b be -7 + 5 + 4*1. Let p(c) = c**2 - 7*c. Let m be p(7). Suppose b*k + 2*k = m. Is -1 >= k?
False
Let i = -30 - -26. Are -5 and i unequal?
True
Let s = 74 + -153/2. Is s at least -2?
False
Suppose 2 = 5*g - 13. Suppose g*h = 5*h. Let p = -11/12 + 5/12. Do h and p have different values?
True
Suppose 35*b = 38*b + 6. Let w(n) be the third derivative of -n**6/120 - n**5/20 + n**4/24 + n**3/2 - n**2. Let c be w(-3). Are c and b unequal?
True
Suppose 0 = -4*p - 2*c + 20, -5*p - 4*c - 1 = -32. Which is greater: p or 16?
16
Suppose v = 4*v + 21. Let z = v - -61/9. Which is smaller: 0 or z?
z
Let i = -2 + 3. Which is smaller: i or 4/5?
4/5
Let h(m) be the first derivative of 2*m**2 + 1. Let n be h(1). Is n at least as big as 4?
True
Let n = 2 - 6. Let a(v) = -v**2 - 3*v - 4. Let g be a(n). Is g less than or equal to -9?
False
Suppose 4*r - 2*m - 56 = 2*m, -m = 4*r - 51. Let a = r - 20. Is a smaller than -8?
False
Let p = 15 - 20. Let j = p - -19/5. Is j at least 0.1?
False
Let h = -4 - -4.2. Let y = -17/10 - -11/5. Which is smaller: h or y?
h
Let b be ((-45)/10 - -6)*(1 + 1). Which is greater: 1 or b?
b
Let u = -258/5 + 51. Let d = 7 - 7. Which is bigger: d or u?
d
Suppose -5*c + 34 = 4*v, 5*v = c + v - 2. Suppose 0 = -c*d + d + 20. Let m be (d/(-24))/(6/8). Which is greater: m or 0?
0
Let z be (-9 - (2 - 1)) + -2. Let u be z/(-5) - 4/10. Suppose -c - u = c. Is -1 <= c?
True
Let t be 5/56 + 12/42. Which is smaller: 0 or t?
0
Let a = -2 + 2. Let r = 2.9 - 0.9. Is r at least a?
True
Suppose -13*y - 626 = 401. Which is bigger: 0 or y?
0
Suppose -5*b + h = -8, 0*b = -2*b - 2*h + 8. Let m = -6 + 8. Is b at most m?
True
Let k be (9/6*15/9)/(-4). Which is smaller: k or -1?
-1
Suppose 7*z = 2*z - 5. Let l = 578/3 + -193. Which is smaller: l or z?
z
Let z = 223 - 2455/11. Is 1 at least z?
True
Let s = -1220/9 - -135. Is -2 bigger than s?
False
Let q be -2 - (-12)/9 - (-8)/24. Which is smaller: q or -29?
-29
Let b = 0.3 + -3.3. Let j = 3.1 + b. Is -1 <= j?
True
Let y = 178 - 185. Is -8 <= y?
True
Let h = 26 + -16. Let p = h - 10.1. Is -1/4 at most as big as p?
True
Let y be ((-91)/(-6))/((-3)/2 + 1). Which is smaller: y or -31?
-31
Let u = 351/10 - 35. Suppose 5*q - 5 = -0*q + 4*l, -5*l + 4 = 4*q. Is u smaller than q?
True
Suppose 0 = -4*y - 20, s - 5*y = -2*y + 11. Suppose 2*g + 4 + 14 = 0. Let v = s - g. Is v smaller than 4?
False
Let w be 14 - 2 - (1 - -3). Let r be 30/8*w/27. Is 0.1 > r?
False
Suppose -t + 5*t - 16 = 0. Let o be 3/(-1)*(-8)/6. Let s be 7/t + 1/o. Is 2 not equal to s?
False
Let o = 9.08 - 9. Let m = 1.08 - o. Is m at most as big as 5/2?
True
Suppose -4*n - 4*x = -13205 - 2467, -2*x - 11764 = -3*n. Let f be 3/4 - n/5056. Is 0 less than f?
False
Suppose 107 + 13 = 2*o. Suppose -4*h - 4*g = o, -h - 3*g - 25 = -0*g. Let j be (3/5)/(h/25