 8.004. Let p = d + -1.09. Is 1 equal to p?
False
Let v = -13 + 3. Let x(u) = u**3 + 10*u**2 - 4*u + 64. Let t be x(-11). Is t < v?
True
Suppose 6 = c + 16. Let i(o) = -o - 11. Let v be i(-6). Let s be (v + 6)/(1/(-9)). Which is smaller: s or c?
c
Let i = 10 - 21. Let f(w) = -w**3 + 20*w**2 - 22*w - 504. Let t be f(17). Is i smaller than t?
False
Let d = -3192 - -3191.8. Which is smaller: d or 0.137?
d
Let s = 0.0739 + 0.15. Let c = -0.0239 + s. Let b = 42 - 70. Are c and b unequal?
True
Suppose 5*a = -3*q + 83, -5*q + 2*a + 97 = -0*a. Suppose -2*n = b - q, n - 4*n + 2*b + 42 = 0. Suppose n*p - 20 + 8 = 0. Is 1/91 less than or equal to p?
True
Let o = 21 + -21.16. Let n = o + 0.46. Let v = -50 + 199/4. Which is smaller: v or n?
v
Let o = 53 - 15. Let w be 6 - (-11)/22*64. Are w and o non-equal?
False
Let u(a) = a**3 + 4*a**2 + 2*a + 8. Let v be u(-4). Suppose -p + v*h + 44 = 2*h, 4*h + 72 = 2*p. Suppose 86 = -9*s - p. Is -14 smaller than s?
False
Let f(y) = 74*y + 6142. Let a be f(-83). Is -1/6433 smaller than a?
True
Let r be 5*(-15)/7 + 0/4. Suppose 4*u - 13 = 3. Let k(w) = w**3 - 6*w**2 + 3*w + 9. Let a be k(u). Which is smaller: a or r?
a
Let w(c) = 7*c**2 + 14 - 2*c - 9*c**2 + 22*c + 10. Let r be w(11). Suppose 0*i = -r*i + 16. Which is greater: i or 9?
9
Let c = -8699/75950 + 7/62. Which is greater: c or 0?
0
Suppose -604*m = -608*m + 4. Is m != 9/409?
True
Suppose -k - 5*q = -20, 2*q - 13 + 5 = 0. Do k and 4/1043 have the same value?
False
Let z = -23591/6 + 3932. Does z = 0.1?
False
Suppose 0 = -86*c + 84*c + 10. Suppose c*t = 15 - 0. Let u be 45*((-24)/(-20))/t. Are 19 and u nonequal?
True
Let j = 667 + -539. Let f be (-7 - -9) + -4 + 251/j. Which is smaller: f or 0?
f
Let f be (170/28 + -6)*18. Let l = 24 - 18. Let j = -6 + l. Which is bigger: f or j?
f
Suppose -5*y + 87 = 8*c, 5*y - 31 = 2*c - 34. Let o = 13 - 7. Which is smaller: y or o?
y
Let i = 12684 - 12663. Is i at most -2?
False
Let c = -44468 - -15608246/351. Are -1 and c equal?
False
Let m = -14 - -17. Suppose y - 4*k - 1 = 0, m*y + 5*k = k + 35. Let q(p) = -4*p + 42. Let u be q(y). Is u equal to 2?
False
Suppose -2*d + n = 1240, 0 = -2*n + 22 - 26. Which is smaller: -622 or d?
-622
Let o = 8288 + -8601. Is -312 at most o?
False
Let x(g) = -3*g**3 - 3*g**2 + 1. Let h = 40 + -42. Let j be x(h). Let d be -1 + j/11 - (-1833)/143. Which is bigger: 14 or d?
14
Suppose -4*z - 15 = 5*q, 2*z = -2*z + 5*q + 15. Suppose -y - 6*y - 1218 = z. Is y less than -174?
False
Let k(b) = 5*b**3 - 29*b**2 + 22*b - 9. Let v be k(5). Is -4/111 < v?
True
Suppose 2*a + 90 + 57 = -79. Is a less than or equal to -115?
False
Let z(k) = 112*k**2 + 34 + 52*k - 50*k**2 + k**3 - 41*k**2. Let s be z(-18). Which is smaller: s or 73?
s
Let t = -4 - -9. Suppose 0 = 7*o - 2*o - t. Let g = 337/62578 + -6/467. Is g >= o?
False
Let p = -32 - -47. Let a(m) = -m**2 + 13*m + 18. Let w be a(p). Let s = 0.194 - -4.806. Which is smaller: w or s?
w
Suppose -d + 129 = 128. Let t be d*6/(-120)*4. Which is bigger: t or 36?
36
Let y = 0.0088 - 11.0088. Which is smaller: 11.5 or y?
y
Let g(l) be the first derivative of 19*l**2 + 42*l - 14. Let t be g(-4). Let y be 1/((-9)/6)*(-45)/t. Which is smaller: y or 1?
y
Suppose -779*b + 800*b = -32340. Which is bigger: b or -1539?
-1539
Suppose 65066 = 107*y + 856973. Is y at least as big as -7404?
True
Let w(b) = -14*b**2 + 12*b**2 - b + 3*b + 3 + 20*b**2. Let a be w(-2). Suppose -16*o = -x - 21*o + 60, -2*x + 134 = 3*o. Is x smaller than a?
True
Let s = 0 - 1. Let u be (5/(-35))/((-24)/252)*100/(-3). Which is greater: u or s?
s
Let u = 470/633 - -30658/57603. Is u greater than 2?
False
Let o(u) = 2*u**3 - 8*u**2 + 6*u - 15. Let m be o(6). Suppose 5*z - 2*k + 198 = 0, 5*k + m = -4*z - 0*k. Which is smaller: -38 or z?
z
Let f = -123 + 119. Let b be -6 - ((f - 47) + -1). Is 49 <= b?
False
Let j be (-6)/9 + 29/12. Let s = 1009 - 7053/7. Is j >= s?
True
Suppose 0 = 6*p + 5*p. Let a be ((-6)/4)/(5/70). Let g = a + 18. Is g > p?
False
Let v = 60 + -59. Let h be (v - 0)/(4/20). Let x = h + 0. Which is bigger: 30/7 or x?
x
Let b = 671 - 7453/11. Is b at most -3/7?
True
Let d be 14/(-10) - ((-14)/10 - -1). Let h be 42/(d - -3) + 3/3. Let a(q) = -q**2 + 22*q + 15. Let s be a(h). Is 14 less than or equal to s?
True
Let g = 93 + -30. Suppose -g - 37 = -20*k. Suppose 2*y = -3*h - 17 - 19, -5 = 2*h - k*y. Which is bigger: -14 or h?
h
Let m = -382 - -15660/41. Let j = -773/123 + m. Does j = -5?
False
Let i = 0.5 + -0.5. Let h(t) = -2*t - 31. Let a(y) = 6*y + 94. Let k(l) = 4*a(l) + 11*h(l). Let p be k(17). Which is smaller: i or p?
i
Let j = 9.258 - 9.158. Is -3821 less than j?
True
Let y = 188 + -195. Let f(j) = -j**2 - 11*j - 46. Let c be f(y). Which is greater: -20 or c?
c
Let x be (-87)/72 - 6/9. Let d(t) = -3*t - 25. Let q be d(-9). Suppose -14 + 12 = q*r. Is r greater than x?
True
Let z = 712 - 71910/101. Suppose 4*c + 4*j - 16 = 0, -2*c - 3*c + 5*j = -10. Suppose 0 = -c*s - 3 - 0. Is z less than s?
False
Let k = 42 - 51. Let c be (-2)/k - 437733/(-9072). Let g = -97/2 + c. Is -1 greater than or equal to g?
False
Let p = 580.7 + -638.28. Let b = p - -57.6. Which is smaller: b or -10?
-10
Let m be 3 - 5 - (41730/(-22960) - (-6)/(-42)). Which is smaller: -1 or m?
-1
Let c be (-9)/(-4)*151000/4530. Let h be -2*(147/(-4) + 0). Which is smaller: h or c?
h
Let w = 147.459 + -0.459. Let z = 149 - w. Is z smaller than 0.042?
False
Let n = -28700 + 23406. Is n less than -5294?
False
Suppose -5*s - 7 = 4*r, 8 = 32*r - 34*r - 4*s. Which is smaller: r or -528?
-528
Let h = -96 - -99. Suppose p = -h*p - 3*v + 35, 2*v - 38 = -4*p. Suppose -2*j = p - 1. Is j at most -3/2?
True
Let t(l) = -2*l**2 - 87*l - 9. Let i be t(-44). Are i and -51 unequal?
True
Let l(v) be the third derivative of -v**6/120 - 19*v**5/60 + v**4/24 + 19*v**3/6 - 4*v**2 + 30. Let o be l(-19). Which is greater: 32/39 or o?
32/39
Suppose -2*l + 360 = 6*l. Suppose -43*b = -l*b + 800. Suppose 5*q + 40 = b. Are q and 72 unequal?
False
Let k be ((-7)/((-140)/136))/(1/5). Suppose -k*p - 3988 = -792. Do p and -95 have different values?
True
Let d = 2460 + -2458.3. Which is smaller: d or -79?
-79
Suppose -2*j + 188 = 5*z, -z + 2*z - 424 = -5*j. Let a be 89/(-4 - j/(-20)). Let n be a/(-149) + (3 - 0). Which is bigger: n or 0?
n
Let j = 190 + -191.96. Let m = j + -31.04. Are m and 0.2 unequal?
True
Let t be 460/100 - 4/(-10). Let v be t/(10/(-8)) + (0 - 45). Let x be v/(-6) + (-2)/2. Is 7 bigger than x?
False
Suppose -2*m - 4 = 0, -2*m + 18 = -h - 0*h. Suppose -41*z = 4*q - 89*z + 45*z + 72, -5*z + 40 = 0. Are q and h non-equal?
True
Let h(y) = -y**2 + 39*y - 97. Let k be h(35). Let o = -98 + k. Is o greater than or equal to -56?
True
Suppose -20*p + 13*p = -28. Suppose -p*b = 17 + 23. Let f(y) = -4*y - 54. Let a be f(b). Which is bigger: -16 or a?
a
Suppose 0 = -318*w + 309*w + 90. Let j be (5 - 0) + w + 0/(-3). Which is smaller: j or -4?
-4
Let r(j) = j**2 - 232. Let p be r(14). Which is smaller: p or -35?
p
Let r = -2831 + 2825. Which is smaller: r or -1008?
-1008
Suppose -37*d - 8517 = 3*d + 6203. Which is smaller: d or -362?
d
Let p = 18278 - 18277. Let j = -1337 - -38767/29. Does p = j?
False
Let h(f) = f**2 - 15*f - 44. Let w be h(10). Let z = 223 + -128. Let m = w + z. Is m less than 3/53?
False
Let q(g) = -4*g**2 + 1. Let y be q(1). Let a = -2 - y. Let t be 3/21 - ((-24075)/(-3885) - 6). Does t = a?
False
Let y be 2/(24/(-4852))*3/((-54)/(-99)). Is -2223 less than or equal to y?
False
Let s = 2.927449 + 0.072551. Let d = 2.29 + -2.4. Which is smaller: d or s?
d
Let w = 0.52784 - 0.42784. Let m = -13 + 93. Is m smaller than w?
False
Let l(z) = z + 43. Let h be l(-26). Suppose 15*c + 52 = h*c. Which is greater: c or 161/6?
161/6
Let q = -0.06 + 100.06. Let x = q + -54. Let v = 46 - x. Is -3/14 < v?
True
Let x = -15252 - -808342/53. Let c = -8 + 8. Which is smaller: x or c?
x
Let o = -0.51 + 43.51. Let x = 1071 - 1113. Let f = x + o. Which is greater: f or 8?
8
Let h = -1600 - -1600. Let q be 0/(-3) + (-5836)/50300. Let t = q - 2/503. Which is bigger: h or t?
h
Let f(v) = -9*v - 13. Let s(p) = -64*p - 90. Let i(u) = -44*f(u) + 6*s(u). Let t be i(-6). Is t at least 1?
False
Let k = 23947 + -23934. Which is smaller: k or 69?
k
Let o be 8/