13. Suppose 13 = 3*s - 3*i - 17, 3*i = s - 8. Let g be d(s). Is (-19)/(-1 - g/(-4)) a multiple of 19?
True
Suppose 131 = 5*x - 139. Does 26 divide x?
False
Suppose -4*q - r = -1, -5*q - 5 = -0*q - 5*r. Let o be q*(-4 - -3) + -5. Let x = 0 - o. Is 4 a factor of x?
False
Suppose 0*s = -4*s + 24. Suppose 2*q + 5*v = s*q - 64, -v - 59 = -5*q. Suppose 4*k - q = 37. Is 6 a factor of k?
True
Suppose 2*t = t + 45. Suppose t = 4*r - 19. Suppose k - r = -0*k. Does 12 divide k?
False
Let g(v) = v**3 + 8*v**2 - 14*v - 10. Does 7 divide g(-9)?
True
Suppose g - 3*l = -8, 0*g - 28 = -2*g - 5*l. Let h be (628/(-8))/((-2)/g). Suppose -8 - h = -5*f. Does 11 divide f?
True
Is 3/4 - 2595/(-60) a multiple of 11?
True
Let h(k) = 3*k**3 + k**2 + k - 1. Let a be h(1). Suppose i - 7 = -2*r, -27 = -4*i - a*r + 5. Is 3 a factor of i?
True
Let n(h) = -h**2 - 13*h + 10. Suppose 20 = -5*v - 35. Is 16 a factor of n(v)?
True
Suppose i + 4 = -i. Let b be (-1)/(i + 90/46). Let u = 33 - b. Is 10 a factor of u?
True
Suppose t = 5*i, 0*t - 4*t = -3*i. Suppose 0 = -3*l - t*l + 228. Is l a multiple of 28?
False
Let n = 19 + -7. Is 4 a factor of n?
True
Suppose 3*r = -0*r + c + 128, 0 = 3*r - 5*c - 136. Does 13 divide r?
False
Let i = -9 + 4. Let p = i - -6. Is (0 - (p + 0))*-2 even?
True
Suppose 0*q + 22 = 4*q - 2*r, r = 3*q - 19. Let s = q + -2. Is 8 a factor of (-6)/(-9) + 92/s?
True
Let n be ((-4)/10)/(4/60). Let o(q) = q**3 + 6*q**2 - 5*q - 3. Is 9 a factor of o(n)?
True
Suppose 0 = -o - 4, r + r + 5*o + 40 = 0. Does 9 divide 2/r*2*-55?
False
Let w be ((-5)/(-10))/(1/(-4)). Suppose -q - 5 = 5*t, -5*t + 2*t = q - 3. Let s = q + w. Is s a multiple of 13?
True
Let t(f) = -f - 7. Let r be t(-7). Let q be -2 + r/3 + 0. Is 13 a factor of 178/14 - q/7?
True
Suppose 5*b = -3*x + 149, -2*x - 22 = -2*b - 116. Is x a multiple of 16?
True
Let p = -2 - -1. Let l be p*(-1)/(-2)*-128. Suppose -2*j + l = 2*j. Is 9 a factor of j?
False
Let p = -2 + 4. Suppose -35 = -p*n + 61. Is n a multiple of 19?
False
Let z = -3 - -8. Suppose z = w + 4. Suppose s = 38 + w. Is 14 a factor of s?
False
Let q be (-12)/27*3*3. Does 8 divide (-12)/q + 16 + 1?
False
Suppose a + 1 = -3*q + 4, -2*a = 4*q - 6. Suppose q*t - k = 5*t - 99, -2*k - 87 = -5*t. Is 19 a factor of t?
True
Let n = 54 + -18. Suppose -n = -5*l - 6. Is 12 a factor of 10/(-15) - (-220)/l?
True
Suppose -7*s - 6 = -8*s. Is s a multiple of 3?
True
Let v(l) = l**3 + 2*l**2 - 3*l - 2. Let h be v(3). Does 2 divide h/6 - (-4)/(-6)?
False
Suppose 5*o + 0*x - 7 = -x, -o + 3*x = -11. Let y(k) = -k + 3*k**o - 7 - 2*k**2 - k. Is y(-6) a multiple of 21?
False
Let q = -13 - -8. Let h = 56 - q. Is h a multiple of 23?
False
Suppose m + 3*i = 12, 3*m + 0*i = -i + 68. Suppose -6*y + y + 21 = -3*n, -5*y = -2*n - m. Is y a multiple of 6?
True
Suppose 0 = -5*f + f. Suppose -3*v + 2*w + 179 = f, 2*v + 3*w = 3*v - 69. Does 12 divide v?
False
Suppose -g - 2 = -3*g, -5*k - 2*g + 77 = 0. Suppose -5*r + 5*y = -85, 4*r - k = 2*y + 47. Is r a multiple of 7?
True
Let a be -1 - (-1*2 - -28). Let p be 2/(-9) + (-2112)/a. Suppose 0 = 4*z - z - p. Is 13 a factor of z?
True
Suppose 0*d - d + 19 = 0. Is 4 a factor of d?
False
Let a(o) = -o**3 + 15*o**2 - 15*o + 1. Let g be a(11). Suppose -5*b - g = -835. Suppose -3*h - 30 = -2*w - 195, b = 2*h + w. Is h a multiple of 14?
False
Let g(a) be the third derivative of -5*a**4/24 + 2*a**3/3 + a**2. Is 19 a factor of g(-3)?
True
Suppose 4*r - 20 = 0, 0 = 3*o + 2*r + r - 30. Suppose 0*b + 4*b - 2 = -2*f, o*f = -25. Is 3 a factor of b?
True
Suppose -18 + 2 = -4*x. Suppose -4*j + 45 = -2*m + 3*m, 0 = -x*j - 4*m + 48. Is j a multiple of 5?
False
Let a(c) = c - 3. Let j be a(6). Suppose 0 = -j*w - 2*w. Suppose -3*z + 5*u + 90 = 0, w = -2*z + 3*z - u - 28. Is 17 a factor of z?
False
Let n(t) = -71*t + 1. Let i(a) = -2*a**3 + 2*a - 1. Let h be i(1). Is n(h) a multiple of 24?
True
Let u be (1/(-1))/(5/10). Let k be 2*6 - (-6)/u. Suppose -4*r - 75 = -k*r. Is 10 a factor of r?
False
Let k(t) = -t**2 + 19*t - 3. Let l be k(8). Is 17 a factor of (l/15)/(1/3)?
True
Suppose 0*l + 35 = -5*l. Suppose 5*i - 2*k = -2985, 4*i - 3*k + 1675 = -720. Is 14 a factor of (2/5)/(l/i)?
False
Let h(f) be the third derivative of 0 - 1/120*f**6 + 13/6*f**3 + 0*f - 2/15*f**5 - f**2 + 3/8*f**4. Is h(-9) a multiple of 11?
False
Suppose -5*s - 4*o + 0*o = 31, -15 = 2*s - o. Does 7 divide (-4)/(-14) - 159/s?
False
Let g be 1/(-1 - 8/(-6)). Suppose 0 = g*p + 2*p. Let i = p + 18. Does 6 divide i?
True
Is 5 a factor of 38/3 + (-2)/3?
False
Let r = 3 - 1. Let t(h) = 7*h - r + 0*h + 4. Is 8 a factor of t(2)?
True
Suppose -5*g = -3*g + 5*v + 74, g + 30 = v. Let a = g + 68. Does 11 divide a?
False
Suppose -a - 6*w + 104 = -7*w, -3*a - 5*w = -352. Is 8 a factor of a?
False
Let b be (-2 + 4)*(-9)/(-6). Let v be 3 - b - 3 - -31. Suppose -v = z - 2*z. Does 14 divide z?
True
Suppose -k = -4*k + 4*n - 5, -4*k = 4*n + 16. Let r(q) = 6*q**2 - 3*q + 2. Let m be r(k). Suppose 15 = 4*j - m. Is j a multiple of 18?
False
Let d be 443 + 2 + 2 - -3. Suppose 3*j - d = -5*x, x = -0*x + j + 82. Does 32 divide x?
False
Suppose -2*f + 4*f = 100. Let g = 40 + -36. Suppose -g*d + f = -206. Is d a multiple of 19?
False
Is 6 a factor of 9/(-6)*(-250)/15?
False
Suppose 6*b - 728 = -2*b. Is b a multiple of 13?
True
Let a(d) = d**3 - 10*d**2 + 9*d + 21. Is 3 a factor of a(9)?
True
Suppose 52 = w + p - 27, 0 = -2*w - 5*p + 161. Is w a multiple of 26?
True
Let n(x) = 2*x + 46. Does 22 divide n(19)?
False
Let p(g) = -g**3 - 8*g**2 + 8*g - 12. Let t be p(-9). Is 17 a factor of 72 - (t - -3 - -4)?
True
Let b(d) = -d + 13. Suppose 3*c = -y + 11 + 22, -2*c + 22 = 4*y. Let n be b(c). Is 20 a factor of (-10)/((-1)/n - 0)?
True
Let l(a) = a**3 - 9*a**2 + 9*a + 4. Is l(8) a multiple of 5?
False
Let r(v) be the third derivative of v**5/30 - v**4/12 + v**3/2 - v**2. Is r(3) a multiple of 5?
True
Suppose 0 = 3*j + 3*k + 15, 2*j + 4*k = j - 14. Does 15 divide 1*(-1)/(j/40)?
False
Let f be 35/(-5)*(2 - 1). Let v(c) = -c**2 - 8*c. Let b be v(f). Let z = 13 - b. Is z even?
True
Let d(b) = 9*b**2 + 3*b + 16. Is 31 a factor of d(6)?
False
Does 3 divide (-108)/(-26) + (-26)/169?
False
Let d(x) = x**3 + 8*x**2 + 4*x + 4. Suppose -3 = 3*k + 18. Is d(k) a multiple of 7?
False
Let y = -122 + 272. Is y a multiple of 25?
True
Let i(r) = -r**3 + 18*r**2 - 15*r - 32. Is i(15) a multiple of 22?
True
Suppose -10*s = 6*s - 1280. Does 9 divide s?
False
Let y(s) = s**2 - 4*s. Let v(x) = x**2 + 8*x - 13. Let m be v(-9). Does 19 divide y(m)?
False
Suppose -9 = -h + 56. Does 20 divide h?
False
Suppose n + 8 = 3*n. Let q be (-30)/n*(-4)/6. Suppose q*k = 97 - 27. Does 14 divide k?
True
Let t(o) = -4*o**3 + 14*o**2 - 9*o + 17. Let w(n) = n**3 - 5*n**2 + 3*n - 6. Suppose -4*f + 10 + 18 = 0. Let b(i) = f*w(i) + 2*t(i). Is 16 a factor of b(-8)?
True
Does 13 divide (118/4)/(1/2)?
False
Let t = 41 + 9. Suppose 4*p = -2*s + 3*p + 26, 5*s - 5*p = t. Is s a multiple of 12?
True
Let r = 56 + -44. Does 3 divide r?
True
Let n(q) = -q**3 + 5*q**2 - q + 1. Let h be n(5). Does 11 divide 1111/99 + h/18?
True
Suppose 4*b + 83 = a, -5*b - 4 = -3*b. Is a a multiple of 25?
True
Let b = -128 + 157. Is b a multiple of 6?
False
Suppose 54*v = 53*v + 109. Does 19 divide v?
False
Let t = 110 - 45. Is 13 a factor of t?
True
Let b(k) = -k**3 + 4*k**2 - 3*k + 3. Let x be b(3). Suppose 2*p - 24 = -2*p - 4*v, -2*v - 43 = -x*p. Is -2 + -1 + p + -2 a multiple of 6?
True
Let b(n) = 5*n - 54. Is 3 a factor of b(12)?
True
Suppose -166 = -2*w + 6. Does 18 divide w?
False
Suppose -4*b = -2*b - 50. Is 9 a factor of b?
False
Suppose 3*t = -4*h + 20, 3*h = h + 3*t - 8. Suppose 0 = -2*u - 4*v - h, 4 = -5*u + 4*v - 1. Let o = 26 + u. Does 8 divide o?
False
Suppose -8*o + 7*o + 29 = 0. Is 20 a factor of o?
False
Let r = -59 + 69. Is 4 a factor of r?
False
Suppose -3*v - 4 + 16 = 5*k, 3*k - 20 = -5*v. Suppose 3*m + m + 28 = k. Let j = 2 - m. Is 9 a factor of j?
True
Let u = -78 - -140. Does 10 divide u?
False
Let n(y) = -3*y + 3. Let p be n(6). Is 8 a factor of (-5)/p - (-142)/6?
True
Let i(k) = -k**3 + 19*k**2 + 6*k - 23. Is i(19) a multiple of 12?
False
Suppose 0 = 3*q + q + n - 25, 2*q - 7 = 5*n. Let i be (3/q)/(3/12). Is (-111)/i*2/(-3) a multiple of 16?
False
Let a(n) = -2*n + 7. 