ose 0*k = k - 32. Does 13 divide k?
False
Let c(m) = 2*m - 3. Let k be c(-4). Let d = 8 + k. Is 5 a factor of (d + -12)/(1 - 2)?
True
Suppose 0 = 2*k - 7*k - 55. Does 20 divide (k + 1)*(-15 + 9)?
True
Suppose 2*x - 190 = -38. Let b = -41 + x. Is 15 a factor of b?
False
Suppose -5*p = -10 - 5. Suppose p*h + 2*h + 5*b - 195 = 0, -83 = -2*h - b. Is h a multiple of 22?
True
Suppose 5*o + 2*m - 5 - 11 = 0, 2*o + m = 7. Suppose -4*n - o*w = -280, -4*w = 3*n - 149 - 71. Is 23 a factor of n?
False
Let z(p) = -p**3 - 6*p**2 - 2*p - 7. Let j be z(-6). Suppose 76 + 24 = j*t. Is 10 a factor of t?
True
Suppose -5*j + b = 121, 3*b + 69 = -0*j - 3*j. Let z = j - -52. Is 14 a factor of z?
True
Let l be (2 + 11/(-2))*-4. Suppose -35 = -d + l. Does 14 divide d?
False
Is 10 a factor of ((-720)/(-84))/((-4)/(-14))?
True
Let n(t) = -t**3 + t**2 + t. Let p be n(0). Suppose -3*o + 8 + 4 = p. Is (3 - o)*36/(-2) a multiple of 14?
False
Let b(j) be the third derivative of 2*j**4/3 - j**3/6 - 5*j**2. Is 21 a factor of b(4)?
True
Let l = -416 + 615. Is 12 a factor of l?
False
Let w = -5 + 1. Let f = 25 + w. Does 7 divide f?
True
Let h(n) = 5*n**3 + 5*n**2 - 11*n + 6. Let k(w) = 9*w**3 + 10*w**2 - 21*w + 11. Let d(m) = 11*h(m) - 6*k(m). Does 22 divide d(6)?
True
Suppose 0 = -3*t + 5*n - 42, 14 = -2*t + t + 5*n. Let y be 2/7 + (-24)/t. Suppose -y*s = -6*s + 24. Is 5 a factor of s?
False
Suppose 3*v - 2*v = 0. Suppose v = l - 2*m - 70, 3*l + 2*m - 55 = 139. Suppose 5*c + 3*f = c + 71, 4*c + 2*f - l = 0. Is 5 a factor of c?
False
Let w(j) = j**3 - 11*j**2 + 3*j - 16. Let p be ((-3)/(-9))/((-3)/(-99)). Is w(p) a multiple of 17?
True
Suppose 153 = 2*b - 111. Does 22 divide b?
True
Suppose 0 = s - 2*f - 10, -5*s + 0*f + 2*f + 66 = 0. Suppose -5*h + 14 + s = n, 3*n + h = 112. Does 9 divide n?
False
Suppose 7*d - 4 = 5*d. Let j(b) = b**3 - b**2 + 2*b - 2. Is j(d) a multiple of 6?
True
Suppose -d = 0, -5*y - 4*d = -2*y + 3. Is 30 a factor of ((-75)/(-10))/(y/(-4))?
True
Let v(s) = s**2 - 7*s. Let o be v(7). Suppose -2*t = -2*w - 6*t + 28, -3*w + 5*t + 64 = 0. Suppose w + o = 3*u. Does 2 divide u?
True
Suppose -4*o + 68 = -2*n + 14, 4*n + 12 = 0. Is 4 a factor of o?
True
Suppose 0 = -6*c + 16 + 20. Does 6 divide c?
True
Suppose -2*m = 2*m - 8. Let x(y) = 0*y + y + 5*y**3 - 4*y**3 + 3*y**m + 1. Is x(-2) a multiple of 3?
True
Let g(b) = -8*b - 4*b - 10 + 8*b. Is 20 a factor of g(-8)?
False
Suppose -5*y = -2*s + 10 + 6, -3*y = s + 3. Does 9 divide (-7)/(56/60)*y?
False
Does 7 divide 1 + -2 + (24 - -1)?
False
Let a = -7 + 1. Is 5 a factor of 15/a*-4 + 4?
False
Suppose 4*a = 3*a + 5. Let b = -3 + a. Let f = 20 - b. Does 6 divide f?
True
Suppose -5*m = -2*m - 4*t + 188, 4*m + 246 = 3*t. Is 15 a factor of -9 - -7 - (0 + m)?
False
Suppose -f = -5*f + 120. Is f a multiple of 6?
True
Let n = 56 - 27. Suppose 30 = k - n. Is 29 a factor of k?
False
Let i = -4 - -6. Suppose -3*x = i*x - 60. Does 7 divide x?
False
Suppose -5*g = -15 + 45. Let o = g + 8. Suppose -3*c + 54 = o*d, 2*d + c + 4*c - 54 = 0. Does 13 divide d?
False
Let n = 1 - 2. Let i be (2/6)/(n/(-15)). Suppose i*h + 32 = 172. Is 14 a factor of h?
True
Suppose 3 = f - 2*f. Is f + 0 + -3 + 18 a multiple of 4?
True
Suppose 0 = -2*l + 5*l + 66. Let y = -46 - -92. Let a = y + l. Is 9 a factor of a?
False
Let i be (8/10)/(2/5). Let l be ((-8)/14)/(2/(-7)). Suppose -3*q - 4*b + l*b = -97, 4*b = i*q - 86. Does 14 divide q?
False
Let y = -8 + 8. Suppose y = 3*r + 13 - 70. Suppose 5*v - 4*a - r = 2*v, 2*v - 20 = -a. Is v a multiple of 6?
False
Let m be ((-2)/(-4))/(3/30). Let w(f) = f**2 + f - 1. Let l(t) = 4*t**2 - 2*t - 8. Let q(n) = -l(n) + 3*w(n). Is q(m) a multiple of 4?
False
Let m = -48 - -95. Let l = 68 - m. Is l a multiple of 17?
False
Let z(n) = -18*n + 2. Is z(-1) a multiple of 10?
True
Suppose 0 = -3*s - s. Suppose 0 = c + 2*t - 63, s = -2*t - 3*t - 5. Does 24 divide c?
False
Suppose p + 4*p + 100 = 0. Let t = 36 + p. Does 7 divide t?
False
Suppose -2*f - 2*i = -0*f + 14, 0 = -3*f - 4*i - 26. Let s(x) = -x**3 - x - 1. Does 6 divide s(f)?
False
Suppose 5*w + 15 = 5*z, -4*w - 1 = z - 4. Suppose -v + 37 = -0*v - z*r, -3*v = -2*r - 76. Does 14 divide v?
False
Let t be 3*-3*(-16)/36. Suppose -t*d = 110 - 390. Is d a multiple of 27?
False
Suppose 2*s - 44 = -2*s. Let m = s - 7. Is m/(-6)*-4*12 a multiple of 14?
False
Let j(m) = m**3 + 9*m**2 - 3*m - 13. Let n be j(-9). Let x = n + -7. Is 7 a factor of x?
True
Let h be (4/5)/((-2)/(-10)). Suppose -p = -h*p + 9. Is p a multiple of 2?
False
Suppose -4*r - 2*r = -732. Is r a multiple of 4?
False
Suppose -3*z = -3*g - 84, -25 = -z - 0*z - 2*g. Does 14 divide z?
False
Let c(o) be the first derivative of -7*o**4/4 + o**2/2 + 5. Is 6 a factor of c(-1)?
True
Let r = 43 + 11. Is r a multiple of 18?
True
Suppose -10*p - 4 = -6*p. Does 6 divide 13 - (2 + p)/1?
True
Let t(r) = r + 3. Let k(z) = z**2 + 2*z + 2. Let h(i) = -i**3 + 9*i**2 - 7*i - 11. Let q be h(8). Let j be k(q). Is t(j) a multiple of 4?
True
Let j be -11*(-2)/(-2 + 4). Let m = 16 - j. Does 16 divide 108/2 - (m + -6)?
False
Suppose -2*t + 4 = -6. Is t a multiple of 2?
False
Suppose 6*j - 2*j = 16. Suppose 17 = o - j. Is 21 a factor of o?
True
Suppose -2*y - 5*n + 74 = 0, -5*n = 3 + 7. Does 21 divide y?
True
Let d(n) = -8*n - 10. Does 3 divide d(-2)?
True
Let u(x) = 4*x - 2 + 2. Suppose -4 = -y + 2. Is 12 a factor of u(y)?
True
Let h(n) = 51*n - 1. Suppose 2*t + 18 = 4*t - 3*c, -16 = -4*t + c. Let j be h(t). Suppose 3*w + w = j. Is w a multiple of 19?
True
Let l(q) = q**2 - 2*q - 5. Let x be l(0). Let n(c) = 3*c - 8*c - c - 7 + 5*c**2 + c**3. Is n(x) a multiple of 11?
False
Let r = 44 + 9. Is 3 a factor of r?
False
Suppose 3*j = 2*p - 41, -p - 4*j = 3*p - 32. Is 8 a factor of p?
False
Suppose 4*w = -5*k + 305, 2*w + 4*k - 90 = w. Is w a multiple of 14?
True
Let o(c) be the third derivative of c**5/60 - c**4/8 + c**3/2 + 3*c**2. Let s be o(3). Suppose -4*l + g = -101, s*l - l = -4*g + 28. Is 12 a factor of l?
True
Let z be 34/4 - 3/(-6). Let s be 0*(2 - z/6). Suppose s = -2*b - 2*b + 168. Is b a multiple of 21?
True
Suppose 136 = 2*d + 5*i, d - 317 = -4*d - i. Does 7 divide d?
True
Suppose 4*h - 3 = 3*h. Suppose 0 = 3*m + f, m + 5 + 3 = -h*f. Suppose i + g = 45, 0 = 3*g - 5 - m. Is i a multiple of 15?
False
Is 1*(6 + -5) - -5 a multiple of 4?
False
Suppose a - 19 = 3*v, -2*a - 19 = 3*v - 3. Let m(n) be the second derivative of -5*n**3/6 - 4*n**2 - n. Is m(v) a multiple of 14?
False
Suppose 4*t - 101 - 7 = 0. Is t a multiple of 14?
False
Suppose -5*b + 73 = 18. Suppose 4*m - l - 10 = 0, 5*m + 5*l - b = 14. Is m a multiple of 3?
True
Suppose m = 4*m. Suppose 4*t + 5*l - 45 = m, -6*t + 5*l = -2*t - 35. Is 4 a factor of t?
False
Let k(n) = -4*n + 4 - 4 - 1. Let z(r) = r**3 + 5*r**2 - r - 7. Let w be z(-5). Is k(w) a multiple of 3?
False
Let h(m) = -m**2 + 3*m + 2. Let g be h(2). Suppose -g*x + 6*z = z - 101, -2*z - 98 = -4*x. Does 12 divide x?
True
Suppose 2*r = -7*r + 360. Does 10 divide r?
True
Let g = 305 - 217. Is g a multiple of 44?
True
Suppose -3*h = 0, -8 = -2*f - 5*h + 4. Suppose -12 = -f*s + 3*s. Suppose -d - 4*b + 24 = 0, -5*b + s = -4*d - b. Does 4 divide d?
True
Suppose h + 52 = 5*c, h = -2 - 0. Does 5 divide c?
True
Let w = 360 + -200. Does 32 divide w?
True
Let p be 702/15 + 1/5. Suppose 5*j - 2 = -p. Is 12 a factor of (0 + 8/(-6))*j?
True
Let k(a) = -4*a**3 + 2*a**2 + 7*a - 1. Is k(-3) a multiple of 15?
False
Suppose o + 5*p - 29 = -3*o, -2*o + 9 = -3*p. Let w(d) = 2*d**2 + 8*d + 2. Let f be w(o). Let m = f - 71. Does 17 divide m?
True
Let d = 471 + -12. Is 60 a factor of d?
False
Suppose 20 = 11*s - 7*s. Is 5 a factor of s?
True
Let z(c) = 2*c**2 - 6*c - 3. Let b = -69 - -31. Let n be b/(-6) + (-2)/6. Is 13 a factor of z(n)?
False
Suppose 2*y - 7*y = -2*a - 1835, 3*y - 1132 = -5*a. Is 55 a factor of y?
False
Let p(s) = -s**3 + 11*s**2 + 4*s - 5. Does 12 divide p(11)?
False
Let t be 2/(-10) - (-5)/25. Suppose t = 5*c + 14 - 244. Suppose 5*p - 139 = c. Is 12 a factor of p?
False
Suppose -4*x + 4*r = 0, -2*x - x - 5*r = 0. Suppose x = -3*f + 69 + 51. Does 11 divide f?
False
Let u be 0*((-5)/(-2) - 2). Let l = -2 + u. Does 3 divide 6 - (2 + (l - 0))?
True
Let s(v) = v**3 - 6*v**2 - 5*v. Let d(m) = m**3 - 6*m**2 - 6*m + 1. L