se
Suppose 44*a - 48*a = -24. Does 3 divide a?
True
Let d(b) = b**2 - 3*b + 1. Let p be d(4). Suppose 2*w = -p*n + 12 + 44, -5*n = 3*w - 84. Is w a multiple of 18?
False
Let j(g) = -g**3 + 4*g**2 + 2*g. Is j(-3) a multiple of 13?
False
Let l = 7 + 14. Is l a multiple of 7?
True
Let n(t) = 2*t**2 + 6*t + 4. Let r be -2*1*(-15)/(-6). Is 24 a factor of n(r)?
True
Let p = 7 + -2. Suppose 2*u = -3*w - 61 - p, -4*u = -w - 36. Is 18 a factor of (2 + -5)/(-3) - w?
False
Let j(p) = -p**2 - 3*p - 4. Let y be j(-3). Is 5 a factor of (-150)/(-14) + y/(-14)?
False
Let o be 0 - -7 - (-2 + 0). Let s(q) = -q**3 + 11*q**2 - 11*q + 5. Is 10 a factor of s(o)?
False
Suppose -5*f + 1 = -19. Suppose i = -f*i - 5*c + 70, -i - 3*c + 4 = 0. Does 8 divide i?
False
Suppose -2*n = -y + 49, -5*y + 234 = 3*n - 2*n. Is y a multiple of 12?
False
Let y(f) = f**3 + 2*f**2 - 4*f. Let g be y(-3). Let o be 3/g - -1 - 4. Let p = o + 13. Is p a multiple of 3?
False
Let i(d) = d**2 + 7*d + 2. Let b(h) = -h. Suppose -y - 3*p = -3*y + 9, -3*p = 3. Let v(n) = y*b(n) + i(n). Does 7 divide v(-6)?
True
Let f be 15/(-1)*49/(-21). Suppose -f - 1 = -3*o. Does 6 divide o?
True
Let a(y) be the first derivative of y**4/4 - 4*y**3/3 + 2*y**2 - 4*y + 3. Is 6 a factor of a(4)?
True
Let k be (-20)/(-6)*18/15. Let r(p) = 2*p - 1. Let c be r(k). Suppose -c*f + 2*f + 100 = 0. Does 10 divide f?
True
Let b(l) be the third derivative of l**5/60 + 3*l**4/8 + 11*l**3/6 + 3*l**2. Let r be b(-8). Suppose 69 = r*o - n - 2*n, 5*n = -2*o + 53. Is 24 a factor of o?
True
Suppose -129 = -z + 33. Suppose -27 = 3*b - z. Does 15 divide b?
True
Let n = -12 - -24. Does 5 divide n?
False
Suppose 2*b + 336 = 4*n, 388 = 5*n + 3*b - 21. Suppose 26 = j + w, 4*j - w = 2*w + n. Suppose 0 = -2*g - 4, 0*h = 5*h + g - j. Is 2 a factor of h?
False
Let b(z) = z**2 - 4*z + 2. Let p(j) = j**3 + 9*j**2 + 8*j + 5. Let i be p(-8). Suppose -50 = -i*y - 10. Does 15 divide b(y)?
False
Suppose 4 = 2*x - 6, -b = -2*x + 4. Let p = 44 - b. Let k = p - 4. Is k a multiple of 21?
False
Let o(m) = m**3 + 11*m**2 + 9*m - 13. Is 10 a factor of o(-7)?
True
Let v(z) = -z**3 + 7*z**2 - 6*z + 6. Let s be v(6). Let j be (-1)/1 - (-4 - 1). Let r = s + j. Does 10 divide r?
True
Let w(f) = f**3 + 2*f**2 - 7*f. Let m be w(-4). Let z = m - -13. Is z a multiple of 4?
False
Let y(g) be the second derivative of g**7/2520 - g**6/180 - g**5/20 + g**4/12 + 2*g. Let h(o) be the third derivative of y(o). Is 3 a factor of h(6)?
True
Let l be -1 + 0/(-2) + -5. Let g(o) be the second derivative of -o**5/20 - o**4/2 - o**3/2 + 2*o**2 - o. Is g(l) a multiple of 12?
False
Let p = -4 - -6. Let b(k) = -2*k**2 + 3*k - 2. Let w be b(p). Is 10 a factor of (20/(-3))/(w/12)?
True
Let n = 258 + -180. Is n a multiple of 17?
False
Let q(j) be the second derivative of -j**3/6 + 3*j**2 - 4*j. Is 4 a factor of q(0)?
False
Let l(b) = -b + 15. Is l(-15) a multiple of 15?
True
Suppose -s - 2 = v, 6 = -3*v + 4*s - 2*s. Let a be 2/(-4) + 35/v. Is (-156)/a*(-6)/(-4) a multiple of 9?
False
Suppose 0 = 4*q + 97 - 705. Does 19 divide q?
True
Let a be 4/(-3)*(-9)/6. Suppose 0*m = m - a. Suppose -4 = -m*j + 10. Is 4 a factor of j?
False
Suppose -3*k + 4*v = -31 - 117, 2*k = 5*v + 87. Is k a multiple of 4?
True
Suppose 3*b = -b. Suppose -2*h + 11 + 5 = b. Is -3 + 3 + h/1 a multiple of 7?
False
Let u(r) = r**2 + r - 1. Let h be u(1). Let m = 8 - h. Is 7 a factor of m?
True
Let d(x) = x - 1. Let v(y) be the first derivative of 2*y**4 + y**3/3 - y**2/2 + y + 4. Let r be v(1). Does 8 divide d(r)?
True
Suppose -3 = -l + 2*f - 3*f, 3*f = -6. Let q = -3 + l. Suppose x = -5*m + 3*x + 110, q*x - 82 = -3*m. Is 12 a factor of m?
True
Suppose -c + 110 = b, -4*b = b - 5*c - 570. Suppose 4*j - 4*q - 16 = b, -27 = -j + 2*q. Does 19 divide j?
False
Let m be (-12)/42*(-7)/1. Is (-1)/(m/(-40)) + 2 a multiple of 11?
True
Is 3 a factor of 36/(-24) + (-13)/(-2)?
False
Let i(q) = 275*q**2 + 4*q + 1. Is 13 a factor of i(-1)?
False
Let v = -10 - -13. Suppose v*q - 117 = -2*g, 3*g - 21 = q - 49. Does 11 divide q?
False
Let u = 40 - 35. Does 4 divide u?
False
Let b = 3 - 1. Let a be b/7 + 375/35. Suppose -5*n + h = -52, 4*n + 2*h - 25 = a. Is 10 a factor of n?
True
Let w(b) = -b - 1. Let t be w(-7). Let h = -5 + t. Is (14 + 4/(-2))*h a multiple of 6?
True
Let l be (22/(-1))/(-2*1). Suppose a + l = -0*a. Let n = a + 16. Is 2 a factor of n?
False
Let n = -49 + 71. Is n a multiple of 11?
True
Let s be (-32 - 7)*2/6. Let g = s + 21. Does 4 divide g?
True
Suppose -u + 1 = 4*p - 4, -2*p = -4*u - 52. Let f = 10 - -8. Let k = f - u. Is 13 a factor of k?
False
Let p be 44/3*(-4 - -7). Is 339/11 + 8/p a multiple of 31?
True
Let s(u) = 13*u**2 - 6. Let m(r) = -r - 13. Let p be m(-11). Is 23 a factor of s(p)?
True
Let q = -5 + 9. Is 4/((-2)/(2 - q)) a multiple of 3?
False
Suppose 0*w + 4*w + v - 3 = 0, -3*w - 19 = 5*v. Let h(t) = -t**2 + 96. Let q be h(0). Suppose 2*z + w*z = q. Is 12 a factor of z?
True
Suppose 0 = -2*d - d + 96. Let m = d + -45. Let i = 20 + m. Is i a multiple of 7?
True
Suppose 24 = 3*p + 2*g, -p + 3*p - g = 9. Let c = p - -8. Suppose c + 26 = 2*t. Is t a multiple of 10?
True
Let y be 2/(-10) + (-534)/30. Does 2 divide ((-6)/18)/(1/y)?
True
Suppose 0*c + 4*c = 28. Suppose -2*b + 0 = 2, 2*b = 2*w - 48. Let u = w + c. Does 15 divide u?
True
Suppose 4*c + d = 10, -4*c + d + 7 = 1. Suppose 0 = c*r - 12. Is 4 a factor of r?
False
Let u(x) = -x**3 + 11*x**2 + 2*x + 7. Is u(8) a multiple of 14?
False
Let b = -89 + 164. Is 15 a factor of b?
True
Let o = 1 + -7. Let f = o + 104. Suppose -4*j = -5*m - 18 - f, -3*j - 3*m = -87. Is j a multiple of 10?
False
Let v(c) = -c**2 + 2*c - 2. Let n be v(2). Let y(k) = -2*k**3 - 2*k**2 + k - 1. Is y(n) a multiple of 3?
False
Suppose 0 = -2*l - 49 + 379. Is l a multiple of 15?
True
Let w(p) = p**3 + 4*p**2 - 2*p - 1. Suppose -4*r + 10 = 2*y - 6*r, 5*y - 4*r - 20 = 0. Suppose h - 3*h = o - 12, y = -3*o + 2*h - 4. Is 7 a factor of w(o)?
False
Let b(f) = f**3 - 4*f + 4. Is b(4) a multiple of 13?
True
Is 19 a factor of ((-156)/(-10))/(2*4/40)?
False
Suppose 3*g + 18 = -2*u - g, 3*u = -4*g - 21. Let l be (0 - u)*(0 + -12). Let d = 52 + l. Is d a multiple of 8?
True
Let h = 3 + 0. Let o be 58 - (2 + -1 - h). Suppose -4*b - o = -4*j, -18 = -j - j - b. Is j a multiple of 11?
True
Let x = -83 + 151. Is 11 a factor of x?
False
Let z be 6/5 - 12/(-15). Is (z/4)/((-2)/(-168)) a multiple of 14?
True
Let h be (-27)/(-12) + 4/(-16). Does 12 divide h/(-1*4/(-66))?
False
Does 38 divide 247/13*(2 - 0)?
True
Suppose -x + 3 - 1 = 0. Let w(o) = 9*o**3 + o**2 + o - 2. Let d be w(x). Suppose 3*c + d = 4*f, -f + 95 = 4*f - c. Does 10 divide f?
False
Let w = -12 + 9. Let u(l) = -l**3 + l - 1. Is 14 a factor of u(w)?
False
Let n = 169 + -107. Is 31 a factor of n?
True
Let m(s) = -s - 22. Let r be m(0). Is 0 - r - (-1 + 0) a multiple of 11?
False
Let j = -7 - -3. Is j/(-2) + 41 - 0 a multiple of 11?
False
Suppose 4*t - 4*d + 43 = 167, -5*d = 5*t - 145. Does 9 divide t?
False
Let f(k) = k**2 - 8*k - 7. Does 13 divide f(10)?
True
Is 5 a factor of 3 + (-124)/44 + 876/22?
True
Suppose 6*c = 5*i + c - 185, 0 = 2*i + 5*c - 60. Is i a multiple of 5?
True
Suppose -u + 105 = 2*u. Let y = 64 - u. Does 14 divide y?
False
Let i = -23 - -30. Is i a multiple of 2?
False
Let z(r) = 2*r**3 - 2*r**2 - 3*r + 3. Let c be z(2). Suppose 109 = c*w + 19. Is 6 a factor of w?
True
Suppose 0 = 4*m - 0*m - 28. Suppose 2 = -s - m. Is (s/(-2))/(3/18) a multiple of 10?
False
Suppose -3*y + 2 = -w, 54 = 6*w - w + y. Is 8 a factor of w?
False
Let r = -29 + 19. Let g = r - -15. Does 3 divide g?
False
Let c = -49 + 77. Is 7 a factor of c?
True
Let g(k) = -k**3 - 12*k**2 + 12*k - 8. Let r be g(-13). Suppose 0*w = r*w - 45. Is 9 a factor of w?
True
Let x(n) = n**2 + 3*n + 10. Does 16 divide x(-9)?
True
Suppose 3*a = s + 27, a - 8 = -a + 4*s. Is 4 a factor of (-1)/((1 + -2)/a)?
False
Let o = 3 + -1. Suppose o*d - 10 = 56. Is d a multiple of 9?
False
Suppose -3*b + u + 421 = 0, 5*b + 2*u - 629 = 69. Suppose 2*q + 3*q - b = 0. Does 8 divide q?
False
Let b = 7 + 5. Let s = b - -6. Does 18 divide s?
True
Suppose -5*x + 7 = -18. Let u be 30 + 1/2*-4. Suppose -x*k + 102 = -u. Is k a multiple of 13?
True
Suppose b + 4*y = 2*b - 96, 5*y = -b + 69. Is 