 q = 21 + c. Is 5 a factor of q?
False
Let i(g) = -16*g - 17. Does 7 divide i(-5)?
True
Let r = -8 + 8. Suppose 62 = f + f + 3*v, r = -5*f + 2*v + 136. Is 14 a factor of f?
True
Suppose 1022 = 4*b - 5*t, 2*b + 767 = 5*b - 4*t. Does 21 divide b?
False
Let s(h) = 3*h**2 - 8*h + 10. Does 29 divide s(8)?
False
Let q(u) be the second derivative of u**5/10 - u**4/3 + u**3/2 + 3*u**2/2 - 4*u. Suppose -8 = -4*t + 4. Does 15 divide q(t)?
True
Suppose 5*r - 72 = 2*r. Does 15 divide r?
False
Suppose 16*k = 11*k + 255. Is 8 a factor of k?
False
Let n = 70 + -106. Let j = n + 60. Does 11 divide j?
False
Suppose 7 = -2*h - 1. Let o be 12*h/6*3. Let c = 48 + o. Is 12 a factor of c?
True
Let g be 18/14 + (-4)/14. Let o(i) = -43*i**2 - i + 2. Let s(m) = -1. Let n(w) = -o(w) - 2*s(w). Is n(g) a multiple of 12?
False
Let w(q) = -q**2 - 2*q**3 - 10*q + 9*q + 3*q**3. Is 19 a factor of w(5)?
True
Suppose 24 + 12 = 3*p. Suppose -u + p = 2*u - 3*w, 2*u + 3*w = -17. Is ((-3)/(-12) + u)*-8 a multiple of 5?
False
Let m = 16 + 6. Is m a multiple of 14?
False
Let s be 7*((-18)/21)/(-1). Let g = 14 - s. Is g a multiple of 8?
True
Let r(h) = 3*h**2 - 4*h + 5. Let g be r(4). Suppose -4*s + 4*x = -68, 2*x + g = 2*s + 3*x. Is 9 a factor of s?
True
Let x(d) = d**2 - 3*d - 4. Is x(8) a multiple of 18?
True
Suppose 0 = 5*c - 4*c + 4*y + 5, -3*y + 3 = 0. Let u(q) = -2*q**2 + 2*q**2 - 9*q + 0*q**2 + 7 - q**2. Is 2 a factor of u(c)?
False
Let w(l) be the third derivative of l**5/60 + l**4/24 + 4*l**3/3 - l**2. Is w(0) a multiple of 8?
True
Let l(o) = o**2 - 5*o + 4. Is 27 a factor of l(13)?
True
Let d be 1/(-3) - (-19)/3. Let y be 988/d + 2/(-3). Is 8 a factor of (-8)/20 + y/10?
True
Let c(w) = -32*w - 30. Is 10 a factor of c(-5)?
True
Let w(t) = t**2 - 25*t + 26. Let o(n) = -n**2 + 17*n - 17. Let l(p) = -7*o(p) - 5*w(p). Let y be l(-8). Let m = y + -49. Does 7 divide m?
False
Let z(d) = -2*d**3 - 3*d**2 + 5*d + 4. Let t be z(-3). Suppose -3*c = -3*i - 7*c + 32, i + t = 4*c. Does 4 divide i?
True
Let z = -40 - -75. Does 13 divide z?
False
Suppose 4*m + 2*c - 1110 = 0, -4*m - m + 5*c = -1350. Is m a multiple of 16?
False
Let m = 36 + -9. Is 26 a factor of m?
False
Is 18 a factor of (-2169)/(-27) + 2/3?
False
Suppose 4*s = -s + 150. Does 10 divide s?
True
Let h(s) = s. Let k be h(2). Suppose v + 10 = -k*n, -v = -7*n + 2*n - 18. Does 7 divide 2 + v + 15 - 1?
True
Let n(y) = 90*y**2 + 4*y + 4. Does 23 divide n(-1)?
False
Let c(d) be the second derivative of d**4/12 - d**2/2 - d. Is c(-2) even?
False
Let i(l) = 234*l. Let u be i(1). Suppose 4*y - 3*a = 201, -a = -4*y + u - 31. Does 19 divide y?
False
Suppose 2*l - 3 - 25 = 0. Suppose 0*y + l = 2*y. Is y a multiple of 3?
False
Suppose -2*i + 3 + 37 = 0. Suppose 3*z + 0*z + 50 = 5*r, 0 = -4*z + i. Suppose -5*j - 3*w = -38 + r, 0 = -4*j - 3*w + 20. Is 5 a factor of j?
True
Suppose -8 = 4*l - 20. Suppose -l*k = -5*p - 138, -2*p + 4*k - 34 = 10. Let c = 42 + p. Is c a multiple of 5?
False
Let l(x) be the second derivative of x**4/2 + x**3/3 + x**2/2 + 3*x. Let m be l(-1). Suppose -m*q + 2*g = -86, 2*g - 52 = -4*q - 2*g. Is 6 a factor of q?
False
Let v = 12 - 8. Suppose 5*m = v*m + 12. Is m a multiple of 12?
True
Suppose 6*h - 3*h - 4*l = 44, 0 = 2*h - 3*l - 28. Is h a multiple of 5?
True
Let t(p) = 5*p**2 + p - 1. Let s be t(1). Let c(q) = 3*q**2 + 6*q - 4. Let j be c(-3). Suppose -37 = -2*a + i + 20, -155 = -j*a + s*i. Does 13 divide a?
True
Let p(y) = 5 + 2*y - 3*y - 2 + 0. Is p(-3) a multiple of 6?
True
Let l(d) = 12*d. Is 14 a factor of l(2)?
False
Let i(w) be the third derivative of -w**5/60 - 17*w**4/24 - 2*w**3/3 + w**2. Does 19 divide i(-9)?
False
Let b = 117 - 46. Suppose -b - 74 = -3*x - 5*r, x - 3*r - 39 = 0. Let o = x - 27. Is 6 a factor of o?
True
Suppose 51 + 239 = 5*d. Is d a multiple of 13?
False
Let f(v) = 17*v**2 + 2*v + 3. Is f(-1) a multiple of 9?
True
Suppose 4*m - 388 = -v, 5*m + v = 2*v + 476. Does 24 divide m?
True
Let i = 2 + 4. Is 9 a factor of 3*3*(-1 + i)?
True
Let f(s) = 217*s**2 - s - 1. Is f(-1) a multiple of 31?
True
Let l = -12 - -10. Let n = 1 - l. Suppose 3*w - 5*y = 76 + 12, w + n*y - 6 = 0. Does 6 divide w?
False
Let u(f) = -41*f + 2. Is 42 a factor of u(-2)?
True
Let z(h) = -3*h + 3. Suppose 0 = -5*l + 4*x - 26, 6*l + 25 = 2*l - x. Is 6 a factor of z(l)?
False
Let w be (-70)/(-6) + 2/(-3). Let m = -1 + w. Is 5 a factor of m?
True
Let b = -5 - -7. Is 2 a factor of 50/12 - b/12?
True
Let l(w) = -w**3 - 4*w - 4. Is 10 a factor of l(-3)?
False
Let n = 41 + -16. Let h = 35 - n. Is 10 a factor of h?
True
Suppose 0 = -b - 1 + 31. Is 6 a factor of b?
True
Suppose -g - 5*s = -3 - 2, 4*s = 4. Suppose 156 = 4*i - x + 5*x, g = 2*x. Does 13 divide i?
True
Let v(l) = -l**2 - 10*l - 7. Let f be v(-7). Suppose -f = 3*k - 44. Suppose 25 = 3*a + k. Is a a multiple of 5?
True
Let p(a) = -3*a - 3. Does 12 divide p(-5)?
True
Let u(d) = -d**3 + 8*d**2 - 7*d + 9. Let o be u(7). Suppose 2*z - o = 31. Is 10 a factor of z?
True
Let x(s) be the second derivative of s**4/12 - 3*s**3/2 + 6*s**2 - 4*s. Is x(9) a multiple of 4?
True
Let y(a) = a**3 - 8*a**2 + 7*a - 2. Let i be (3 + 0)*(-14)/(-6). Let r be y(i). Is 7 a factor of r/12 + 425/30?
True
Let i(w) = -2*w**3 - w**2 + 4*w**2 + w - 5*w**2 - 2. Let x be i(-2). Suppose 0 = p - x - 3. Is p a multiple of 6?
False
Suppose 4*p = 2*f - 58, 3*p - 8 = -f + 1. Is 11 a factor of f?
False
Let p(n) = n**3 + 6*n**2 + 4*n - 1. Suppose 5 = v + 10. Let l be p(v). Suppose 0*q = l*f + q - 16, f + 5*q = 4. Is f even?
True
Let r be (-8)/36 + (-29)/(-9). Let s be r - (-1)/((-2)/(-60)). Is 10 a factor of (s/(-6))/((-2)/12)?
False
Let a be -3 + (-1 + 0 - -2). Let d = -4 - a. Is 16 a factor of -51*-2*d/(-12)?
False
Suppose -7*g - 150 = -1242. Is g a multiple of 26?
True
Let d be 17/4 + (-3)/12. Is 20 a factor of 2/d + (-107)/(-2)?
False
Suppose 5*h - 2*j + 3*j = -38, 0 = -h - j - 6. Let s = 33 + h. Is s a multiple of 17?
False
Let b(k) = k**2 + 2*k + 1. Let j be b(-1). Suppose -s + 33 = -j*s. Is 11 a factor of s?
True
Let d(b) = 31*b**2 - b - 1. Let s be d(-1). Suppose -5*y - 69 = s. Is (120/25)/((-6)/y) a multiple of 8?
True
Suppose 2*s - 350 = -2*o, s + o - 185 = -2*o. Is 27 a factor of s?
False
Let k(v) = -2*v**3 - 4*v**2 - v + 4. Let g(i) = 2*i - 7. Let w be g(5). Suppose 4*s - w = -15. Is 25 a factor of k(s)?
True
Let d = 2 - 1. Does 4 divide (-12)/((-6)/4*d)?
True
Suppose -3*v = 2*b - 14, 5*v - 2*b - 22 - 12 = 0. Suppose 4*m = 5*l - 10 - v, -l + 3*m + 1 = 0. Suppose 0 = l*p + 1 - 25. Is 3 a factor of p?
True
Let y = 3 + -9. Let f be 32/18 + y/(-27). Suppose 2*v + f*v - 24 = 0. Does 3 divide v?
True
Let x be 2*10*(-21)/14. Does 8 divide (-32)/(-3)*x/(-20)?
True
Suppose 2*l = 6*l + 24. Does 10 divide 18/(-15)*100/l?
True
Suppose 22 = 4*j - q, -4*j = -2*j + 2*q - 6. Let z = 12 - -5. Suppose -h + z = j. Is h a multiple of 11?
False
Let q = 8 - 6. Suppose -t + 5*t - 14 = -f, q*f = 4*t - 32. Is (-73)/(-3) + (-4)/f a multiple of 18?
False
Let i = 378 - 208. Is 27 a factor of i?
False
Is 37 a factor of 107/3 - 20/(-15)?
True
Let j = -13 - -43. Is 10 a factor of j?
True
Does 47 divide (18/(-10))/((-21)/3290)?
True
Suppose 2*q - q + 5 = 0. Suppose v - 85 = -4*d - 0*v, -2*d + 38 = -4*v. Let m = d - q. Is m a multiple of 10?
False
Suppose -5*c = -c. Suppose 2*r + 2*r + 3*k = -25, -4*r + k - 13 = c. Is 12 a factor of (-54)/r - 1/2?
False
Let t = 3 + -5. Let c = t + -1. Is -5*(2 + 12/c) a multiple of 10?
True
Suppose 9*q - 4*q + 8 = 4*i, -5*q = 0. Suppose -z + i = z. Let k = z - -7. Is k a multiple of 4?
True
Let s be (1/1 - 0) + -1. Suppose s = -5*v + 18 + 2. Let m = v - 1. Is m a multiple of 2?
False
Let v = 12 + -17. Let r = v - -5. Suppose r*t = 5*t - 150. Does 8 divide t?
False
Let j(l) = -6*l - 22. Does 10 divide j(-12)?
True
Suppose r - 3*i + 4 = 0, r = -0*r - 5*i + 12. Suppose -5*l = z + 23, 41 = -4*z - 3*l - 0*l. Let w = r - z. Does 5 divide w?
True
Let o = -17 - -29. Is 3 a factor of o?
True
Let k be ((-984)/16)/((-1)/6). Suppose -7*m = -k + 33. Does 16 divide m?
True
Let h(z) be the third derivative of z**5/30 - z**4/24 + z**3/3 + z**2. Does 10 divide h(-2)?
False
Let s = -22 + 58. Does 12 divide s?
True
Suppose 0 = -k + 2*k - 100. Does 20 divide k?
True
Is ((-17)/(-3))/(2/6) a multiple of 5?
Fal