4). Let z(g) = 1. Let p(c) = 3*c + 8. Let k(h) = -p(h) - 3*z(h). Does 13 divide k(m)?
True
Let p(l) = 3*l**3 - 35*l**2 - 18*l + 30. Let w(h) = -h**3 + 12*h**2 + 6*h - 10. Let y be 4*-2*15/20. Let g(t) = y*p(t) - 17*w(t). Does 13 divide g(6)?
True
Let h(j) = j**2 - 8*j - 7. Let q be h(9). Let n(m) = m**3 + 13*m**2 + 23*m + 13. Let u be n(-11). Suppose -q*x = u*l - 54, x + 2 = -2. Is l a multiple of 11?
False
Let n be 6/(-3) + 5*1. Suppose n*d + 2*d - 4*k = 24, 5 = d - k. Suppose -353 + 5 = -4*o + d*z, -o - 2*z + 78 = 0. Is 28 a factor of o?
True
Let g(m) = 2*m**2 - 6*m - 14. Is 9 a factor of g(-6)?
False
Suppose 10 + 0 = 5*s, -3*a - 4*s = -20. Suppose -2*q - 3*p = -84, 2*q + a*p = -0*q + 84. Does 6 divide q?
True
Suppose 3 + 33 = 4*l. Suppose 10*s = l*s. Is 4 a factor of (-6 - -2)*(s - 1)?
True
Suppose -u = -v, 0*v - 3*v - 4 = -5*u. Let s(z) = 3*z**2 - z - 1. Is 4 a factor of s(v)?
False
Let g = -2 + 5. Suppose -g*b - 2*b = -2*y - 21, -b + y + 6 = 0. Suppose 0*f - 3*f - 60 = -3*x, b*f = -9. Does 4 divide x?
False
Let s(a) = 20*a + 24. Is 11 a factor of s(17)?
False
Let w be 9/6 - (-1)/(-2). Does 3 divide 3/w*(-112)/(-24)?
False
Suppose 0 = -4*u + 2*u + 4. Suppose 6*a + q = 3*a + 411, -u*q = a - 142. Suppose -6*t + 2*t + a = 0. Is t a multiple of 14?
False
Suppose -2*x = -302 + 34. Suppose -5*c + x + 226 = 4*m, 4*m - 360 = -c. Does 27 divide m?
False
Suppose 4*w - 3*p - 7948 = 0, w + p = -p + 1987. Does 16 divide w?
False
Suppose -2274 = -r - 9*w + 4*w, 8 = -2*w. Is r a multiple of 62?
True
Let p(q) = -2*q**2 + 18*q - 4*q**2 - 5 + 5*q**2 - 4*q. Let a be 86/7 + (-4)/14. Is 4 a factor of p(a)?
False
Let v(d) be the first derivative of -d**3/3 + 5*d**2/2 + 3*d + 8. Let m be v(5). Does 3 divide 4/(4/m) + 5?
False
Suppose -2*f + 1053 = 5*r, 0*r = -5*r - 5. Is f a multiple of 29?
False
Suppose 0 = 2*n - 5*r - 1, -9*n + 4*n - 4*r = -19. Suppose -n*a = -99 - 33. Is 15 a factor of a?
False
Suppose 3*b - 3 = 0, 3*k - 3*b = -4*b + 16. Suppose -k*c + 4*c + 155 = -5*v, 15 = 3*c. Let t = -4 - v. Is t a multiple of 13?
True
Let j = 7 + 21. Suppose j = x + 2*o - 4*o, 107 = 4*x - 3*o. Is 5 a factor of x?
False
Suppose 0 = 2*m + 3*v - 8, -4*m + 17 = -3*v + 1. Let s be (0 + -2)*(-6)/m. Suppose -h + 30 = s. Does 9 divide h?
True
Let o(i) = 142*i**2 - 124*i - 502. Is o(-4) a multiple of 41?
False
Suppose 0 = -3*y - 2*p + 1, -4*p = -y + 1 + 18. Suppose -5*h + 138 = -3*m, -20 = y*h - 3*m - 104. Suppose 2*o = u - 24, -4*u - 3*o + h = -69. Does 12 divide u?
True
Let j = 313 - -22. Is 14 a factor of j?
False
Let f = 17 + 175. Is 24 a factor of f?
True
Let d = 1312 + -892. Is 35 a factor of d?
True
Let k = 647 - 394. Is k a multiple of 15?
False
Let r be (-8)/5*260/(-8). Let z = r + -27. Does 3 divide z?
False
Let r(j) be the second derivative of -5*j**3/3 - 2*j**2 - 3*j. Is r(-18) a multiple of 16?
True
Suppose -396 = -7*q - 116. Is q a multiple of 3?
False
Let j(v) = v**3 - 5*v**2 - 5*v - 4. Let b be j(6). Suppose 13 = 2*q + 3. Suppose -q*a + b*a + 117 = 0. Is 13 a factor of a?
True
Let a = 108 + -105. Suppose 2*m + a*c - 433 = 0, c = -4*m + 4*c + 875. Is m a multiple of 27?
False
Suppose 15 = -5*x, 3178 = u + 3*x - 38. Is u a multiple of 15?
True
Suppose 4*w - 107 - 301 = 0. Does 48 divide w?
False
Let p(l) = l**3 + 21*l**2 + 19*l - 18. Let z be p(-20). Suppose -2*h = -z*c + 470, -c - 92 = -3*h - 329. Is 19 a factor of c?
False
Let y = 7 + -7. Suppose 0 = 5*i - y*i - 10. Suppose i*l = 5*l - 75. Is 7 a factor of l?
False
Let b(l) = 4 - 4 + 7 - 27*l - 1. Does 4 divide b(-1)?
False
Let o be (-2)/(-5) + 114/(-10). Let d(y) = y**3 + 11*y**2 - 2*y + 7. Let r be d(o). Let s = 22 + r. Is 17 a factor of s?
True
Suppose -12*r = 35*r - 7191. Does 8 divide r?
False
Suppose -2*h - 519 = -39*p + 34*p, -6 = -2*h. Does 9 divide p?
False
Suppose -2*l + z + 3430 = 0, 86*z - 84*z - 6868 = -4*l. Is l a multiple of 26?
True
Let r(j) = 97*j**2 + 4*j + 3. Is 6 a factor of r(-1)?
True
Let w be -3 + 10/5 + 5. Suppose w*y - 5*m - 47 = -0*m, 0 = 5*y - 3*m - 49. Is y a multiple of 3?
False
Let k = 3210 - 1840. Is 11 a factor of k?
False
Let r = -1136 - -5481. Is 79 a factor of r?
True
Let g(q) = 2*q**2 + 11*q + 11. Let p be g(-7). Let v = 46 - p. Is 2 a factor of v?
True
Let j(x) = -135*x - 3. Let p be j(-9). Let a = 1751 - p. Does 11 divide a/33 + (-1)/3?
False
Suppose 0 = 3*y - 2282 + 797. Is y a multiple of 20?
False
Suppose -3*t + 10 = -t. Let b = -1 + t. Suppose -q = 3*h - 81, 0*h - b*q + 135 = 5*h. Does 27 divide h?
True
Let b(r) = -21*r + 3. Suppose 2*p + 3*m = -2*p - 24, 0 = 3*p + m + 23. Is b(p) a multiple of 24?
True
Let v be (-304)/(-40) - 2/(-5). Let p = 13 - v. Suppose -5*i + 56 = 3*h, 0*i = -p*h - 2*i + 68. Does 12 divide h?
True
Let j be (37/(-3))/(3/(-18)). Suppose 4*u - j + 202 = 0. Is ((-56)/u)/(1/12) a multiple of 21?
True
Let d = -147 + 468. Suppose 4*s - 99 = d. Suppose -w + s = 4*w. Is w a multiple of 7?
True
Is 90 a factor of (72/20)/(-6) + (-47146)/(-10)?
False
Let c be 0*(21/(-6) + 4). Suppose -b + c*b + 4 = 0. Is 4 a factor of b?
True
Is (-60)/(-50)*(-25970)/(-42) a multiple of 29?
False
Let a be 2/4*(213 - -3). Suppose 4*m = -2*p - a, 5*m - 13 = 6*m + 4*p. Let d = m - -49. Does 20 divide d?
True
Let b(y) be the first derivative of y**3 + 3*y**2/2 + 4*y - 7. Let j be b(-3). Let q = j - -23. Does 9 divide q?
True
Let l = 478 - -279. Is l a multiple of 34?
False
Suppose 5*d + 258 = 4*b, 2*b + 9*d - 130 = 11*d. Is 2 a factor of b?
False
Suppose 5*d - 1843 = 3*s, -3*s + 2547 = 5*d + 710. Is 3 a factor of d?
False
Let u = 3636 - 2128. Does 44 divide u?
False
Is 99 a factor of 6/345*5 - (-275495)/253?
True
Let v = 20 + -15. Suppose 0*n - v*n + 540 = 0. Is 27 a factor of n?
True
Suppose 104 = 3*i - 16. Let j = i + 43. Does 10 divide j?
False
Let j = 13 + -8. Suppose -47 = -l + 3*t, -j*l + 0*t = t - 267. Does 9 divide l?
False
Let o = 128 + 510. Suppose -12*j + o = -j. Does 17 divide j?
False
Let k(i) = -1. Let t(q) = -q - 18. Let g(w) = 2*k(w) - t(w). Let j be g(0). Let o = j - -17. Is o a multiple of 11?
True
Suppose 3*r - 47 = -4*q, -4*r + 0*q = q - 41. Let g(c) = -c**3 + 8*c**2 + 10*c + 2. Is g(r) even?
False
Suppose y + 4*m = 3336, 2*y = -3*m + 3291 + 3406. Is 11 a factor of y?
False
Let o(g) be the first derivative of -g**2 - 15*g - 5. Suppose 44 = -0*i - 4*i. Is o(i) a multiple of 2?
False
Suppose -14*c - 12494 = -43980. Does 13 divide c?
True
Let a(x) = -x**2 + 58*x + 479. Is a(0) a multiple of 34?
False
Let m(n) be the first derivative of -3*n**2/2 - 7*n + 5. Let o(v) = -v**2 - v - 1. Let r be o(-3). Is 3 a factor of m(r)?
False
Suppose -4*c + 316 = -0*c. Suppose 0*x + 4*v - 6 = 2*x, 3*x - v - 6 = 0. Suppose x*p - c - 71 = 0. Does 10 divide p?
True
Suppose 0*i - x + 655 = 2*i, 3*i = 2*x + 965. Is i a multiple of 25?
True
Let p(n) = 8*n**2 - 7*n - 10. Is p(-2) a multiple of 8?
False
Suppose 3 = -3*x, 2*d + 4*x = -d - 157. Let f be -3*((-4)/(-1) + d). Suppose 0*v - f = -3*v. Does 30 divide v?
False
Let x(c) = c**3 - 2*c**2 + 3*c - 3. Let z be x(2). Let q(w) = 3*w**3 - w**2 + w + 7. Let j(s) = s**3 + 1. Let p(f) = 4*j(f) - q(f). Does 15 divide p(z)?
True
Suppose 3*p - 2891 = -l, -515*l + 512*l - 4*p + 8688 = 0. Is 58 a factor of l?
True
Suppose -101*x - 2208 = -103*x. Is 6 a factor of x?
True
Let j be 1 - (-2)/(-3 + 1). Let z be (-7)/2*(-8)/14. Suppose -3*x = -z*b - 116, -x + j*x - 2*b = -44. Is x a multiple of 8?
True
Suppose w - a - 165 = -9, w - 3*a - 156 = 0. Is 15 a factor of w?
False
Let i(p) = p**3 - 3*p**2 - 16*p + 14. Let m = 33 - 26. Does 12 divide i(m)?
False
Suppose -w + 3*r - r = 3, -2*w - 3*r - 41 = 0. Let c = w - -26. Is c a multiple of 3?
False
Is 8 - (-6 + 12) - -37 a multiple of 39?
True
Let q(o) = o**2 - 7*o + 6. Let s be q(4). Let p(c) = -2*c**3 - 9*c**2 + 6*c + 1. Does 14 divide p(s)?
False
Suppose 2*a + z - 1090 = 23, -5*z - 2820 = -5*a. Does 13 divide a?
True
Let y(i) = 2*i. Let m be y(3). Let r be ((-1)/((-3)/m))/1. Suppose 5*d = 10, r*p + d - 16 = -d. Does 4 divide p?
False
Let h = 1194 + -424. Is h a multiple of 11?
True
Let g(d) = 217*d**3 - d**2 + 2*d + 3. Is g(2) a multiple of 47?
True
Suppose -k - 31 = -3*l, -5*l + 0 = k - 41. Is -3 + (-3)/(-2*l/138) a multiple of 14?
False
Let j = -464 + 630. Is j a multiple of 36?
False
Suppose 26 = 4*w