 - a. Suppose 0 = 5*f + 5*s - 70, 2*s = f - p - 4. Does 14 divide f?
True
Let r = 2 - 4. Let h(q) = -2*q + 2. Is 6 a factor of h(r)?
True
Let w(a) = 4*a**3 - 5*a**2 + 9*a - 2. Is 4 a factor of w(2)?
True
Let r(p) = -16*p**3 - 2*p**2 - p. Let x = 4 + -2. Let t be x*(-3)/6 - 0. Is r(t) a multiple of 15?
True
Suppose 2*b = -2*v + 6*v - 66, -2*b + 14 = v. Suppose v = -4*d, -5*j - 2*d + 118 + 74 = 0. Does 20 divide j?
True
Suppose 53 = g - 73. Is g a multiple of 9?
True
Let f be 35 - (0 + -1 - -1). Let b = f + -19. Is 8 a factor of b?
True
Suppose 2*z = 4*w + 680, -4*z + 1883 = 5*w + 471. Does 29 divide z?
True
Let m(s) be the second derivative of -7/6*s**3 + 1/2*s**2 - 2*s + 0 - 1/12*s**4. Is m(-5) a multiple of 11?
True
Let z be (-8 + 4)*-1 + 1. Is 6 a factor of (4/z)/((-5)/(-150))?
True
Let z = -89 + 153. Let g = z + -35. Is 8 a factor of g?
False
Suppose -x + 6 = -5. Does 3 divide x?
False
Let z be ((-33)/9)/(2/(-72)). Suppose s - 4*s = -z. Is 12 a factor of s?
False
Suppose v + 26 = -5*l + 83, 4*v - 4*l = 228. Suppose 2*n + g - v = 4*g, -2*g + 118 = 3*n. Is n a multiple of 18?
True
Let o be (-12)/(-10)*(-5)/(-2). Let v = 61 - 19. Suppose 4*d = -z + o*z + 74, -3*z = 3*d - v. Is 16 a factor of d?
False
Let g(c) be the third derivative of 0 + c**2 + 0*c + 1/24*c**4 + 3/20*c**5 + 1/6*c**3. Is 4 a factor of g(-1)?
False
Let x(t) = -2*t + 6. Let h(o) = -2*o**3 - 3*o**2 - o + 2. Let b be h(-2). Let u = -15 + b. Is x(u) a multiple of 10?
True
Let f = -3 - -3. Suppose -2*r = -6 - f. Suppose v + 3 + 10 = 3*k, 0 = k - r*v + 9. Does 6 divide k?
True
Suppose 0*f = f. Let a be (-474)/(-4) - (-2)/(-4). Suppose f = -5*k + 42 + a. Is k a multiple of 12?
False
Suppose -4*q - 334 = -2*s - 0*s, -683 = -4*s + 5*q. Is s a multiple of 14?
False
Is (-13 + 15)*9*2 a multiple of 18?
True
Let g = 198 + -58. Does 20 divide g?
True
Is 19 a factor of (-1)/(3/(-180)) - 3?
True
Suppose 0 = -15*j + 10*j + 650. Is 32 a factor of j?
False
Let o = -36 + 62. Let d = o + -10. Is 16 a factor of d?
True
Let o(g) be the third derivative of -g**6/120 + g**5/10 - g**4/8 + 2*g**3/3 + 3*g**2. Is 14 a factor of o(5)?
True
Is (-47 - -16)*2/(-2) a multiple of 10?
False
Suppose -3*c - 15 + 148 = 5*b, 3*c - 3 = 0. Let m be 6/(-9) + (-8)/(-3). Suppose -z + 5*a - 14 = 0, z = m*z + 3*a - b. Does 11 divide z?
True
Suppose -1474 - 21 = -5*h. Is 13 a factor of h?
True
Is 10 a factor of (-15 - -10)*(-1 + -1)?
True
Let f(g) = g**2 - 4*g + 4. Let d be f(4). Suppose d*v - 12 = v. Does 2 divide v?
True
Suppose -4*m = 9 + 19. Let x(o) = -o**3 - 8*o**2 - 8*o - 6. Let j be x(m). Suppose j = 4*u - 51. Is 10 a factor of u?
False
Let z(x) = x - 3. Let w(u) = -16*u. Let j be w(1). Let f = 26 + j. Is z(f) a multiple of 7?
True
Let r(k) = -5*k**3 - 3*k**2 - 2*k. Is 8 a factor of r(-2)?
True
Let b(s) = -s**3 + 11*s**2 + s + 16. Is b(11) a multiple of 20?
False
Suppose -r - 8 = -5*r. Is (r/(-5))/(1/(-70)) a multiple of 14?
True
Let a(j) = -2*j**2 + 3*j - 1. Let r be a(2). Is 20 a factor of r/((-3)/(-40)*-2)?
True
Let q = -43 - -52. Is 9 a factor of q?
True
Let d be 2/(-6)*4*6. Let p(s) be the first derivative of -5*s**2/2 - 8*s - 1. Is p(d) a multiple of 16?
True
Let p = 4 - 2. Suppose p*j - 5*j = -60. Suppose 7*l = 3*l + j. Is l a multiple of 5?
True
Does 16 divide -24*((-56)/18)/(1/3)?
True
Suppose 2*w = 5*w. Let f(l) = -l + 4. Let i be f(4). Does 14 divide 27 + 1 + (w - i)?
True
Suppose 26 = 7*a - 5*a. Is a even?
False
Suppose 0 = -38*o + 43*o + 215. Let q = o + 73. Is q a multiple of 24?
False
Let s(y) = -2*y**3 - 4*y**2 + 3*y - 5. Let u be s(-4). Let k = u + -19. Does 14 divide k?
True
Let y(n) = n**3 + n**2 + 3*n. Let t(x) = -3*x**3 - 2*x**2 - 7*x. Let l(v) = -2*t(v) - 5*y(v). Let b be l(1). Does 8 divide b*2*-2*4?
True
Let m(o) = o**2 + 9*o + 7. Let k be m(-9). Let x = 11 - k. Is x a multiple of 4?
True
Suppose 19 = 7*u - 6*u. Is 2 a factor of u?
False
Let q(h) = h**2 - 10*h + 7. Suppose 0 = 2*x - m - 23, -3 = -0*m - 3*m. Is 10 a factor of q(x)?
False
Suppose -4*r + 44 = -2*r. Does 3 divide r?
False
Is 6 a factor of 49/2 + (-6)/12?
True
Let o(q) = 18*q**2 - 2*q - 1. Does 15 divide o(-2)?
True
Suppose -12 = -m - 2*m. Let l(w) = -4*w - 2*w + m*w + 10. Is l(-10) a multiple of 11?
False
Let w(j) = j**2 + 16*j + 27. Does 40 divide w(-19)?
False
Let y(m) = m**2. Is 8 a factor of y(4)?
True
Let t = 14 - 10. Let c be (10/6)/5*93. Suppose -t*k + c = -3*k. Is 10 a factor of k?
False
Suppose 5*k = -0*k + 10. Let w be k*5 + 1 + -3. Suppose -2*s = -w, s = 2*p - 0*s - 42. Does 8 divide p?
False
Let w = 19 - 9. Let f(v) = -v**2 + 10*v + 10. Is f(w) a multiple of 8?
False
Suppose 0 = -k - k - x + 258, -4*k + x + 528 = 0. Suppose -2*y - 2*t + k = y, -y + 49 = -2*t. Is 9 a factor of y?
True
Let r be (((-32)/(-2))/(-2))/(-1). Let p(h) = 4*h - 5. Is 8 a factor of p(r)?
False
Let z = -115 - -122. Does 3 divide z?
False
Suppose 0 = 2*r + 11 - 83. Let u = 20 + -36. Let b = r + u. Is b a multiple of 13?
False
Does 39 divide ((-13)/4)/(3*(-2)/216)?
True
Let d = 154 - 10. Is 12 a factor of d?
True
Suppose 0 = -b - 2*b - 9, 2*c = 3*b - 1. Let v(q) = -4*q - 5. Is v(c) a multiple of 8?
False
Suppose -3*p + 9 = -0*p. Suppose -f + 8 = -43. Suppose -o + h + 9 = -2, 3*o = -p*h + f. Is 14 a factor of o?
True
Let j(q) = 3*q - 2. Let o be j(2). Suppose -w = -o*w. Is w*2/4 + 20 a multiple of 10?
True
Let w(c) = -c**2 + 4*c - 2. Let j be w(4). Let h(k) = 8*k**3 + k**2 + k. Let u be h(-1). Does 12 divide (u + -26)*1/j?
False
Suppose -4*b = 4*k - 394 - 258, 5*k = -2*b + 332. Let u = b + -111. Does 25 divide u?
True
Let c(y) = -y**2 + 3*y - 7. Let s be c(6). Suppose 0*m + 114 = 2*m. Let a = s + m. Is a a multiple of 17?
False
Let p = -1 - -1. Suppose p = -2*a + 9 + 9. Suppose 4*m - 55 = a. Is m a multiple of 8?
True
Suppose 0 = -o + 42 + 10. Suppose 9*z = 11*z - o. Is z a multiple of 13?
True
Let p be (-15)/(-4) + 2/8. Suppose -p*t = -200 + 44. Let q = t - 27. Does 12 divide q?
True
Suppose -2*v + 3*v = -12. Is 13 a factor of -6*6*9/v?
False
Does 13 divide -4 + (-124 - 2)/(-3)?
False
Suppose -5*x + 4 = -16. Suppose x*m = 183 - 47. Is m a multiple of 17?
True
Let f = -76 + 41. Let v = f - -74. Is v a multiple of 13?
True
Let c(n) = 30*n**2 + 2*n - 1. Let t be 6/(1 + (-9)/3). Let l be c(t). Suppose 3*o = -4*g + 117, 0 = -4*o + g + l - 88. Is o a multiple of 14?
False
Suppose 0 = -f - 2*s + 7, -f + 13 = -2*s - 14. Let g be f/2 + 1/2. Is 6 a factor of (-83)/(-9) - 2/g?
False
Let g(h) = 8*h**2 + 6*h - 11. Is g(4) a multiple of 46?
False
Suppose 5*b - 3*v + v - 204 = 0, 2*b = 4*v + 88. Is 4 a factor of b?
True
Suppose 178 = 4*o + 2*d, 15 = 2*o - 2*d - 59. Is 19 a factor of o?
False
Let y = -83 + 39. Let s = y - -72. Is 14 a factor of s?
True
Let t = -9 - 0. Let f(y) = y**2 + 6*y + 2. Let r be f(t). Let d = r - -8. Does 13 divide d?
False
Suppose -2*d - 2*v = -26 - 318, -2*v - 676 = -4*d. Is 45 a factor of d?
False
Let z(p) = p**3 + 16*p**2 + 7*p - 41. Is z(-15) a multiple of 5?
False
Suppose 5*g + 28 - 8 = 0. Let l be g/(-2) + -5 + 96. Suppose -4*o = -z - 180 + 37, l = 3*o + 4*z. Does 23 divide o?
False
Let v(o) = 6 + 20 + 12 + o**2 + o - 2 - o**3. Does 12 divide v(0)?
True
Suppose 17 + 17 = 2*c. Does 15 divide c?
False
Let l be (-2)/4 - 26/4. Let z(y) = -y**2 - 8*y - 3. Let k be z(l). Suppose 0*s + 3*s = t + 55, 70 = k*s + 2*t. Is 18 a factor of s?
True
Suppose -5 = -h - 3*a, -4*a - 5 - 5 = -2*h. Suppose 3*p - d + 80 = -6*d, 3*d = h*p + 156. Is 7 a factor of -1 - p/2*1?
True
Let l = -41 - -315. Is 50 a factor of l?
False
Let f = 2 + 2. Suppose -2*z = -7*z + 5*y + 55, -2*y = f*z - 44. Is 11 a factor of z?
True
Is 13 a factor of 12/21 + (-8272)/(-28)?
False
Let d(h) = -2*h - 1. Let p be (-1)/(2 + -3) - 3. Let w be d(p). Suppose 0*s - w*s + 45 = 0. Is s a multiple of 15?
True
Let m(r) = 7*r**2 + 7*r + 6. Let u be m(-4). Let z = 137 - u. Suppose 119 = 4*w + z. Is w a multiple of 7?
False
Let z be 38/5 + 4/10. Suppose 3*o = o + z. Suppose o*j = 71 + 9. Does 10 divide j?
True
Let p(o) = o**3 + 5*o**2 + 4*o + 4. Let s be p(-4). Suppose -s*b - 19 + 7 = 0. Is (b/4)/((-1)/16) a multiple of 12?
True
Suppose -15 = -4*m - 3. Let c(g) = -8*g**3 + 10*g**2 - 10*g + 3. Let a(z) = -17*z**3 + 21*z**2 - 21*z + 6. Let r(f) = 6*a(f) - 13*c(f). Does 14 divide r(m)?
Fals