 of -t**6/120 + t**5/60 + t**4/24 - t**3/6 + 5*t**2. Let j be b(0). Is -3/8 less than or equal to j?
False
Let d = -80/1419 - 2/473. Which is smaller: d or 1?
d
Let b(l) = l**3 + 20*l**2 + l - 4. Let c be b(-20). Which is smaller: c or 1/4?
c
Suppose 8*q - 24 = 4*q. Is q greater than or equal to 5?
True
Let p = 1 + -1/3. Is p >= 1?
False
Suppose c + c - 4 = 4*i, -5*i + 7 = -4*c. Let k = c - -12. Suppose -5*m + 9 + 11 = 0. Are k and m unequal?
False
Let b = 0.11 - 0.61. Is b less than or equal to -0.1?
True
Let w = -171/115 + 7/5. Which is smaller: -1 or w?
-1
Let b be 5*(-3 - (-13)/5). Is b > -2?
False
Let m(v) = -v**2 - 22*v - 2. Let d be m(-22). Is d at least -2?
True
Let j = 17 + -17. Let v be (-4)/9 - (-6)/(-27). Is j less than or equal to v?
False
Let i = 29 - 32. Which is smaller: -21/5 or i?
-21/5
Let c = -2748/11 - -250. Suppose s = 5*b - 17 - 19, 3*b - s - 22 = 0. Suppose -2 = 5*n - b*n. Which is greater: n or c?
n
Let s = -1225/4 - -304. Which is bigger: -0.2 or s?
-0.2
Let w be 1/3 + 3/(-9). Suppose 0*k + 2*k - 8 = w. Suppose -5*h = -k*h. Is h at least 1/5?
False
Let q(o) be the third derivative of 5*o**4/24 + 3*o**2. Let p(a) = -a. Let y(z) = 9*p(z) + 2*q(z). Let j be y(-2). Which is bigger: -1 or j?
-1
Let d = 1366/3 - 477. Let a = d - -23. Suppose -y = -4*y. Which is bigger: a or y?
a
Let h = -89 - -73.9. Let o = h - -15. Is o greater than 12?
False
Suppose 2*g = 5*i + 48 + 2, 2*g - 38 = 4*i. Let r be i/(-8)*4/6. Let t(o) = -o. Let q be t(-1). Is r >= q?
True
Let c be (-14)/(-24) + -1 + 6/9. Let j = -2.2 - -2. Let s = j - -0.3. Is c < s?
False
Let k = -4 - -6. Let d = -64 - -41. Let h = d - -24. Is k >= h?
True
Let a = -0.1 - 5.9. Let y = a + 8. Let g = y - 2. Are g and -2/11 nonequal?
True
Suppose 3*h + 38 = h. Is h greater than -19?
False
Let m(s) = 6*s**2 + s - 10 - 6*s - 5*s**2. Let f be m(7). Suppose -q = -f*q - 3. Is q != 2/19?
True
Let g be ((-2)/7 - -1) + 2/7. Is -2/87 < g?
True
Let d = -1091/5876 - 3/452. Which is smaller: d or 1?
d
Let k be 1/(1460/(-244) - -6). Is k >= 63?
False
Let w be 6 - (-2 + (5 - 2)). Let s(t) = 3 + w*t + 0 - 4. Let x be s(1). Which is smaller: x or 5?
x
Let o = -136 + 96. Let z be (-34)/o - 2/8. Which is bigger: 1 or z?
1
Let y(l) = l**3 - 5*l**2 - 7*l + 24. Let h be y(6). Which is bigger: 1 or h?
h
Let x = -10 - -7. Let d = x - -4. Is 1 > d?
False
Let q = -8 + 10. Which is greater: q or 14/5?
14/5
Let s = -7 + -1. Let y be (1 - 4/s)*2. Which is greater: y or 4?
4
Let t(h) = h**2 + 17. Let j be t(0). Let o = -17 + j. Is -2/29 > o?
False
Let q be (-11)/(-4)*(-204)/(-119). Which is greater: 6 or q?
6
Suppose 4*g - 2 - 2 = 0. Suppose 4*v + 5*p = 2*p + 13, 2*p = -2. Which is smaller: v or g?
g
Let f(d) = d**3 - 14*d**2 + 12*d + 14. Let a be f(13). Which is greater: 2 or a?
2
Suppose -h - 2*h + 3*v = 12, 12 = h + 3*v. Let a = h - -3. Suppose a*o = o. Are o and -1/3 non-equal?
True
Suppose 26 = -2*y - 4. Is -14 at least y?
True
Let s be (2 - 104/84) + -1. Is s equal to 0?
False
Let l = -2 + 5/3. Is -7 at most l?
True
Suppose -1 = 4*u + 3. Let r(q) = -q**2 + 6*q - 5. Let k be r(6). Let m = k + 4. Is u > m?
False
Let t be (-2)/((-18)/(-1399)) + 1. Let m = -154 - t. Let s = m - -1/18. Which is bigger: 1 or s?
1
Let h be (2 + 2)*(-5)/(-4). Suppose 0 = -h*c + 25, -4*p + 2*p + 5 = c. Let q = -1 - -1. Is p bigger than q?
False
Suppose 3*f - 13 - 3 = -2*h, 4*f + 7 = 3*h. Let o be (-1 + 1)*f/(-4). Suppose o = 5*r + 15 + 5. Is r at least as big as -0.1?
False
Let f(o) = -o**3 - 2*o**2 + 5*o + 2. Let t be f(-3). Let j = -3 - t. Suppose 0*b + 21 = -5*m - 4*b, -b = -3*m + j. Do m and 1/4 have the same value?
False
Suppose 2*t + 3*w + 4 = 0, 4*w + 1 = -3*t - 4. Is 9/4 greater than or equal to t?
True
Suppose 13*h + 3 = 12*h. Let z = -3 - h. Let r be 8/(-10)*(-2)/12. Is z > r?
False
Let r(o) = -o**3 - 6*o**2 - 7*o - 6. Let v be r(-5). Suppose -v*w - 5*j = -108, -2*w + 3*j = -9 - 23. Let d = w - 65/3. Is -1 less than or equal to d?
True
Let z(q) = -q**3 + 12*q**2 - 11*q - 8. Let x be z(11). Let c(u) = -u**2 - 7*u + 6. Let w be c(x). Which is smaller: -4 or w?
-4
Let c be (-1)/(1 - 984/980). Let l = c + -2207/9. Suppose 4*p = 4*z + 20, 5*z + 5*p + 9 = 6*p. Are l and z equal?
False
Suppose 3*x = -6 - 0. Suppose 12 + 12 = -4*l. Let j(z) = z**3 + 5*z**2 - 5*z + 4. Let m be j(l). Is x bigger than m?
False
Let i = 0.1 + 0.1. Let y = i - -0.8. Let l = 0 - y. Is 1 greater than l?
True
Let q be (-2)/(6/9) + 1. Suppose n + 4*n - 5*s = -10, 3*n + 16 = -2*s. Is n greater than q?
False
Suppose 0 = 2*n + 2, -2*m = -m - 2*n. Let p be (1/m - -1)*2. Let r = 184/9 - 178/9. Which is bigger: p or r?
p
Let j = -14 + 23. Let h(c) = -c**2 + 4*c + 5. Let x be h(5). Suppose x = -5*w + j - 4. Is 2 less than or equal to w?
False
Suppose 5*u + 0*u - 5 = 0. Are u and 6/7 equal?
False
Let j = -946 - -945. Let h = 0.05 + 5.95. Let z = h + -1. Which is smaller: j or z?
j
Suppose 4*g - 5*n = -2*n + 27, 0 = 2*g - 4*n - 16. Let k be (1 - -14)/(-5 + g). Let f be 4/(-6) + 20/k. Is f <= 1?
True
Let a be 6/120*5 - (-26)/(-8). Let i = 0 - -2. Let l be (i/(-3))/((-2)/3). Is l at most as big as a?
False
Let z be ((-3)/(-6))/(12/9). Which is smaller: 0 or z?
0
Suppose -5*r + 25 = 0, -3*v - 4*r - 5 = 20. Which is greater: -16 or v?
v
Let o = 1.1 - -4.7. Let d = -6 + o. Are -0.2 and d non-equal?
False
Let w be (3/3)/(-1 + 0). Let p = 0 + w. Let q be (-1)/(-21) + (-2)/6. Is p < q?
True
Let z = 10.2 - 7.1. Let n = -3 + z. Let y be (-3)/(-30)*(-6 + 0). Is n at least y?
True
Let j(w) = -w**2 + 5*w - 4. Let c be j(4). Suppose x - 3*x - 10 = c. Is x < -6?
False
Suppose 0 = -7*d + 2*d + 215. Let w = 127/3 - d. Which is smaller: w or -1/2?
w
Let y be ((-3)/(6/(-446)))/21. Let f = y - 31/3. Suppose 0*p = 6*p. Which is smaller: p or f?
p
Suppose -2*c - 66 = 10. Is -38 not equal to c?
False
Let k = 0 + 4. Let v = 41.1 + -37. Let a = v - k. Which is greater: 2 or a?
2
Let c be (1 + -1)*(1 - 0). Let r be (-36)/8*(-2)/3. Suppose s = -r + 4. Which is smaller: s or c?
c
Let t = 2573/168 - 121/8. Which is greater: t or 0?
t
Let z = -398 + 8356/21. Is 1 < z?
False
Suppose -3*c + 7*c = 0. Let s = -25/8 - -73/24. Is s != c?
True
Let m = 44/3 + -478/33. Which is smaller: -2/35 or m?
-2/35
Suppose 11 = 3*k + 2. Let u be k + -1 + 2 + -3. Which is bigger: u or 2/3?
u
Suppose -2*m - 58 = 4*h, 3*m + m = 4. Let a be (-3)/h*(-20)/(-12). Let c = 4 + -3. Is c greater than or equal to a?
True
Let i be 41/(2 + -3 - -2). Suppose i = -2*y - n, -8 = y + 4*n + 23. Which is greater: -20 or y?
y
Let r = 4 + -4.2. Let a = 0.2 - r. Let s = 0.5 - a. Is s < 1?
True
Let p = 20 + -7. Is p greater than -4?
True
Suppose 7*t = 2*t + 25. Let s(z) = 2*z - 4. Let k(r) = 2*r - 4. Let w(x) = 5*k(x) - 6*s(x). Let h be w(t). Which is smaller: -5 or h?
h
Suppose 1 = -2*z + 3. Let c = 4 - 5. Is z less than c?
False
Suppose 4*d - 5*o + 163 = 0, -4*d + 3*d + 5*o = 37. Is d less than -41?
True
Let i = -0.25 - -0.15. Let m = i + 1.1. Does m = -0.2?
False
Let z(c) = c**2 + 5*c - 6. Suppose -5*v - 9 = 21. Let b be z(v). Suppose 0 = -g - b*g. Is -1 bigger than g?
False
Let j = 2/67 + -140/201. Let l = -27 + 25. Which is smaller: l or j?
l
Let s = -4 - -4.02. Let n = s - -2.98. Let h = -2 + n. Which is smaller: h or 2?
h
Let w = -0.204 + 10.204. Is 0 <= w?
True
Suppose 2*t = 7*t + 5. Let b = 205 - 1841/9. Is b < t?
False
Let q be (1/(1/2))/(-2). Let j be (q - -1) + 6/(-16). Let l = -16 + 17. Is j greater than l?
False
Let k be 21/12 + 2/8. Let f = k + 0. Let z be f/(-17)*(-1 + 0). Is 1 at most z?
False
Let a(f) = -3*f + 13. Let r(p) = -p**3 + 6*p**2 - 5*p - 4. Let u be r(4). Let o be a(u). Which is greater: -10 or o?
-10
Suppose -z + 9 - 34 = 0. Let x = z + 31. Which is smaller: x or 5?
5
Suppose -3*p = -5 - 7. Suppose -p = -f - f. Let o be 33/45 - f/6. Is 1 at most o?
False
Let l = 22.89 - 23. Let s = -6.89 + l. Let t = -7 - s. Which is greater: -1/4 or t?
t
Let x = -17 + 10. Is -6 at least as big as x?
True
Let x = -2 + 1.94. Let r = x + -0.04. Which is smaller: r or 2?
r
Suppose -3*g = -5*m + g + 22, 0 = 2*m + 4*g - 20. Is -1/2 less than m?
True
Let y = -0.14 + -0.86. Is y bigger than 1?
False
Let r be ((-1510)/234)/5 + 16/(-104). Is r at most -0.1?
True
Let u be (-12)/4 + (-8)/(-1). Suppose u + 7 = n. Which is bigg