Let c = b - -2. Suppose -2*v + c*v = 70. Does 10 divide v?
False
Let h(z) = -46*z + 2. Let m(p) be the third derivative of 23*p**4/24 - p**3/6 - 2*p**2. Let k(d) = -6*h(d) - 11*m(d). Does 10 divide k(1)?
False
Let l = 11 - 7. Let t(z) be the third derivative of z**5/60 - z**4/8 + z**3/3 + 16*z**2. Does 3 divide t(l)?
True
Let g be 2*((-2)/(-4) + 2). Let x = g - 0. Does 2 divide x?
False
Suppose -15*b + 199 + 41 = 0. Does 8 divide b?
True
Suppose x + 3*i + 2 = 4, 2*i + 8 = 4*x. Let l = x + 9. Suppose -l = 2*w - 3*w. Is w a multiple of 11?
True
Suppose m + 4*q = 58, 5*m + q - 3*q - 180 = 0. Let k = m - 4. Is 17 a factor of k?
True
Let g = 51 + -45. Suppose 3*h - 3 = 0, -6*m - 4*h = -m + 6. Let x = m + g. Is 3 a factor of x?
False
Let c = 5 + 7. Suppose -k + 4 + c = 0. Suppose -p + k = 3*p. Is 3 a factor of p?
False
Let v = 26 - 28. Is 8 a factor of 8/3*(-9)/v?
False
Let y(h) = 2*h + 2. Suppose 0 = 2*k - 2*o - 14, 4*k + o + 0 = 3. Is y(k) a multiple of 3?
True
Let o be 69/9*3 - 1. Suppose -j + o = 6. Does 6 divide j?
False
Suppose 175 = 5*a - 0*a. Is a a multiple of 35?
True
Suppose -5*c + 85 - 20 = 0. Is c a multiple of 5?
False
Let m(y) = -7*y + 2. Let s(p) = -6*p + 2. Let l(o) = -5*m(o) + 6*s(o). Let d be l(-6). Is (-2)/d + 294/24 a multiple of 6?
True
Let q = -25 + 19. Let d = q + 11. Is 5 a factor of d?
True
Let r be 454/10 + 20/(-50). Let z = r - 5. Is z a multiple of 15?
False
Does 4 divide (8 + -12)*(0 + -4)?
True
Let v be (-159)/(-4) - 7/(-28). Let q = -22 + v. Is q a multiple of 6?
True
Suppose 8*b = 5*b + 51. Is 17 a factor of b?
True
Suppose -2*a - 197 = -25. Is 7 a factor of a/(-5) - 1/5?
False
Let l = -37 - -68. Suppose 3*v = 2*m - 137, -5*m + l + 317 = -2*v. Let y = -26 + m. Is y a multiple of 12?
False
Suppose 4*q + 0*q = 104. Is q a multiple of 13?
True
Suppose 2 + 28 = 3*j. Is 10 a factor of j?
True
Suppose 2*o - 145 = -3*v, 8 = -4*v - 2*o + 198. Does 9 divide v?
True
Suppose -3*r = -2*f - 164, f - 90 = -3*r + 71. Does 28 divide r?
False
Let t be (3 - 2)*1 - 0. Let m be ((-16)/6)/(1/9). Does 8 divide 0 + (0 - t) - m?
False
Suppose 4*g + 0*u = u + 22, -5*g - u = -32. Is g + -2*9/(-6) a multiple of 3?
True
Let u(f) = f**3 + 3*f**2 + 3. Let q be u(-3). Suppose -q*d = 4*c - 32, -1 = d + 4*c - 25. Does 3 divide d?
False
Let p be 9/((-12)/(-8) - 1). Let c = -9 + p. Is c a multiple of 3?
True
Suppose -5*q = -3*f + 44, f - 5*q = -3*f + 52. Let v = -8 + f. Is 9 a factor of (-3 + v)*(3 + -10)?
False
Let w = 64 + -25. Does 13 divide w?
True
Let f(c) = -c**2 + 2*c + 2. Let b be f(-2). Let k(q) = q**2 + 8*q + 6. Let y be k(b). Does 4 divide (1*y)/(-3 - -2)?
False
Let b = -8 - -41. Suppose 0 = -4*o + b - 1. Does 3 divide o?
False
Let p = 38 + -22. Is p a multiple of 16?
True
Let d be ((-66)/5)/((-4)/20). Is (4/3)/(4/d) a multiple of 12?
False
Let g = 21 + -14. Let i(h) = -h**3 + 6*h**2 + 8*h + 9. Is i(g) a multiple of 4?
True
Let p(c) = -305*c**3 - 3*c**2 - c + 1. Is 38 a factor of p(-1)?
True
Let q = 1 - 29. Is 7 a factor of (6/(-4))/(3/q)?
True
Let a = 65 - 31. Does 17 divide a?
True
Let n(o) be the third derivative of o**4/4 - 2*o**3/3 - 2*o**2. Is n(5) a multiple of 6?
False
Suppose 2*f - 62 = 5*q, -5*f = -4*q + 2*q - 197. Does 19 divide f?
False
Let u(i) = 18*i**2 + 3*i + 1. Suppose 0*q + 10 = -5*q. Does 25 divide u(q)?
False
Does 12 divide 1166/14 + (-2)/7?
False
Is 14 a factor of 2 + 9 + -1 + 4?
True
Let u(p) = p + 25. Let a = 48 - 67. Is 6 a factor of u(a)?
True
Let u = 106 + -152. Let w = u - -26. Is ((-64)/w)/(2/10) a multiple of 16?
True
Suppose 0 = -0*d + d - 16. Is 11 a factor of d?
False
Let h be (1/3)/((-4)/12). Let n = h + 4. Suppose -n*o + 2*o + 39 = 0. Does 16 divide o?
False
Suppose -2 - 14 = 2*c. Let h = 10 - c. Is h a multiple of 9?
True
Let u(p) = p**2 - p. Let o be u(5). Is 12 a factor of (-61)/(-5) - 4/o?
True
Suppose 0 = 5*j - 15 - 0. Let b = 51 - j. Is b a multiple of 16?
True
Let c(t) = t**2 + 8*t - 34. Is c(-16) a multiple of 31?
False
Let k = 29 - -232. Does 9 divide k?
True
Let q = -11 - -19. Does 3 divide q?
False
Suppose 3*n - 3*b - 6 = -3, -n = -3*b + 5. Let s(j) = j**3 - 4*j**2 + 5*j. Let t be s(n). Suppose 5*y - 2*l = 33, 3*y = -l + 2*l + t. Does 3 divide y?
False
Is 13 a factor of (52/(-6))/(4/(-18))?
True
Let z(o) = 9*o - 2. Let c(q) = 10*q - 3. Let y(n) = -2*n**2 + 2*n + 1. Let d be y(-1). Let u(x) = d*c(x) + 4*z(x). Does 12 divide u(3)?
False
Let k be (-3*1)/(12/(-8)). Let r be (-8 - -6)/(2/(-74)). Suppose k*z + 26 = x, 4*x + 2*z - r = 4*z. Is 16 a factor of x?
True
Let c(k) = 4*k**3 - 3*k**2 + 2*k - 3. Suppose -q - q + 6 = o, o - q = 0. Does 7 divide c(o)?
True
Let p = -16 - 2. Let w = -13 - p. Suppose w*h - 42 = -x + 37, -h = 4*x - 31. Is h a multiple of 15?
True
Suppose 0 = 5*i - 0*j + j - 1028, i = -2*j + 211. Does 38 divide i?
False
Let w be -4*6/(-8) - -1. Suppose 0*r = -w*r + 68. Is r a multiple of 6?
False
Let o(l) = 1 - 3 + 3*l - 2*l. Is o(4) a multiple of 2?
True
Suppose -5*f = -625 + 115. Is f a multiple of 17?
True
Let u = -191 - -417. Suppose -h - 14 = -2*j - 52, 5*h = -2*j + u. Is 19 a factor of h?
False
Let i(d) = d + 0*d**2 + 4*d**3 - d**2 - 3*d**3 - 3*d + 2. Is 7 a factor of i(3)?
True
Suppose 5*j - 22 = 188. Is j a multiple of 14?
True
Let x(d) = 2*d + 3. Let g be x(2). Does 11 divide (-1760)/(-56) - (-4)/g?
False
Let o(b) = 2*b**2 + 28*b + 21. Is o(-14) a multiple of 12?
False
Let d(t) = 4*t**2 - t - 2. Is d(2) a multiple of 4?
True
Let i be 14/63 - (-97)/9. Suppose 2*b - b = i. Is 10 a factor of b?
False
Let u = -19 + 37. Is (-6)/3 + u + 3 a multiple of 13?
False
Suppose 6*r - 12 = 2*r. Suppose h + 4*h - 35 = 4*m, 4*h - 28 = r*m. Does 7 divide h?
True
Let l(w) = 5*w**2 - 6*w - 6. Is l(-5) a multiple of 13?
False
Suppose 5 = -4*y - 0*i - i, 0 = 2*y + 4*i + 20. Suppose 0*k - 3*k + 78 = y. Does 13 divide k?
True
Let i be (-3*(4 - 5))/1. Suppose -3*o - 222 = -i*k, -k - 3*o = -5*k + 301. Does 25 divide k?
False
Let n be 35/20 - (-2)/8. Suppose b = -n*q - 4, -b = 4*b + 3*q - 1. Suppose -b*z = -6*z + 132. Is 11 a factor of z?
True
Suppose 0 = -5*c - s + 255, 4*s = 3*c - c - 80. Is c a multiple of 10?
True
Let r(q) = q**2 + 5*q. Let g be r(-5). Suppose -4*n + g*n - 48 = -2*l, 0 = 3*l - 3*n - 63. Does 9 divide l?
True
Let b = 40 - 22. Suppose -4*a - b - 94 = 0. Let t = -9 - a. Is t a multiple of 19?
True
Suppose -2*u = -4 - 0. Suppose 1 = -3*r - 5*w + 15, 0 = u*r - 3*w - 3. Suppose 0 = -5*b + 3*m + 2*m + 150, 2*b - r*m = 56. Is 18 a factor of b?
False
Let n be -18*1/(-2)*33. Suppose 5*y - n = -102. Does 12 divide y?
False
Let z be (-18)/(3/30*3). Let l = z + 93. Does 11 divide l?
True
Let q = -140 - -292. Is 13 a factor of q?
False
Suppose f - m = 5, -2*f + 12 - 2 = 3*m. Suppose -f*u + c = -c - 2, -3*u = c - 10. Is 4 a factor of ((-4)/u)/(-2)*8?
True
Suppose 18 = s - 2*x, 4*s - 7*s + 3*x + 48 = 0. Is 7 a factor of s?
True
Let y(m) = 2*m**3 - 3*m**2 + m - 2. Let w be 22/8 + (-3)/(-12). Does 7 divide y(w)?
True
Let l(q) be the second derivative of q**3/6 + q**2 + 2*q. Let u be l(0). Let a(r) = r**3 - 2*r**2 + 3*r. Does 6 divide a(u)?
True
Suppose -1 = 3*w - 10. Suppose 0 = x + q + 2, -3*x = -5*x + w*q + 21. Is 16 a factor of 24/((27/6)/x)?
True
Let b(g) = -3*g**3 - 9*g**2 - 18*g - 18. Let x be 6/12*8/2. Let l(r) = -r**3 - 5*r**2 - 9*r - 9. Let j(y) = x*b(y) - 5*l(y). Is 16 a factor of j(8)?
False
Let p(d) = -13*d - 7. Is p(-4) a multiple of 15?
True
Let c be (-1)/(-3) + (-370)/(-6). Suppose 5*s - c = 3*s. Suppose -4*y - 3*m + 16 = -s, -2*m = 6. Is 5 a factor of y?
False
Let u(g) = 58*g - 4. Is 3 a factor of u(1)?
True
Let s be ((-17)/(-2))/((-3)/(-6)). Suppose -3*c = -s - 1. Is c a multiple of 6?
True
Suppose 3*q - q - 3*i + 13 = 0, 4*i - 12 = 0. Does 4 divide (-238)/(-21) - q/(-6)?
False
Let y be -1*51*6/(-9). Let o = y + -16. Is 12 a factor of o?
False
Let g(j) = 2*j**2 + 8*j - 17. Does 25 divide g(-7)?
True
Suppose -4*a = -4*g + 140, 3*a - 8*a + 77 = 2*g. Let i = g - 19. Suppose -3*v + i = -115. Does 19 divide v?
False
Suppose -k - 2*k + 6 = 0. Let r = k - -11. Is r a multiple of 13?
True
Let n = 55 + -3. Does 15 divide n?
False
Suppose 4*q - 51 = -3*z + 77, 0 = 2*z - 5*q - 47. Is 12 a factor of z?
True
Let i = 153 - 75. Is i a multiple of 20?
False
Suppose 5*u = 4*u + 10. Let w = u + 2.