- 155382/(-380) a multiple of 4?
False
Let h(p) = 2*p**3 + 3*p**2 + 4*p - 1. Is h(5) a multiple of 26?
False
Is 6 a factor of (197 + 0)*(-7 - 104/(-8))?
True
Suppose 1960 = 3*w + 4*w. Suppose -2*n + 3*n - w = -4*m, 2*n - 588 = -m. Suppose n = 6*r - 64. Is r a multiple of 20?
True
Let z(l) = -11*l**3 + 9*l**2 - 11*l + 20. Let x(n) = -5*n**2 + 5*n + 0*n - 12 + 0*n**3 + 2 + 5*n**3. Let c(o) = -9*x(o) - 4*z(o). Is c(8) a multiple of 17?
False
Let k(f) = -f**2 + 7*f + 2. Let l be k(7). Let d(v) be the third derivative of v**4/6 - v**3/3 + 3*v**2 + 1. Does 3 divide d(l)?
True
Let u(d) = d**2 - d. Let y(f) = f**3 + f**2 + 14*f - 7. Let z(v) = -6*u(v) - y(v). Let k(q) = q**3 + 9*q**2 - q - 16. Let g be k(-9). Does 21 divide z(g)?
True
Let j(s) = 208*s - 49. Does 22 divide j(7)?
False
Let x(g) = -3*g**3 + 27*g**2 - 6*g + 15. Does 89 divide x(8)?
False
Suppose j - 3*p - 15 = 0, j - 12 = -0*j + 2*p. Suppose 0*i - j*i = -240. Is 8 a factor of i?
True
Let d be -8 - (-3 - (0 + -1)). Let c = d - -12. Suppose t + c = 3*t. Is 3 a factor of t?
True
Let d = -6 - -2. Let s be 7/(3/(-12)*d). Suppose -s*j + 44 = -5*j. Does 22 divide j?
True
Suppose -5*l = -n - 15, -8 + 2 = -3*l. Let w be (0 + 2)/(n/10). Let h = w - -25. Is 11 a factor of h?
False
Let k = -326 - -675. Does 47 divide k?
False
Let f = -13 - -13. Suppose 21 = 2*n - 5*k, -k + f*k = -n + 18. Does 23 divide n - (-2 - (-2 + 0))?
True
Suppose -3*q = -4*t - 2*q + 163, 5*t = -4*q + 188. Let u be ((-3)/(-2))/(6/t). Suppose -24 = -u*b + 6*b. Is 6 a factor of b?
True
Suppose 359 = 3*r + 6*l - 4*l, -3*r = -3*l - 354. Is r a multiple of 3?
False
Suppose -2*b = n + 2*b - 198, -n - 5*b = -196. Suppose -5*j = -4*s - 0*s + n, -2*j = -2*s + 104. Does 6 divide s?
True
Let j(z) = 120*z - 86. Is j(8) a multiple of 12?
False
Let w = 2089 + 498. Is w a multiple of 7?
False
Let k = 389 - 157. Does 18 divide k?
False
Let s(k) = -28*k + 12*k + 7 + 5*k + 10*k. Is 10 a factor of s(-3)?
True
Suppose 1 = -4*z + 4*l + 25, 0 = -z - 2*l - 3. Does 10 divide -2*z/39 - 3906/(-39)?
True
Suppose -2*b + 3 = -1. Let u(w) = 4*w - 11*w**3 - 1 + 3*w**3 + 9*w**3 - b*w**2. Does 14 divide u(3)?
False
Let t(w) = 19*w**2 + 6*w - 3. Is 17 a factor of t(-5)?
True
Suppose 3*q = 4*n + 172, 5*q + 55 = 5*n + 335. Does 4 divide q?
True
Suppose -c = -7*c + 612. Suppose -c = -7*s + 4*s. Let o = 73 - s. Is o a multiple of 13?
True
Suppose u - 9 = 4*y, 4*u - y + 3*y - 18 = 0. Suppose 0 = r - u*r. Let k(o) = o + 7. Is k(r) a multiple of 6?
False
Suppose -12*v - 1562 + 5522 = 0. Is v a multiple of 15?
True
Let a = 365 - -9. Is a a multiple of 51?
False
Suppose 2860 = 2*f - 7252. Is f a multiple of 79?
True
Let i be (9/(-6))/((-4)/264). Suppose -2*u - 31 + i = 0. Is u a multiple of 4?
False
Let c(z) = z**2 + 10*z - 5. Let l be c(9). Let y = l + -68. Suppose 4*n + 30 = y. Does 17 divide n?
True
Suppose 3*f = -i - 6, -3*i + 38 - 14 = -5*f. Suppose -i*m + 758 = 44. Is m a multiple of 17?
True
Let c(s) be the first derivative of s**2 - 12*s + 5. Does 4 divide c(10)?
True
Let h(g) = 12*g + 52. Let u be h(-7). Let i = 5 - u. Does 37 divide i?
True
Let h(f) = 2*f - 19. Let t be h(11). Suppose -3*b = 4*a - 336, -3*b = -t*a + 51 + 201. Is 28 a factor of a?
True
Let s(r) be the third derivative of r**4/6 + 11*r**3/6 - 5*r**2. Does 9 divide s(4)?
True
Suppose -84*d - 60 = -86*d. Is 23 a factor of d - (-1 + 4) - 8/2?
True
Let t(b) = -b**2 - 12*b - 9. Let x(w) = -4*w + 1. Let c be x(-11). Suppose p + 4*p - c = 5*j, 5*j + 48 = 2*p. Is 10 a factor of t(j)?
False
Suppose 0 = 6*y - 1 - 11. Suppose -y*l + 7*l = 85. Does 17 divide l?
True
Does 7 divide ((-352)/24 - -10)*9/(-2)?
True
Let w(v) = -10*v - 12 - 2 + 22. Let o be w(-7). Let k = -35 + o. Does 11 divide k?
False
Let z be 1 - -2 - (-7 - (-2 - 3)). Suppose 5*s - 1590 = -z*v, 0 = 3*v - s - 0*s - 962. Is 32 a factor of v?
True
Suppose -17 = 3*h + 4. Let p be (h/(-2))/(4/104). Suppose 0 = 2*q - 3*q + p. Does 27 divide q?
False
Let s be ((-3)/((-6)/(-5)))/((-5)/10). Let k(l) = 7*l + 6. Is k(s) a multiple of 18?
False
Suppose 39 = 4*c + 3*r + 12, c + r - 8 = 0. Let f(v) = 32*v - 3. Let l be f(2). Suppose -c*y + l + 65 = 0. Is 23 a factor of y?
False
Let h = 5 + -40. Suppose -3*i + 19 + 131 = 0. Let g = h + i. Is 5 a factor of g?
True
Suppose -2 = -2*c + 2*b + 6, 2*c - 4*b = -2. Let t(s) = -4*s**3 + s**3 - c + 2*s**3 - 8*s**2 + s. Is t(-9) a multiple of 27?
False
Let m(t) = t**3 + 6*t**2 + 8*t + 10. Let q be m(-2). Suppose q*b = 9*b + 212. Does 31 divide b?
False
Let v be -4 - 5/(15/(-24)). Suppose -5*s + 0 = 25, v*s + 28 = 2*b. Suppose b*n - 58 = 206. Does 22 divide n?
True
Suppose 504 = 5*t + t. Does 14 divide t?
True
Suppose 24570 = 10*s + 17*s. Does 73 divide s?
False
Suppose 0 = 9*w - 7*w - 6. Suppose 108 = -f + 4*q, -f = 2*f - w*q + 279. Let u = f + 124. Is 9 a factor of u?
True
Let w = 8 + -14. Let a be 26/w - 16/(-12). Does 18 divide 72 + (-1 - a) - 2?
True
Let h(m) = 4*m**3 - m**2 - 16*m - 5. Let z(r) = 11*r**3 - 2*r**2 - 49*r - 14. Let i(w) = 8*h(w) - 3*z(w). Is i(-6) a multiple of 8?
True
Let v = 42 + -19. Suppose -6*g + 31 = -v. Let h = 15 - g. Is 6 a factor of h?
True
Suppose -1208 = -4*i + 2*h, -7*h + 4*h - 912 = -3*i. Is i a multiple of 15?
True
Suppose 5*l = -3*h + 26, 2*l + 3 = -5*h + 2. Let a = -80 + 135. Suppose -l*y = -12*y + a. Is y a multiple of 4?
False
Let b(o) = -6*o - 7. Let i be b(-2). Suppose 29 = 3*h - v - 28, 3*v = i*h - 95. Let k = -17 + h. Is 2 a factor of k?
True
Suppose 5*j + 4*f + 117 = 0, 0 = -j + 5*f - 7 + 1. Let y = j + -6. Let a = y + 46. Is a a multiple of 13?
False
Let c(k) = -4*k**2 + 3*k. Let b be -1 + 0 + -1 + -2. Let m be c(b). Let s = m + 114. Is 19 a factor of s?
True
Let w = 439 + 1581. Is w a multiple of 101?
True
Suppose 2*b - 4*g = 3*b - 278, 0 = -5*g - 15. Is b a multiple of 10?
True
Let x be (1/(-2))/(2/(-4)). Let q(b) be the second derivative of 5*b**4/3 - b**3/6 + b**2/2 + 18*b. Is q(x) a multiple of 14?
False
Let f = 5774 + -622. Is f a multiple of 14?
True
Let y(g) = g**2 - 2*g + 57. Let i be -3 + 9/(7 + -4). Does 15 divide y(i)?
False
Let c be (-168)/105*2*10/(-8). Suppose -3*q - 1 = -2*f, 0 = 5*f - 0*q + c*q - 60. Does 3 divide f?
False
Let b be 6937/(-28) - (-6)/8. Let h = b - -368. Is h a multiple of 14?
False
Let o(r) = -r**3 - 8*r**2 - 9*r + 11. Is o(-11) a multiple of 34?
False
Let t = -61 - -49. Let h = 105 + t. Does 12 divide h?
False
Let n = -43 - -42. Is 3 a factor of (-4)/n*-5*4/(-8)?
False
Let s(n) = n**2 + 11*n + 15. Let p be s(-6). Let r(u) = -u**3 - 9*u**2 + 2*u - 2. Let a be r(-10). Let l = p + a. Does 30 divide l?
False
Let n = 29 - 26. Suppose -4*c = -29 - n. Is -4 - 4/(c/(-30)) a multiple of 11?
True
Let u = 657 - 237. Is u a multiple of 28?
True
Suppose 3*s - 249 = -5*k, -2*s - k + 0*k = -159. Does 13 divide s?
True
Let o = -629 - -1459. Does 88 divide o?
False
Suppose 20 = 5*f, -3*f = s - f - 175. Suppose -y - 71 = -s. Is 12 a factor of y?
True
Let n(a) = 0 + 18 + 9*a**2 - a**3 - 5 + a + a. Is n(9) a multiple of 10?
False
Suppose -3*i - 269 = -2*a, 99 = a + 4*i - 41. Is 17 a factor of a?
True
Let t(l) = 3*l**2 + 22*l + 160. Is 46 a factor of t(-18)?
True
Suppose -42*k + 39*k = 5*l - 4220, -3*l + 2518 = -k. Is 29 a factor of l?
True
Let z(x) = -92*x - 320. Does 28 divide z(-5)?
True
Let m(o) = -2*o**3 - 6*o**2 + 5*o + 9. Let u be m(-6). Suppose x - 6*x - u = -2*s, -3*s + 4*x = -310. Does 11 divide s?
True
Let s = -25 - -3. Let n = s - -52. Is n even?
True
Suppose 10*j + 13892 = 33*j. Is 39 a factor of j?
False
Let g = -13 + 5. Let z(x) = -3*x - 11. Does 10 divide z(g)?
False
Suppose -4*i - 3*l + 8 = 0, 3*l + 2 = i + 6*l. Let x be i/8 - 981/36. Let d = x + 48. Is 7 a factor of d?
True
Suppose -5*h + 4*u = -40, -3*h = -6*h + 4*u + 16. Let l = 19 - h. Suppose z + l - 32 = -a, 4*a + 170 = 5*z. Is 11 a factor of z?
False
Let x(g) = 3*g + 57. Let z be x(-19). Suppose 0 = -4*v - 4*a + 128, z*v = -2*v - 4*a + 62. Is v a multiple of 2?
False
Let s(x) be the second derivative of -x**5/20 + x**3/2 + 3*x**2/2 + 4*x. Let c be s(-2). Suppose -3*i = -2*i + 4*t - 33, c*i - 5*t = 40. Is 6 a factor of i?
False
Let r(x) = -2*x + 3*x + 30 + 2*x + 0*x. Does 12 divide r(14)?
True
Suppose 11*d - 21 = 4*d. Suppose -d*s + 9*s - 168 = 0. Is s a multiple of 10?
False
Suppose 