uppose r - 6*r = -h*j + 74, -4*j = 4*r - 56. Does 10 divide j?
False
Let c = 20 - 11. Is c a multiple of 5?
False
Suppose 4*y - h = -2*h + 443, 2*h + 544 = 5*y. Does 10 divide y?
True
Let c be 0/(-2 + (-8)/(-2)). Suppose 2*s - 10 = -c. Does 4 divide s?
False
Suppose 6 = 3*v - 0*v. Suppose -f - 2*z - v - 2 = 0, -3*f + 5*z - 45 = 0. Let a = f - -15. Is a a multiple of 5?
True
Suppose 2*i = -0*i + 8. Suppose -3*w + w - 2*d = -14, 3*w = -i*d + 18. Is 10 a factor of w?
True
Suppose 3*t = 170 + 13. Is 7 a factor of t?
False
Suppose 0*q + 2 = -q. Let u be (-1)/q*(10 + -4). Suppose -a + 43 = u*p, 3*p = 3*a + a + 53. Does 9 divide p?
False
Is 8 a factor of 6/45*5*36?
True
Suppose 162 = 3*v - 378. Suppose 2*j - v = -3*j. Is j a multiple of 31?
False
Let q = 4 + 2. Suppose -6 - q = -v. Does 6 divide v?
True
Let g(p) = -p**3 + 13*p**2 - 18*p - 1. Is g(9) a multiple of 38?
False
Suppose o + 16 + 44 = 0. Let b = o + 139. Does 22 divide b?
False
Let v be 1/(1/((-156)/4)). Does 13 divide (v/2)/((-6)/16)?
True
Let p be (-2)/(-1*2/4). Let y = -211 + 326. Suppose p*h + 27 - y = 0. Is h a multiple of 10?
False
Suppose -c - 3*q + 85 = 0, 2*q - 140 - 30 = -2*c. Suppose 0 = 3*k + 4*u - 138, 0 = 3*k - 2*u - 35 - c. Let o = -28 + k. Is o a multiple of 10?
False
Suppose -5*y + 3*i = -700, -231 = 5*y + 4*i - 966. Is 16 a factor of (y - 1)*10/20?
False
Does 17 divide 8/12 - (-755)/15?
True
Let y(p) be the second derivative of -p**5/10 + p**3/2 - p**2/2 + 2*p. Let v be y(-3). Let a = -20 + v. Is 10 a factor of a?
False
Does 21 divide 63*(2 - 0 - 1)?
True
Let c = 11 + -7. Suppose -69 = -c*i + i. Is 7 a factor of i?
False
Let d(f) = -f**3 + 6*f**2 + 2. Let m be d(6). Let k(n) = 3*n**m - 7*n**2 - n - 4*n**3 + 2 + 5*n**3. Is k(5) a multiple of 11?
True
Let h(q) = 2*q**3 + 3*q**2 - q - 2. Suppose 0 = -2*j + 2 + 2. Is 12 a factor of h(j)?
True
Suppose -5*y + 36 = -3*y. Is y a multiple of 6?
True
Let s be (-32)/(-12)*18/4. Suppose -3*a - 3*t = -6, -5*t + 2*t + 4 = 2*a. Is 4 a factor of s/a + 1 - -1?
True
Suppose -3 = k + 3*b + 7, 2*b + 9 = -k. Let w = -4 - k. Is w a multiple of 2?
False
Let b = 110 + 47. Is 37 a factor of b?
False
Let h(x) = -x**3 + 7*x**2 - 8*x + 3. Let f be h(5). Suppose -2*s - 5 = -j, 2*s = -3*j - 2*j + f. Suppose j*i - 76 = -i. Does 8 divide i?
False
Suppose -d - 4*x = -5*d + 12, -2*d + 4*x = 4. Is 4 a factor of d?
True
Suppose -2*n + 24 = n. Let v = 10 - n. Suppose -4*j + 13 = -3*t - 38, -v*t = -5*j + 69. Is 15 a factor of j?
True
Let q(c) = -5 + 0*c**2 + 4*c**2 - 5*c**2 + 11*c. Does 11 divide q(7)?
False
Suppose -14*o + 8*o + 534 = 0. Does 15 divide o?
False
Let n(z) = 7*z + 25. Let p(l) = -3*l - 12. Let r(d) = 4*n(d) + 9*p(d). Does 3 divide r(13)?
False
Let n be 2/(-4)*2 + 1. Suppose -j - 2 = -n*f + 2*f, -j - f + 3 = 0. Does 6 divide j?
False
Let s(z) = z**3 - 6*z**2 - 5*z + 5. Let y = 9 - 5. Let f(p) = -p**2 + 6*p - 1. Let l be f(y). Is 6 a factor of s(l)?
False
Let w(l) = l**3 - 12*l**2 - 7*l + 12. Is w(13) a multiple of 45?
True
Let q(b) = b**2 + b + 12. Is q(-8) a multiple of 11?
False
Suppose -z = 1, -2*g - 4*z + 38 = -10. Suppose -n + g = n. Is n a multiple of 13?
True
Let m be 31 - (2 + -4)/2. Let q = m - -7. Is 9 a factor of q?
False
Let a be (5*(-1)/1)/(-1). Suppose a*k - 3*d = k + 36, -k - 3*d = -9. Is 25 a factor of (-3)/k - 151/(-3)?
True
Let j be 3/12 - (-814)/8. Suppose -2*o = 3*c - 535, -3*o + 176 = 5*c - 4*c. Suppose 5*g - 2*d - c = 0, -j = 5*g + 2*d - 273. Is g a multiple of 11?
False
Suppose -x = 2*x - 4*o + 26, -3*o + 37 = -4*x. Is 18/(-5)*x/4 a multiple of 9?
True
Let g(q) = -7*q + 7. Let z(m) = 13*m - 15. Let w(l) = 7*g(l) + 4*z(l). Does 8 divide w(9)?
True
Suppose 0 = 5*h - 5*k + 10, -3*k = 4*h + 2*k + 26. Let z be ((-4)/(-5))/(h/30). Let r(a) = a**2 + 4*a + 8. Is 16 a factor of r(z)?
False
Let p be -1 + -2*(-243)/6. Suppose 4*f + f - p = 0. Is f/((-3)/(-2 - 1)) a multiple of 7?
False
Let h be 4*(3 + 21/(-12)). Let m = h - -11. Is 8 a factor of m?
True
Let n(j) be the second derivative of -1/2*j**2 + 0 - 2/3*j**3 + 2*j. Is n(-4) a multiple of 15?
True
Suppose -3*m + 3*p = 0, -m - 4 + 24 = 3*p. Suppose -a - 5*q - 34 = -0, -6 = -a + m*q. Let y = a + 35. Does 8 divide y?
False
Let k(w) = -15*w - 22. Is 11 a factor of k(-12)?
False
Suppose -3*z + 4 = 4*q, -2 = 4*z - 4*q + 2. Suppose 3*o - 10 - 17 = z. Does 8 divide o?
False
Let c(v) = -v**3 - 6*v**2 - 5*v + 7. Let s = -3 - 3. Does 11 divide c(s)?
False
Let h = -5 + 5. Suppose -3*b = -2*o - 18 - 24, 3*o + 9 = h. Does 6 divide b?
True
Let y(p) = -5*p + 17. Is y(-10) a multiple of 14?
False
Is 2*(20 + 3 + -3) a multiple of 10?
True
Let z(w) = -w**2 + 7*w - 2. Let c be z(6). Suppose 0 = -c*p + 2*t + 124, -4*p + 2*t + 134 = 5*t. Does 15 divide p?
False
Suppose 0 = -3*i - i - 5*s + 28, -5*i + 2*s + 2 = 0. Suppose -4*b + f + 9 = -11, 25 = 5*b + i*f. Is b a multiple of 5?
True
Let o(k) = k**2 - 3*k + 4. Is 14 a factor of o(5)?
True
Suppose 4*y + 0*y - 80 = -2*b, -2*b = -4*y + 64. Let i be (-12)/y - (-2)/3. Suppose i = p + 5 - 21. Is p a multiple of 16?
True
Suppose 5*p + 2*w + 58 = 4*w, 2*w = -p - 14. Let h = 20 + p. Is h a multiple of 4?
True
Suppose -d + 5*y + 24 = 0, -41 = 3*d + 5*y - 173. Is d a multiple of 13?
True
Let q = -15 + 19. Suppose 4*z + 16 = 0, -q*z = 4*l - z. Does 3 divide l?
True
Let o(m) = -3*m - 3. Let l be o(-2). Suppose -d + 0*b - 4*b = -40, l*b = -5*d + 251. Is 26 a factor of d?
True
Let o(w) = -23*w**2 + w + 3. Let z be o(5). Is (-2)/8 - z/28 a multiple of 17?
False
Let s = 1 - -4. Suppose -5 = s*i - 125. Is 11 a factor of i?
False
Let n be (-1 - (-10)/6)*-171. Let m = 70 - n. Is m/10 - 4/10 a multiple of 9?
True
Suppose p - 2*l + 39 + 349 = 0, 0 = -3*l + 3. Is 11 a factor of p/(-10) - (-2)/5?
False
Suppose -5*x + 0*x = 0. Let n(s) = s + 69. Let c be n(x). Suppose -4*w + c = -67. Is 15 a factor of w?
False
Let k = -6 - -10. Suppose o - 1 = -5*f + 6, 8 = f - 2*o. Suppose 14 = f*t - k. Is t a multiple of 3?
True
Let h(f) = -6*f - 10. Let z be h(-3). Suppose -4*k + 244 = 2*a - 4*a, -z = -2*a. Is k a multiple of 21?
True
Let i = 44 + -22. Suppose f = -0*f - i. Let p = f + 60. Does 12 divide p?
False
Suppose 2*z + 8 = 6*z. Suppose 5*u + 5*v - 190 = 0, 2*u - 80 = -2*v - z*v. Is 13 a factor of u?
False
Suppose -2*w + 35 + 57 = 0. Suppose -3*j + 2*x = -172, 0*j + j + 5*x = 29. Suppose -5*v + w = -j. Is 10 a factor of v?
True
Suppose i = -0*g - 5*g + 31, 7 = i - 3*g. Is 16 a factor of i?
True
Let x(h) be the first derivative of -h**4 - h**3 - h**2 - 2*h - 2. Let g be x(-2). Does 11 divide (3 - 6/3) + g?
False
Let i(v) = v**3 - 8*v**2 - 11*v + 5. Let r be i(7). Let n = -78 - r. Is 12 a factor of n?
False
Let k(w) = -w - 4. Does 7 divide k(-18)?
True
Suppose 3*f - 506 = -116. Is 52 a factor of f?
False
Suppose -p + 4*i + 22 = 0, -92 = -4*p - 5*i - 25. Is p a multiple of 9?
True
Let p(q) = 3*q**2 + 4*q + 1. Let i be p(-3). Let n = -8 + i. Does 3 divide n?
False
Let w be (-5)/(5/(-4)) + 2. Suppose -w*x - 5*g + 115 = -x, 3*g = -2*x + 48. Is 10 a factor of x?
False
Let z(b) be the first derivative of b**3/3 - 3*b**2/2 - 3*b + 1. Is 4 a factor of z(5)?
False
Suppose -8*a = -7*a + 2. Does 2 divide 4 + 4*a/(-4)?
True
Suppose -2*t + 17 = 1. Let j be (0 - t)*(-2 - -1). Suppose -z = -j - 25. Does 14 divide z?
False
Let l(x) = -x**3 - 7*x**2 + 8*x - 6. Is l(-9) a multiple of 14?
True
Let h = -235 + 336. Is 13 a factor of h?
False
Let a = -17 - -15. Does 5 divide (3 + a + 0)*15?
True
Let s(v) be the third derivative of 7/30*v**5 - v**2 + 1/24*v**4 + 0 + 0*v + 1/6*v**3. Is s(-1) a multiple of 11?
False
Let d = -1 - 3. Let w(v) = -20*v**3 - 9*v**2 - 35*v - 23. Let y(l) = 7*l**3 + 3*l**2 + 12*l + 8. Let i(g) = 6*w(g) + 17*y(g). Is i(d) a multiple of 11?
False
Let j be (-2)/(2 + 96/(-44)). Suppose -4 = -4*a, -j - 18 = -3*f + a. Is f a multiple of 10?
True
Let j be 15/(-6) - 2/(-4). Let c = 2 - j. Let g(p) = 4*p - 5. Is g(c) a multiple of 10?
False
Let r(q) = q**2 + 9*q - 7. Let z(k) = -k. Let t(x) = r(x) + 3*z(x). Let u be t(-8). Let i = 13 + u. Is 11 a factor of i?
True
Let s(r) = -r**2 - 9*r + 10. Let z be s(-10). Let i be 2 - (3 + z) - -12. Let f = i - -31. Is f a multiple of 13?
False
Let t(a) = 37*a + 18. Does 41 divide t(6)?
False
Let m(a) = a + 1. Is m(8) a multiple of 4?
False
Suppose 0