(9)?
False
Let c(o) = -o**2 - 16*o - 14. Let r(t) = 2*t**2 + 48*t + 41. Let l(d) = -8*c(d) - 3*r(d). Is 13 a factor of l(-8)?
False
Let f = 1591 - 576. Suppose 812 = 4*m - d, 5*m + 4*d + 0*d = f. Is m a multiple of 29?
True
Let l(j) = -16*j - 68. Let s(w) = -3*w**2 - 88*w + 49. Let z be s(-30). Is l(z) a multiple of 18?
True
Suppose k - 1637 = -y - 381, k - 3*y = 1244. Is k a multiple of 4?
False
Suppose 2785 - 517 = 28*d. Let v = -56 + d. Is v a multiple of 25?
True
Suppose 182 = 238*j - 252*j. Does 34 divide (-2)/j - (-116640)/312?
True
Let b be 7012/10 - 54/(-30). Suppose 0 = 3*x + m - 2157, -2*x = -x - 5*m - b. Is 28 a factor of x?
False
Let p be ((-6)/6)/((-1)/3). Suppose 3*c - 2*w - 394 = 0, -5*c + 885 = p*w + 241. Is 13 a factor of c?
True
Let h(d) = -72*d + 16. Let l be h(-4). Suppose 113 + l = 3*y. Does 16 divide y?
False
Suppose -l - i = -10, -40 = -3*l + 4*i + 4. Suppose -1106 = -l*p + 1126. Does 9 divide p?
False
Let r be -1 + (-1 + 0)/(1/1). Let z = 9 + r. Suppose -4*m = -4, z*s = 3*s + m + 463. Is 29 a factor of s?
True
Let v = 316 + -305. Suppose 195 = 3*g + 2*g. Is 12 a factor of g/(((-66)/(-20))/v)?
False
Let o(c) be the second derivative of -2*c**3/3 + 5*c**2 + 52*c. Is o(-3) a multiple of 2?
True
Let j(l) = 1 + 6*l - 2 + 5*l - l**2 - 5*l. Let o be j(10). Let u = o + 60. Is 10 a factor of u?
False
Suppose -12*q - 7*q = 247. Let b(a) = a + 72. Is b(q) a multiple of 14?
False
Is 5 a factor of ((-40881)/(-5))/1 + (20 - 960/50)?
False
Let h = -1734 - -2598. Suppose -o - h = -5*o. Is o a multiple of 27?
True
Suppose 2*r - 7*r - 5 = 5*m, -4*r + m = 14. Is 28 a factor of ((-4)/(-8))/(r/(-1512))?
True
Suppose 5*f + 5*t = 50, 25 = f - 2*t - 2*t. Suppose -3*d - 4*b = -19, -4 = -d - 4*b + f. Is 5 - d - (20 - 264) a multiple of 31?
True
Let t(i) = -79*i**3 - 2*i**2 + 6*i - 24. Does 22 divide t(-10)?
True
Let f(v) be the third derivative of -v**6/144 + 7*v**4/24 - 25*v**2. Let u(m) be the second derivative of f(m). Is 5 a factor of u(-13)?
True
Suppose 0 = 2*i - 5*o - 13 + 33, -10 = i + 2*o. Let p be -2 + 121 + 7 + i. Suppose -84 = -3*w - 3*k, -w + p = 4*w - k. Does 3 divide w?
True
Let z = 7411 + -4891. Is 12 a factor of z?
True
Let h(z) = -z**2 + z + 16. Suppose 2 = 2*n - 2. Suppose 12 = -5*t - 3, 0 = 4*r + n*t + 6. Is 8 a factor of h(r)?
True
Suppose -b = -292 - 612. Suppose 2*f - 5*v = 610, 2*v = 3*f - 0*f - b. Is f a multiple of 20?
True
Suppose b - 15882 = -4*z, -5*z - 30*b = -28*b - 19854. Suppose -5*j = -3*q + 2372, -19*j = -5*q - 14*j + z. Is q a multiple of 10?
False
Let c(a) = a**3 + 10*a**2 - 9*a + 27. Let i(q) = -q**3 - 6*q**2 - 2*q + 1. Let y be i(-2). Let j be c(y). Is 27 a factor of (-5)/j*-3 - -105?
True
Suppose 3*u - 22 = -112. Let f = u - -50. Is 6 a factor of f?
False
Suppose -4*h = 8, -2*h = 2*f - 19 + 15. Suppose -19*u - 214 = -21*u + f*y, 3*y = -2*u + 235. Is 3 a factor of u?
False
Suppose 32*q - 276725 - 119691 = 0. Is 19 a factor of q?
True
Let o be ((0/1)/6)/(-1). Suppose o = -12*p - 110 + 1670. Is p a multiple of 26?
True
Suppose 2 = -5*m - k + 7, 0 = 2*m + 3*k - 15. Suppose -158*p + 152*p + 534 = m. Is 56 a factor of p?
False
Let x = -238 + 655. Let w = x - 232. Does 10 divide w?
False
Let k = 8580 - 3608. Does 44 divide k?
True
Suppose -4*o = -17*o + 182. Suppose -602 = -21*t + o*t. Does 8 divide t?
False
Suppose -n - 4 = 0, -8 = -4*a - 4*n + 24. Does 27 divide (-2241)/166*(-5)/(10/a)?
True
Let t = 99 + -77. Suppose 2*h - 62 = -v, -5*h + 28 + t = v. Is 14 a factor of v?
True
Let h be 1/3 - 3038/(-21). Suppose 4*k - l - 528 = -2*l, h = k - 3*l. Does 7 divide k?
True
Let b = 15 - -13. Let r(c) = -3*c + 4*c + 69*c**2 + b*c**2 + 2. Is 14 a factor of r(-1)?
True
Let x = -3731 + 5748. Does 7 divide x?
False
Let c = -312 - -315. Suppose 0 = -4*k + c*w + 887, w - 451 = -7*k + 5*k. Is k a multiple of 14?
True
Suppose 2*g + 4*f - 232 = 0, 2*g - 285 + 21 = 4*f. Suppose -1066 = -7*l + g. Does 9 divide l?
False
Let s be (-3 - 5) + 5 + 7. Suppose -4*n - y + 309 = 26, 340 = 5*n + s*y. Does 24 divide n?
True
Suppose 0 = 5*c + 3*n - 10174, 0*c + 2*c + 2*n - 4072 = 0. Does 19 divide c?
True
Suppose -4*p + 7*p + j - 12249 = 0, 2*j = -3*p + 12243. Is p a multiple of 10?
False
Let h(n) = -n**2 + 6*n + 14. Let a be h(7). Let j be (-3)/(a/((-105)/9)). Suppose 0 = z + j*z - 48. Is 2 a factor of z?
True
Suppose -138256 + 301751 = 36*f - 192149. Is f a multiple of 89?
True
Suppose -19*p + 10*p = -972. Let q = p + 332. Does 22 divide q?
True
Let q(z) = -1021*z**2 + 18*z + 94. Let g be q(-8). Is 8/10 - g/70 a multiple of 85?
True
Suppose -3*i - 860 = -v, -2*i + 762 + 103 = v. Suppose -v = -6*b + 379. Is 9 a factor of b?
True
Let z = 139 + -76. Let i = z - -10. Is 3 a factor of i?
False
Does 28 divide ((-336)/189)/(6/(-12573)) - (-4)/(-3)?
True
Suppose 822*z - 91827 = 817*z - 3*i, 2*z - 36765 = -5*i. Is z a multiple of 12?
True
Let o = -11314 - -17915. Is 23 a factor of o?
True
Let s = -5 - -1. Let o(b) = b**3 + 5*b**2 + 112*b + 534. Let u be o(-5). Is 25 a factor of u/s*16 + (-2 - -4)?
False
Let h(c) = -c**3 + c**2 - 6*c - 2. Let b be h(-4). Suppose 0 = -0*t - 2*t + b. Let w = t + -40. Does 11 divide w?
True
Let j = 11625 - 5201. Is j a multiple of 73?
True
Does 18 divide ((-4)/30*22947)/(2/(-5)) + 1?
True
Is -5949*(176/(-33) + 5) a multiple of 11?
False
Let j(r) = -5*r**2 - 59*r + 14. Let d(w) = w**2 + w - 1. Let u(k) = 3*d(k) + j(k). Is 6 a factor of u(-16)?
False
Let n = -8 - -11. Suppose -n*w - 49 = -5*s, 0*s + w = -4*s + 29. Suppose 2*h + 44 = r, 2*h + 2*h = s. Does 14 divide r?
False
Suppose 23*b = 55*b - 29760. Is b a multiple of 12?
False
Suppose 0 = 72*l - 87*l + 5325. Let h = -281 + l. Is 12 a factor of h?
False
Suppose -5*l + 5*u = 5, -6*l = -11*l - 5*u + 35. Suppose -x - l = 0, 0*x + 2*x = -m + 640. Does 43 divide m?
False
Let j be (36/24)/((-3)/(-2)). Is -36 - -41 - (j - 256) a multiple of 52?
True
Suppose -2*q - 2376 + 9222 = -5*l, -4*q + l = -13674. Is q a multiple of 6?
False
Let i = -9 + 27. Let d(o) be the third derivative of -o**5/60 + 19*o**4/24 - 5*o**3/3 - 3*o**2 - 48*o. Is 4 a factor of d(i)?
True
Let c = -6669 - -16488. Is 8 a factor of c?
False
Let g(y) = 140*y**2 + 10*y - 16. Is g(-4) a multiple of 12?
True
Suppose 297*s + 5*c + 93 = 300*s, -168 = -5*s + 4*c. Let x = -31 - -45. Is 4*s*(-7 - (6 - x)) a multiple of 16?
True
Suppose -509 = -6*h + 7075. Suppose -b = -4, -13*o - h = -18*o - b. Is o a multiple of 7?
True
Suppose 4*o - 24 = -5*b + 6, -b = 5*o - 27. Let u(v) = v**3 - 6*v**2 - 2*v - 3. Let l be u(3). Is (l + b)/((-6)/12) a multiple of 17?
True
Suppose -9*w + 14*w - 10 = 0. Suppose -w*l - 506 = -64. Let v = l + 368. Is v a multiple of 16?
False
Let m(x) = 31*x - 146. Let v be m(26). Suppose 5*z - 1110 = u + 2*u, 3*u = 3*z - v. Is z a multiple of 25?
True
Suppose 0 = -13*a - 3*q + 51243, -19*q + 15*q = -3*a + 11830. Is 54 a factor of a?
True
Suppose 3*a - 13 = -2*b, 4*b - 8*b + 29 = 3*a. Let d(j) = 157*j - 64. Let w be d(5). Suppose -b*k = -15*k + w. Does 10 divide k?
False
Suppose 25*f = 27*f - 4*b - 11364, -f - 4*b = -5670. Is 123 a factor of f?
False
Does 26 divide (-91)/2*(-18836)/119?
True
Let h be ((-28)/3)/((-4)/3). Does 7 divide 6/(36/130)*(10 - h)?
False
Does 4 divide (-12362)/(-6) + (18 - 17)*(-3)/9?
True
Let t(w) = -14*w - 60. Let v be t(-5). Suppose -2*a + 4*q = -946, q - 7 + v = 0. Is a a multiple of 51?
False
Suppose 2*m - m - 9009 = -2*m. Is m a multiple of 11?
True
Suppose -2288 = -4*t - 2*z, -71 = -4*t - 4*z + 2221. Does 3 divide t?
False
Let y be 52/(-1 + (-1 - -3)). Suppose 0 = 4*k + 9*k - y. Suppose -78 = -4*r + 2*s, 2*r - 23 = 5*s + k. Is 7 a factor of r?
True
Let c = -2843 - -3928. Does 3 divide c?
False
Suppose -6*f = f - 959. Let n(u) = u**2 + 13*u - 17. Let a be n(-15). Let w = f + a. Does 15 divide w?
True
Let z(f) = 36*f**2 + 79*f + 2684. Does 43 divide z(-28)?
False
Let m be (-3)/(-1*(-9)/(-6)). Suppose -m*u = -2*t + 5 - 3, 0 = 4*u + t - 1. Suppose 0 = 3*p - u*j - 3*j - 390, -3*p + 5*j + 398 = 0. Is p a multiple of 9?
True
Suppose 6*x = 3*x - 3*s + 2556, 3344 = 4*x - 4*s. Does 2 divide x?
True
Let j = 189 - 255. Let x = j + 105. Is x even?
False
Suppose 0*s - 504 = -14*s. Let y = -35 + s. Does 21 divide (y/4*7)/(38/456)?
True
Let y(t) = 2*t**2 - 8*t + 8. Let h be (4/30*-3)/