(-4)/(-6) - (-8)/(-6). Is l less than or equal to s?
False
Suppose -3*u - 13 = -55. Suppose u = -3*n - 4. Is -4 equal to n?
False
Let k be ((-2)/(-6))/((-5)/(-30)). Suppose 0 = -k*u + 25 - 3. Are u and 12 nonequal?
True
Let s = -15 + 11. Let r = 8 - 3. Suppose 9*i - 4*i + 15 = 2*q, -5 = r*i - 4*q. Which is smaller: s or i?
i
Suppose -5*j + 2 = -c, -4*c + 11 = -j - 0*j. Suppose a - j + 0 = -2*f, -5*a = -3*f + 8. Are -1/11 and f equal?
False
Let k = 3 - 2. Do k and 1/6 have the same value?
False
Let x(g) = -3*g - 10. Let s(y) = 4*y + 10. Let u(o) = 4*s(o) + 5*x(o). Let a be u(9). Let i be a/2 - 15/(-54). Is 0 at least as big as i?
True
Let r be ((-9)/(-4))/(6/(-16)). Let i be ((-8)/(-10))/(r/15). Let w be 2/5 - 132/80. Which is smaller: w or i?
i
Let x be 29/17 + (-1)/1. Let p = -31/68 + x. Which is bigger: -1 or p?
p
Suppose -6*v - 56 = 22. Which is greater: v or -14?
v
Let l = 20 - 14. Suppose -l*h = -h. Let p(z) = z - 6. Let y be p(6). Do y and h have the same value?
True
Suppose -10 - 22 = -2*u + 2*t, u = 5*t + 24. Suppose 9*r = 111 + 24. Is u bigger than r?
False
Suppose 7*q + 10 = -4. Which is bigger: q or 12?
12
Let c(k) = -k**3 + 3*k**2. Let m be c(3). Is 3/25 at least m?
True
Let m = 170 - -102. Let s = -3532/13 + m. Is -1 >= s?
False
Let y = -282 + 26793/95. Which is smaller: 1 or y?
y
Let p(g) = g**3 + 3*g**2 - 4*g + 2. Let l be p(-4). Let a be (12/32)/((-1)/l). Suppose -z = z + 4. Are a and z unequal?
True
Let x = -0.02 + 0.06. Let a = 0.96 + x. Let t = 2 + 1. Which is bigger: a or t?
t
Let c = 8 - 5. Let h = 6 - c. Let i = h - 7. Which is smaller: -1 or i?
i
Let v be (1 + 1/2)*-2. Let n be v/(-5) + (-48)/30. Let d = -700/13 - -54. Which is smaller: n or d?
n
Let v = 5.3 - -32.7. Is v greater than or equal to 2/3?
True
Let o be (-10)/(-15)*(-2)/(-4). Which is smaller: o or -2/37?
-2/37
Let v be (-1)/1*4/(-2). Suppose -2*n - 2*w - 2 = -0*n, -3*n + 4*w + 11 = 0. Is n smaller than v?
True
Let q be 1/3*(0 - 0). Suppose c = -q*c. Suppose -5*n + 4 = -2*a, -2*n - 10 = -6*n + 5*a. Do c and n have the same value?
True
Suppose 0 = -2*n + 8 + 4. Suppose n = 4*y + d, -y - 2*d + 4 = 3*y. Let g = -18 - -17.9. Which is smaller: y or g?
g
Let g = 5 + -5. Is -18 <= g?
True
Let j(b) = 2*b**2 - 4*b + 8. Let d be j(7). Let w = -280723/13 - -21516. Let o = w + d. Which is bigger: o or -1?
o
Let w(n) = 14*n + 7. Let d be w(3). Is d less than 49?
False
Let n(f) = -2*f**2 + 19. Let x be n(0). Which is smaller: x or -1/3?
-1/3
Let q = 213 + -140. Let m = q + -509/7. Is m <= 1?
True
Let r(q) = -q - 9. Let v be r(-10). Let h = 1/41 - -119/164. Is v bigger than h?
True
Let y = -37 - -36.9. Suppose 5*b - 28 - 7 = 0. Are b and y non-equal?
True
Let x be (-1 + -2)*(-3)/(-9). Let d = 1 + x. Suppose 1 = -g - d. Is 0 smaller than g?
False
Let s be 22/(-5) + 60/150. Suppose 0 = -4*v - 14 + 2. Is s >= v?
False
Let o = 47 + -45. Let b = -2.8 - -3. Which is greater: o or b?
o
Let r = -0.056 + -1.944. Is r greater than 23?
False
Let n be 1/6 + 97/(-6). Let y = n + 34. Let l be (-16)/y + (-2)/(-3). Is 0 > l?
True
Let t(s) = -s**3 + s**2 - s + 5. Let x(j) = j**3 - j**2 + j - 4. Let i(f) = -2*t(f) - 3*x(f). Let k be i(0). Is 0.3 less than k?
True
Let j(n) = -n**2 - 4*n - 3. Let a be j(-3). Let o = a + -2. Is -2 at most as big as o?
True
Let w = 8 - 6. Let b be (-1)/w*196/(-2). Let g = 344/7 - b. Is g greater than or equal to -1?
True
Let i be 33/6 - 2/4. Let u be ((-8)/20)/((-11)/i). Is u <= -1?
False
Let h = 2/29 + 25/58. Let m = 1 - 0. Is h < m?
True
Let h(f) = f**2 + 2*f - 3. Let b be h(-3). Let v = b + 2. Let w be 1 + 0*2/(-4). Is w bigger than v?
False
Let f = -0.51 - -0.41. Which is bigger: f or -0.18?
f
Suppose 2*u + 22 = -i, 0 = -u + 2*i - 11. Let b(q) = -q**3 + 5*q**2 + 2*q + 14. Let p be b(6). Is u >= p?
False
Let p = 0.15 + 3.85. Which is greater: p or -0.1?
p
Suppose -d + 5 = 2. Let z be (11 - 2)*d/9. Which is smaller: 0 or z?
0
Let a(n) = -2*n**2 - 2*n + 2. Suppose -19 = 5*g - 4. Let h be a(g). Let r be 3/(-5) + 2/h. Is 0 <= r?
False
Suppose 4*s + 13 = 5*g, 0 = -5*s + s - 3*g - 5. Let z be (s + 2)/(5 + -7). Which is greater: 2 or z?
2
Let t(x) = x**3 - 6*x**2 + 2*x - 6. Let f be t(6). Is f smaller than 7?
True
Let j be 8350/(-420) + 2/(-7). Let v = j - -41/3. Which is bigger: -8 or v?
v
Let k = 0 - 0. Let i be (-2116)/9 + 1/3. Let c = i - -235. Which is smaller: c or k?
k
Suppose 1 = -3*c + 4. Is -1/10 less than c?
True
Let m = -282 - -309.49. Let l = -30.5 + m. Let s = l - -0.01. Is s equal to 1?
False
Let h = 85/888 - 2/37. Let g(y) = y**2 + 6*y + 6. Let l be g(-5). Is h >= l?
False
Let p(g) = -g**3 - 4*g**2 + 4*g - 5. Let m be 6/(-4)*40/15. Let s be (1 - (-3)/12)*m. Let o be p(s). Which is greater: o or 1?
1
Let a(u) = -u + 1. Suppose -4 + 10 = 3*z. Let r be a(z). Is -4 at least r?
False
Suppose a + 5*r = 13, 12 - 2 = 5*r. Let f be (-70)/(-6) - (-1)/a. Suppose -8*g + f = -4*g + 4*p, 9 = 2*g + 3*p. Is g not equal to -2/3?
True
Suppose -2*m = -4 - 0. Let n be (-2)/2*m*-2. Let d be -3 + 2 + 2/n. Is 2/11 < d?
False
Let m = 121/5 + -837/35. Which is greater: m or 0?
m
Suppose -3*n + 11 = -5*p, 4*n - 8 - 2 = 2*p. Suppose 0 = -3*h + 6*h - 18. Let g be 1*4/h*3. Are g and p equal?
False
Let d = -69 + 51. Which is bigger: d or -20?
d
Let c = 1 - 1. Let m be (-455)/15 + (4 - 0). Let j = 27 + m. Is c != j?
True
Let y = -3 - -1. Suppose 3*p - 2*p + 3 = 0. Which is smaller: y or p?
p
Let t = 80 + -81. Is t less than or equal to -20?
False
Let a be (-2)/(-6) - 85/(-30). Which is smaller: a or 4?
a
Let i be 21/12*(-4)/1. Let h = i + 8. Is h <= -2/9?
False
Let k(s) be the third derivative of -s**5/60 - s**3/6 - 8*s**2. Let u be k(2). Is u smaller than -4?
True
Let l = 1211 + -18157/15. Let h = l - 86/105. Which is greater: -1 or h?
h
Let a be 6/27 + 2/(-9). Suppose -5*y = 0, a*l - 3*l + 18 = -4*y. Let r be (-10)/35 + (-37)/(-7). Which is greater: l or r?
l
Let f be (-38)/(-9) - 22/99. Is f at most as big as 3?
False
Let w = 0.1 + -0.2. Let i = -5/74 + 183/518. Is i < w?
False
Let v be ((-1)/(-5)*2)/(57/(-15)). Which is bigger: 1 or v?
1
Let a = -1.6 - -0.6. Let q = 3 + -2.6. Let i = 0.2 - q. Which is bigger: i or a?
i
Suppose -g - 8 = g. Let p be (6/g)/((-42)/(-12)). Suppose -5*s = 5*j + 5, 5*s + 1 - 2 = -2*j. Which is smaller: p or s?
p
Suppose 2*j + 3*j = -30. Let v be -6*(8/j + 1). Let u = -4 - -6. Is u smaller than v?
False
Let w(l) = 2*l**2 - 8*l + 9. Let t be w(1). Is t less than or equal to -10?
False
Let k(v) = -v - 8. Suppose 0 = 2*z - 0*z + 16. Let j be k(z). Let a be (-1)/(4 + 0)*1. Do a and j have different values?
True
Let d(n) = -n + 1. Let v be d(-3). Suppose -2*s + 4*y = 0, -2*s + 5 = 4*y - 3. Is s less than v?
True
Let k be (-1 + 2)/(1 + -2). Let d(p) be the third derivative of p**6/120 + p**4/24 + p**3/6 - 26*p**2. Let t be d(k). Is -1/3 != t?
True
Suppose 0 = -5*l + g + 22, g - 3*g - 20 = -4*l. Suppose -3*i - 2*i = 95. Let b = 23 + i. Is b greater than or equal to l?
True
Suppose -2*b - b + 4*h + 25 = 0, -5*b - 4*h = 1. Let k = 9 + -7. Let t = b - k. Which is greater: t or 2/5?
t
Let b(t) = 3*t - 74. Let r be b(25). Which is smaller: r or 4/31?
4/31
Let v = -6019/7 - -857. Is v less than or equal to -1/4?
True
Suppose -4*j - 9 = -13*j. Which is smaller: -6/31 or j?
-6/31
Let f = 20/29 + -202/377. Suppose -2*l + 0*n = -2*n - 6, 2*l = 4*n + 4. Suppose 16 = l*g, 0*a - 4*a = 4*g - 20. Is a less than or equal to f?
False
Let d = 0 - 0. Let i be (-8)/48 - 2/(12/5). Which is bigger: i or d?
d
Suppose 3*y + 3*m = -m + 7, -3*y + 4*m - 1 = 0. Which is bigger: -2/5 or y?
y
Let r(s) be the second derivative of -s**5/10 + s**2/2 + s. Let q = 7 + -8. Let g be r(q). Is 2 smaller than g?
True
Let r be (-1 + 3 + -4)/15. Let z = -1 - -2. Is z at most r?
False
Let n = -76 + 230/3. Is n < 0?
False
Let c(y) = -y**2 + 6*y - 4. Let s be c(5). Is s smaller than 0.15?
False
Let i be 5/(45/6) - (5 - 7). Do 2 and i have the same value?
False
Suppose 0 = 2*j - c - 24, -5*j + c = 6*c - 45. Is 87/7 at most j?
False
Let w(h) = -3*h - 8. Let l be w(-5). Let i(b) = -2*b + 6. Let s be i(l). Which is smaller: s or -7?
s
Suppose 0*o - 13*o = 0. Let z be 2 + -2 + 2/(-3). Which is smaller: o or z?
z
Let n be 18/4*(-2)/(-12). Let t(i) = -i**3 + 4*i**2 - i + 5. Let z(g) = 4*g**3 - g**2 + 2*g