Is -4 <= k?
True
Let s(t) = -t**3 - t**2 + 1. Let y be s(-2). Suppose 2*i - 4*l = -2, -6 = -2*i + i - y*l. Is i != 2/41?
True
Let w(p) = -p**3 - 5*p**2 - p - 5. Let h be w(-5). Let b = -1/257 + -499/3855. Is b < h?
True
Suppose 0*f = f - 16. Let d be 6/(-4)*f/12. Which is smaller: d or -3/5?
d
Let c = -12 - -106/9. Let o = -348 - -346. Which is greater: c or o?
c
Let g = -167 - -182. Which is bigger: -2/27 or g?
g
Let d = -1917/2 + 840. Let z = -2367/20 - d. Let k = z - -7/20. Which is greater: -1 or k?
k
Let g be 4*(0 + 4/(4/(-2))). Let i(d) = d**2 + 6*d - 7. Let v be i(-6). Are g and v unequal?
True
Let m = -3 - -3. Let w = 0.18 + -0.08. Let j = m - w. Which is smaller: -5 or j?
-5
Let r = -0.2 - -0.3. Let y be 63/42*(-2)/(-3). Which is smaller: r or y?
r
Let k be (-4)/(-14) + 1 + (-272)/(-28). Is 10 bigger than k?
False
Let u(m) = -2*m - 3. Let i be u(-2). Suppose 2*v + 13 + i = 0. Let p be 58/v - (-2)/7. Are -8 and p unequal?
False
Let n = 15 + -9. Let u be 4/n + 20/(-27). Which is smaller: -1 or u?
-1
Let j = 1441 + -4285/3. Is j at least as big as 14?
False
Let y = 33 - 34. Which is greater: y or 7?
7
Let w = 9 - 8.9. Let b = -101/6 + 17. Which is greater: w or b?
b
Let k be (-3)/(-5)*(-9 - -4). Let w be (-38)/(-14) - (-9)/k. Is 1 less than or equal to w?
False
Let u = -4 + 5. Let m(q) = -q - 2. Let v be m(-2). Let y be 0 + v + 1*-3. Which is smaller: y or u?
y
Let o(t) = -2*t - 17. Let r be o(-15). Suppose 70 = 5*l - 2*w + 4*w, 0 = l + w - 17. Are r and l non-equal?
True
Suppose 5*l - 2 = g - 9, -3*g = 5*l - 1. Suppose 3*f - 15 = -3*b, -2*b - g*f - 5 = -5*f. Suppose 6*y - 4 = b*y. Is y at most as big as -1/5?
False
Let m = -2.5 - -2. Let q = -0.5 + m. Let x = q - -1.2. Which is greater: 1 or x?
1
Let g = -10 + 8. Is g greater than or equal to -3/5?
False
Let n = -268/91 - -42/13. Which is smaller: n or -1?
-1
Let h be (-4 - (-1 + -3)) + 0. Which is smaller: h or -1/26?
-1/26
Suppose 10 - 2 = 8*t. Is t equal to -3/115?
False
Let m be 1 + 0/2 + 92/(-70). Let h = 650/21 - 95/3. Let z = m - h. Which is bigger: z or 1?
1
Let a = 1 - -1. Let t(c) = 0*c**2 + 0*c**2 - c - c**a + 1. Let f be t(1). Do -1 and f have the same value?
True
Let u(x) = x. Let j be u(0). Let q = 54/5 + -172/15. Which is bigger: q or j?
j
Let n = -1.7 - -4.7. Let m = n + -4. Are 4 and m non-equal?
True
Suppose 3*w - 5*b + 16 = 4*w, 10 = 5*b. Let a be 10/3*(-18)/(-12). Which is smaller: w or a?
a
Let r = -3 - 0. Let l = 4.87 + 0.13. Let q = r + l. Which is greater: q or 1/2?
q
Let n = -459.06 + 453. Let c = -6 - n. Is c <= 0.1?
True
Let o = 13 + -13. Does 45 = o?
False
Let o be 109/5 - (-45)/225. Do 41/2 and o have the same value?
False
Let x(q) = -q**2 - 9. Let f be x(-5). Which is smaller: -35 or f?
-35
Suppose d = -d, 16 = -2*o - 5*d. Let i be (o/(-20))/((-19)/5). Is i at most as big as 1?
True
Let w = -12 - -23. Let j = w + -15. Which is smaller: -2 or j?
j
Let r = -0.04 - -0.66. Let i = -2.28 - r. Let j = i + 3. Which is smaller: 6 or j?
j
Let o = 0.3 - -0.2. Let f = 0.3 - 0. Let r = o - f. Is r bigger than 0.2?
False
Let t = 2 + -6. Let k be (4/(-21))/(t/6). Is 0 > k?
False
Let d be (-64)/(-26) + (-5)/(-5). Let s = d - 1601/455. Is s equal to 1?
False
Let n be (-50)/(-26) - 1 - 1. Let h = 9 - 10. Is h < n?
True
Let u be 3453465/(-82068) + (-2)/(-8). Let t = 26/977 - u. Let b = t - 42. Is 1 less than b?
False
Suppose 3*b = -5*u - 92, 4*u + 3*b = 5*u + 4. Do u and -16 have the same value?
True
Let s = 0.23 + 0.87. Let i = 0.2 - 0.4. Which is smaller: s or i?
i
Suppose 0 = 2*m + 1 - 5. Let k(r) = r**3 + 8*r**2 - r - 9. Let s = 1 - 9. Let h be k(s). Which is greater: m or h?
m
Let i = -1/3 - -1/12. Suppose -10 = -4*x + 3*w, 5*x - w = w + 9. Which is smaller: i or x?
i
Let f = 2.5 + 2.5. Which is smaller: f or -0.6?
-0.6
Let m = 0 + 45. Let j be (6/m)/(3/(-9)). Which is greater: j or 1?
1
Let x be (-1)/(-2)*(-1 - 1). Is x at most as big as 1/26?
True
Let s = -139 - -128. Is s != 5/3?
True
Let k be 2 + 4/((-8)/5). Let v = -0.02 + 4.02. Let y = v + -2. Is y < k?
False
Let l = -6 - -5. Let y = -90 + 626/7. Is y at most l?
False
Let j be (-6)/(-4)*2/(-12). Let q be ((-14)/(-8))/((-3)/(-12)). Let l = -7 + q. Is j >= l?
False
Suppose 0 = -w + 5*v + 13, -2*w + 0*v + 5*v = -16. Let r = 4 - w. Let f be (-2)/(((-2)/(-1))/r). Which is smaller: 0 or f?
f
Let t = -1.5 + 6.5. Is -0.1 < t?
True
Suppose 2*x - 14*x = -24. Which is smaller: -2 or x?
-2
Let o be 2/7 - (-40)/(-42). Suppose 0 = -6*z - 25 - 23. Let l = -9 - z. Is l smaller than o?
True
Suppose -4*x - 5*o - 45 = 0, -5*o + 45 = -4*x + 2*x. Let k = x - -31/2. Which is greater: -1/6 or k?
k
Let s be (-34)/(-10) + (-6)/(-10). Suppose s*y - 4 = 16. Which is bigger: 7 or y?
7
Let l be 1 - (100/(-136) - 3/(-2)). Which is bigger: 0 or l?
l
Suppose -5*j - d = 23, 6*j - 5*d = 2*j - 1. Let m = -4 - j. Is m < -1/7?
False
Let q be (3 + -5)*(-1 - -2). Let c be 3/(-6)*q/(-7). Let a be (-6)/5 - (-4)/20. Which is greater: a or c?
c
Let b be ((-1)/(15/24))/(4/(-140)). Are 58 and b nonequal?
True
Suppose 4*s + 0*s = 8. Suppose 0 = 3*z + 2*p - s - 9, -p + 1 = 0. Is 3 less than or equal to z?
True
Suppose 3*s + 2*i = 4, i - 4 = -4*s + 3. Let c = s - 5. Is 2 at most c?
False
Let b be -2 + (-6)/3*-6. Suppose -2*v = -5*t + b, 2*t + 6*v - v = 4. Suppose -t*s = -w - 6, 2*s - 3*w + 4*w - 2 = 0. Is s bigger than 6/5?
True
Let s be (14/(-6))/((-8)/(-12)). Let w = 27/10 + s. Let g be 0/((2 + -1)*-2). Is w greater than or equal to g?
False
Let x(r) = r + 11. Let v(u) = -1. Let k(d) = -6*v(d) - x(d). Let f be k(-5). Is f less than -1?
False
Let o be (2/6)/((-1)/6). Are o and -10/7 unequal?
True
Let k = -3.96 + -0.04. Let a = -0.003 - 0.997. Is k < a?
True
Suppose 5*w + 10 = 3*y, 0 = -2*w + 3*w + 3*y + 2. Let s = -8 + 13. Suppose -4 - 5 = -3*p, 0 = 4*o + s*p + 1. Are o and w unequal?
True
Let b be 23 - -1*3/(-3). Let l be (-6 - -7)/((-2)/b). Is l > -11?
False
Suppose 3*q = -q - 12. Suppose -4*x + 2*x - 5 = -3*p, -2*p + 4 = -x. Suppose -x*j - 2*j = 8. Is j smaller than q?
False
Let c(v) = v**2 + 6*v + 9. Let b be c(-4). Let u be (-2)/(-21)*24 + -2. Is u < b?
True
Let f = 2 - 2.2. Let a = -3 - -1. Which is smaller: a or f?
a
Let h = -90 + 90. Which is bigger: h or 1/32?
1/32
Let a(m) = 117*m + 1 + 1 - 107*m + m**2. Let s be a(-10). Let x(i) = i**2 + 6*i + 1. Let q be x(-6). Is s bigger than q?
True
Suppose 7 = 4*b - 9. Suppose 3*f - b*f = -2. Which is greater: 4 or f?
4
Let z = -24 + 25.3. Let m = 0.3 - z. Which is smaller: -1/3 or m?
m
Let h = 1 - 1. Let p = 0.6 + -0.5. Let q = p - 0. Which is smaller: q or h?
h
Let b be 98/270 + 2/(-5). Does 0 = b?
False
Suppose 5*p = r - 3, -2*p = 2*r + 2 + 4. Suppose t + 24 = 4*t. Let d = -9 + t. Is d <= p?
True
Let h be 0/2 + 3 + -2. Let p(y) = -13 + 2*y + 8 + 4 - y**2. Let z be p(h). Is -1/4 at most as big as z?
True
Suppose x - 1 = -0*x. Let a = 0 + x. Let v be 21/9 - 4/12. Which is smaller: a or v?
a
Let z = -5 + 6. Let m be 34/(-11) - -3*z. Which is smaller: 1 or m?
m
Suppose -6*z + 2*o - 23 = -z, 10 = -2*z + o. Let k be 8/(-21) - 2/z. Which is bigger: k or -1/3?
k
Suppose -b + 2 + 0 = 0. Suppose 0*u - b*u = 0. Is 4/3 <= u?
False
Let a = 5413021/107037 + -1/15291. Let v = 51 - a. Is -1 greater than or equal to v?
False
Let p = 119/3 + -42. Which is bigger: -3 or p?
p
Suppose -w + 4*k + 11 = -49, 0 = 4*w - 4*k - 288. Let s = 986/13 - w. Which is bigger: s or -1?
s
Let x be (-1)/((-12)/(-21)) - -1. Let i = -16.87 + 18.9. Let p = 0.03 - i. Is x bigger than p?
True
Let s = -5 - -10. Let h be (-95)/(-75) + (-3)/s. Which is smaller: 0 or h?
0
Let d(q) = -q**3 - 13*q**2 - 12*q. Let x be d(-12). Suppose -5*c = -8*c. Are x and c nonequal?
False
Let d = 1.2 - 0.2. Let k = d + -3. Let x = -66 + 66.2. Which is smaller: x or k?
k
Let b = 1 - 1. Suppose 2*d - 5*d = 18. Let j = -6 - d. Do j and b have different values?
False
Let t = 3/68 - -115/476. Let x = -2 - -2. Suppose x*n + n = 0. Which is bigger: n or t?
t
Let i(s) = 4*s**2 + s. Let b(t) = t**3 + 3*t**2 - 2. Let m be b(-3). Let r be i(m). Suppose -p = p + 5*a + 21, -3*p - r = 4*a. Is 3 >= p?
True
Suppose 2*d + 51 = i - 2*i, 4*i = -2*d - 66. Which is smaller: d or 0?
d
Suppose 3*l = 5*b + 20, -l + 5*l - 16 = -4*b. Let p be 1/(b/2*1). Suppose 11 = -5*c - 4. Do c and p have 