, -m*w + 52 = 4*k. Is k a multiple of 6?
False
Let s(a) = -a**2 + 7*a + 7. Let z be s(7). Let k = z + 6. Is k a multiple of 13?
True
Let l be 16/7 + (-10)/35. Let p be (3 - 5) + l + 2. Suppose g = -3*h + 104, 2*h - 91 + 19 = -p*g. Is 17 a factor of h?
True
Let v(y) = -y - 5. Let x be v(-5). Let q = 14 + x. Is q a multiple of 8?
False
Let z = 13 - 9. Suppose 0*w = z*w - 204. Suppose 5*a - w = 49. Is 16 a factor of a?
False
Let t(b) = 2 + 2*b**2 - 3*b**2 - b**3 + 0*b**2 + b. Let z(w) = w**2 - w - 2. Let j be z(0). Is t(j) a multiple of 4?
True
Let k be (2/6)/((-1)/(-15)). Suppose i = -0*i + k. Suppose 4*y + i - 17 = -2*n, 39 = 5*n + y. Is n a multiple of 8?
True
Let o = 375 + -235. Is o a multiple of 20?
True
Suppose r + 4*r = -170. Let y = r - -82. Let d = y + -28. Is d a multiple of 10?
True
Let k = 295 + -159. Does 24 divide k?
False
Suppose -j = -2*p - 3*j, 2*p = -5*j. Let r(f) = 12 + f + f**2 - f. Does 6 divide r(p)?
True
Suppose -4*i = -r + 29, i - 3*r = -5*r - 14. Is ((-20)/i - 1)*4 even?
True
Suppose 13 = 5*y - 17. Does 16 divide (8/y)/((-2)/(-60))?
False
Let m be (-8)/(-5) + (-6)/(-15). Is 11 a factor of 36/30*55/m?
True
Let o = 43 - 21. Is o a multiple of 5?
False
Let x = 26 + -38. Let t = 11 - 6. Does 2 divide (t/10)/((-2)/x)?
False
Suppose l = -2*l + 153. Let p = 91 - l. Is 10 a factor of p?
True
Let a be (-3 + 7/2)*4. Suppose a*l - 21 = 11. Does 8 divide l?
True
Suppose 2*z = -2*y - 12 + 132, 0 = -5*z - 2*y + 315. Suppose 0*g - z = -5*g. Is g a multiple of 11?
False
Let f(i) = i + 6. Let u(j) = 4*j + 31. Let n be 4/10*10/(-2). Let g(t) = n*u(t) + 11*f(t). Does 8 divide g(4)?
True
Let o = 163 - 71. Is o a multiple of 23?
True
Let h be (-13 - -2)/((-1)/6). Let x = 16 + h. Suppose -m = m - x. Is 15 a factor of m?
False
Let d = -51 + 95. Suppose 0*p - d = -p. Is p a multiple of 25?
False
Does 11 divide (1*-35)/(0 + -1)?
False
Let q(r) be the second derivative of -2*r**2 + 2*r - 1/20*r**5 + 0 - 1/2*r**4 + 2/3*r**3. Does 8 divide q(-7)?
False
Suppose 3*v + 352 = -5*g, 3*g + 2*v + 200 = -12. Is (g/5)/((-4)/10) a multiple of 14?
False
Let n(r) be the second derivative of r**5/20 + r**4/12 - r**3/6 - r**2 - 7*r. Is n(2) a multiple of 8?
True
Suppose 5*t - 3*j = 54, -t + 6*t + 3*j - 36 = 0. Is t a multiple of 4?
False
Let l(d) = d**2 + 4*d + 3. Suppose 0 = -3*m + 15, 2*s + 9 = 2*m + 3. Suppose -s*v - 16 = 2*v. Does 2 divide l(v)?
False
Suppose -i - 2*i = -27. Suppose 5*k - 3*d = -d + 38, i = k + d. Is 4 a factor of k?
True
Let c = 65 + -47. Does 6 divide c?
True
Let w(f) = -1 + 1 - 3*f + f**2 - 3. Let n be w(5). Suppose -3*a + n*a = 44. Is a a multiple of 11?
True
Suppose 4*g - 235 = -g. Is g a multiple of 15?
False
Let a(b) = -75*b**2 + 7*b + 5. Let k(f) = -38*f**2 + 4*f + 3. Let o(v) = -3*a(v) + 5*k(v). Is 17 a factor of o(-1)?
False
Does 10 divide 3 + (0 - -4 - -70)?
False
Let a(z) = z**2 + 6*z + 5. Let t be a(-6). Suppose -t*q = -2*d - 152, -5*q + 0*d = -5*d - 155. Is 14 a factor of q?
False
Let p = 160 + -112. Is 22 a factor of p?
False
Let v = -6 - -10. Suppose -3*i - q = v*q - 145, 5*q = 3*i - 125. Is 11 a factor of i?
False
Let o(d) = 9*d - 9. Is 18 a factor of o(6)?
False
Suppose 0 = -5*r + l + l + 271, 2*l = -2*r + 100. Does 9 divide r?
False
Suppose 8*k - 25 = 3*k. Is k a multiple of 3?
False
Let y(w) = 14*w**3 + 2*w**2 - 1. Let i be y(1). Suppose -4*k + 208 = 44. Suppose -i - k = -4*q. Does 10 divide q?
False
Suppose v - 2 = 0, 70 = 2*s + 2*s - 5*v. Suppose -j = -0*j - s. Is j a multiple of 10?
True
Let s(x) = -x + 7. Let r be s(7). Suppose -5*g + 6*v = v, r = -v. Suppose -4*h - h + 35 = g. Is 7 a factor of h?
True
Let c(q) = -4 + q**3 + q**2 - 2 - 3*q**2. Let v be c(5). Suppose -d = 2*d - v. Is 9 a factor of d?
False
Let d(w) = w**2 - 7*w + 30. Is d(15) a multiple of 16?
False
Let a = 16 - 9. Let w(p) = p**2 - 7*p + 3. Let q be w(7). Suppose -a*n + q*n = -24. Is 6 a factor of n?
True
Suppose 3*a = -4*c + 6, -4*a - a + 10 = -c. Is 13 a factor of (42 - (3 + 0)) + c?
True
Let p(a) = 11*a + 2. Does 34 divide p(6)?
True
Suppose -5*s - 181 = -696. Is s a multiple of 19?
False
Let p = 12 - -5. Does 6 divide p?
False
Suppose -2*i - z + 97 = 4*z, -113 = -3*i - z. Does 9 divide i?
True
Let f(q) = -q**2 + 3*q - 2. Let u be f(4). Let i = -3 - u. Is i a multiple of 3?
True
Suppose -g = -w - 8, -4*g - 2*w + 3 + 29 = 0. Suppose -6*z = -g*z + 84. Is z a multiple of 14?
True
Suppose 4*q - 151 + 43 = 0. Is q a multiple of 9?
True
Does 4 divide -2*5/((-40)/148)?
False
Let l(u) = -9*u - 7. Is l(-4) a multiple of 6?
False
Suppose -s - 35 = -71. Is s a multiple of 18?
True
Let y be 2/3 - 2020/(-12). Suppose 5*q - 6*b - 238 = -2*b, 0 = 3*b - 9. Suppose 5*p - 4*g - q = 124, 5*p - y = -g. Does 17 divide p?
True
Let b(x) = 14*x + 12. Does 30 divide b(12)?
True
Suppose 5 = 5*o - 30. Does 7 divide o?
True
Suppose 3*r + 2*b = 5*b - 15, b - 1 = -3*r. Let t(p) = 73*p**2 + p + 1. Let c be t(r). Let l = c - 41. Is l a multiple of 16?
True
Let q(h) = 79*h**3 + 2*h**2 - 2*h + 1. Does 20 divide q(1)?
True
Suppose -14*g - g = -750. Does 25 divide g?
True
Let h(l) be the third derivative of l**5/60 + l**4/24 + 3*l**2. Let t be h(0). Suppose -u + 6*u - 75 = t. Does 6 divide u?
False
Suppose -4*q = -17 - 3. Is 15 a factor of 0 + q + -2 + 42?
True
Suppose 4*a - 144 = -2*a. Is 24 a factor of a?
True
Let v(h) = h**2 + 9*h + 11. Let s = -19 + 11. Let f be v(s). Suppose p - 40 = -f*p. Is p a multiple of 10?
True
Suppose -9*d + 4*d + 85 = 0. Is 2 a factor of d?
False
Let y be 3*((-1)/1)/(-1). Suppose 9 = y*v, -2*l - 7 = -2*v - 41. Does 10 divide l?
True
Let u(j) be the first derivative of -3*j**2/2 + j - 1. Is u(-11) a multiple of 16?
False
Is 10 a factor of -11*2*(-3 - -1)?
False
Suppose -f = -3 - 2. Let n(l) = -l**2 - f*l**3 + 2*l - 3 + 4*l**3 + 0*l**2. Is n(-3) a multiple of 9?
True
Suppose 5*p - 2*p - 36 = 0. Is p a multiple of 7?
False
Suppose -12*z + 8*z + 344 = 0. Is z a multiple of 10?
False
Suppose 3*b - b = 30. Let u be -3*(-1)/(9/b). Suppose -2*f - 3*f + u*l = -200, 4*f = -3*l + 153. Does 26 divide f?
False
Let z(h) = -h - 7. Let o be 1/4 + 21/(-4). Let i be z(o). Is 24 a factor of (i - 0) + (38 - 1)?
False
Let x = -19 + 29. Suppose -2*y + 96 = -x. Is 15 a factor of y?
False
Let n = -27 + 43. Is n a multiple of 8?
True
Let m be (0/(-1))/(3/(-1)). Suppose 5*b + 77 - 292 = m. Does 11 divide b?
False
Let u = -18 + 20. Suppose 3*v + 64 = u*n + 2*n, n - 16 = 4*v. Is n a multiple of 16?
True
Let o be 2/(-5) + 10/25. Suppose 5*m + 25 = o, w = -5*m + m + 36. Is w a multiple of 14?
True
Suppose 3*j - 14 = 4. Does 3 divide j?
True
Suppose 4*o - 128 = -5*z, -o = 7*z - 3*z - 98. Let q = 6 + z. Is 15 a factor of q?
True
Suppose 0*y = 5*y, -46 = -f + 2*y. Is 23 a factor of f?
True
Let a(h) = -h**2 - 10*h - 11. Let z be a(-8). Suppose -5*f + 5840 = z*y, 5*f - 5*y + 1969 - 7819 = 0. Is f/35 + 4/(-10) a multiple of 11?
True
Suppose 3*o - 21 = h + 106, -o + 3*h = -37. Does 34 divide o?
False
Let h be 1 - -2 - (27 - -1). Let l = h - -59. Is 13 a factor of l?
False
Let s(d) = -d**3 + d**2 + d. Let c(u) = u - 4. Let r be c(2). Does 7 divide s(r)?
False
Suppose 3 + 4 = -r. Let a = -3 - r. Suppose -c + q + 68 = -a*q, -4*q = -2*c + 112. Is 17 a factor of c?
False
Suppose 5*v - 237 = -4*s, 3*s = v + 17 - 53. Is 9 a factor of v?
True
Let i(f) = f**2 + f - 12. Is i(-8) a multiple of 5?
False
Let y = -48 - -68. Does 15 divide y?
False
Let j(l) = 3*l**2 + 5*l - 3. Does 6 divide j(-4)?
False
Let r = 106 + 114. Is 17 a factor of r?
False
Suppose 4*p + 2*h - 4 = 0, p + 0*h - h = 4. Suppose 7*l - 4*l - 155 = 4*b, -p*b - 100 = -2*l. Is 22 a factor of l?
False
Let d = 17 - 9. Suppose 0 = -4*o + 24 + d. Is 4 a factor of o?
True
Let z(d) = d**2 - d - 1. Let y(r) = -2*r**2 + 2*r + 3. Let s(t) = 4*y(t) + 7*z(t). Let b be s(5). Is (-342)/b - (-1)/5 a multiple of 10?
False
Suppose 5*y - 10*y + 1055 = 0. Suppose 69 + y = 4*l. Suppose l = p + 4*p. Does 14 divide p?
True
Is 12 a factor of (-1)/2*10*-3?
False
Suppose -2 = 4*x + 2. Let o = 1 - x. Suppose 0*b = o*b - 32. Is b a multiple of 8?
True
Let l = 10 + -5. Suppose -l*p = -2 + 12, 5*p = -2*i + 38. Does 12 divide i?
True
Let a(m) = -8*m + 2*m**2 - 3*m**2 - 6 + 0. Let t be a(-7). Let x = 17 - t. Does 8 divide x?
True
Let j be (3 - 2) + 1*7. Let l be 