 - 4*v - 4. Let t be l(-4). Let m = -3 - t. Is b > m?
False
Let i(j) = -j**3 + 13*j**2 + 13*j + 30. Let d be i(14). Is d not equal to 12?
True
Suppose 6 = -4*x - 10. Which is greater: x or -5?
x
Suppose -5*b - 33 + 3 = 0. Is b < -17/3?
True
Let y = 112/13 - 3274/377. Is y >= 0?
False
Let b = -1.3 + 7.3. Suppose 3*w = -5*y + 8*w + 60, -3*y - 5*w - 4 = 0. Suppose 0 = 4*s - y*s. Is b equal to s?
False
Let n = -0.13 - -0.07. Let l = n - -0.11. Which is smaller: 2/7 or l?
l
Let r(m) = -m**2 + 3*m + 4. Let h be r(-1). Which is smaller: h or 3?
h
Let v = -59/161 + 15/23. Let s = -4.4 - -2. Let a = -0.4 - s. Is v greater than a?
False
Let y = -6 + 4. Let c(i) be the third derivative of i**4/12 + i**3/6 + i**2. Let k be c(y). Which is greater: k or -3/2?
-3/2
Suppose 0 = n - 5*x - 10, 0*x - 18 = 3*n + x. Which is greater: -32/5 or n?
n
Let o(y) be the second derivative of y**4/12 + y**3 + y**2/2 - y. Let d be o(-6). Is -0.2 bigger than d?
False
Let t = -0.154 - 89.846. Which is smaller: -1 or t?
t
Let p be 8/(-28)*(-4 - (-14)/4). Is 2/19 greater than p?
False
Suppose 4*s - 3*s = -4*w + 32, -2*w + 16 = s. Which is smaller: 39/5 or w?
39/5
Let g(j) = j**2 + 4*j + 2. Let q be g(-4). Suppose -b - q*b + 16 = -4*u, 4*b = -5*u - 20. Suppose b = 3*a - 19 + 7. Is 4 != a?
False
Let i = -194 + 1356/7. Which is smaller: 1/3 or i?
i
Suppose 1 = 4*x + 29. Let l = x - 2. Let t = l + 15. Is 6 greater than t?
False
Let h = -79/4 - -20. Is h <= -0.04?
False
Let k(z) = z**2 + 10*z - 6. Let g be k(-11). Suppose -g*j + f - 1 = -3*f, 7 = -3*j - 4*f. Is j < 1?
True
Let c(z) = z - 9. Let d be c(0). Let x be 7 + d/6*2. Is 2 less than or equal to x?
True
Let l = -6 - -3. Let w = l - -5. Suppose w*x = -0*x. Which is smaller: x or -1/2?
-1/2
Let d be (-11)/(-5) + 1/(-5). Let f be (-3)/2*(1 + 3). Let m = -4 - f. Is m at most d?
True
Let f = -26 + 18. Let j = f - -7.99. Which is smaller: j or -1?
-1
Suppose l = -4*i - 4*l - 2, -4*l = 4*i. Which is greater: -0.1 or i?
i
Let d be (-27)/(-9)*1/15. Is 1 smaller than d?
False
Let l(p) = -p**2 + p + 4. Let a be l(3). Let v be (-3)/(-2)*a/(-3). Do 3/7 and v have the same value?
False
Let l be 2 - 2/5 - 2. Let r = -21 + 20. Is r <= l?
True
Let i = 15277/25 + -611. Suppose 2*v = -5*x + 5*v - 10, -5*x - 3*v = -20. Is x equal to i?
False
Let l be (-4)/275*10/(-4). Which is greater: 2/11 or l?
2/11
Let a = 3 + 27. Suppose -6*v + v = -a. Let h be -1*v/(-9)*-3. Which is smaller: -1 or h?
h
Let i(h) = h**2 + 6*h - 12. Let k be i(-7). Let v = -8 - -5. Which is bigger: v or k?
v
Let y(r) = 2*r**2 + 4*r + 2. Let w be y(-3). Let h = -3 - -10. Are w and h unequal?
True
Let p = 0 - 3. Let s be p + (-1 - 78/(-21)). Which is smaller: s or 2?
s
Let n = -6.18 - -0.18. Is 1 < n?
False
Let i be (-4)/(-15) - (-4)/(-6). Let k = 6 + -7. Which is smaller: i or k?
k
Let c = -73 - -77. Which is smaller: 0 or c?
0
Let v = 9 - 9. Suppose -3*c - 3*w + 6 = 0, 4*c - 5*w - 8 - 9 = v. Suppose -c*q + 12 = -3. Which is smaller: 4 or q?
4
Let g(v) = -2*v. Let u be g(-1). Suppose 2*n + 2 = c, 2*n = c + c - 4. Let f be (1 - n/(-1))*1. Does f = u?
False
Let n(s) = -s**2 + 4*s + 12. Let g be n(6). Are 0.04 and g non-equal?
True
Let a = -100 - -103. Let q = -371/9 - -41. Which is bigger: q or a?
a
Let w be 8/(-27)*(-3)/(-4). Is w at least 11?
False
Let y = -1.12 - -15.2. Let p = y - 0.08. Which is bigger: p or 0?
p
Let w = -0.1 - -0.4. Let f = w - 0.2. Let k = 0.02 + -0.22. Which is greater: k or f?
f
Let l = 25 + -18. Let z(o) = o**3 + 5*o**2 - o - 6. Let d be z(-5). Let w be (9/6)/d*-4. Is w >= l?
False
Suppose 3*n - 4*o - 10 = 0, -5*n - 5*o + 1 = -4. Let j be ((-1)/(-2))/(n/5). Which is greater: 2 or j?
2
Let b = -0.06 - -0.07. Let o = b - -0.05. Let h = 6 + -6.1. Is h smaller than o?
True
Let r = -3.07 + 0.07. Let w = r - -3.1. Is 3 less than or equal to w?
False
Let w be -3 + (-2 - -1 - 0). Let a = w - -1. Which is smaller: -1 or a?
a
Let l = 0.54 - 0.64. Is 1/7 at most as big as l?
False
Suppose 2*g - 4*g = -6. Suppose 9 = l + g*v - 28, 0 = 2*l - 2*v - 82. Suppose 4*m - l = -5*d, d + 0 = -3*m + 19. Is 2 >= m?
False
Suppose i - 4*i = 3. Let k be 9/9 - (-314)/(-318). Let j = -55/159 + k. Which is smaller: j or i?
i
Let s = 0.5 + -0.6. Which is smaller: s or 2/11?
s
Let g be (6/12)/((-1)/6). Suppose 3*d - 15 = 8*d. Do g and d have different values?
False
Suppose 0 = 4*o + 4. Is o smaller than 2/147?
True
Let l be (2/(-3))/((-4)/6). Let c(r) be the third derivative of -r**6/120 + r**5/20 - r**4/12 + r**2. Let o be c(2). Which is bigger: o or l?
l
Suppose -2*x = 2*x. Let j be -2*4/16*2. Is x < j?
False
Suppose 0*w = -4*w - 4. Which is smaller: w or 0?
w
Let k = -5.48 + 0.28. Let a = -0.2 - k. Let i = a - 4. Which is smaller: i or 0.3?
0.3
Let k be ((-55)/(-22))/((-15)/(-12)). Let n = -82 - -248/3. Which is smaller: k or n?
n
Let o be 2/(-8) - (-15)/12. Let v(d) = d - 4. Let r(z) = 3*z - 3. Let b be r(3). Let t be v(b). Which is smaller: o or t?
o
Suppose -4*f - 33 = -5*u, -u + 2 = 2*f + 1. Which is greater: f or -19?
f
Suppose -6*m = -3*m - 6. Let k = -3 + m. Is -2 bigger than k?
False
Let n = -707/5 - -142. Let p(k) be the second derivative of k**3/6 - 7*k**2/2 + 3*k. Let z be p(8). Which is smaller: n or z?
n
Let q(k) be the third derivative of -k**5/60 - k**4/12 + 4*k**3/3 - 7*k**2. Let p be q(-4). Which is smaller: -1 or p?
-1
Suppose -3*u - 2*u - 3*m + 14 = 0, -3*u = -4*m - 20. Suppose u*t = 3*t. Let c be (t - 0/(-3))/(-1). Which is bigger: c or 2?
2
Let j(z) = 8*z**3 - z**2 - z. Let d be j(-1). Let q = -11 - d. Let o be -2*3/6*q. Is o != 3/2?
True
Let i = -4 + 11. Let b be (-1)/(-3) + i/(-21). Is b bigger than 0?
False
Let w = -69 - -68.06. Let k = w + -0.06. Is 0 greater than or equal to k?
True
Let s = -22 + 26. Suppose -2*d = 2*d + s. Do -7 and d have the same value?
False
Let l be 0/1 + 4/10. Let y = -22.5 - -22. Is y > l?
False
Let c = -16.06 - -15. Let n = -0.06 - c. Let u be (-4)/(-10) - 12/105. Are u and n unequal?
True
Suppose -3 = -g - 2. Let m be (5/35)/((-8)/(-7)). Which is smaller: m or g?
m
Let z = -4 - -10. Let c be (-2)/3*z/(-4). Do 1 and c have the same value?
True
Let t(x) = 2*x - 6. Let z be t(5). Suppose -b = -11 - 21. Let u be ((-40)/b)/((-2)/8). Is z greater than u?
False
Let m = -13 + 17. Is 5 less than m?
False
Let y = 28079/23359 - -53/1988. Let l = y + 1/47. Is l equal to 1?
False
Let o = 128/183 + -2/61. Let w = 3 - 2.6. Let i = -0.6 - w. Which is bigger: i or o?
o
Let x(g) = g**3 - 8*g**2 + 9*g - 5. Let r be x(7). Let i(a) = a - 8. Let p be i(r). Is p bigger than 1?
False
Let s = 285 + -1989/7. Which is greater: 0 or s?
s
Let z = 0.06 - 2.06. Let n = 80 - 78. Which is bigger: n or z?
n
Let c(k) = -k**3 + 10*k**2 + 2*k - 9. Let l be c(10). Let u(i) be the first derivative of -i**4/4 + 11*i**3/3 + i - 3. Let p be u(l). Is 2/3 != p?
True
Suppose -4 = 3*f - 5*f. Suppose -3 = -3*u + 6. Which is smaller: f or u?
f
Let v = 97 - 97.07. Is -4 at most as big as v?
True
Let q = 25 - 26. Which is greater: q or 5?
5
Let h(w) = w**2 - 7*w + 11. Let p be h(5). Suppose -4*v - 41 = 3*b, 2*v = 3*b - 2*v + p. Is b greater than -6?
False
Suppose k = -2*m + 2*k - 3, 3*m = -3*k + 18. Let h = 2/621 - -197/3105. Is h < m?
True
Let d(y) = y**2 + 3*y + 1. Let t be d(-2). Is -12/5 less than or equal to t?
True
Let u = 9 - 9.1. Suppose 2 = -2*g + 3*v, -6*g - 3*v = -4*g + 14. Let a = g + 1. Is u not equal to a?
True
Let t = -16 + 20. Suppose -5*r - 3*y = -12, 2*r + r + y - t = 0. Let p be (4/6)/(2/(-3)). Is r equal to p?
False
Let d = 3.06 + -0.06. Let y = 1 + 0. Is y > d?
False
Let h = -0.16 + 8.16. Let t = -6 + h. Let p = t + -2. Is 0.2 > p?
True
Let t(w) = 3*w - 8. Let n be t(3). Which is smaller: n or 2/33?
2/33
Let j be 5/(-10) - (-15)/(-4). Let n = 19/4 + j. Is n < 0?
False
Let t be -2 + 6/(-2 - 1). Suppose -2*p - p = 15. Which is smaller: t or p?
p
Let n be 27/12 - 12/(-16). Suppose -v = n*v - 36. Is 9 >= v?
True
Suppose 0 = -z - 2*z + 120. Let l be z/(-6) + 1/(-3). Let o = l + 8. Is 1 <= o?
True
Let g = 12 - 20. Let r = g - -5. Let y = -3.2 - r. Is y less than or equal to 0?
True
Let q = 4.1 - 0.1. Let w = -5 - -10. Let j = w - q. Which is bigger: j or 1/2?
j
Suppose q - 4*q = -3*s + 6, -2*s + 16 = 4*q. Suppose -q*r + r = 1. Let a be 6/(-12)*r*2. Is -3 at leas