 the third derivative of 31*r**6/120 + r**5/30 - r**4/12 + r**3/6 - r**2. Is m(c) a multiple of 16?
True
Let u(a) = a**2 - 2*a + 1. Let x be u(6). Suppose 3*k - 9 = 0, 3*k + x = 5*p - 16. Is p a multiple of 5?
True
Let c(a) = -3*a**2 + 3*a + 180. Is 10 a factor of c(0)?
True
Let b(v) = -v**2 - 11*v. Is b(-5) a multiple of 15?
True
Suppose -2*k = 3*q - q - 44, -5*k + 5*q + 100 = 0. Is k a multiple of 7?
True
Let l = -76 - -101. Does 10 divide l?
False
Suppose -4*i - 5*u - 8 = 0, 0*i = 2*i + 4*u + 10. Let l(n) be the third derivative of n**4/3 + n**3/3 - n**2. Is l(i) a multiple of 13?
True
Let n(c) be the first derivative of c**2 + 15*c + 2. Does 5 divide n(0)?
True
Let n(a) = a**3 + 20*a**2 + 17*a - 12. Is n(-19) a multiple of 13?
True
Let a(n) = -n + 4. Let m be (-20)/(-1)*(-1)/(-2). Let u be a(m). Let b = u + 13. Is 7 a factor of b?
True
Let p(c) = -c**3 + c**2 - c + 8. Let n be p(0). Does 24 divide (8/(-2))/(n/(-188))?
False
Suppose 0*b + 37 = -b. Suppose -5*s + 18 - 113 = 0. Let h = s - b. Is h a multiple of 9?
True
Let g(t) = -10*t**2 - t. Let n be g(-1). Let c = 27 + n. Is 6 a factor of c?
True
Suppose 57 = h + d, 49 = 5*h + 2*d - 245. Does 10 divide h?
True
Let h(q) = 2*q**2 + q + 1. Let j be h(3). Suppose k = s - 12, -2*s - s = 4*k - j. Does 10 divide s?
True
Suppose -9 = 4*q - 5. Let x = 4 + q. Does 3 divide x?
True
Let s = -31 + 19. Let w be -9*(-2)/(s/(-70)). Suppose 0 = 3*o + 15 - w. Does 15 divide o?
True
Let n = 2 + 0. Suppose n*s = -u + 79, 132 = 5*s + 5*u - 63. Is s a multiple of 17?
False
Is (18/10 - 1)/((-27)/(-1215)) a multiple of 3?
True
Suppose 2*i - 3 = 7. Suppose i*f - 2*r + 214 = -r, 4*r = 2*f + 100. Let t = -28 - f. Is t a multiple of 11?
False
Suppose 0*d - 2*d - 4 = 0. Let b be ((-10)/(-3))/d*-15. Let q = -11 + b. Does 7 divide q?
True
Suppose 4*t + 192 = 3*v, 0 = -5*t + 7 + 8. Is 34 a factor of v?
True
Let q be 5/2 - 4/8. Is (4/10)/(q/80) a multiple of 6?
False
Let a(g) = g**3 + 5*g**2 - 9*g - 7. Is 8 a factor of a(-6)?
False
Let x = -52 - -89. Does 7 divide x?
False
Let m(k) = 3*k + 34. Is 37 a factor of m(4)?
False
Suppose -3*z + 4 = -3*c + 10, 0 = 3*c - 2*z - 6. Let w be c*(1 + (-111)/(-2)). Suppose -w + 23 = -5*t. Does 9 divide t?
True
Let k(s) = -4*s + 2. Let n = 3 + -1. Let a be k(n). Is 10 a factor of 4/12 - 130/a?
False
Suppose 8*j - 484 = -3*j. Does 29 divide j?
False
Let f be 9/(-21) + (-76)/(-14). Suppose 72 = f*s - s. Is 18 a factor of s?
True
Suppose -11 = -3*z - 2. Let r(i) = 2*i + 6. Is 4 a factor of r(z)?
True
Suppose 5*u - 2 = 4*u. Let z(y) = 0*y**2 - 2*y**u - 5*y**3 + 5 - 4. Is z(-1) a multiple of 4?
True
Let x = -227 + 343. Does 15 divide x?
False
Let c = -11 + 24. Suppose d = 3*g + 9, -4*g - 69 = -5*d - c. Is 6 a factor of d?
True
Suppose -3*j = -5*z + 135, 2*z - 4*z + 73 = -5*j. Is (z/20)/((-2)/(-85)) a multiple of 14?
False
Suppose 11 = 2*j + 7. Let s(r) = -2*r**2 - r - 1. Let q(x) = -x**3 + x**2. Let l(c) = j*q(c) + s(c). Is l(-2) a multiple of 7?
False
Suppose -3*x = 2*x. Let f(g) = g**2 + 22. Is 11 a factor of f(x)?
True
Let o(y) = 2*y - 1. Let m be o(-1). Let x be 3 + (m - 4/(-2)). Suppose -x*q + 18 = -v, 5*q - 54 = -0*q - 2*v. Is 5 a factor of q?
True
Let y(o) = 6*o - 10. Let f be y(8). Suppose -v + 4*k = 2*v - 26, -v = 4*k - 30. Let j = f - v. Is 24 a factor of j?
True
Suppose -5*h + 30 = -5*i, 0*h = -3*i + 4*h - 20. Let k(y) = -y**3 - 3*y**2 + 3*y + 1. Is k(i) a multiple of 3?
False
Suppose -5*y - 2*f = 1 + 1, -2*y + 5*f = -5. Suppose -3*c + 4*c - 3 = y. Suppose 0*p + 15 = c*p. Is p a multiple of 3?
False
Suppose 0 = -3*f + i + 18, -2*f = -4*f + 3*i + 5. Does 3 divide f?
False
Let a be 60/18*(-18)/(-5). Let m = a + 78. Suppose -5*z + r = -103, 0 = 4*z + 4*r - r - m. Does 13 divide z?
False
Suppose 509 + 58 = 3*w. Is w a multiple of 9?
True
Suppose 3*g - 3*a = -114, -4*g - 4*a = -85 + 277. Let l be -1 + 2 - -1 - g. Suppose 3*h - 6*h + l = 0. Is h a multiple of 14?
False
Let d = 41 - 11. Suppose 4*q - d = i + 136, -i = -2*q + 82. Is q a multiple of 16?
False
Suppose 3*v = -0*v - 9. Let a = -4 - v. Let z(p) = -24*p**3 - p**2 + 1. Is 9 a factor of z(a)?
False
Let o = 4 + -5. Let u(s) = -47*s**3. Does 14 divide u(o)?
False
Let g = -30 - -86. Is 14 a factor of g?
True
Let l = -5 + -2. Let u(h) = -3*h - 1. Let k be u(l). Suppose -k = -4*m, -2*i = -6*i - 4*m + 64. Is i a multiple of 11?
True
Let l(u) = 2*u + 5 - 5*u**3 - 1 - 3. Let h be l(-1). Suppose -4 = h*m - 60. Is m a multiple of 14?
True
Suppose -9*n + 241 = -398. Does 49 divide n?
False
Suppose -5*n = -2 - 3. Let p(i) = 29*i. Is p(n) a multiple of 8?
False
Let l = 210 - 86. Is 24 a factor of l?
False
Let k be (-2)/10 - 26/(-5). Suppose 2*z + 39 = -k*i + 269, -19 = -i + 5*z. Let h = i + -21. Is h a multiple of 12?
False
Suppose 7 = -4*k + 27. Let a = k + -7. Let v = 34 - a. Is 18 a factor of v?
True
Suppose -5*u = -107 + 2. Does 9 divide u?
False
Let g(l) = l + 7. Let y be g(-7). Suppose -2*b - 4*a + 18 = y, -b + 22 = b + 2*a. Is 13 a factor of b?
True
Does 3 divide 5 - 0 - 19/19?
False
Suppose 4*q = -4*c + 316, 5*c = -q + 6*q - 405. Does 20 divide q?
True
Let x = -10 - -16. Let s(g) = -g**2 + 6*g + 8. Is s(x) a multiple of 4?
True
Suppose -2*l = -3*l, 5*d - 3*l = 600. Is d a multiple of 40?
True
Let b(l) be the third derivative of 1/24*l**4 - 2/3*l**3 + 0 + 0*l + l**2. Is b(8) a multiple of 3?
False
Let z(x) be the first derivative of 2*x**3/3 + 3*x**2/2 + 1. Let i be z(-2). Does 5 divide (-54)/(-4) - i/4?
False
Let j(z) = -z**3 + 4*z**2 + 3. Suppose -2*r + 7 = 1. Let l be j(r). Suppose -2*k = -3*p + l, -3*p - 2*k + 12 = -2*p. Does 6 divide p?
True
Let v(h) = 4*h**2. Let m be v(-1). Suppose -m*s = -0 - 8. Suppose -j - 26 = -s*j. Does 26 divide j?
True
Let h(o) = -o - 7. Let a(g) = 4*g + 22. Let q = -17 - -28. Let s(i) = q*h(i) + 4*a(i). Is s(10) a multiple of 21?
False
Is 12 a factor of (-15)/10*2/6*-28?
False
Suppose 0 = 7*q - 2*q - 5. Let t(o) = 12*o**3 - o**2 + 2*o - 1. Let j be t(q). Suppose j = -w + 51. Does 13 divide w?
True
Let g be (-60)/(-18) + 1/(-3). Suppose -4*k + t = g*t, -t = 3*k. Let s(p) = p**3 - p**2 + 10. Is s(k) a multiple of 7?
False
Let a(x) = -25*x - 4. Let o be a(-5). Let w = o - 1. Suppose 3*l - 98 = -4*t, -5*l = -2*t - w - 0. Does 11 divide l?
False
Let u = 3 - 3. Suppose -4*h + u*p = -4*p + 8, 0 = -4*p + 16. Is 9 a factor of (-4)/8 + 37/h?
True
Is 3 a factor of ((3 - 11) + -1)*-1?
True
Suppose 0 = f + 4*f + 30. Let z be 6/(-5)*40/16. Is 5 a factor of (-4)/f - 13/z?
True
Suppose -401 = -4*v + 131. Does 40 divide v?
False
Suppose -2*h - 2*q = -172, 3*h - h = -4*q + 180. Suppose -5*c = h - 262. Is c a multiple of 20?
False
Let u be (5 - 2 - 4) + -2. Does 6 divide 1*(30 + (-3 - u))?
True
Let o be -2 - ((-1 - -2) + -14). Let u(v) = 1 + 8*v**3 - 2*v + o*v**3 + v. Is 8 a factor of u(1)?
False
Let s(w) = -w**2 + 8*w + 2. Let t be s(8). Suppose -3*i = h + 6 - 25, t*i = 3*h - 13. Does 7 divide h?
True
Let d(p) = 3*p**3 + 1. Let q(n) = 2*n - 1. Let t be q(1). Let i be d(t). Suppose -31 = -i*r + 5*w, 0 = 2*r + 3*w - 4*w - 23. Is 7 a factor of r?
True
Suppose -13*l = -10*l - 210. Is l a multiple of 11?
False
Let d(w) = -10*w + 12. Is d(-7) a multiple of 28?
False
Let z be (-4 + 6)/(1/28). Is 9 a factor of (-2)/3 - z/(-3)?
True
Let a be 10/3 + 3/(-9). Let c be a/9 + 65/3. Suppose r - c = -r. Is r a multiple of 8?
False
Suppose 0*b + 5*b = 0. Let g = 7 - b. Is 6 a factor of g?
False
Let s(i) = -9*i + 8. Let a be (-6 - -1)*12/10. Let n be s(a). Suppose 3*p = 5*m - 4*m + 42, 0 = -5*p - m + n. Is p a multiple of 8?
False
Let x(f) = f**3 - 2*f**2 - f + 4. Let o be x(4). Suppose 2*p + 0*p = o. Is 12 a factor of p/6*27/6?
True
Let o(y) = 13*y**2 - 10*y + 8. Does 51 divide o(4)?
False
Let u(g) = 6*g**2 - 2*g + 1. Let w be u(1). Suppose q = 4*i - 108, -w*q + 20 = -0*q. Is i a multiple of 13?
False
Let a(d) be the first derivative of d**3/3 - d**2/2 + 2*d - 2. Is a(-6) a multiple of 20?
False
Let a be ((-14)/(-21))/(2/(-3)). Does 7 divide (3 + -2)/(a/(-14))?
True
Suppose 2*j + c = 18, 5*j - c - 16 = 29. Let k = j - -1. Let r = 16 - k. Is 6 a factor of r?
True
Is -7*((-18)/14 + -3) a multiple of 28?
False
Suppose -3*u + 2*p + 240 + 441 = 0, -4*p = 2*u - 438. Let r = -153 + u. Is r a multiple of 14?
False
Suppose -5*n = -144 - 91. Su