2, 5*f - 20 = -5*u. Is 4/7 greater than or equal to u?
False
Let q = 0.13 - 0.35. Let k = q - -0.42. Which is smaller: k or 1/18?
1/18
Let a(z) = -z**3 - 6*z**2 - 6*z - 5. Suppose 0 = -2*w - 10 - 0. Let f be a(w). Let o = -89 - -709/8. Which is bigger: o or f?
f
Let r = -0.2 - 0. Let k = -0.7 - 0.9. Let g = k + 2.6. Is r less than g?
True
Let a(u) = -4*u + 5. Let k be a(-9). Let i = -204/5 + k. Is -1 less than or equal to i?
True
Let l = -11/2 + 115/22. Which is greater: l or 1?
1
Suppose -4*y = 5*h + 25, 5*y = -2*h + 2*y - 17. Let i = 1/407 - -21/407. Is i less than or equal to h?
False
Let k be (-4 + 1 - -3)/2. Which is smaller: 1/5 or k?
k
Let i be (2/75)/(1/10). Which is smaller: i or 1?
i
Let c be -1 - 3 - -6 - 1. Which is bigger: c or 1/13?
c
Let o(u) = -u**2 - 6*u - 1. Let y(p) = -2*p - 2. Let f be y(2). Let h be o(f). Is h bigger than -1?
False
Let b be (-10)/(-4) + 1/2. Are b and -2/11 nonequal?
True
Let s = 42 - 33. Is s != 11?
True
Suppose -5*v + 0 = 2*z - 1, 0 = -2*v + 2. Let r be ((-14)/(z/(-2)))/(-1). Is r != -0.1?
True
Let m = 42 - 51. Are 4/5 and m equal?
False
Let l(k) = -2*k + 15. Let q be l(10). Let x be (6/q)/(18/(-60)). Let p be 10/25 - x/10. Is 2/3 at most p?
False
Let g(z) = z**3 + 6*z**2 - 3*z - 14. Let d be g(-6). Let x be (-3)/d - (-1)/(-4). Is 3/8 < x?
False
Let y = 27 - 294/11. Is y equal to 1?
False
Let j(l) = 2*l + 7. Let t be j(-6). Let n be 2/t - (4 - 4). Is 0 equal to n?
False
Let n = 10 + -5. Suppose n*k + 3*l - 5 = 0, -k + 2 = k + 5*l. Is k at least 1/25?
True
Let a be (1/2)/(11/66). Suppose -4*b + a*k - k - 10 = 0, -4*k = -4*b. Is -3 at least as big as b?
True
Suppose 24 + 1 = 5*n. Suppose n*p = 2*p. Is -1/3 at least as big as p?
False
Suppose 0 = -4*a + 8, 0*a - 2*a + 13 = -3*k. Let m be -1 + k/12*-3. Which is greater: m or -1?
m
Suppose -3*g - 3 = -4*u, -7*g + 2*g - 5 = -5*u. Let b be 4/10 - (-2008)/(-1665). Let c = b - -2/333. Which is greater: c or g?
c
Suppose 0 = -0*g + 4*g + 32. Let h be 2/156 - g/52. Which is smaller: -1 or h?
-1
Let k = -6.7 - 11.3. Which is bigger: k or 2?
2
Let p(w) = w**2 - 1. Let l be p(4). Let x be l/10 - 1/(-2). Let v be (15/6 - 2)*2. Do v and x have the same value?
False
Let a = -6 + 2. Let j = a + 5. Let v be ((-1)/6*4)/(-2). Is v at least as big as j?
False
Let h be ((-1)/2)/((-3)/6). Let l = 4 - h. Which is smaller: 4 or l?
l
Let g = -0.2 - 0.8. Let x = 1 + g. Which is smaller: -4 or x?
-4
Let d = 563091278/567 + -993106. Let s = d - 2/81. Let v(q) = q + 4. Let y be v(-6). Which is bigger: s or y?
s
Suppose -5*t - 1 = f, 4*f + 2 + 2 = -t. Which is smaller: t or -3/7?
-3/7
Let m = 2 + 0.2. Let n = m + -1.5. Let h = -0.3 - n. Is -0.2 <= h?
False
Suppose -5*m + 2*k - k - 9 = 0, 5*k + 11 = -3*m. Let y = 48 - 49. Is m greater than y?
False
Let r = 4662/11 - 405233/946. Let v = 23261/43 + -541. Let i = v - r. Which is smaller: 6 or i?
i
Let n(v) = -v**2 + 3*v + 1. Let u be n(0). Is u bigger than -2/71?
True
Suppose -k + 2 = -3. Let z = 7 - k. Suppose 0 = 2*f - 6 - 0. Is z at most as big as f?
True
Suppose y - 2*j + 1 = -8, 5*j - 21 = y. Is y less than 2/77?
True
Let q be (12/9)/((-2)/6). Let l be 2/(-8) + 27/q. Is -7 smaller than l?
False
Let m(q) = -q - 1. Let r be m(-5). Suppose 0*l + 20 = 5*o + 5*l, o = -2*l + 5. Which is bigger: o or r?
r
Suppose 2*w = -16 - 14. Which is bigger: -29/2 or w?
-29/2
Let a = -2 + 1. Let c be (-1)/(-2)*(-4)/2. Is c less than a?
False
Let h(k) = -4 - 2 + 7*k**2 - k**3 + 3. Let q be h(7). Which is greater: q or -4?
q
Let p = -6.9 - 2.2. Let d = 0.1 + p. Let f = -5 - d. Which is smaller: 1 or f?
1
Suppose 0 = -4*t + 19*t + 660. Is t >= -134/3?
True
Let x = -24 + 24. Are x and 8 equal?
False
Let a = 3 - 3. Which is greater: a or 7?
7
Let f(q) = -q**3 - 4*q**2 + 5*q - 2. Let j(z) = -4*z + 3. Let g be j(2). Let n be f(g). Let r be -2 + (9/12 - n). Are 1 and r equal?
False
Let a be (-9)/6*4/(-6). Is 3/17 > a?
False
Let p be (-8)/24*14/(-8). Which is bigger: 2 or p?
2
Let j = -53/8 + 27/4. Suppose 4*w + 2 = 6*w. Which is bigger: w or j?
w
Let n(d) = -5*d - 2. Let m be n(4). Let y be (-18)/m + (-4)/(-22). Suppose y = -2*c + c. Are -2/5 and c unequal?
True
Let i = -95/13 + 2729/377. Let r(f) = 3*f + 5. Let l be r(-2). Which is smaller: l or i?
l
Let t be ((-12)/(-10))/(4/(-10)). Which is bigger: t or -21/5?
t
Let w(m) = m**2 + m. Let i(t) = -t**2 - 8*t - 6. Let u = 6 + -4. Let g(s) = u*w(s) + i(s). Let k be g(7). Which is greater: 0.2 or k?
k
Let p be 36/4*22/70. Let n = p + -17/7. Are n and -1 unequal?
True
Let l = -0.06 - 0.94. Let k = 2 - l. Let h = k - 3. Is h at most as big as 0.3?
True
Suppose 0 = -2*k + 4*k + 3*u - 9, -2*k + 5*u + 17 = 0. Let t be (-9)/k - 2/4. Are -2 and t unequal?
False
Let c = -28 - -28.13. Let f = c + 0.07. Is -3 <= f?
True
Let v = 0.06 - -0.74. Suppose -2*y - y = s + 15, 0 = -s + y + 5. Which is smaller: v or s?
s
Let f be (-2 + -1 + 1)/((-2)/18). Is -1 greater than f?
False
Let k be 4/2 + 6/(-4). Is 1/2 at least as big as k?
True
Let l(k) = -k**3 + 8*k**2 - 2*k - 2 - k**2 + 3*k - 5. Let x be l(7). Which is bigger: x or -4/7?
x
Let t = -0.3 - -3.3. Let w = -50 + 23. Let s be 3*(0 - (-6)/w). Is s less than t?
True
Let x(z) = 2*z - 8. Let v be x(4). Let j be (-2)/(-2) - 35/25. Are v and j equal?
False
Let i = -8 - 5. Let g = i + 24. Which is smaller: g or -1?
-1
Let r = 23 - -12. Let v be (-2)/(-11) + r/110. Which is bigger: v or -1?
v
Suppose h = 4*a - 17, -3*a + 2*h + 23 = 4. Let p be (2/6)/((-1)/a). Let f be (2/(-20)*-2)/(-1). Which is bigger: p or f?
f
Let i(v) be the second derivative of v**3/6 - v**2/2 - v. Let o be i(-5). Let u(a) = a**2 + 6*a + 8. Let c be u(o). Is c not equal to 7?
True
Let j be ((-4)/15)/(2/81). Let r = -319/30 - j. Is -1 at least r?
False
Let p = 1 + -1. Let u = -583 - -583.1. Which is smaller: u or p?
p
Let q = -8.13 + 0.13. Let o = 46 - 53.7. Let s = q - o. Which is bigger: s or 1/2?
1/2
Let s = -2/325 - -684/5525. Let h = 1 + -3. Let j be 6/3 + h + 1. Do s and j have different values?
True
Let q = 27 - 22. Let y = -5 - -10. Suppose 0 = 5*p - y*a - q, 0*p - 4*a = 2*p - 14. Which is smaller: p or 4?
p
Let u = 1 - 1. Suppose 2*l = -u*l + 4. Suppose -3*n + 10 + l = 0. Is 4 <= n?
True
Let g = -19/12 - -11/6. Which is greater: 2 or g?
2
Let c = -7.2 - -7.1. Which is smaller: 19 or c?
c
Let t = 224/5 - 2872/65. Which is greater: t or 2?
2
Let a = 36 - 23. Let k = a + -13. Which is smaller: k or 1/9?
k
Suppose -6*d - 84 = -3*d. Is d > -27?
False
Suppose -n + 18 = 2*n. Suppose 4*h + 3*p - 10 = p, -h - 1 = 4*p. Suppose -4*l - 5*v + 18 = 0, 0 = 2*l - 0*l + h*v - 8. Which is bigger: l or n?
l
Let f = 2 - 0. Suppose 0 = -5*i + f*c - 19, 5*c - 8 + 4 = -2*i. Is -5 equal to i?
False
Suppose 10 = -v + 6*v. Suppose 5*c - v*c = 0. Is -1/4 less than or equal to c?
True
Let j = 1 + -2. Are -2/3 and j non-equal?
True
Let b(d) be the first derivative of 5*d**2 + 4*d + 3. Let m be b(-3). Let c be (-4)/m - (-37)/13. Do c and 3 have the same value?
True
Let k = 21 - 64/3. Is -6 smaller than k?
True
Let h be 74/259 - (-62)/(-70). Suppose 3 = -3*n - 3. Which is bigger: n or h?
h
Let s = -64 - -78. Which is bigger: 1 or s?
s
Let w = 0.3 + 12.7. Let x = -17 + w. Does 3 = x?
False
Suppose 0 = 2*u + s - 4, 13 = u - 5*s - 0. Which is smaller: u or 5/2?
5/2
Let t(h) = -2*h**3 + h - 3. Let a be t(2). Is a != -19?
True
Let v be (-11)/(-4) - 2/(-8). Let r = 64 + -61. Is v at most r?
True
Let k be 126/(-10) + 2/(-5). Let w = 6 + k. Let r(o) = 5*o - 51. Let b be r(9). Which is smaller: b or w?
w
Let r = -7.34 - -7. Which is greater: -1 or r?
r
Suppose -v + 5*v - 48 = 0. Suppose 2*y + 1 + 8 = -3*k, 4*k - 4*y + v = 0. Is k at most -5/3?
True
Suppose 6 = 5*w + 1. Let l be 2/14*(-10955)/(-150). Let o = 53/5 - l. Is w less than or equal to o?
False
Let g = -21.66 + 0.66. Is g at least 2?
False
Let h be 4/(5052/(-1269)) + 1. Let n = 896/11367 + h. Is n != 0?
True
Let n = -6 + 6.1. Let a = -0.3 + n. Which is bigger: -0.3 or a?
a
Let t = -0.2 - -0.2. Let w = -0.1 + t. Let h = 5 - 4. Is w smaller than h?
True
Let g be (1/(-8)*3)/3. Suppose -b - b - 1 = h, 2*b + 4 = -2*h. Which is bigger: b or g?
b
Let z = -26 + 9. Let t = 16 + z. Is 3/10 >= t?
True
Let z = 98 - 123. Is -23 at least z?
True
Let h = 1718/7 - 246. Which is bigger: 0 or h?
0
Let