t**3 + 13*t**2 - 13*t - 1. Let l be y(-11). Suppose -l = -6*o - 96. Is 20 a factor of o?
False
Let o = -1810 - -2917. Is 9 a factor of o?
True
Suppose 0 = -4*z - 27*z + 186. Is (3/(-6))/((-3 + z)/(-3492)) a multiple of 6?
True
Let b(z) be the first derivative of 2*z**3/3 - 4*z + 22. Is b(-6) a multiple of 34?
True
Suppose 5*j = 156 + 184. Does 6 divide (129/6 - 5)/(2/j)?
False
Suppose p + 17 + 17 = l, 3*p = 4*l - 133. Let f = 35 - l. Suppose -202 = -f*r + 218. Is 21 a factor of r?
True
Suppose 20*z - 10447 = 2273. Is 28 a factor of z?
False
Let p = -2052 + 22858. Is p a multiple of 111?
False
Let b(k) be the first derivative of k**4/4 - 2*k**3 + 4*k**2 + 11. Let q be b(7). Let p = q - 90. Is p a multiple of 7?
False
Let u(t) = -t - 25. Let o be u(11). Is (-48)/o*(-5)/((-5)/6) a multiple of 4?
True
Let r = -515 - -450. Let k = 217 + r. Does 8 divide k?
True
Suppose 256 = 7*m - 2292. Suppose -4*f = -3*t - 466, -3*f + m = -0*f + 5*t. Suppose 2*g = x + f, -5*x - 14 - 6 = 0. Is g a multiple of 21?
False
Let u = 58 - 60. Let k(q) = -176*q + 26. Does 54 divide k(u)?
True
Let x(v) = -4*v - 11. Let i be x(-1). Is 5 a factor of (-17)/((-119)/784) - i?
False
Suppose 4*m + 2*k - 9392 - 2162 = 0, -5*m + 14441 = 2*k. Suppose 4*q - m = -371. Is 11 a factor of q?
False
Let l(t) = 4*t**2 + 12*t + 59. Let b(c) = 2*c**2 + 30*c - 10. Let x be b(-15). Does 23 divide l(x)?
False
Let y(h) = -13*h**3 + 2*h - 1. Let r be y(1). Let o be 2*(r/(-10))/(8/(-70)). Is (-2324)/o*(-9)/(-6) a multiple of 12?
False
Suppose 0 = -4*d, 5*i + 4*d = -0*d + 40. Let a(w) = 14*w - 34. Let c be a(i). Suppose 4*z + c = 718. Does 25 divide z?
False
Suppose 48 = -6*w + 42. Let l(i) = -269*i + 51. Is l(w) a multiple of 80?
True
Suppose -3206 = -d + 946*w - 950*w, 2*d = w + 6448. Does 24 divide d?
False
Let g = 29210 + -17030. Is 145 a factor of g?
True
Let f(i) = 16*i - 49*i**3 + 3*i - 2 + 5 + 2*i**2 - 14*i. Suppose 0 = 5*b + a + 3, -3*a = 3*b + 2*a - 7. Does 2 divide f(b)?
False
Let q(h) = -19 + h - 6*h**3 - 5 + 3*h**2 + 20. Is 5 a factor of q(-2)?
False
Is 12*(-3)/(63/(-49))*(-7878)/(-21) a multiple of 52?
True
Let s(d) = -d**3 + 5*d**2 - 4*d - 251. Is s(-14) a multiple of 24?
False
Suppose r + 2*c + 334 = 1852, 5*r = 4*c + 7548. Does 189 divide r?
True
Let j(o) = -o**2 - 10*o - 14. Let f be j(-7). Let r(q) = -f*q + q**3 + 8*q + 4*q**2 + 2*q**2. Does 5 divide r(-5)?
True
Suppose 180202 = 4*p + 3*u - 69548, -3*p + 5*u + 187298 = 0. Does 11 divide p?
True
Let r = 41135 + -24324. Does 16 divide r?
False
Let w = 37788 + -21167. Does 40 divide w?
False
Suppose -12 + 0 = x - 2*u, -5*x = 2*u + 96. Let d = x - -123. Is d a multiple of 7?
True
Let z(j) = -j**3 + 13*j**2 + 28*j - 49. Suppose 4*v - 22*f = -18*f + 56, -70 = -5*v - 3*f. Is 28 a factor of z(v)?
False
Suppose -39*f - 19*f = 33582. Let j = -187 - f. Is 8 a factor of j?
True
Suppose 12*h = 13*h - 20*h + 871036. Is 292 a factor of h?
True
Let g(q) = q - 14. Let r be g(9). Let d = -41 + 182. Does 18 divide (3 - 5) + d - r?
True
Suppose -5*b + 3*b + 18 = 0. Let d be (30/b)/(1/(-36)). Does 10 divide (15/(-10) + 1)*(d + 0)?
True
Suppose 180*s + 186*s - 137349 = 192051. Does 36 divide s?
True
Is 5830/((4 + (-22)/6)/(1/6)) a multiple of 6?
False
Let s be 2/(7/((-315)/(-6))). Does 22 divide ((-1026)/(-30))/(3/s)?
False
Suppose 5*g + l = 33278, -4*l - 5447 = -g + 1238. Is 7 a factor of g?
True
Let n be ((-6)/7)/(13/(-91)). Let s(b) = -2*b - 5*b - n*b + 5 - 10*b. Is 38 a factor of s(-3)?
False
Suppose i = -0 + 8. Let h(k) = -4*k**3 - 7*k**2 + 3*k + 5. Let j be h(-5). Suppose -i*w = -w - j. Is w a multiple of 9?
True
Suppose 7*h - 4*h - 2*s = -28, -21 = h - 3*s. Let n(k) = 3 + 13 - 4*k + 10 - k**2. Does 2 divide n(h)?
True
Suppose 0*n + 18*n = 12816. Suppose 19*i - n = 105. Is i a multiple of 40?
False
Suppose -34*n + 242012 + 9684 = -82082. Does 12 divide n?
False
Let v(j) = 5*j + 13. Let k be v(-3). Let o be 2 + 6/3 + k. Suppose o*d = 191 + 233. Is 16 a factor of d?
False
Let a(o) be the third derivative of -o**5/10 - o**4/12 + o**3/2 + 40*o**2. Let w be a(-3). Let f = 3 - w. Is 4 a factor of f?
True
Suppose l - d = 59, -3*d + 34 = 4*l - 188. Suppose 29 = -7*c + l. Does 18 divide c*24 + 3 + -3?
False
Let d(y) = -2*y**3 - 13*y**2 - 22*y + 9. Let p(m) = -m**3 - m**2 - m. Let j(g) = -d(g) + p(g). Does 9 divide j(-9)?
True
Suppose -155 = -5*k - 155. Suppose 774 = 3*o + 3*a, k = 5*o - 3*a - 391 - 859. Is 7 a factor of o?
False
Let y(u) = -u**2 + 13*u - 20. Let q be y(3). Let j(z) = z**3 - 11*z**2 + 14*z - 25. Let l be j(q). Let v = 63 - l. Is v a multiple of 16?
True
Suppose 164*f - 186*f - 132 = 0. Is 8 a factor of (12 - 7)/(-30) + (-2017)/f?
True
Suppose 492 = 3*h - 768. Does 12 divide h?
True
Let o be ((-440)/(-7))/(4/14). Does 5 divide (5016/o)/(-2 - (-64)/30)?
False
Let k = 3754 + -3439. Is 3 a factor of k?
True
Suppose -25*c + 27*c - 86 = 0. Let s = c - 40. Suppose 2*b - 156 = s*v, -4*v + 24 = -2*b + 182. Does 15 divide b?
True
Let d(k) = 3*k**2 + 24*k + 408. Is d(28) a multiple of 52?
True
Suppose -4*a - 90*f + 45240 = -92*f, -33956 = -3*a - 5*f. Is a a multiple of 8?
True
Let b(j) = 91*j - 522. Let q be b(15). Let h = q - -13. Does 10 divide h?
False
Suppose -12*v - 3473 - 871 = 0. Is (3/(-1))/(6/v) a multiple of 8?
False
Let h be (-1)/(-7) + ((-52)/(-28) - 2). Suppose -3*p - 2*a = 32, h = p - 0*a + 2*a + 8. Does 22 divide 217 + (-4)/(-1) + p + 10?
False
Let a be (7 + -7 - 2)*-1. Suppose -a*m = -3*q + 1669 + 1977, -4*q + 4843 = m. Does 17 divide q?
False
Suppose 0 = 2*u + j + 3275 - 20070, 5*u + 2*j - 41985 = 0. Is u a multiple of 36?
False
Let x(s) = 196*s**2 + 15*s - 125. Let z be x(15). Suppose 22*d = -12*d + z. Is 20 a factor of d?
True
Let z = 306 - -56. Suppose z = -11*y + 2419. Is 12 a factor of y?
False
Let g(f) = -f**2 - 21*f + 15. Let p be g(-20). Suppose d - p = -32. Suppose -5*s - d*y + 105 = 0, 2*y = 3*s + 5*y - 63. Is s a multiple of 7?
True
Suppose 0 = -2*l + 2, -2570 = -4*m - 2*l + 1744. Is 14 a factor of m?
True
Suppose c + 673 + 391 = 2*t, 2660 = 5*t + 2*c. Suppose -q = 3, -3*q = -3*s + t - 196. Is s a multiple of 2?
False
Let g(v) = v**2 - 11*v - 6. Let k be g(-3). Let m(l) = l**3 + 39 - 8*l**2 + 21*l - 16 + 12 + k*l**2. Is m(-27) a multiple of 17?
False
Let u = -2485 - -1324. Let o = u - -1863. Is 13 a factor of o?
True
Let u(l) = 5*l**3 - 4*l**2 - 3*l + 3. Let p be u(2). Suppose -3*g + 51 = -3*c, -2*g - g - p = c. Let y(k) = k**2 + 17*k - 3. Is 3 a factor of y(c)?
True
Let a be (4 - (-110)/(-25))*5/(-1). Let y(n) = 1 + 2*n**2 + n - 7*n**2 + 9*n**a + 2. Is 7 a factor of y(2)?
True
Let g be 84/(-45) - 6/45. Is 39 a factor of (-826)/(-63)*12*(1 - g)?
False
Let b(s) = -s**3 + 16*s**2 + 15*s + 36. Let a = 67 + -50. Let c be b(a). Suppose c*u - 129 = -5*l, 5*u - 4*l - 188 = u. Does 6 divide u?
False
Let u be 81 - 1*(-4 - -3). Let s = u + -93. Is s/((-11)/178) - (-2)/1 a multiple of 20?
True
Let d(x) be the second derivative of -x**4/12 + 19*x**3/6 - 6*x**2 - 39*x. Is d(12) a multiple of 21?
False
Let h(x) = 34*x - 26. Suppose -5*r + 2*i - 5 = -86, 4*r - 58 = 5*i. Let c be h(r). Suppose p = 4*p - c. Is 23 a factor of p?
True
Suppose -5*c = 2*a - 343, 506 = a + 2*a - c. Suppose -10*x + a = -31. Does 3 divide x?
False
Let d = 14261 + -13328. Does 5 divide d?
False
Suppose 0 = 760*p - 727*p - 31542 + 687. Does 5 divide p?
True
Let x(w) = -647*w + 42. Let m(n) = -1295*n + 88. Let i(h) = 2*m(h) - 5*x(h). Does 9 divide i(1)?
False
Let x(s) = s**2 - 56. Let v = 317 + -326. Does 5 divide x(v)?
True
Let z(l) = -l**2 + 25*l - 14. Let d(q) = -q**3 + 10*q**2 - 23*q + 14. Let b be d(4). Does 7 divide z(b)?
True
Let k = -3906 - -4300. Does 5 divide k?
False
Suppose 3*z = -k + 8300, 5*k - 31 = -21. Is 165 a factor of z?
False
Let m(n) be the third derivative of n**6/120 - n**5/10 - n**4/8 + 5*n**3/6 - 202*n**2. Is m(8) a multiple of 30?
False
Suppose -5*o - 2*u = -8, 0 = -o + 12*u - 13*u + 1. Suppose -o*m + 107 = -1189. Does 27 divide m?
True
Let v(j) = -2*j + 13. Let h be v(11). Let y be (-3 + (-24)/h)*-6. Suppose 0 = y*i - 19 + 3. Is i a multiple of 4?
True
Suppose -289301 = -21*f - 7190 + 116490. Is 11 a factor of f?
False
Suppose -21*o + 24*o - 1335 = 0. Suppose 2*d - 3*t - 865 = 0, 6*d + t - o = 5*d. Is d a multiple of 40?
True
Let t = 