7978 - -20069877359/86. Let a = 2689 - x. Which is smaller: 1 or a?
a
Let l(k) = -k**2 - 7*k + 12. Let g be l(-11). Let a(s) = -3*s + 7. Let o(q) = -2*q - 9. Let w be o(-11). Let d be a(w). Is d less than g?
False
Let f = 16089 + -16115. Is -26 != f?
False
Let h be ((-3913)/260 + 15)*(0 - -52) + 2. Let p(a) = -a**3 - 3*a**2 - 2. Let z be p(-3). Which is bigger: z or h?
h
Let l(u) = 6*u**3 - 2*u**2 - u - 4. Suppose 0 = -2*f + 4*p - 8, -f - 3 = -5*p + 4*p. Let v be f/(-3*(-1 - (-4)/6)). Let z be l(v). Are z and -57 non-equal?
True
Let v(o) = 5*o - 3. Let w be v(-4). Let d = 84 + -82. Suppose -5*n = 20, -5*l + 3*n = d*n + 106. Is w bigger than l?
False
Suppose 5*g + 663 = 1888. Is g not equal to 249?
True
Let t = 464 + -453. Let i(h) = -4*h**3 + 4*h + 12*h**2 + 5*h**3 - 2*h**3 + 12 - 16*h. Let r be i(t). Which is bigger: r or 5/2?
5/2
Let a be -21 - -67 - 13 - 23. Which is greater: 732 or a?
732
Let r = 3/7484 + -16369/3495028. Is r bigger than 0.4?
False
Let c = 176.3 + -179. Let d = -0.18 - 0.52. Let y = c - d. Are y and 6/25 equal?
False
Let s be (-8240)/(-15) + (-2)/(-3). Suppose 0 = -9*g + s - 64. Suppose g = 5*v + v. Is v greater than 7?
True
Let x = 3072 - 3801. Is x bigger than -3642/5?
False
Let y be (5 - 12) + (3 - -2) - -1. Let s = -110889/73 + 1519. Which is bigger: s or y?
s
Let x be 522/232 + 20/(-9) + 30/135. Is 2/593 at least x?
False
Let x(m) = m**3 - 12*m**2 - m + 12. Let k be x(12). Let a be ((-286)/3300 - 2/25)/((-150)/(-8)). Do a and k have the same value?
False
Let i be (-724)/14478 - 227/(-4313). Let l = 3 - 2. Which is bigger: l or i?
l
Let r be 3/2*(0 + (-4)/(-3)). Let n = 20 - r. Let h(z) = z**3 - 12*z**2 + 13*z - 5. Let o be h(11). Which is smaller: n or o?
o
Suppose -5*m = -9*m + 5*s - 10, 4*m - 2*s = -4. Suppose -4*o + 12*o + 400 = m. Is o less than or equal to -51?
False
Suppose 4*y + 7 = n + 12, 6*n = -y - 5. Is y less than or equal to 5/1539?
False
Let n(t) = 5*t**2 - 2. Let m be n(1). Suppose 4*r - 5*r = -3*h + 85, 0 = 5*h - m*r - 139. Suppose h = 3*f + 11. Is 5 <= f?
True
Let p = 0.4292 - 0.3292. Let o(w) = 179*w - 17. Let q be o(10). Let j = q + -186163/105. Which is bigger: p or j?
p
Let j(z) be the first derivative of -41*z + 89*z - 44*z + 0*z**2 + z**2 + 10. Let y be j(-5). Is -9 at least y?
False
Let i = 55 + -22. Let m be 8/(-832)*-224 + (-4)/26. Which is bigger: i or m?
i
Suppose -20 = -4*s, -44 = 5*z + 5*s - 104. Suppose -7*b = -8*b + 2, 0 = 5*x - b + z. Is x <= -1/119?
True
Let j be -1928 - (1 - 2) - (-36)/81*18. Is j equal to -1913?
False
Let f be 1 + (-4 - -6) + 687. Let k be (-2820)/f - 4/(-46). Which is greater: -1 or k?
-1
Let v = -0.9014 - 0.2186. Let f = -0.86 - 1.02. Let m = f + v. Which is smaller: -2/7 or m?
m
Let m = 204 + -332. Let c = m + 130. Which is smaller: -92 or c?
-92
Let k(i) = 12*i**2 + 20*i - 6. Let s(p) = -2*p. Let a(v) = -k(v) - 6*s(v). Let b be a(-5). Which is greater: -255 or b?
b
Let y = -991 + 991.798. Let s = 4.292 + y. Let u = s - 5.3. Is u < -1?
False
Let g be 14/(-133) + (-9696)/(-57). Let d = 178 - g. Which is greater: d or 7?
d
Suppose -3*l + 5*g + 3872 = 0, -328*l = -323*l + g - 6528. Is 4 greater than or equal to l?
False
Let d be (1/16 + 0)/(-24). Let l = 109256 - 109255. Do d and l have the same value?
False
Let a be 1 + 1*-38 + 0. Let i = -36 + 72. Let m = i + a. Which is smaller: m or 4/11?
m
Let h = -12 - -14. Let o(k) = 1 + 13*k**2 + 8 + 31*k + 2 + k**3. Let u be o(-10). Is h greater than or equal to u?
True
Let l be ((-2)/(-6))/((-5)/(-45)). Suppose -m = -l*y - 0 - 11, 2*m + 4*y = 32. Is m not equal to 13?
True
Suppose -f - o - o = -22, o = 1. Suppose 0*a = 2*a + f*a. Which is bigger: -4 or a?
a
Let j = 3984 + -4051. Is 8/9 less than or equal to j?
False
Let b = 413.653 + -1.653. Is -3 smaller than b?
True
Let s = -414 + 1070. Let h be ((-5)/2)/(((-8)/s)/1). Which is smaller: h or 206?
h
Let n = -1735901/5 + 349000. Let s = -1847 + n. Which is bigger: s or -28?
s
Let j = 1993 + 783. Which is greater: 1 or j?
j
Let l(z) be the second derivative of z**4/12 + z**3/2 - 6*z**2 - 24*z. Let u be l(-7). Suppose d + u = -5*g, -2*d + 0 = 2*g + 8. Which is smaller: d or 1/6?
d
Let r be 132/121 + (35/77)/(-5). Which is smaller: r or -3/1268?
-3/1268
Let d be 13 - ((-18)/63 + (-18)/(-14)). Suppose -1 = d*u - 13*u. Which is greater: -6/277 or u?
u
Let p = -16656 - -16655.6. Which is greater: p or -359?
p
Let j = -12/37945 + 222171/342567460. Which is bigger: j or 1?
1
Let t = 5.24 - 4.54. Let u = -0.38 - -2.78. Let o = 2.41 - u. Does t = o?
False
Let z = -6965 - -6795. Are z and -36 unequal?
True
Let n = -21225/2123323 + 2/21023. Is 1 != n?
True
Suppose 2*x = -4*y + 4, 2*y - 59*x - 2 = -64*x. Which is greater: y or -3/1618?
y
Let r = -1.3713 + 1.2913. Which is smaller: 592 or r?
r
Suppose -16 = 30*w - 16. Is 3/253 less than w?
False
Let u(s) = s**3 - 76*s**2 + 217*s + 121. Let j be u(73). Suppose -2*z - z = 72. Do j and z have the same value?
False
Let j(y) = y**2 - 3*y + 3. Let g be j(5). Let c be (-24)/4*-20*18/45. Suppose -g*i + c = -5*i. Which is smaller: 2 or i?
2
Let v = 8.93 + -9. Let c = -168.42 + 170. Let i = 7.58 - c. Is i smaller than v?
False
Suppose 0 = 8*c - 71 + 655. Is -63 < c?
False
Suppose 160 = 12*h + 28*h. Suppose 9 = 3*t, h*a - a + 114 = 3*t. Is a bigger than -37?
True
Let s = 260 - 225. Let w be 3/6 + s/(-50). Is 9 smaller than w?
False
Suppose 5964 = -34*d + 35*d - 3*h, 35608 = 6*d + 4*h. Are 5939 and d unequal?
True
Let m = -36 - -18. Let r be 15 + m + 13/1. Let s(i) = i**3 + 9*i**2 - 8*i + 30. Let v be s(-10). Is v less than or equal to r?
True
Let r be (-4)/6 + 49/60. Suppose -62*d - 48 = 2*t, -4*d = -19*t + 15*t + 32. Is d < r?
True
Let t = 1/3020 - 6231/576820. Let b(r) be the second derivative of r**3/2 + 17*r**2 + 26*r. Let v be b(-11). Is v at least as big as t?
True
Let g be 16/(-1) - (-6)/12*8. Let h be ((-80)/(-79) + -1)/(4/g). Which is bigger: h or 1?
1
Let i(q) = -q**2 + 4*q - 2. Let d be i(4). Suppose 105*v = 122*v + 3077. Which is greater: v or d?
d
Let k be 22862/161*(-1)/2. Do -66 and k have the same value?
False
Suppose 97*j - 22140 = 224822. Do 2 and j have the same value?
False
Let n = -89382/5 - -17876. Which is smaller: n or -3.996?
-3.996
Suppose 0 = -5*y - 5*z + 2260, 0 = -3*z - 6 - 9. Suppose -2*d + 61 = y. Which is bigger: -197 or d?
-197
Let n be (-9 + -4 - -13)/1. Let h = -21722/3451 - -184/29. Which is bigger: n or h?
h
Let j(h) be the third derivative of h**6/120 + 11*h**5/30 - 11*h**4/12 + 23*h**3/6 - 5*h**2. Let b be j(-23). Let r be (b - 2)/(1 + 5). Is r < 0.21?
True
Let j = -10654 + 10653.16. Is j smaller than 9?
True
Suppose -2*p - 8*r + 5*r = 15, -5*p - 2*r = 43. Let o be (p - -12) + (-2481)/825. Which is greater: o or -1?
o
Let r be (4*(164/40 - 4))/(-1). Let x = -26.986 + -0.014. Let t = x + 17. Which is bigger: t or r?
r
Let a(z) = 2*z**2 - 13*z + 12. Suppose 13*i = 12*i + 12. Let o be a(i). Suppose 14*k - o = 15*k. Is -145 at most k?
True
Suppose 7*j - 5*j - 38 = 0. Suppose 20 = 4*z, j*o + 2*z = 14*o + 3010. Is o less than 601?
True
Let f = -130 + 138. Let q be (-5)/((-140)/3072) + f/28. Which is greater: q or 111?
111
Let b be ((-6)/(-10))/(3/(-15)). Let s be b/((-12)/(-16)) + (-129)/(-9). Suppose -o = a - 2*a - 8, 0 = -2*o - 5*a + 23. Is s < o?
False
Let m = -0.043 - 0.22. Let u = m - -1.263. Which is bigger: u or -7/29?
u
Let f be (-43038)/(-11109) - 3 - (-1)/((-49)/42). Which is smaller: 1 or f?
f
Let z = -7167 + 43453/6. Is z at least 75?
True
Suppose 0 = -3*c - 5*v + v + 1796, 0 = -3*c + 3*v + 1782. Let n = 594 - c. Let x be (-1)/(-4) + 2/(-8). Are n and x equal?
False
Let v(k) = -27*k - 1186. Let y be v(-40). Which is smaller: y or -1824/17?
-1824/17
Let z be 36/60 - (18/5 - 3). Suppose 2*b - 8 = 2*x - 14, 4*b - x + 21 = z. Is b >= -11?
True
Let a = -27.708 - -27.718. Which is smaller: a or 153.9?
a
Let a = -5898 - -5899. Which is smaller: a or 3/8917?
3/8917
Let k(q) = -6*q + 49. Let a be k(8). Let l = 5 - 27. Let f be (-4)/(-50)*(-11)/l. Which is bigger: a or f?
a
Let n(u) = -3*u**2 - 16*u - 101. Let q be n(30). Which is smaller: q or -3282?
-3282
Let a = 49 - 63. Let m = 17 + a. Let k = 0.1 - -0.9. Are k and m non-equal?
True
Let k be (-11)/((-99)/1212) + (-2)/(-6). Suppose -3*x + k = 2*x. Let m = 