a**3 - 13*a**2 - 16*a - 10. Let v(s) = -3*s**3 - 40*s**2 - 48*s - 30. Let c(r) = -8*k(r) + 3*v(r). Is 5 a factor of c(-15)?
True
Suppose 5*n + 4*p = 36, 5*n = -2*p - 0*p + 28. Let y(l) = l**3 - 2*l**2 - 4*l - 3. Does 5 divide y(n)?
False
Is 7 a factor of (-5)/15*(-43 + -2)?
False
Let w(v) = 2*v**2 - v - 7. Is w(3) a multiple of 8?
True
Let p = 3 + -4. Does 12 divide 3/p + 2 + 37?
True
Let y(h) = h**3 + 5*h**2 - 2*h. Suppose -2*u - 14 = 2*k, 3*k + 6 = -u - 9. Is y(k) a multiple of 24?
True
Is (1 - (-1 - 0)) + 0 even?
True
Suppose 3*i - 2*i - 712 = -4*w, -533 = -3*w - i. Does 26 divide w?
False
Is (-32)/(-6)*(-396)/(-24) a multiple of 5?
False
Let j(n) be the third derivative of -n**6/120 - 2*n**5/15 - n**4/3 - 2*n**3/3 - n**2. Let b(f) = f**3 + 7*f**2 + 8*f + 5. Let c be b(-6). Does 2 divide j(c)?
False
Let r(s) = -s**2 + 5*s + 13. Let v be r(10). Let x = v - -69. Is 17 a factor of x?
False
Let y = 43 + 10. Is 53 a factor of y?
True
Let y(k) = 3 - k**2 - 12*k + 10*k - 7*k + 3. Is 12 a factor of y(-7)?
False
Let h = 7 + 3. Is 5 a factor of h?
True
Let j(h) = -h**2 + 6*h + 4. Let c be j(6). Suppose w - 17 = -c*r + 3, -170 = -4*w + 2*r. Is w a multiple of 13?
False
Let b = -2 - -5. Suppose 0 = -4*q + 8*q - 5*o - 28, -3*q + b*o = -18. Suppose -22 = -h + 3*v + q, 0 = 5*h + v - 152. Is 15 a factor of h?
True
Suppose -2*p = 3*p - 510. Does 34 divide p?
True
Let b = -56 + 92. Suppose -c + 3*c - 48 = d, 2*c + 2*d = b. Is c a multiple of 14?
False
Let s = -11 + -19. Is 1/5 + (-714)/s a multiple of 12?
True
Let r be ((-15)/2)/((-7)/14). Let k be -6*(r/(-6))/5. Suppose 6 + 15 = k*u. Is u a multiple of 2?
False
Let k = 4 - 4. Suppose 4*h - 125 + 21 = k. Is h a multiple of 13?
True
Let u = -130 - -220. Is 30 a factor of u?
True
Let s = -18 + 16. Does 5 divide (4 + 18)*(-1)/s?
False
Let k be 1 - ((1 - 2) + -46). Let q be 3/2*k/18. Is q/6 - (-76)/3 a multiple of 13?
True
Is (-26)/(-2) - (2 + -2)/4 a multiple of 13?
True
Let o(k) = -3*k - 3. Let r be o(-2). Let u = -1 + r. Suppose -4*b + 2*h - 28 + 178 = 0, u*b = -3*h + 79. Is 18 a factor of b?
False
Suppose 3*j + 14 = x - 16, 4*x - 4*j = 128. Is x a multiple of 3?
True
Suppose 5*w - 18 = 2*z - 3*z, 4*z = 5*w + 72. Let d = z + -1. Does 10 divide d?
False
Let x(h) be the third derivative of -h**5/60 - 5*h**4/12 - 7*h**3/6 + h**2. Is x(-5) a multiple of 9?
True
Suppose 6*y - 5 = 1. Is 2 - -15 - (y + 1) a multiple of 5?
True
Let o(b) = -b + 3. Let x be o(5). Let v = x - -2. Suppose -g = h + g - 23, -2*h - 3*g + 44 = v. Is 8 a factor of h?
False
Let y(n) = 3*n - 5. Is y(9) a multiple of 6?
False
Let v = -49 + 106. Let g = -29 + v. Does 12 divide g?
False
Let n be 172/(-14) - (-2)/7. Suppose -4*z - 2*f = 694, -f + 20 = 3*f. Is 11 a factor of 6/4*z/n?
True
Let f(j) = 2*j**2 + j - 1. Is 10 a factor of f(3)?
True
Let d(b) = b**3 - b**2 + 2*b - 3. Let z be d(2). Let q be (z*1)/(3/15). Suppose -3*a + 2*a + q = 3*j, 4*a - 92 = -4*j. Is a a multiple of 11?
True
Let t be (-3)/(-2 - -2 - 1). Suppose 4*j = t*u - 12, 4*j + 2*u + 0*u + 12 = 0. Is 8 a factor of 2/3*j + 18?
True
Let d = 88 - 59. Is 5 a factor of d?
False
Let b = 39 + -7. Is 24 a factor of b?
False
Let x(p) = p**2 - 3*p. Let i be x(4). Suppose i*d - 43 = 53. Does 11 divide d?
False
Suppose 5*b + 20 = -5*m, -3*b - m + 0 - 4 = 0. Suppose b = -n + 4*n - 78. Does 17 divide n?
False
Suppose 2 - 8 = -2*u. Suppose 5*b + 25 = 0, 0 = 2*l - u*l - b + 22. Is l a multiple of 9?
True
Suppose -3*o - 3*v = -0*v - 396, 5*v = -4*o + 532. Suppose o = 2*r - 14. Let s = r + -37. Is 18 a factor of s?
False
Let a(g) = 8*g**2 - 8*g - 7. Let d be a(8). Suppose 4*l - d = -137. Is l a multiple of 21?
False
Let i(y) = -29*y**3 - y**2 + 1. Let s be i(-1). Does 25 divide s - (1 - 2/1)?
False
Let j be (-3 - -2)*1 + 5. Suppose 3*h + 8 = -j. Let w(b) = b**3 + 4*b**2 - 2*b. Does 3 divide w(h)?
False
Suppose -4*f - 1 = 19, n + 5*f = -31. Suppose -3*k - 252 = -0*k. Is (2/n)/(7/k) a multiple of 2?
True
Suppose -3*z + 1320 = 2*z. Suppose -3*r + 267 = r - q, -4*q - z = -4*r. Is 4/(-10) - r/(-5) a multiple of 13?
True
Let y be (8/(-6))/((-10)/135). Let b = y - -2. Is b a multiple of 10?
True
Let t(i) = -i**3 - 7*i**2 + 9*i + 12. Let f be t(-8). Let b(x) = x**2 - x - 2. Is 10 a factor of b(f)?
True
Let q be (2 - 3)*13 + 1. Let y = 28 + q. Does 8 divide y?
True
Let y be 10/25 + (-126)/(-10). Let j = 22 - y. Does 4 divide j?
False
Let w(z) = 11*z**2 - 2*z + 1. Let c be w(1). Suppose 7*a - c*a = -48. Is 6 a factor of a?
False
Is 2*(6 - 2/1) a multiple of 2?
True
Let k(f) = -f**3 - 5*f**2 - 5*f - 2. Let z = 7 + -11. Is k(z) a multiple of 2?
True
Suppose h - 3 = 5*r + 9, 5*r + 28 = -h. Let a = h - -16. Let i(w) = w**3 - 8*w**2 + 4*w - 7. Is i(a) a multiple of 24?
False
Let c = -90 - -160. Is c a multiple of 7?
True
Is 5*((-66)/(-9))/(6/9) a multiple of 27?
False
Is 3 a factor of 26/10 + 6/15?
True
Suppose 3*q + 119 = 4*c + 21, c + 5*q - 13 = 0. Is 13 a factor of c?
False
Suppose y - 3*m + 44 = 0, 5*y + 4*m + 73 = -147. Is (-2)/7 - y/7 even?
True
Let m be 35/(-14)*16/(-10). Suppose f + m*f = 15. Is 2 a factor of f?
False
Suppose s = -0*s - 3. Let p = s - -5. Suppose 2*t + 27 = 3*t - 3*h, -p*t + 5*h + 59 = 0. Does 19 divide t?
False
Let r(b) = 2*b - 2. Let k be (-4)/7*(-14)/4. Let c be r(k). Suppose 0 = c*x + 2, 3*p - p = 3*x + 51. Is 24 a factor of p?
True
Let n(s) = -2*s. Let m be n(-9). Suppose 3*r - m - 11 = -2*u, 3*r = 2*u - 59. Is 11 a factor of u?
True
Let m(s) = s**2 - 8*s. Let n be m(6). Is 20 a factor of (-602)/n + (-1)/6?
False
Let t = 222 + -126. Is t a multiple of 35?
False
Let x(k) be the third derivative of -k**5/120 + k**4/2 + k**3/2 + 2*k**2. Let i(p) be the first derivative of x(p). Is i(10) a multiple of 2?
True
Is ((-12)/4 + 33/9)*489 a multiple of 21?
False
Let p = -17 + 11. Let x = 33 - p. Is x a multiple of 13?
True
Let q(k) be the first derivative of -2*k**3 + 2*k + 1/4*k**4 + 7/2*k**2 + 2. Does 12 divide q(5)?
True
Suppose 5*q = 108 + 42. Does 5 divide q?
True
Let c(b) = -b**2 - 7*b - 6. Let n be c(-3). Suppose -24 = 3*z - n*z. Is z a multiple of 7?
False
Let n be ((-1)/2)/(2/(-436)). Suppose -2*t + n - 39 = 0. Is 10 a factor of t?
False
Suppose -q + 6*q + m - 103 = 0, 0 = -5*q - 5*m + 115. Is 3 a factor of q?
False
Suppose 5*v - 4 = 6. Suppose 0*o + v*o = 40. Is 15 a factor of o?
False
Let p(c) = c**2 + 4*c - 3. Let y be p(-5). Suppose 8 = -y*o + 6*o. Suppose -40 = -o*j - 4*z, -z = 3*j + z - 56. Does 9 divide j?
True
Is 2 a factor of (-340)/(-90) - (-2)/9?
True
Suppose 0 = -5*x + 4*r + 56 - 19, 3*x = 2*r + 23. Is 4 a factor of x?
False
Is 17 a factor of 3/(520/(-272) - (2 - 4))?
True
Let n(u) = 2*u**2 - 6*u. Does 20 divide n(6)?
False
Let v(y) = -y**3 - 4*y**2 + 3*y - 5. Suppose 0 = c + 5. Let a be v(c). Suppose -a*f + 60 = 5*z, -2*f = 3*f - 3*z - 52. Is 11 a factor of f?
True
Suppose -3*i - 35 = -239. Does 22 divide (-3)/(-6)*-6 + i?
False
Let d(j) = 2*j**2. Let z be d(1). Let v = z + 0. Is 5 a factor of 21/v - 3/2?
False
Suppose 0 = -5*y + 2*d + 180, 3*y - 2*d = -6*d + 82. Is 10 a factor of y?
False
Let g = -1 - -4. Suppose 0 = -k - g*l + 64, 4*k + 199 = 7*k + 2*l. Suppose 0 = 3*d + 2*j - 32, -4*d - 23 = 3*j - k. Does 8 divide d?
True
Suppose 3*x - 31 = -t - 0*t, 3*x - t = 29. Is x a multiple of 6?
False
Suppose 4*k + h + 119 = 4*h, -3*h = 9. Let b = k - -56. Does 7 divide b?
False
Suppose 4*p + 278 = -q, 4 - 6 = -q. Let t = -35 - p. Is t a multiple of 20?
False
Let d = 88 + -36. Let g be (-4 - -4)*((-2)/(-1))/4. Suppose g = s + w - 12, d = 3*s - s - 5*w. Is s a multiple of 16?
True
Suppose -2*i + l = 35, 0 = i + 7*l - 2*l + 12. Let j = 11 + i. Does 5 divide (40/12)/((-2)/j)?
True
Let m(z) = 13*z + 4. Is m(5) a multiple of 23?
True
Let y = 55 + 21. Is y a multiple of 8?
False
Let r(p) = 6*p**2 + 3*p - 3. Let o = -8 - -5. Let d be r(o). Suppose 5*h - d = n + 21, 0 = 3*h - 4*n - 48. Is h a multiple of 12?
True
Suppose 4*s - 1 = 15. Let v be (12/30)/(-1 - (-94)/95). Is -2*(0 + v/s) a multiple of 19?
True
Let t be (-104)/(-28) + 4/14. Let y(j) = j**2 + t*j - 3*j - 2*j**2 + 7*j**3. Is y(1) a multiple of 4?
False
Suppose -o = 1, -j + 120 = 2*j - 3*o. Is j a multiple of 17?
False
Suppose -38 - 21 = t. Let i = t - -101. Let d = -15 + i. Is 11 a factor of d?
False
Suppose 0 = q + 4*m + 