- 8. Is r(3) a multiple of 13?
True
Let c(v) = v**3 + 14*v**2 + 12*v - 12. Let j be c(-13). Does 6 divide (8 - 12)*(-1 - 8)/j?
True
Let v(r) = 7*r**2 + 3 - 2*r**2 - 3*r**2 - 2*r - 2*r. Let l be v(2). Suppose -2*b = l*b - 105. Is b a multiple of 7?
True
Let i be (-18*1)/(2 - 0). Let x = 19 + i. Is 24/x*400/24 a multiple of 8?
True
Let y(u) = -u**3 + 32*u**2 + 14*u - 42. Does 14 divide y(32)?
True
Is 13 a factor of (-12)/(-9)*-65*(-27)/18?
True
Suppose -1080 = -2*r - 4*b + 116, -3*r + b = -1822. Suppose r = 6*i - 144. Is 15 a factor of i?
False
Is 8/(-12) + (-227)/(-3) a multiple of 15?
True
Let d(f) = -f - 3. Let g be d(-8). Suppose g*k + 2*p = -0*k + 20, -4*k - 2*p + 16 = 0. Suppose k*b - 69 - 15 = 0. Is 8 a factor of b?
False
Let r = -9 - -12. Let y(m) = 7 - 6*m**2 + 7 - 7 - m**r. Is 14 a factor of y(-7)?
True
Let b be 1/((-9)/(-2)) - 3675/135. Let u = b + 47. Is 3 a factor of u?
False
Let u be (-4011)/(-84) - 2/(-8). Let j(y) = 3*y - 14*y**2 - u*y**3 - 16*y + 49*y**3 - 2. Is j(15) a multiple of 19?
False
Let i = -13 + 8. Let c(w) = -w + 1. Let q(l) = 4*l + 15. Let v(o) = 6*c(o) - q(o). Is 13 a factor of v(i)?
False
Suppose 7*k - 3*k + 7 = 3*j, 0 = -4*k + 4*j - 12. Suppose 4*r - 14 = -n, -k*n - 18 - 2 = -4*r. Let i = 6 + r. Is 4 a factor of i?
False
Suppose 0 = -44*b + 47*b - 3198. Is b a multiple of 26?
True
Let d = 93 - 93. Suppose d*l = -12*l + 2520. Is l a multiple of 35?
True
Let f(a) = 89*a - 2. Let c be f(4). Suppose 2*s = -4*s + c. Does 12 divide s?
False
Let z be 42/(-63) + (-128)/(-3). Let j = -33 + z. Is 9 a factor of j?
True
Suppose 0 = 8*k - 8. Does 10 divide k - 14/(220/56 - 4)?
False
Is 12 a factor of 35850/12 + 10/4?
False
Let l(j) = j**3 + 9*j**2 + 5*j + 11. Let q be l(-8). Let g = -10 + q. Is g a multiple of 25?
True
Let g(q) = -q**3 + 6*q**2 + 6*q + 5. Let l be g(-6). Suppose 0 = -3*p + 2*i - l, -2*i - 141 = p + i. Is 25 a factor of ((-5)/3)/(3/p)?
True
Is 9 a factor of 4*(-2)/(-24) + 1779/9?
True
Let z(q) be the first derivative of -q**4/12 + q**3/3 - 7*q**2/2 - 7. Let w(r) be the second derivative of z(r). Is w(-4) a multiple of 7?
False
Suppose -3*i = -2*i - 4. Suppose -i*s + 12 = -20. Is 21 a factor of ((-138)/s)/((-1)/4)?
False
Let l(n) = -2*n**2 + 21*n + 3. Let b be l(10). Suppose 2*a + f - b = -2*f, 0 = a - 4*f - 23. Does 11 divide a?
True
Suppose 3*r + 0*n - 3*n = -2631, -2*n + 4391 = -5*r. Is r*6/(-63) - (-16)/56 a multiple of 14?
True
Let v = 1380 - 1298. Is 6 a factor of v?
False
Let v(l) = -l**2 - 29*l + 93. Does 18 divide v(-25)?
False
Suppose 0 = 32*l + 3824 - 43632. Does 7 divide l?
False
Let z be 1 + (2 - -2) + -4. Is (3/(-9))/(z/(-33)) a multiple of 5?
False
Let k(m) = -m**2 - 7*m + 3. Let f be k(-8). Let l = f + 10. Suppose 0*o + o = i + 23, 135 = l*o - i. Is 14 a factor of o?
True
Suppose 0 = -5*o + 10*o + 2*q - 512, -2*o + 3*q = -220. Let s = 156 - o. Is 13 a factor of s?
True
Let p = 481 + -72. Does 17 divide p?
False
Let d(n) = -n**2 - 13*n - 7. Let b be d(-10). Suppose b*t - 28*t = 0. Suppose t = z - 6*z + 160. Is 12 a factor of z?
False
Let v = 263 + 7. Suppose 3*i = -2*t + v, -i = -5*t - 51 - 56. Is 24 a factor of i?
False
Let t(d) = 3*d**3 - 4*d**2 + d + 3. Let l be t(-3). Let j = l + 178. Does 13 divide j?
False
Suppose 1034 = 5*v + 19. Is v a multiple of 29?
True
Let k(n) be the second derivative of -5*n**3/3 - 2*n**2 - 6*n. Let d be k(3). Let m = -12 - d. Does 15 divide m?
False
Let h(w) = 9*w**2 + w - 17. Let l be h(-7). Suppose -5*o + 1677 = l. Suppose -7*d = -3*d + 4*b - o, b + 257 = 4*d. Is d a multiple of 31?
False
Let r(j) = 3*j - 21. Let s be r(9). Suppose 180 = 16*b - s*b. Is 18 a factor of b?
True
Is 16 a factor of (-3 + 2)*(-6 + 11 + -69)?
True
Suppose v - 5755 = -5*x, 0 = -0*x + 5*x + 3*v - 5765. Is 46 a factor of x?
True
Is 3 a factor of (-2410)/(-34) - (-24)/204 - -4?
True
Suppose 11 = 9*o - 7. Suppose o*d - 99 - 17 = 0. Is d a multiple of 17?
False
Suppose 10*f = 4*f + 6. Is ((-75)/(-60))/(f/120) a multiple of 15?
True
Suppose 898*z - 904*z + 8100 = 0. Is 27 a factor of z?
True
Suppose 62*n + 18492 = 154*n. Is 7 a factor of n?
False
Let l = -122 + 313. Suppose 49 = 2*m - l. Is m a multiple of 20?
True
Let p be (2 - 3)*4*-4. Suppose 355 = p*c - 1725. Does 9 divide c?
False
Let r(m) = 2*m + 8. Let d be r(-4). Suppose d = 5*i + 7 + 8. Is 24 a factor of i/(-3) - (-21 + -2)?
True
Is (5/(-15))/(1/(-849)) a multiple of 8?
False
Let j = 31 + -18. Suppose -j*y = -18*y + 200. Does 8 divide y?
True
Let o be (-14 - -10) + 1*-43. Let l = o + 119. Is 18 a factor of l?
True
Suppose -4*k = -3*w - 1995, -5*k + 3*w + 2425 + 65 = 0. Is 55 a factor of k?
True
Suppose 0 = -40*k + 62*k - 2970. Is 2 a factor of k?
False
Let l(f) = f**3 + 2*f - 3. Let b(t) = -t**2 - 3*t + 8. Let a be b(-4). Is l(a) a multiple of 14?
False
Let f(w) be the third derivative of 0 + 0*w - w**3 + 3*w**2 + 5/24*w**4. Does 29 divide f(7)?
True
Does 61 divide (-17)/(-153) + -1 + 4840/18?
False
Let q = -8 - -10. Let h(m) = 37*m**2 - 4*m + 3. Does 11 divide h(q)?
True
Let k(l) = -4*l - 2. Let i be k(-14). Suppose -y - i = -3*y. Is 11 a factor of y + (-3 - 12/(-2))?
False
Let z(c) = 21*c**2 - 3*c. Let g be z(4). Is 18 a factor of (-25 + 26)/(2/g)?
True
Let g = 98 + -67. Suppose -3*t = -3*j + 105, -2*j - 3*t + 14 + g = 0. Suppose 4*x = j + 6. Is x a multiple of 2?
False
Let j = 98 - -69. Suppose 4*l = j + 609. Is l a multiple of 17?
False
Suppose -4*q - r = -10213, -5*q - 2*r = -0*q - 12770. Does 58 divide q?
True
Let l = 2505 - 1074. Does 29 divide l?
False
Let c = 54 - 56. Let w(q) = 3*q**2 + 11*q + 22. Is 5 a factor of w(c)?
False
Let o = -81 - -96. Let a be (-27)/3*(-2)/6. Let c = a + o. Is c a multiple of 6?
True
Suppose 0 = 3*c - 2*f - 49, -4*f = -4*c + 34 + 34. Let l be 3/c + 572/(-10). Let g = 99 + l. Is g a multiple of 10?
False
Suppose -t + 116 = -4*r + t, -5*r = 4*t + 171. Let n = r + 36. Is 5 a factor of n?
True
Suppose 0*t - 4*t + 5*l = 296, -4*t = 4*l + 260. Let h = t - -123. Is 14 a factor of h?
False
Suppose 1 - 5 = -2*p. Suppose -g - p*g + 81 = 0. Suppose -3*a = -g + 9. Is 3 a factor of a?
True
Let h = 12 + -25. Let i = 13 + h. Suppose 3*w + n - 39 - 19 = i, 2*w - 5*n - 16 = 0. Is 9 a factor of w?
True
Let v(g) = -28*g - 137. Is v(-14) a multiple of 17?
True
Let l = 55 - 12. Let z(r) = -2*r + 9. Let k be z(11). Let i = k + l. Is 15 a factor of i?
True
Let c(v) = v**3 - 15*v**2 + 24*v + 13. Let k be c(14). Suppose -u + k = 2*u. Is 17 a factor of u?
True
Let p = 23 + -128. Let i = p - -201. Is 25 a factor of i + 0*4/4?
False
Suppose -2*u + 57 - 21 = 4*y, 2*u - y = 56. Does 13 divide u?
True
Let y(i) = -i**3 + 6*i**2 - 4*i - 7. Let c be y(5). Let f(a) = -a - 2. Let q be f(c). Suppose 3*r + 5*o + 0*o - 89 = q, -3*o - 137 = -5*r. Does 28 divide r?
True
Let f(m) be the third derivative of m**6/120 + m**5/30 + m**4/3 - m**3/2 - 4*m**2. Does 22 divide f(3)?
True
Let b = -43 + 68. Suppose 2*u = -2*p + 58, -75 - b = -5*p + 4*u. Is 3 a factor of p?
True
Suppose 345 = 5*k + 105. Is 25 a factor of (-32)/k + ((-586)/3)/(-2)?
False
Let m be 6 + (-2 + 3)/((-3)/9). Suppose 48 = m*n + 12. Is n a multiple of 6?
True
Let v be -3*(-3 - (-58)/(-6)). Let h(j) = 4*j**3 + 3*j**2 - j. Let k be h(3). Suppose -2*d = 5*x - k, -3*d + 137 = -4*x - v. Is d a multiple of 24?
False
Let j = -183 + 327. Does 24 divide j?
True
Is 14 a factor of (-51214)/(-261) + 4/(-18)?
True
Let i(h) = 122*h**2 - 25*h. Is 23 a factor of i(-3)?
True
Let k = 60 - 57. Suppose 2*f + 4*h = -2*f + 108, -5*f + 133 = k*h. Is f a multiple of 24?
False
Let c be -3*(-1)/(9/192). Let y = c + -108. Let p = -29 - y. Does 5 divide p?
True
Let x = 153 - 153. Let m(d) = 9*d + 195. Does 15 divide m(x)?
True
Let v be 186 + (-3 - 18/(-3) - 3). Is 3 a factor of v/15 + (-8)/20?
True
Let c be 4/(-14) + 23/7. Let y(b) = 7069*b + 0 - 7065*b - 3 + b**3. Does 18 divide y(c)?
True
Let y(j) = 5*j**2. Let d be y(-1). Suppose 68*k - 73*k + 10 = 0. Suppose 0 = -q - 2*q - 3*c + 177, k*q - 111 = d*c. Is q a multiple of 14?
False
Let j(l) = l**3 - 7*l**2 - 14*l + 1. Suppose -7*h + 69 - 6 = 0. Is 8 a factor of j(h)?
False
Let w(m) = -m**3 + 9*m**2 - m + 11. Let u be w(9). Suppose -u*g - j + 136 + 43 = 0, 2*j = 5*g - 470. Is 10 a factor of g?
False
Suppose -2*r + r = 0. Let b = r + 2. Suppose 0 = -b*s