a(f) = f**2 + 15*f + 41. Let q be a(-12). Suppose 2*c = -n + 22, 4*n - c = -0*n + 70. Suppose m - 4*v = -q*v + n, -5*m = -5*v - 120. Is m a multiple of 21?
True
Suppose -y = -7 - 154. Let f = y - -8. Is f a multiple of 13?
True
Let a(k) = k**3 - 7*k**2 + 26*k - 9. Does 4 divide a(7)?
False
Let u(m) = m**3 + 30*m**2 - 4*m + 48. Does 56 divide u(-26)?
True
Let h = -7 + 8. Suppose 0 = -o - 5*w - h, -2*o + 13 = 2*o + 3*w. Suppose d - o*d = -78. Is d a multiple of 6?
False
Let a(b) = b**3 + 21*b**2 + 27*b + 43. Let l be (-6)/(-2) + 176/(-8). Is a(l) a multiple of 41?
False
Let k(s) = s**3 + 4*s**2 + 4*s + 7. Let o be k(-3). Suppose 5*h - o*j = 1080, -4*j - 747 - 113 = -4*h. Does 11 divide h?
True
Let m be ((-48)/9)/(4/(-30)). Is 49 a factor of 598*(-4)/m*-5?
False
Suppose 12*t - 20*t + 1072 = 0. Let q = 180 - t. Is q a multiple of 8?
False
Let f be -30*-1*(-2)/4. Let i be 125/(-10)*18/f. Is 15 a factor of (9/i)/((-3)/(-375))?
True
Let q = 252 + -1. Is q a multiple of 4?
False
Let p(g) = -45*g**3 + 6*g**2 + g - 6. Does 12 divide p(-2)?
False
Suppose -2*j = -o + 2 + 6, -5*j - 20 = 3*o. Suppose 2*y + u - 2*u - 637 = 0, o = 5*y + 2*u - 1597. Is 29 a factor of y?
True
Let k(u) = 4*u**2 + 5*u + 19. Let j be k(-11). Let r = -227 + j. Does 13 divide r?
True
Suppose -3*f = 2*q - 171, 5*f + q = -0*f + 278. Does 12 divide f?
False
Let v(t) = -5*t + 4. Suppose 3*d + 24 = -3*d. Does 4 divide v(d)?
True
Let r be ((-11)/3)/(5/45). Suppose -w - 60 = -2*d, -4*w - d = -3*d + 240. Let t = r - w. Is t a multiple of 9?
True
Let u = 8711 + -4550. Is 96 a factor of u?
False
Let q(s) be the second derivative of -8*s**3 - 8*s. Does 12 divide q(-2)?
True
Let r = -786 - -1437. Suppose -5*a - 76 + r = 0. Is 25 a factor of a?
False
Let g(m) = m**3 + 2. Let j be g(2). Let h = 9 + j. Suppose -h = -b + r - 4*r, 5*b + 4*r = 62. Is 5 a factor of b?
True
Suppose -449 = -g - 65. Let j be (3 + -2)/(3/g). Is j/(-2)*(-3)/6 a multiple of 14?
False
Let l be (5/(-15))/(2/(-66)). Does 9 divide l/44 - 321/(-12)?
True
Suppose -17*f + 14018 = -3594. Is 37 a factor of f?
True
Let r = -17 - -11. Let m(l) = -l**3 - 3*l**2 + 7*l - 1. Is m(r) a multiple of 19?
False
Is (-25854)/(-42) + -6 + 90/14 a multiple of 28?
True
Suppose 16*r - 16979 = -1107. Is 31 a factor of r?
True
Let j(r) = -17*r - 20. Let v be j(-9). Suppose 0 = 2*x - 3*b + 41 - v, b - 100 = -2*x. Is x a multiple of 7?
True
Suppose 0 = 4*t - 8*t + 48. Suppose t*v - 17*v + 130 = 0. Is v a multiple of 6?
False
Suppose -9*a - 17*a + 5850 = 0. Is a a multiple of 8?
False
Suppose -2*v + 10 = -3*o, -4*o = -2*v + 5*v - 15. Suppose -2*i + 4*u + 20 = o, 27 = 3*i - 2*u - 3*u. Does 2 divide i?
True
Let u(o) be the third derivative of -o**4/24 - 3*o**3 + 6*o**2. Let d be u(-10). Let g = -3 - d. Does 5 divide g?
True
Let m(c) = -2*c**3 - 3*c**2 - 1. Let k(v) = -v**3 + 2*v**2 - v + 2. Let n be k(2). Suppose 3*q + 13 = -z, -5*z - 29 = -n*z + 3*q. Is m(z) a multiple of 21?
False
Let t = -206 + 511. Is 5 a factor of t?
True
Does 13 divide 1*6/(-6) - (2 + -627)?
True
Suppose -2*t + t + 5*d = 15, -3*d = 9. Does 7 divide (24/9)/((-4)/t)?
False
Suppose 2991 = 33*o - 177. Is o a multiple of 16?
True
Suppose 4*d + 65 = g, 0*g + 59 = g + 2*d. Let s = g + -29. Does 16 divide s?
True
Suppose 3*w - 13 = 2*w. Suppose -w*p + 8*p = -15. Suppose 10 = 3*o - 5*o, 2*c - 73 = -p*o. Does 11 divide c?
True
Let i be (-363)/(-6) - (2/(-4) + 1). Suppose -2*a = 3*g - a - 78, i = 2*g - 2*a. Does 6 divide g?
False
Let w(c) = -6*c + 6. Let p be w(2). Is 19 a factor of 5860/44 + p/33?
True
Let k = 44 + -50. Let w = 46 - k. Does 9 divide w?
False
Suppose -2*y = -5*y + 9. Let i(w) = -23*w + 2. Let r be i(y). Let d = -39 - r. Is d a multiple of 11?
False
Let s(w) = -w**2 + 22*w + 13. Suppose 3*u + j - 31 - 33 = 0, -3*u = -3*j - 60. Is s(u) a multiple of 17?
True
Suppose 3*x - 5 - 5 = -2*w, -2*w - 4 = -4*x. Suppose x*y - 17 - 173 = 0. Is y a multiple of 19?
True
Suppose 10*r + 8*r = 576. Is 4 a factor of r?
True
Let j be (-1*(0 + 0/1))/(-1). Suppose 4 = 2*z + 4*a, 6*z - 4*a - 24 = z. Suppose -z*d + j*d + 100 = 0. Does 21 divide d?
False
Let y(t) = 4*t**2 - 2*t. Suppose 0 = -2*p - 3*p. Let n be -2 + 2 - -2 - p. Does 3 divide y(n)?
True
Is 3 a factor of 16 + 1 + (-3)/(-9)*-3?
False
Suppose -2*r - p + 2*p - 361 = 0, 2*r + 356 = -4*p. Does 26 divide 18/63 + r/(-7)?
True
Let p = 6387 + -3526. Is 47 a factor of p?
False
Suppose -2*o + v = -9, -o + 5*v + 33 = 3*o. Let t(h) = -13*h**2 - h - 1. Let l(g) = -14*g**2 - g - 2. Let x(f) = 3*l(f) - 4*t(f). Is x(o) a multiple of 11?
False
Let t be (-36)/(-3)*(-1)/(-3). Suppose t*w + 24 = 8*w. Suppose 0 = -5*q + 4*c - w*c + 125, -4*c - 3 = -q. Does 13 divide q?
False
Suppose -2*v + 3*d + 6783 = v, 3*d = 2*v - 4522. Is 17 a factor of v?
True
Suppose 3367 = 3*y + 5*f, 5*y - 4480 = y - 2*f. Is y a multiple of 5?
False
Let k = 254 - 164. Is k a multiple of 6?
True
Let d(t) be the first derivative of t**2 + 8*t - 24. Is 4 a factor of d(4)?
True
Let b(p) = -p + 20. Suppose -t = -5 - 2. Is b(t) a multiple of 13?
True
Let b(h) be the second derivative of h**5/60 - h**4/24 - 2*h**3/3 - h**2 + 6*h. Let g(a) be the first derivative of b(a). Is 8 a factor of g(5)?
True
Suppose 0 = 3*o - 4*o + 4*l + 425, 3*l - 2217 = -5*o. Is o a multiple of 21?
True
Let w(t) = -2*t**3 - 2*t**2 + t - 1. Let u be w(-3). Suppose 9*v - 3*v = -66. Let c = v + u. Is 11 a factor of c?
False
Let p be 0/(-4 - -1) + -9. Let y = -5 - p. Suppose 0 = 5*h + x + 3*x - 134, y*h + 3*x = 108. Does 8 divide h?
False
Suppose -30*b + 12 = -27*b. Suppose -b*k = -2*v + 292, 3*v - k - 91 = 342. Does 36 divide v?
True
Is 58 a factor of ((-3096)/(-90))/(4/290)?
True
Let r = -36 - -69. Let i = r + -3. Is 5 a factor of i?
True
Suppose -3*u - 55*m + 53*m = -811, -u = -m - 272. Is 15 a factor of u?
False
Let u(n) = 2*n + 6. Let p be u(5). Let f be p/56 - (-74)/(-14). Let d = f + 11. Is d a multiple of 3?
True
Let f be 86/18 - 4/(-18). Let b be -4 + ((-305)/10)/(3/(-24)). Suppose -v + f*v - b = 0. Is 15 a factor of v?
True
Suppose 1104 = -4*w - 4*j, -w - 4*j - 264 = 12. Suppose 5*h + 74 = 4*g, -3*h = 2*g + 54 - 14. Does 10 divide w/h - (-4)/14?
True
Suppose 5*x + 12 = 32. Suppose 10*w - 180 = x*w. Let o = w + -19. Is 11 a factor of o?
True
Suppose 3*x = -35 + 53. Is 10 a factor of 4/((-8)/x) + (91 - -9)?
False
Does 2 divide -10*1/(-2) - -261?
True
Let f be 2/((-124)/(-260) - (-6)/(-15)). Let y = -6 - -9. Suppose -4*p + 0*p = -2*a - f, 0 = -p - y*a + 24. Does 9 divide p?
True
Suppose -12 = -y - 14. Is 24 a factor of ((-5)/3)/(y/84)?
False
Let s = 800 - -502. Is s a multiple of 21?
True
Let z be (-1 - 7)*(-2)/4. Suppose -x = -z*x - 3. Let j(n) = 33*n**2 - 1. Does 8 divide j(x)?
True
Let n be 0 + (0 - -2) + 37. Let m be 26/n - (-32)/6. Let p = 8 + m. Is p a multiple of 7?
True
Let o be 9/18 - (-3)/2. Let h = 1 + o. Suppose a = -h*a + 148. Is 20 a factor of a?
False
Suppose -2*b - 2*b = -4*v + 148, -107 = 3*b - v. Let c = 21 - b. Is c a multiple of 8?
True
Is 6 a factor of (-20)/(-40) - 179*(-3)/6?
True
Suppose -4*u - 63 = 3*h, 0*h = -h - 1. Let s be (-28)/(-3)*u/(-10). Let t = s + -6. Does 8 divide t?
True
Let d(s) be the first derivative of s**4/6 + 5*s**3/6 - 13*s**2/2 + 4*s + 1. Let v(x) be the first derivative of d(x). Is v(-8) a multiple of 15?
True
Let m(o) be the second derivative of o**5/6 - o**4/12 - o**3/3 - 5*o**2 - 4*o. Let s(a) be the first derivative of m(a). Does 12 divide s(3)?
False
Suppose 5*h + 5*v - 1470 = 0, -v + 1486 = h + 4*h. Is 20 a factor of h?
False
Suppose 2*d = 6*d. Suppose -2*x - u = -33, d = -2*u - 2. Does 11 divide x?
False
Let j(t) = 54*t**2 - 7*t - 2. Let v be (-7)/(-2)*7/((-294)/24). Does 37 divide j(v)?
False
Let x be -4*(54/(-4) - -2). Suppose 0 = 42*n - x*n + 104. Is 26 a factor of n?
True
Suppose 3*u - x + 88 - 440 = 0, -472 = -4*u + 4*x. Is u a multiple of 3?
True
Let p = 2205 - 438. Is 15 a factor of p?
False
Suppose -8586 = 613*q - 619*q. Is q a multiple of 51?
False
Suppose -y - r + 255 = 0, -4*y - 2*r + 257 = -773. Does 10 divide y?
True
Does 32 divide 4/(32/2314) - 3/12?
False
Suppose 0 = -7*l + 3035 + 535. Is 34 a factor of l?
True
Suppose 5*p + 2*k = -3*k + 15, 0 = -4*p - 2*k + 16. Suppose p*i = 39 + 226. Is i a multiple of 14?
False
Let q = 5748 - 2974. Is q a 