as 0.1?
False
Let k(b) be the second derivative of b**4/12 + 5*b**3/3 - 9*b**2/2 + 6*b. Let z be k(-11). Suppose -2*y - u - 5 = 0, -u + z = -y - 4*y. Are y and 0.9 equal?
False
Let o = -22 + 87/4. Let z = -59.9 + 52.9. Is z at least as big as o?
False
Let o(t) = -7*t + 314. Let i be o(45). Which is smaller: -3/517 or i?
i
Suppose 3*k + 45 = 4*d - 6, -3*k - 30 = 3*d. Which is smaller: -0.5 or k?
k
Let n = -16 - -6. Let k = 7 - n. Let s = k - 17. Is s greater than or equal to 2/21?
False
Let f be 2/4*32/((-24)/(-6)). Suppose 0*c + f*q - 20 = 4*c, 3*c = -2*q + 10. Let u = -138/7 + 1443/70. Which is smaller: c or u?
c
Let d be ((-1)/1)/(2/30). Let i be 6/90 - (-6)/d. Let v = -3.52 - 0.48. Which is greater: i or v?
i
Let w be 14/((-3)/2 - 5/(-10)). Suppose -10 = 5*n + 5*t, 0*n = -2*n + 3*t - 4. Let y be w/(-21)*(-3)/n. Is y at least as big as 4/21?
True
Let a(g) = -g**3 + 16*g**2 + 3*g - 24. Let y be a(16). Suppose 0 = 3*s - 9 + y. Let i(x) = -x**3 - 4*x**2 + 6*x - 2. Let u be i(-5). Which is greater: s or u?
s
Let u = 397 - 396.85. Let f be ((-4)/(-2) + -2)/2. Which is bigger: u or f?
u
Let k = 85540/35001 + 2/3889. Let l(r) = -112*r + 899. Let h be l(8). Are h and k unequal?
True
Let q = 565 + -812. Let s = q - -758/3. Which is greater: 6 or s?
6
Let b = 2.168 + -0.168. Is 139 greater than b?
True
Let p(m) = 76*m + 76. Let s be p(-4). Is -228 bigger than s?
False
Let r(x) = x + 20. Let y be r(-16). Suppose -3*q - y*m = -22, 5 + 0 = q - m. Is 6 smaller than q?
False
Let k be -2 - 7/((-28)/12). Does k = 8/35?
False
Let o(f) = f + 6. Let d be o(-6). Suppose d = -5*z + 58 + 27. Let n = -8 + z. Which is bigger: n or 10?
10
Let d(z) be the third derivative of z**6/120 - z**5/20 - z**4/2 - z**3/3 - 4*z**2. Let s be d(5). Which is smaller: s or -15?
-15
Suppose 0 = p + 3*p - 48. Let k be ((-3)/p)/(9/12). Is -1 greater than k?
False
Let x = -32073361/168175 + -2/24025. Let i = x - -191. Let w(b) = b**3 - 8*b**2 - 2*b + 11. Let u be w(8). Which is smaller: u or i?
u
Let v be (-25909)/(-195) - (-1)/(-5). Let m = v - 132. Is m at least -1/4?
True
Let q = -211.9857 - 0.0143. Which is smaller: q or -1/3?
q
Let t = 108 + -107. Let k(u) = 25*u**2 + 4*u - 1. Let j be k(t). Is 27 <= j?
True
Let k = 1158 - 1158.044. Which is smaller: k or 0.07?
k
Let g = 16 - 13. Suppose g*y + x - 17 = 0, 2*x = -3*y + 4*y - 15. Are 8 and y non-equal?
True
Let f = -26 - -14. Let k = f + 16. Suppose -4*s = -p - k + 1, 2 = 4*s - 2*p. Is 0 less than s?
True
Suppose 6*l = 5*q + 9*l + 341, 5*q - l + 333 = 0. Which is smaller: -66 or q?
q
Let b be (-4)/(-12) + (-5 - 154/(-6)). Suppose n - d - 4*d = 45, 4*n = -5*d + 55. Is n less than b?
True
Let n = 346255/76 - 4556. Suppose 0 = -3*k - 4 + 1. Which is bigger: n or k?
n
Let b = 4 - 2. Suppose 0 = -5*a + b*g + 19, 5*g - 15 = 0. Let j = -31 + 30. Which is greater: j or a?
a
Let o = 372 - 371.99. Does 18 = o?
False
Suppose -3*x + 62 = 4*c, 4*c - 2*x + 3*x = 58. Let l be 3/7 + 2/c*-10. Is 55 smaller than l?
False
Let t be ((-4)/6)/(5/165). Let v be 112/(-18) + t/(-99). Let b = 29 - 34. Is v smaller than b?
True
Let h(d) = d**2 + 9*d + 2. Let q be h(-9). Suppose -y - 55 = -5*u, 0*u - q*u + y = -25. Let g be ((-5)/u)/(1/8). Are -1 and g equal?
False
Let o(i) = -3 + i - 4 - 1. Let z be o(8). Let j be (-2 + 106/52)*(3 + -11). Is j less than z?
True
Let t be 1/((-6)/(-4))*(-9)/(-6). Do t and 0 have the same value?
False
Let x be (-190)/(-8) - (-7)/28. Let l be 8/(-44) + x/11. Suppose -7*d = -l*d. Is d at least 2?
False
Let q be 20 - (1*-2 + 4). Let w(t) = 7*t - 29. Let a be w(5). Suppose -41 - 67 = -a*b. Is q > b?
False
Let p = -26/115 + 4747/21505. Which is smaller: -1 or p?
-1
Let a be (10/8)/5*12/(-15). Which is bigger: -5 or a?
a
Let c = 3/6364 + -3154983/63640. Let t = -423/8 - c. Let k = -391/120 - t. Are k and 1/4 nonequal?
True
Let c = 811/2415 + -2/805. Let f be 50/52 + 1 - 2. Which is greater: c or f?
c
Let r = -113981 + 1142883/10. Let w = -307 + r. Which is smaller: 0 or w?
0
Let k = 16 + -7. Let o = 11 - k. Suppose -12 = -3*u + o*t, 3*t = 5*u + 6 - 25. Which is bigger: 0.3 or u?
u
Suppose 1 - 31 = -3*i. Suppose i = -5*o + 105. Let d(l) = 2*l**3 + 95*l**2 + 48*l + 66. Let n be d(-47). Is n bigger than o?
False
Let u = 7920 + -2827442/357. Let a = 1418/1785 - u. Let n = -9/5 + 13/10. Is a > n?
True
Suppose -5*c = -7*c + 258. Let n be 6/(c/60 - 2). Which is bigger: 41 or n?
41
Suppose 0 = 4*t - 37 + 1. Let k be 48/(-20)*20/(-6). Which is bigger: k or t?
t
Let n be 335/(-67)*(-12)/(-440). Let a = -0.1 - 0.9. Is a <= n?
True
Let l = -0.26 - -0.46. Is 87 at least l?
True
Let a be (9/(-15))/(8 + 130/(-20)). Which is bigger: 444 or a?
444
Let o = 1322 - 11902/9. Let l = 7577 - 197035/26. Let c = l + 10/13. Which is smaller: c or o?
c
Let q(h) = h**2 - h. Let t be q(4). Let x = t - 23. Is -12 <= x?
True
Let w = -22.522 + -0.878. Is w < -3/7?
True
Suppose 0 = 114*n - 2174 - 6148. Let g = -106 - -178. Which is smaller: n or g?
g
Let z = 649 + -650. Which is greater: z or 2/2565?
2/2565
Suppose 13 = -6*p + 3*p + 2*v, -v = -4*p - 9. Let m be (4/6)/(100/8). Let t = m + -194/825. Which is smaller: t or p?
p
Let f = 1260 + -16382/13. Are 10 and f non-equal?
True
Suppose -27 = 15*x - 16*x. Which is smaller: x or 9?
9
Suppose 300 = 5*y - 9*y. Let o = -74 - y. Let h be (-2)/(-12)*(-8)/(-6). Are o and h unequal?
True
Let a be 7/((-28)/(-5)) + 4865/(-3860). Is a bigger than 1?
False
Let i = 20.2 + -24.04. Let o = -0.16 + i. Which is smaller: -2 or o?
o
Suppose 3*t + 94 = -4*f - 215, -t = -3*f - 235. Is -77 bigger than f?
True
Let s = -36 + 54. Let k be -5 - (-42)/(-8)*-4. Which is smaller: k or s?
k
Let v(m) = m**3 - 4*m**2 + 2*m - 34. Let h be v(5). Which is smaller: 14/37 or h?
14/37
Let i be (10/4)/((-45)/(-36)). Suppose 1 = i*m - 1. Is -3/8 <= m?
True
Let h(f) = -f**2 + 6*f - 3. Let j(m) = -m**2 + 5*m + 8. Let d be j(6). Suppose d*x - 2 = 0, 5*x = -2*i + 2*x + 11. Let u be h(i). Are 6 and u unequal?
True
Suppose 104 = 7*o + 20. Suppose 90 = -5*q + 5*i, -q = 5*i + o + 12. Are -19 and q unequal?
False
Let i = 16.1 - 0.1. Let o = i + -15. Which is smaller: o or 1/6?
1/6
Let w be 3 + 176/52 - (10 - 5). Which is smaller: w or -0.1?
-0.1
Let b be 6 - (-78)/170*(-69 + 56). Which is bigger: b or -1?
b
Let i(a) = -a**2 - 7*a + 5. Let y = 15 + -8. Suppose 0 = b - 1 + y. Let l be i(b). Do 12 and l have different values?
True
Suppose 10*y = 3*y + 21. Suppose d - c = 4*c + y, 2 = 2*c. Is 9 not equal to d?
True
Suppose i - 4*x = -35 + 10, i - 5*x + 32 = 0. Let r(m) = -9*m + 1. Let f(c) = 10*c - 1. Let a(y) = 6*f(y) + 7*r(y). Let z be a(-1). Which is smaller: z or i?
i
Let s(i) = i**3 - i**2 - i + 2. Suppose -5*a - 2 = 8, 0 = x - 5*a - 10. Let f be s(x). Which is greater: f or 8/3?
8/3
Suppose -2*w + 160 = -6*w. Let v = 36 + w. Is v bigger than 1?
False
Let y = 347 + -346. Let q = 423 - 43570/103. Which is bigger: y or q?
y
Suppose 0 = 3*g, 104*g - 2472 = 2*o + 109*g. Is -1237 > o?
False
Let h = -5 - -8. Suppose -4*t = -h - 13. Suppose 0 = -t*v - 4*o + 4, -3 - 1 = -4*v - 3*o. Is v equal to 2?
False
Suppose y - 318 - 12 = 5*t, 0 = 5*t + 4*y + 305. Let c = -79 - t. Which is greater: c or -17?
c
Let z be (-28)/2*2/(-4). Let g = z - 5. Suppose 0 = -5*c - 24 - 1, n + 3*c + 15 = 0. Is n less than or equal to g?
True
Let b be 34/(-10) - (-7)/((-105)/(-6)). Are b and -32 non-equal?
True
Let m = -784/3243 + 10/47. Is -1 less than or equal to m?
True
Let f(c) = c**3 - 6*c**2 + 6*c - 3. Let x be f(5). Suppose -4*w - g = -0*w - x, -3*w - 3 = 3*g. Let b = 7 + -3. Which is smaller: b or w?
w
Suppose 129*k = 132*k + 135. Is k at most as big as -89/2?
True
Let u = -116303/30149 - -2/4307. Let z = -0.968 - -1.968. Which is greater: u or z?
z
Let y(r) = r**2 - 2*r - 7. Let n be y(5). Let m(p) = 2*p - 17. Let z be m(n). Let i = 67/19 - 7/2. Which is smaller: z or i?
z
Let i be 2/4*(10 + (-60)/6). Which is smaller: -2/891 or i?
-2/891
Let r = -0.14 - -0.14. Let q = -6.8 - -6.8. Is q != r?
False
Let b = 210.1 + -210. Let g be 20/(-25)*(-15)/2. Let j be 16/g*(-18)/8. Does j = b?
False
Let u = 11 + -10.78. Let f = u + -0.12. Is f less than 0.2?
True
Suppose -12 = -2*k - b - b, -4*k + 2*b = 0. Suppose -k*h + x - 1 = 1, -8 = 3*h + x. Is h greater than or equal to -2/3?
False
Let w = 0.1