-5*d. Is 19 a factor of d?
False
Suppose 105 = 5*d + 3*j, 0 = 3*j - 17 + 2. Is d a multiple of 7?
False
Let q(h) = h**3 + 6*h**2 + 3*h - 3. Let o be q(-5). Suppose 0 = m - 4*n + o, 3 = -5*n + 8. Does 3 divide (-2)/m - 32/(-6)?
True
Does 13 divide ((-11)/4)/((-3)/48)?
False
Let m be (-1 - -1)/(-1 + 0). Let r = 2 - m. Suppose r*f - 11 - 37 = 0. Is 10 a factor of f?
False
Suppose 0*s + 2*s + 2 = 0. Let p = 34 + s. Does 6 divide p?
False
Does 8 divide 32/6*(-21)/(-14)?
True
Let w = 4 - 7. Is w/((3/(-3))/18) a multiple of 18?
True
Let f(z) = -6*z - 3. Let v be f(-10). Does 15 divide 3 + v + 1 + -1?
True
Let a(s) = s**3 + 14*s**2 + 9*s + 12. Is a(-12) a multiple of 25?
False
Let v(f) = f**2 - f + 16. Does 9 divide v(0)?
False
Let u = 129 - 195. Let s = -22 + 34. Is 8 a factor of u/(-8) - 3/s?
True
Let v = -2 - -5. Suppose -45 = -v*m + 48. Does 12 divide m?
False
Suppose 2*h = 16*h - 1932. Does 23 divide h?
True
Suppose -3*g = t - 182, 0*g + 5*g = -t + 188. Let j = t - 103. Does 16 divide j?
False
Suppose u - 3 - 29 = 0. Suppose 4*k - 148 = -u. Is 12 a factor of k?
False
Let d(j) = -3*j - 3. Let o be d(-2). Suppose 7*h - o*h = 24. Is h a multiple of 3?
True
Suppose 1 = 3*y - 4*p + 9, 13 = -2*y - 5*p. Let c(h) = 2*h**2 + 4*h - 3. Is c(y) a multiple of 6?
False
Suppose 4*s = 3*d + 4, -3*s - 2*s + 4*d + 6 = 0. Let w(v) = -2*v**3 + 2*v**2 + 4*v + 2. Does 6 divide w(s)?
True
Let p = 73 - 34. Does 13 divide p?
True
Suppose 0 = -3*r - r + 5*q + 995, 5*r - 3*q = 1260. Does 31 divide r?
False
Suppose -t + 2*t - 25 = 0. Suppose a - 5 = t. Is a a multiple of 19?
False
Let y be (-68)/20 + 2/5. Is (-39)/(-2) - y/6 a multiple of 10?
True
Let a(d) = -2*d**2 + 9*d + 3. Let l(h) = h**2 - 9*h - 4. Let q(f) = 2*a(f) + 3*l(f). Suppose -w - 2*w - 21 = 0. Does 3 divide q(w)?
False
Let b = 5 + -4. Let a = 2 + b. Suppose a*j = 4*j - 6. Is j a multiple of 3?
True
Let r be (-6)/(3 - (-54)/(-16)). Suppose r = -p + 4. Does 6 divide 1/((-1 - 1)/p)?
True
Let r = -4 + 3. Let f = 2 - r. Does 2 divide f?
False
Suppose f = 3*f - 60. Is f a multiple of 10?
True
Suppose 547 = 4*p - n - 574, n - 1408 = -5*p. Is 63 a factor of p?
False
Let x = -22 + 103. Is 27 a factor of x?
True
Let q be (-2 - (-2 + 2))*-2. Let j(r) = -r - 2. Let c be j(q). Is 13 a factor of (39/c)/((-1)/2)?
True
Let v = 7 - 4. Suppose -v*k = k, -2*k = -x + 2. Suppose 4*m + x*g = -g + 11, 0 = g + 3. Does 3 divide m?
False
Let p = 3 - 3. Let k = p + 2. Is 2 a factor of k?
True
Suppose -3*c - k + 11 = 0, 2*c + k - 14 = -2*c. Suppose -o + 4*g + 1 = 0, 4*o - 5*o = -c*g - 5. Is o a multiple of 10?
False
Suppose -2*x + 33 - 6 = 3*b, 0 = -3*x + 5*b + 12. Is x a multiple of 2?
False
Suppose 0*h - 195 = -5*h. Suppose z = 4*z + h. Does 13 divide z/((0 - 1)*1)?
True
Let y = 4 - 7. Let r(n) = -3*n**3 - 3*n**2 + 3*n - 2. Let t be r(y). Let v = t + -29. Does 7 divide v?
True
Suppose 3*x - 3*b - 4 = 5, -4*b = 2*x - 12. Suppose -x*u - 15 = u + 2*m, 0 = 4*u + 3*m + 19. Is (u - 0) + 1*11 a multiple of 10?
True
Suppose 0 = 3*u + 28 - 13. Let q(v) = v**2 - 4. Is q(u) a multiple of 10?
False
Let l(a) = a**2 + 6 - 2*a - 2 + 3. Let d be l(7). Let p = d - 24. Does 9 divide p?
True
Let t be (-16)/24 - (-2)/3. Suppose t = -0*h - 2*h + 32. Is 5 a factor of h?
False
Suppose 5*n = 5*d + 25, d + 3*n - 3 + 20 = 0. Let m(t) = t**3 + 8*t**2 - 2*t + 6. Is 11 a factor of m(d)?
True
Suppose 22*q - 18*q - 100 = 0. Is q a multiple of 4?
False
Let d = 48 + -30. Is 6 a factor of d?
True
Let m = 174 - 123. Does 20 divide m?
False
Suppose q = -y + 6*q + 260, -y + 310 = 5*q. Is 19 a factor of y?
True
Let f(y) be the third derivative of -y**5/60 + y**4/2 + 7*y**2. Does 8 divide f(8)?
True
Let p be (-151)/(-3) - (-7)/(-21). Suppose p - 10 = 4*h. Is 5 a factor of h?
True
Suppose 4*w = -5*y + 5, 3*w = -2*y + 5*y - 3. Let g = y + 4. Is 5 a factor of g?
True
Let c = 3 + -3. Suppose 4*f = -12, c*s + 96 = 2*s - 4*f. Suppose 2*l - 5*h - s = 23, -22 = -l - h. Does 11 divide l?
False
Let d(p) = 4*p**2 - 2*p - 7. Let n be d(6). Let i = -89 + n. Is i a multiple of 14?
False
Let q(u) = u**2 + u. Let o be q(1). Suppose -o*p + 69 = p. Is p a multiple of 23?
True
Let c = 10 - -102. Is c a multiple of 16?
True
Is 3 + 1*(2 + 6) a multiple of 11?
True
Suppose -f - 3*o + 55 = 0, 4*o + 152 = 4*f - f. Does 20 divide f?
False
Let q(h) = 2*h**2 - 8*h + 4. Let b be q(6). Suppose 0 = 5*n - 118 + b. Is n a multiple of 18?
True
Suppose -3*f = y - 5*f - 9, -25 = 5*f. Let l(r) = 22*r**2. Is 12 a factor of l(y)?
False
Let r = 2 - 4. Let j be (-1 - r*2) + -2. Does 10 divide 1*(j - -1)*10?
True
Let j be (3 - -2 - 3) + 4. Let p = j + 61. Does 25 divide p?
False
Is 18 a factor of (72/10)/((-8)/(400/(-3)))?
False
Let h be 2/(-3) + 184/6. Let b = h - 12. Is b a multiple of 11?
False
Suppose 0*k = 5*z + k - 630, k = -5. Let q = z - 17. Suppose -3*l - q = -4*m - 0*m, 5*m = -l + 128. Does 13 divide m?
True
Let q = 62 - 55. Is q a multiple of 2?
False
Suppose 127 = -3*s + 2*p - p, 0 = 4*s + 5*p + 182. Let h(o) = 4*o + 9. Let r be h(-8). Let q = r - s. Is q a multiple of 16?
False
Let g(w) = -w - 7. Is g(-9) a multiple of 2?
True
Suppose 115 = 4*d - 77. Is 12 a factor of d?
True
Suppose -3*l = 38 - 110. Is 6 a factor of l?
True
Suppose -2*u + 2*z - 201 = -5*u, -3*z = -9. Does 23 divide u?
False
Let i(b) = b**2 + b - 2. Let r(a) = -2*a**2 - a + 1. Let m = 0 - 2. Let j(z) = m*i(z) - 3*r(z). Is 4 a factor of j(-1)?
True
Suppose -k - k + 88 = 4*p, 0 = p + k - 20. Does 12 divide p?
True
Suppose 5*u - 41 = 54. Let a = 46 + -17. Let k = a - u. Is 5 a factor of k?
True
Let m(u) = -6*u - 6. Let q(h) = -6*h - 5. Let l(t) = -6*m(t) + 7*q(t). Suppose 2*c = 6*c + 20. Is 15 a factor of l(c)?
False
Is (-20)/90 - 940/(-18) a multiple of 7?
False
Suppose 2*h - 28 + 6 = 4*c, -5*c + 5*h = 20. Let z(i) = i**3 + 9*i**2 + 9*i + 1. Is 30 a factor of z(c)?
False
Let o be (9/(-27))/(1/(-12)). Suppose -o*f + 17 = -7. Is f a multiple of 2?
True
Suppose -22 + 6 = -4*k. Suppose -3*p - 3*w + 24 = 0, -4*w + w = -p - k. Suppose -4*u = -p*h + 47, 2*h - 2*u = -2*h + 34. Does 3 divide h?
False
Suppose -2*n + 26 + 30 = 0. Does 11 divide n?
False
Let o(d) = 5*d**2 + 32*d + 3. Does 10 divide o(4)?
False
Let z(l) = -l**2 - 2*l + 2. Let t be z(-3). Let d = 11 - t. Is 6 a factor of d?
True
Let c(r) be the first derivative of -r**4/2 + r**3/3 - 2*r**2 - 3*r - 6. Is 20 a factor of c(-2)?
False
Suppose -f + 57 = -152. Is f a multiple of 12?
False
Let x(g) = g - 4. Let q be x(6). Suppose 1 = q*u - 9. Suppose 193 = u*w + 3*m, -3*w - m = -0*m - 115. Does 15 divide w?
False
Suppose 4*k - 8 = 2*k. Let g be 2/(-2) - (-6 + 1). Is (-2)/k + 114/g a multiple of 14?
True
Suppose k - 12 = -k. Let q = k - 11. Let t = -1 - q. Is 4 a factor of t?
True
Suppose 60 = -0*x - 2*x. Let s = x + 48. Let m = s + -4. Is 6 a factor of m?
False
Suppose 10*j - 1368 = j. Is 19 a factor of j?
True
Let m(q) = q**3 + 5*q**2 - q - 2. Let x be m(-5). Suppose -3 = -x*w + 15. Is w a multiple of 5?
False
Let x(h) = h**2 + h - 9. Suppose -p + 5*p = -36. Does 23 divide x(p)?
False
Let m be 1*(-1)/((-2)/58). Suppose q - 4*p + 7 = 0, 4*q = -2*p - p + m. Let a = 6 + q. Is a a multiple of 11?
True
Let k = -7 - -7. Suppose k = -3*o + 38 + 40. Is 13 a factor of o?
True
Let a(x) = 11*x**3 + x**2 + x + 1. Let u be a(-1). Let d be u*(2 + (-22)/4). Let h = d - 21. Does 9 divide h?
False
Suppose 5*l + 4 = -1, -2*q = 3*l - 15. Is q a multiple of 9?
True
Suppose 17 = -i + 117. Suppose 5*x - 4*x = i. Let q = x - 65. Is q a multiple of 13?
False
Suppose -o = -2*o + 84. Suppose f - 5*f - d = -154, -o = -2*f + 3*d. Does 18 divide f?
False
Suppose 2*p - 348 = 4*b, -5*b - 309 = -3*p + 210. Does 14 divide p?
True
Suppose -3*x + 4*c = 5, -20 = -5*x + c - 0. Is x a multiple of 2?
False
Suppose 0 = -s + 2 - 5. Let q(k) = 7*k**2 + 2*k. Is 13 a factor of q(s)?
False
Let n(d) = 6*d**2 + 2 + d**3 - 3 + 4*d - 2. Is 12 a factor of n(-4)?
False
Let t be (6/15)/(2/(-10)). Let y be 0 + t + -11 + 1. Let j = y + 34. Does 11 divide j?
True
Let j(x) = x - 1. Let b be j(3). Suppose -b*g + g = -14. Is g a multiple of 14?
True
Suppose 3*y - 2*x = 54, 26 + 28 = 3*y - 5*x. Suppose -4*l + y = -m, 2*l - 1 = l + 2*m. Does 2 divide l?
False
Let q = 89 - 59. Suppose 2*g + 0*g + 12 = 0. Let s = q + g. Is s a multiple of 12?
Tr