 third derivative of -u**6/120 - u**5/10 - 3*u**4/8 + 19*u**3/6 - 28*u**2. Is l(-8) a multiple of 24?
False
Let m = 338 + -235. Let n be (26/4)/(7/182). Let h = n - m. Does 18 divide h?
False
Suppose 12*z = -3*z + 405. Let p(x) = 47*x - 1. Let q be p(2). Let i = z + q. Is 30 a factor of i?
True
Let h = -656 - -1137. Let f = h + -337. Is f a multiple of 16?
True
Suppose 0*s - 100 = -5*s. Let y(r) = -r**3 - 7*r**2 - 12*r - 7. Let u be y(-5). Suppose 2*t = u*l - 38 - s, -l + 1 = 3*t. Does 16 divide l?
True
Let y(m) be the second derivative of m**5/4 - m**3/2 + m**2 - 29*m. Does 4 divide y(2)?
True
Let l(s) = 10*s**3 - 20*s**2 + 39*s + 4. Let f(c) = -3*c**3 + 7*c**2 - 13*c - 1. Let m(u) = -7*f(u) - 2*l(u). Is m(8) a multiple of 39?
True
Let h = 19 + 19. Let u = 8 - 4. Suppose 2*s - 5*a - h = 64, u*a + 51 = s. Is 17 a factor of s?
True
Suppose -4*c - 136 = -0*c. Let x = -19 - c. Does 5 divide x?
True
Let q(x) = -4*x + 6*x - 23 - 3. Let r be q(17). Suppose 0 = l + 2*h - 57, -h - h = -r. Does 8 divide l?
False
Let k(l) = 8*l. Is 27 a factor of k(18)?
False
Suppose -51*x + 292 = -50*x + p, -x + 3*p = -312. Does 60 divide x?
False
Suppose 0 = 2*g - 2*s - 60, 0 = 3*g - 0*g - 4*s - 88. Let y = g - 14. Suppose b = -3*v + 28, 2*v - v - 4*b = y. Is 7 a factor of v?
False
Let p(c) be the second derivative of -c**5/10 - c**4/2 + 7*c**3/6 + 9*c**2/2 - 2*c. Is 4 a factor of p(-5)?
False
Is 103 a factor of (-30)/(-100) + (-8228)/(-40)?
True
Suppose 2006 = 67*r - 3823. Does 4 divide r?
False
Let p(r) be the first derivative of r**3/3 + 5*r**2 + 4*r - 2. Let x be p(-11). Is (x - (2 - 0)) + -3 a multiple of 7?
False
Let p(i) = -2*i**3 + 9*i**2 - 5*i. Let j = 22 + -27. Let w(m) = m**3 - 5*m**2 + 2*m. Let z(y) = j*w(y) - 2*p(y). Is 20 a factor of z(4)?
False
Suppose m - 5 + 1 = 0. Suppose 4*r + 3*p = 29, 2*p = -7*r + m*r + 21. Is 13 a factor of ((-78)/4)/(r/(-10))?
True
Let p = -14 - -16. Suppose 450 = 3*w + p*w. Is 15 a factor of w?
True
Suppose 2*u + 16*q = 15*q + 1879, -2*q = 6. Is 13 a factor of u?
False
Let i = 256 + 309. Suppose -3*k = 2*l - 7*l + i, -10 = 2*k. Is l a multiple of 10?
True
Let m(d) = -d**3 - 13*d**2 + 18*d + 12. Let o be m(-14). Let q(z) = 4*z**2 + 5*z + 8. Let x be q(-5). Let w = o + x. Is w a multiple of 20?
False
Let m = -263 + 383. Is 24 a factor of m?
True
Let q(r) = r**2 + 2*r + 41. Suppose -2*w - 4 = -6*w. Let v be w + -1 + 0/3. Is 8 a factor of q(v)?
False
Suppose -264 = 30*z - 34*z - 5*i, 3*z = -i + 209. Is z a multiple of 3?
False
Does 6 divide 1/(33/11883) - (-23)/(-253)?
True
Suppose -r - 2715 = -j, 4*j + 27*r - 29*r - 10852 = 0. Is j a multiple of 108?
False
Suppose 0 = -4*m - 2*u + 74 + 6, -m - 5*u + 20 = 0. Let s(n) = 2*n**2 - 37*n - 10. Is 10 a factor of s(m)?
True
Let w = 22 + -20. Suppose -w*i + 45 + 81 = 0. Is 7 a factor of i?
True
Does 14 divide 3016/12*27/18?
False
Let k be (4/5)/((-1)/(-135)). Let v = k - 37. Is v a multiple of 16?
False
Let t = -15 + 23. Suppose -3*j = -3*i - 4*j + t, 3*i = -3*j. Suppose i*m - 80 = -m. Is 5 a factor of m?
False
Suppose 8 + 1 = -g. Does 15 divide (g*1)/(3/(-20))?
True
Is (48/(-36))/((-8)/258) a multiple of 7?
False
Suppose 0*g + 34*g = 1632. Is g a multiple of 20?
False
Suppose n + 5*p - 6 = 19, 2*n = -4*p + 20. Suppose n = -b + 4*q - 5*q - 2, 3*q + 12 = -b. Suppose o + 120 = x, -x + 49 = -b*o - 71. Does 30 divide x?
True
Let c = -504 - -1379. Does 39 divide c?
False
Let f = 11 + -18. Let c be f/(-3)*21/(-1). Let t = c - -83. Is t a multiple of 15?
False
Let d be (24/84 - 410/14) + 2. Suppose -3*t - 6 = 5*u, 0 = -4*u + 5*t + 4 + 6. Does 9 divide -1 - (u + -3) - d?
False
Suppose -4*m - 3*r = -1346, 2*r - 1270 = -5*m + 409. Does 17 divide m?
False
Let o(v) = 2*v**3 - 46*v**2 - 11*v - 74. Is 37 a factor of o(24)?
True
Suppose -6*q + 10*q - 20 = 0. Suppose 0 = -q*k, 0 = -l + 2*k - 6*k + 100. Does 25 divide l?
True
Let s(i) = i**2 - i - 8. Let q be s(6). Let r(x) = -x**2 + 28*x + 10. Is r(q) a multiple of 16?
False
Suppose 3*a + 55 = -14. Let y = a + 59. Let r = y - -1. Does 16 divide r?
False
Let v be (-2 - 5/1)*-606. Does 16 divide v/98 + 2/(-7)?
False
Let l(j) = -3*j + 19*j + 12*j - 2*j - 5. Is l(1) a multiple of 11?
False
Let w(k) = 194*k**2 - 12*k - 31. Is w(-3) a multiple of 65?
False
Let d(g) = 70*g**2 - 19*g + 6. Is d(4) a multiple of 64?
False
Suppose -2*x - 19 - 33 = 4*l, 38 = -2*l - 4*x. Let w = -8 - l. Let p(d) = d**3 + d**2 - 3*d + 3. Does 15 divide p(w)?
True
Suppose 2*z - 886 = -4*k + 5*z, k = -2*z + 216. Does 16 divide k?
False
Let l(o) = o**2 - 4*o - 11. Let r(z) be the second derivative of 5*z**4/12 - 7*z**3/2 - 28*z**2 - 2*z. Let d(a) = 11*l(a) - 2*r(a). Does 4 divide d(7)?
False
Suppose -3*r = g - 11, g = r + r - 9. Suppose -r*q - 1 = -2*u + 39, -4*q - 10 = -u. Let y = u - 21. Does 3 divide y?
True
Suppose -52*y + 48*y + 3608 = 5*o, -2*o = -4*y + 3608. Is y a multiple of 25?
False
Let j(k) = -k**3 + 2*k + 136. Is j(0) a multiple of 15?
False
Let c(z) = z + 1. Let j(u) = -33*u**2 - 6*u - 6. Let x(p) = -3*c(p) - j(p). Let f be x(-2). Let i = -81 + f. Does 16 divide i?
True
Suppose -70*h - 10619 = -77*h. Does 37 divide h?
True
Suppose 0 = -z + 5*g + 119, -4*g - 515 = -5*z + g. Let v = 168 - z. Is v a multiple of 9?
False
Suppose 0 = -4*x - 1150 - 3626. Let p = -552 - x. Suppose -564 = -9*c + p. Is c a multiple of 31?
False
Let r = 16 + -15. Let q be (-3)/r + (-6 - -9). Suppose 7*l - 3*l - 276 = q. Does 12 divide l?
False
Suppose 104*f = 106*f - 776. Does 4 divide f?
True
Let g(i) = i**2 - i - 3. Let u be g(4). Let j = 4 + u. Suppose -b + j = 2*a - 0*b, 3*b + 33 = 3*a. Is a a multiple of 8?
True
Let y = 0 - -1. Let m(v) = 2*v**2 - 37*v - 8. Let s be m(19). Suppose -s - y = -u. Is 4 a factor of u?
True
Suppose 0*q - 30 = -5*q. Is 18 a factor of (-220)/q*(2 + (-96)/30)?
False
Suppose -h - 50*y + 46*y + 1682 = 0, 5*h - 2*y = 8432. Is 37 a factor of h?
False
Is 18 a factor of (-1 + 577)*(-4)/(-8)?
True
Suppose 5*f + a - 78 = 0, 3*f - 2*a + 1 - 40 = 0. Suppose 5*l - f = -0*l. Suppose -164 = -3*n + 2*b - b, 3 = l*b. Is 21 a factor of n?
False
Suppose 0 = 8*l - 1171 - 5037. Is 17 a factor of l?
False
Suppose -35*o + 2*o + 18216 = 0. Does 3 divide o?
True
Let k(l) = -l**3 + 2*l**2 + 5*l - 4. Let c be k(3). Suppose -c*q = -3*q. Suppose q*a + 30 = 3*a. Does 5 divide a?
True
Is 12 a factor of -505*(0 + (-24)/10)?
True
Suppose 2*u = -4*m + 7442, 3*m + 5*u + 1137 = 6715. Does 13 divide m?
False
Let k be 84/(-63)*150/8. Suppose 4*n + 2*z = 63 - 249, n - 2*z + 49 = 0. Let g = k - n. Is 13 a factor of g?
False
Let r(s) = s**3 - 17*s**2 + 4*s - 21. Let o be 4 + (-78)/18*(-1 - 2). Is 47 a factor of r(o)?
True
Let p be (13 - -35)/(0 + 2). Is (-6)/p - (-441)/4 a multiple of 34?
False
Let n be -2 + 3 + (-57)/3. Let i be (-38)/(-9) + 4/n. Let k = 3 + i. Does 4 divide k?
False
Is 10 a factor of (-1)/(-5) - (-1899)/5?
True
Suppose 4*x = -3*i - 15, 4*x - 7*x - 7 = -2*i. Is 13 a factor of (-1)/2*i/(2/572)?
True
Suppose -2*z + 74 = -10. Is z a multiple of 10?
False
Let n(t) = -t**3 + 3*t**2 + 7*t + 1. Let a be -3 - (-9 - 8/(-4)). Let q be 8/(-10)*(-1 - a). Is n(q) a multiple of 11?
False
Suppose v + 24205 = 5*c, -3*c + 61*v + 14523 = 64*v. Is 12 a factor of c?
False
Let a = -527 + 718. Does 2 divide a?
False
Let y be (4/2)/12 - 646/(-12). Suppose -3*b + y = -2*b. Is b a multiple of 9?
True
Suppose 65*r - 216 = 62*r. Suppose r*a - 190 = 67*a. Is a a multiple of 19?
True
Suppose 0 = -m + 2*m - 270. Suppose -2*s + m = 3*l, l + 16 = 2*s + 106. Is 16 a factor of l?
False
Let b(t) be the second derivative of -t**5/20 + 3*t**4/4 + t**3/3 + t**2 + 119*t. Let z be (2 + 16)*(-1)/(-2). Does 10 divide b(z)?
True
Let h(a) = -a**2 + 17*a + 14. Let r(w) = 9*w**2 + 3*w. Let x be r(-1). Let k be (0 + 26/x)*3. Is 22 a factor of h(k)?
True
Let c = -87 + 53. Let v = c + 61. Is v a multiple of 4?
False
Suppose 2*i + 20 + 2 = 4*u, 0 = 2*u + i - 5. Suppose 5*q - 4*j = 79 + 1, 55 = u*q - 5*j. Is 7 a factor of q?
False
Let v = 561 - 383. Let q = v + -70. Is q a multiple of 18?
True
Let d(b) = b - 10. Let q be d(8). Let g be q + 2 + (1 - 1). Is -2 + -3 + g + 80 a multiple of 25?
True
Suppose 4*h = -5*v + 14, -2*h + 5*v + 0*v - 8 = 0. Let t be 24/16*(h - 3). Let g(y) = -y**2 - 4*y + 3. Does 5 divide g(t)?
False
Is 19 a factor o