o and r unequal?
True
Let d be (10/12)/((-9)/135). Is d at most as big as -13?
False
Let a(c) = -c**2 - 5*c - 7. Let b be a(-3). Is 1/28 < b?
False
Let j(z) = 20*z**2 + 5*z + 3. Let m be j(-3). Let a = m + -846/5. Let x = -29/20 - a. Which is smaller: -1 or x?
-1
Let t = 16 - 14. Suppose -t*h = -0*h + 10. Is -5 bigger than h?
False
Suppose 7*x - 7 = 2*x + 2*n, -5*n - 5 = 0. Is 6/53 != x?
True
Let p(w) = w**2 + 7*w + 5. Let r be p(-6). Let f be (-3 - 13/(-3)) + r. Suppose 0*d + 5*d + 2*n = 3, n - 3 = -d. Is f at least as big as d?
True
Let q = -4 + 1.6. Let l = q - -4.3. Let d = l - 2. Is d greater than or equal to 6?
False
Let w(z) = -2*z + 65. Let r be w(13). Is 40 greater than or equal to r?
True
Suppose 2*s = -0 + 2. Let d be -2*2/(s + -5). Suppose -d = -5*m - 6. Is m >= -2/11?
False
Let g be (-2)/(4/3)*(-12)/(-126). Is g greater than or equal to 2?
False
Suppose 4*g - 3*x + 11 = 0, 0*g + 3*g = x - 2. Let u = g + 2. Suppose u*z + 2*z = 0. Which is smaller: -1/6 or z?
-1/6
Suppose -14 = 3*m + 1. Which is smaller: -6 or m?
-6
Let n = -16 + 3. Is -13 at least as big as n?
True
Suppose -2*s - 4*n = -16, -1 = -s - 4*n + 7. Suppose -3*y + s = -7*y. Let b = -2 - y. Is 0 smaller than b?
False
Let h = -3418127/625 + 5469. Let m = h - -502/625. Which is smaller: -2/5 or m?
-2/5
Let r be ((-9)/(-18))/((-1)/(-164)). Is r at least 82?
True
Suppose 19 = -2*x - 11. Let c = x + 15. Is c <= -2/3?
False
Let c = -0.2 - 1.8. Let m = c - -3. Suppose -2*k = -0*k + 10, -2*r - 5*k = 29. Which is smaller: r or m?
r
Let x(l) = 6*l**2 + l + 1. Let s be x(-1). Suppose 0 = -t + 3*t + s. Let w = -16 + 13. Is w not equal to t?
False
Let d = 7 + -3. Let g = 1 - d. Let t = 1.9 - 2. Is g greater than t?
False
Let z be (4/6)/((-4)/(-6)). Let k be ((-1)/(-2))/(1/6). Is k smaller than z?
False
Let m(y) = 3*y + 2. Let h be m(-2). Let b(x) = -2*x - 5. Let i be b(h). Suppose 3*k + 2*k - i*v = 11, -4*k - 4*v = 4. Are k and -1/3 equal?
False
Let u = -13.18 + 13. Let r = 1.28 + u. Which is smaller: r or 1/2?
1/2
Let u(y) = -y**3 + 6*y**2 + 23. Let d be u(7). Which is bigger: d or -74/3?
-74/3
Let k be 2/8*16/(-12). Which is greater: k or 0?
0
Let m(v) = -v**2 - 9*v - 6. Let u be m(-8). Suppose -2*b + 0*b + 19 = -g, 5*b - u*g - 45 = 0. Suppose -2*k = b*z - 3*z, 4*z - 2*k = 0. Does -2 = z?
False
Let f be (-15)/(-6)*294/(-10). Let b = -75 - f. Let n be 2/2 - 4*1. Which is smaller: b or n?
n
Let q(z) = -2*z**2 + 3*z + 11. Let n be q(5). Let j be (-4)/n + (-15)/9. Is j >= -1?
False
Let g = -2.2 + 2.4. Let c be (-2)/8 + 5/4. Is c bigger than g?
True
Let d = 76/3 - 80/3. Let z = -8 + 6. Which is smaller: d or z?
z
Let j = 41.8 + -48. Let p = j + 6. Do p and 5 have the same value?
False
Let d be (63/70)/(12/(-10)). Is -1 bigger than d?
False
Suppose 3*o = 4*o. Let g = -766/7 - -109. Are o and g equal?
False
Let p = 11 - 10. Which is bigger: 0 or p?
p
Suppose -3*z - 2*z = -f - 26, 0 = 5*f + 5*z - 20. Let g = -187012307/749763 - 1/107109. Let b = -249 - g. Which is greater: b or f?
b
Let i be 9/3*1/7. Let n = 7 + -6. Let t be 3/(-3)*1/n. Which is smaller: i or t?
t
Let p = 0.12 - -6.88. Which is smaller: p or 0?
0
Suppose 4*r - 15 = r. Suppose -r*h + 2 = 7. Let p be (12/(-50))/(3/10). Is h >= p?
False
Let w(u) be the third derivative of -u**6/120 + u**5/15 - u**4/12 - u**3/3 + 4*u**2. Let o be w(3). Which is bigger: 1/9 or o?
o
Let g = -12 + 10. Let c be g - ((0 - 0) + 1). Which is smaller: -2 or c?
c
Let a be ((-2)/6)/((-3)/153). Is 16 bigger than a?
False
Let y(n) = -n**3 - 3*n**2 + 6*n + 6. Let s be y(-4). Let c be (s/20)/(3/6). Which is smaller: 0 or c?
c
Let z = -2 + -2. Let m(g) = -g**3 - 4*g**2 - 1. Let i be m(z). Let t = 5 + i. Does t = 3?
False
Suppose 0 = -4*d - 0*d - 4, 10 = 2*c - 2*d. Let u be -2 - (68/32 - c). Which is bigger: 1 or u?
1
Let o = -0.04 + 0.14. Let k = 0 + o. Is k less than -4?
False
Let m = 487/33 + -56/11. Do 11 and m have different values?
True
Let d be (33 + 0 + 0)*-1. Let v = 100/3 + d. Is 0.2 <= v?
True
Let x(a) = 2*a + 5. Let o be x(-14). Is -23 less than or equal to o?
True
Let s = 6 + -8. Let v be (-2 - -1) + 2 + s. Let a = 17/5 + -19/5. Is v bigger than a?
False
Let y = -2.74 - 3.14. Let k = y - -6. Let z = k + -0.02. Is z >= 0?
True
Let z = 0.3 + -0.6. Which is greater: -0.1 or z?
-0.1
Let a(p) be the first derivative of p**4/4 - 2*p**3/3 - p**2/2 - 4*p - 3. Let c be a(3). Let l = -19 - -22. Is c not equal to l?
True
Suppose 2*a + 344 = 5*p, 5*p - 283 = p - a. Let i be -2 - p/(-22) - 1. Which is smaller: -1 or i?
-1
Suppose -28 = -5*s - 8. Let n be s/(-5)*(-8 - -3). Let y be ((-6)/16)/(6/n). Which is bigger: y or 0?
0
Let v(y) = y + 5. Let w be v(21). Is w at least 49/2?
True
Suppose u + 8 = 5*u. Let j be u/(-3)*3/(-1). Suppose -j*c = c. Which is smaller: 0.1 or c?
c
Let h be 2/6 - 1/12. Let s(m) = -m**3 - m - 1. Let f(b) = b + 9. Let r be f(-9). Let q be s(r). Which is bigger: q or h?
h
Let r be 0 + (-1)/(40/(-55)). Which is bigger: 0 or r?
r
Let f = 18 + -17. Is f not equal to 2?
True
Let f = 12502/15 - 834. Let h = f - -79/120. Let i be -1 - 0*2/(-4). Is i > h?
False
Suppose 0 = -0*g + 3*g + 57. Is g != -19?
False
Let v(q) = 14 - 56*q**2 + 0*q - 7*q + 57*q**2. Let h be v(4). Let y(j) = -j**2 - 5*j + 8. Let s be y(-6). Are s and h non-equal?
False
Suppose 15 = -5*b + 4*l, 0*l - 4*l + 18 = -2*b. Which is greater: b or -3?
b
Suppose -12 = 3*r - 4*r. Let f be r/9*(-2)/(-16). Is f greater than 1?
False
Let w(c) = -c**3 - 3*c**2 + 2*c - 9. Let g be w(-4). Is -42/19 at most as big as g?
True
Let q(b) = b - 2. Let m be q(-1). Let y = m - -1. Which is smaller: y or -3?
-3
Suppose 0 = 5*c + 4*g + 52, 0*c - 5*c - 28 = -4*g. Let n be 2/9 - c/(-18). Let j be 2/7 - (-10)/14. Which is bigger: n or j?
j
Suppose -3*j = w + 7, 4 = -2*w + 4*j + 20. Let q = w - 1. Let o be (-24)/51*(-1)/4. Is q >= o?
True
Let d = -48 + 44. Is 0.9 smaller than d?
False
Let z(p) = -p**2 - 10*p. Let j be z(-10). Which is greater: j or -4/101?
j
Let k = 0.3 + -0.2. Let w(z) = -z - 8. Let v(g) = -g - 9. Let b(x) = 4*v(x) - 6*w(x). Let n be b(-8). Is n equal to k?
False
Let g(m) = -m**3 - 22*m**2 + 54*m + 144. Let y be g(-24). Let r be (-2)/(-2) - (-30)/(-34). Which is smaller: y or r?
y
Let f = 208 - 208.1. Are f and -13/2 nonequal?
True
Let g = 5 - 5.04. Let j = -0.06 + g. Which is smaller: -0.22 or j?
-0.22
Let y be ((-57)/(-21))/(-1) + 3. Which is smaller: 0 or y?
0
Let a be (-5)/8 - (-1)/4. Do 0 and a have the same value?
False
Let w = 2 + -1. Let s(o) = -o**3 - 9*o**2 + 9*o + 15. Let x be s(-10). Let j = x + -73/3. Which is smaller: w or j?
j
Suppose 2*l - p = 7*l + 13, -l + 3*p + 7 = 0. Which is smaller: -1 or l?
l
Let p be (-3)/9 + (-2)/3. Suppose -4*t - 6 = -14. Let a = p + t. Is 2 not equal to a?
True
Suppose -d - 8 - 1 = 0. Let m = d - -8. Let l be m*(-4 + 1)/3. Are l and 0.1 unequal?
True
Suppose 0 = -3*v + 3 + 3. Let f(w) = -w. Let z be f(v). Let c = -87 + 259/3. Is c at most as big as z?
False
Let t be (-2 + (-19)/(-10))*6. Suppose 3*i + 2*k = 37, 20 - 45 = -5*k. Suppose -i*h = -4*h. Which is greater: t or h?
h
Let o be 0 + 3 + -10 - 0. Let w = o - -10. Let p = w - 1. Which is smaller: p or 1/2?
1/2
Let q = -3 + 3. Let y(g) = -11*g + 1. Let u be y(1). Let d be (-6)/u + (-6)/10. Is q bigger than d?
False
Let b = 33874030/161334153 - -2/58013. Let z = b - 14/103. Which is bigger: z or 0?
z
Let u(n) = n**3 + 2*n**2 - 2*n - 3. Let x = -4 + 2. Let k be u(x). Let z be (-7 - -5)/(k + 1). Is 0 at least z?
True
Let v = 1 + -0.6. Let l be (8/(-50))/((-42)/(-35)). Which is smaller: v or l?
l
Suppose 2*w - 2 = -v - 11, 0 = -3*v + 5*w + 28. Is -4 greater than v?
False
Let d = -19 - -22. Suppose u + 4*n + 4 = 17, d*u + n = 6. Which is smaller: 4/21 or u?
4/21
Suppose 2*y - 3*i = 16, -2*y - y - i = -2. Suppose 2*s = -3*d - 5, d - 2*d + y*s = -1. Let a = -548 - -6031/11. Which is smaller: a or d?
d
Suppose -w + 4*w - 15 = 0. Suppose w*o - 4*c + 1 = 31, 5*o = -3*c + 30. Suppose -5*p - 1 = -o*p. Which is smaller: p or 2/9?
2/9
Suppose 5*a - 9 = 16, 14 = 2*u + 2*a. Do u and 3 have the same value?
False
Let s(k) = -k**2 - 2*k + 6. Let m be s(-4). Which is smaller: m or 0?
m
Let p = 107 - 96. Suppose -5*d + 12 + 38 = 0. Which is smaller: p or d?
d
Let f(h) = h**2 - 3*h. Let v be f(2). Let b be (7