(r) be the first derivative of -r**2 - 9*r - 4. Let y be l(-6). Suppose -2*h + 84 = 3*f + h, -y*f - h = -82. Is f even?
False
Let j(p) = -6*p**2 - p + 2*p**2 - 5*p**2 + 6 + 10*p**2 - 2*p**2. Let t(v) = -v + 6. Let y be t(6). Does 6 divide j(y)?
True
Let u(g) be the third derivative of -g**6/120 + 5*g**5/12 - 7*g**4/6 + 23*g**3/6 - g**2 + 84*g. Does 15 divide u(10)?
False
Let q(o) = -3*o**2 + o + 30. Let j be q(-13). Let d = -272 - j. Does 49 divide d?
False
Let h(j) = j - 3. Let r be h(6). Suppose -d - 2 - 186 = -2*n, -r*d - 288 = -3*n. Is 32 a factor of n?
False
Let m(z) = -3*z**3 - 5*z**2 + 23*z + 60. Let c = -699 + 694. Is 15 a factor of m(c)?
True
Let c = -23 + 31. Suppose -58 = 2*s - d - c, -2*s - 4*d - 40 = 0. Is s*(19/(-4) + 2) a multiple of 3?
True
Suppose 625*n - 2781000 = 175*n. Is n a multiple of 40?
False
Let w(q) = 123*q**3 + 5*q**2 - 7*q + 2. Let y(s) = -45*s + 92. Let v be y(2). Is 71 a factor of w(v)?
False
Let t(i) = 42*i**2 + 5*i - 2. Suppose -3*g - 12 = 0, 2*b - 2*g = g + 24. Suppose -4*w = -2 - b. Is 22 a factor of t(w)?
True
Let n(f) = -7*f**2 + f - 1. Let w(j) = -29*j**2 - 7*j - 33. Let k(v) = 3*n(v) - w(v). Does 4 divide k(-4)?
False
Let r = 57 - 54. Let y be 2 + (55/33 - (-1)/r). Suppose 3*k - 663 = -4*p, -y*p - 4*k = -p - 499. Does 11 divide p?
True
Is 21 a factor of (1*3822/35 - 3)/(12/420)?
True
Suppose 32*t = -134*t + 4319652. Does 14 divide t?
False
Let x be 549/2 - 15/(-6). Suppose -3*z + 10*a = 8*a - 463, 0 = 2*z + 5*a - x. Does 3 divide z?
False
Let r = 38454 + 736. Is 36 a factor of r?
False
Let a(t) = 28*t**2 + 119*t + 2217. Is a(-19) a multiple of 17?
True
Suppose 5880 = 5*q - p, -5*q + 9401 = 3*q - 3*p. Does 19 divide q?
False
Let w(i) = -289*i - 2718. Is 16 a factor of w(-71)?
False
Let a be 3*(-18)/(-4)*60/(-45). Is 41/((-9)/a*4/14) a multiple of 4?
False
Suppose -4 = -b, -l + b + 227 = -b. Suppose 141 = -2*h + 4*v + 125, 4*h - 5*v + 17 = 0. Suppose -209 = -h*k + l. Is 37 a factor of k?
True
Is 89136/27 + (-152)/(-57) a multiple of 44?
False
Suppose 12215*z - 12219*z + 9288 = 0. Does 27 divide z?
True
Suppose 4*k + 4*d - 23367 = 3177, 0 = -2*k + 2*d + 13248. Does 51 divide k?
True
Let n = 408 - 390. Suppose 0 = -2*z - 2*k + 1876, -5*z = -22*k + n*k - 4672. Does 13 divide z?
True
Suppose -7*y + 334 = -5*y. Suppose 4*f + 27 = y. Let a = f + -6. Is a a multiple of 5?
False
Suppose 204*j - 590464 = 104*j + 68*j. Is 28 a factor of j?
True
Let a(k) = -16*k**3 + 14*k**3 + 2*k + 8 + k + 2*k**2 + 0*k. Let w(y) = y**3 - 3*y**2 - 3*y - 7. Let t(i) = 3*a(i) + 4*w(i). Does 13 divide t(-5)?
False
Suppose -s + 126*u = 129*u + 17, 4*u = 2*s + 4. Let j(w) = -3*w + 57. Does 74 divide j(s)?
False
Suppose 2*i - 4*p - 16 = 0, -5*i - 3*p + 4 = -10. Suppose 0 = i*n + 8, 0 = 2*s - 19*n + 15*n - 2488. Does 17 divide s?
False
Let q(x) = -x**3 + 13*x**2 - 12*x + 3. Let n be (-3)/((-6)/(-8))*69/(-23). Let z be q(n). Suppose -j + 3*l = 2*j - 96, -2*l = z*j - 71. Is j a multiple of 7?
False
Suppose 0 = -4*b - 2*s - 2 + 18, -2*s + 14 = 3*b. Let k be 6*((-21)/(-9) - b). Is k*-51*1/(-2) a multiple of 17?
True
Let b = -22 - -29. Let v = 47 + -47. Suppose v = -b*s + 277 + 409. Is s a multiple of 38?
False
Let q be 1 + (-68)/6 + (-2)/3. Let b = q - -75. Suppose 0*o + o = 2*c - 23, b = 4*c + 4*o. Is 7 a factor of c?
False
Does 192 divide -2 + 415329/21 - (-18)/42?
True
Suppose 0 = -4*n + 3*j + 15730, 19*j - 24*j - 11803 = -3*n. Does 330 divide n?
False
Let k(c) = c**2 + 5*c + 12. Suppose 301 = -4*n - 3*n. Let x = 38 + n. Is k(x) even?
True
Let z be (-3)/18 - (11778/(-36) + -9). Let t = 592 - z. Is 21 a factor of t?
False
Let f(u) = 2*u**2 - 2*u - 3. Let g(t) = -26*t**2 + 10*t + 23. Let j(k) = -8*f(k) - g(k). Let n = -4 - -6. Is 7 a factor of j(n)?
False
Suppose -14*x + 5379 = -3*x. Does 27 divide x/6 + 6/(-12)?
True
Let f = 7524 - 992. Is f a multiple of 71?
True
Suppose 1320 - 1205 = -l + 2395. Is l a multiple of 138?
False
Suppose -3*a - 40*a + 4957 = -14350. Is 30 a factor of a?
False
Suppose -4*n + 2*z + 74095 = 25331, 5*z - 231745 = -19*n. Is 11 a factor of n?
False
Suppose 5*n = 3*y + 6, -2 = -n + 2*y + 2. Let m be 1 - (2 + (n - 86)). Suppose -6*k = -5*k - 5*p - m, 0 = k - p - 81. Is 20 a factor of k?
True
Suppose -a - 33519 = -5*l, 0 = 3*l + 90*a - 85*a - 20117. Is l a multiple of 169?
False
Let f(r) = r**3 - 4*r**2. Suppose 1 = w - 3. Let h be f(w). Does 3 divide (13 + h)*2/2?
False
Suppose 4*v = -3*k + 25, -7*k + 4*k + 15 = 3*v. Is 21 a factor of (-357)/(((-58)/145)/(12/v))?
True
Let v = -892 - -906. Suppose a = 5*u + 33, -2*a + 35 = 5*u + v. Is a a multiple of 5?
False
Let x(l) = -41*l**3 + 9*l**2 - 12*l + 10. Does 18 divide x(-7)?
True
Suppose 408 = -19*z + 43*z. Suppose -t - z = n - 69, 4*n - 193 = -t. Is 5 a factor of n?
False
Let c = 9859 - 7629. Is 8 a factor of c?
False
Is 159 a factor of (-5936)/6*(522/232)/((-1)/4)?
True
Suppose -2410 = -3*m - 4*i, 64*m = 59*m - 3*i + 4002. Does 7 divide m?
True
Let v(k) = k**3 + 61*k**2 - 211*k + 174. Is 26 a factor of v(-62)?
True
Does 18 divide (-135)/150*(-8)/9*105705?
True
Suppose -n - 6 + 1 = 0. Suppose 9*z - 101 = 70. Let f = z + n. Is 7 a factor of f?
True
Let x(f) = f**3 + 3*f**2 - 22*f + 22. Let o(z) = z**3 - 5*z**2 - 5*z + 2. Let k be o(6). Is 50 a factor of x(k)?
True
Let o(y) = -5*y**2 - 5*y - 12. Let c be o(-9). Let s(j) = 45*j + 32. Let n be s(-4). Let b = n - c. Is b a multiple of 28?
True
Suppose 4*o - 24 + 0 = 0. Suppose o*f = -790 + 304. Let y = 159 + f. Is y a multiple of 13?
True
Let b = -35 + 47. Suppose 139 - 19 = -b*d. Does 2 divide (-26)/d*(3 + 2)?
False
Let x(m) = -12*m + 39. Let h(l) = 2. Let i(b) = -4*h(b) - x(b). Is i(5) a multiple of 13?
True
Let f(k) = -2*k**3 - 100*k**2 + 107*k + 279. Does 3 divide f(-51)?
True
Let t = 224 + -119. Suppose 98*c - t = 101*c. Let w = 33 - c. Does 17 divide w?
True
Let m(z) = -2*z**2 - 47*z + 28. Let r be m(-24). Suppose -4*i + 3*c + 186 = 0, -c = 2 - r. Is 3 a factor of i?
True
Let o be 4/((-3)/(3 + -6)). Suppose f = -3, v - 2*f + o*f = 395. Is 37 a factor of v?
False
Let y be -1 - -3 - (4 - (4 - 0)). Suppose 0 = -y*k + 10, w + 16 - 6 = 2*k. Suppose 5*i + 6*i - 1419 = w. Is i a multiple of 21?
False
Suppose -52 - 8 = -5*x. Suppose 3*d = -4*a - 302 + 320, -2*a + 2*d = -2. Suppose x + 0 = -4*c, c + 81 = a*i. Does 13 divide i?
True
Let t = -777 + 1137. Suppose 2*y - 1312 = -t. Is y a multiple of 28?
True
Suppose 0*l = m - 4*l - 7, -4*m + 5*l + 39 = 0. Let i(w) = 3*w**2 - 28*w + 7. Is i(m) a multiple of 17?
False
Let z be (-21)/2*(-32)/6. Suppose 0 = -4*p + 5*a + z, -5*p + 3*a + 56 = -p. Suppose 0 = 4*t - 498 + p. Is t a multiple of 18?
False
Let z(p) = -369*p - 646. Is z(-29) a multiple of 12?
False
Suppose -43305 = -141*t + 536628. Is 16 a factor of t?
False
Let v = -207 - -614. Let k = v - -46. Is k a multiple of 15?
False
Let f(h) = -264*h**3 - 9*h**2 + 30*h + 126. Does 171 divide f(-4)?
True
Let p = 28 - 24. Suppose 5*y = 25, 213 = p*b - 4*y + 41. Is ((-6)/(-4))/(1/(-2)) + b a multiple of 22?
False
Let a(m) = 6*m + m**3 + 611*m**2 + 7 + 40 - 634*m**2. Is a(24) a multiple of 20?
False
Suppose 10*y - 105 = 185. Suppose 5*b - 2*f - 112 = 0, 35 = 2*b + 4*f - y. Let q = b + 16. Is 5 a factor of q?
True
Let w be 247/(-7) + (-22)/(-77) - -3. Let v = 95 + w. Is v a multiple of 7?
True
Let z = -971 + 1496. Suppose -50 - z = -5*v. Let r = v - 18. Is 24 a factor of r?
False
Let z(k) be the third derivative of 5*k**4/24 + 31*k**3/3 - k**2 - 74. Does 19 divide z(52)?
False
Let r(z) be the second derivative of z**7/280 - z**5/30 - 3*z**4/4 + 10*z. Let d(m) be the third derivative of r(m). Does 17 divide d(-2)?
False
Let z be (-1)/(-1) + (-6 - -24)/6. Suppose -2*b - y + 528 = 3*b, -z*y = -12. Suppose -5*o - b = -360. Is 28 a factor of o?
False
Suppose -k - 1385 = -5*g, 6*g - 2*g = 5*k + 1129. Suppose -g*d + 272*d = -1352. Does 8 divide d?
False
Let z be 0*((-1)/(-2) + (-6)/4). Suppose -1 = -t, z = 5*f + t - 4*t - 177. Is f a multiple of 6?
True
Suppose 3*r + h - 61 = 0, 7*h = -2*r + 4*h + 36. Let i = r - 25. Is 13 a factor of (-2 - 13*i)/(0 + 1)?
False
Let o = 567 + -1103. Let t = 956 + o. Does 15 divide t?
True
Suppose -404 = -a - 3*a + 1620. Does 20 divide a?
False
Let j(o) = -3 + 13*o - 12*o - 8*o + 0. Suppose 0 = -5*u - 26 - 4. Does 7