m - 9. Let l be w(-8). Let z be v(l). Suppose 0 = z*x - 6*x - 100. Is 8 a factor of x?
False
Suppose -5*q = 3*b - 28, -25*q = -2*b - 21*q + 48. Is 5 a factor of b?
False
Does 7 divide (-5)/100*-6 + (-650470)/(-100)?
False
Suppose 14*i = -3*w + 13*i + 27797, 4*w = -i + 37061. Is w a multiple of 16?
True
Suppose 2*y + 2 + 6 = 0, 0 = -5*z + 3*y + 57. Suppose -9 = -z*a + 8*a. Suppose 2*j - 17 = a. Is j a multiple of 3?
False
Let t(y) = 1148*y - 473. Is t(11) a multiple of 187?
True
Suppose -2*p + 4*o - 971 + 20273 = 0, -1 = -o. Is 49 a factor of p?
True
Let t = 8314 - -17198. Does 24 divide t?
True
Does 93 divide 1*6 + -1 - (1731 + -12979)?
True
Let q(m) = 19*m + 19. Suppose 0 = -35*j + 177 + 138. Is q(j) a multiple of 19?
True
Suppose 9*q = -40*q - 9*q + 775982. Is q a multiple of 52?
False
Let f = 3238 - 2158. Let g = f + 162. Is 26 a factor of g?
False
Let l = -1834 - -10642. Does 4 divide l?
True
Let c(f) = f**3 - 26*f**2 + 65*f - 154. Does 19 divide c(28)?
False
Let o be (1*-97*1)/(19/(-76)). Suppose 427 - 1374 = -5*v + w, -5*w = -2*v + o. Does 27 divide v?
True
Suppose -6*q = 2*o - o - 152, -5*o + 2*q = -696. Suppose 26*n - 1966 = o. Is n a multiple of 81?
True
Let b = 118484 - 69570. Is b a multiple of 112?
False
Let c = 5 + -1. Let r be 36*(-20)/24*8/(-10). Suppose c*m + r = 8*m. Does 4 divide m?
False
Let g(o) = -4*o**2 + 165*o + 41. Is g(19) a multiple of 44?
False
Let r = -23 - -26. Suppose -8 = -r*k - k. Suppose -d - k*d = -336. Is d a multiple of 14?
True
Suppose 5*l = -2*q + 37, 3*q + l = 43 - 20. Let u = 15 - 45. Does 11 divide (-1330)/u + (-2)/q?
True
Let f(d) = -4*d - 41. Suppose 0 = -7*w - 0*w + 63. Let x be f(w). Let l = x + 105. Is 4 a factor of l?
True
Let n = -146 + 148. Does 9 divide 27/n + 2/(16/(-4))?
False
Let y be 8/(5 - (-5 + 8)). Suppose 15*q = y*q + 176. Is q a multiple of 8?
True
Suppose 5*j - 175142 = -5*x - 1992, 0 = 4*x - 3*j - 138562. Is x a multiple of 52?
False
Suppose 6*z = 20 + 34. Does 51 divide (-168)/z*((-153)/(-4))/(-1)?
True
Let d(t) be the third derivative of t**6/15 - t**5/12 + t**4/24 + t**3 + 12*t**2 - 4*t. Is d(3) a multiple of 15?
True
Suppose -j + 5*k + 305 = 0, -37 - 1293 = -4*j - 2*k. Suppose 5*g + 4*v - 5*v - 22 = 0, -g = v - 2. Does 5 divide (2/3)/(g/j)?
True
Does 80 divide ((-42)/(-14))/(2/3379*24/144)?
False
Suppose 2*w - 3*m - 46 = -m, w - 2*m = 24. Suppose w*g - 65 - 23 = 0. Is 4 a factor of g?
True
Suppose -21 = -u + d, 3*d = -u + 35 + 2. Let p = u - 2. Is p a multiple of 3?
False
Let w(m) = -m**2 + 5*m - 4. Let b be w(4). Suppose 4*z - 3*u - 34 = b, 4*u = 4 + 4. Is 3340/25 - (-4)/z a multiple of 32?
False
Let x(q) = 4*q - 34. Let s(g) = -7*g + 67. Let m(b) = 6*s(b) + 11*x(b). Let a be m(-13). Suppose -v = -l + 22, 4*l - a*v - 25 = 65. Does 3 divide l?
False
Let m(j) = j**3 + 8*j**2 + 4*j - 11. Let x be m(-13). Does 9 divide 6/(-48)*x*2?
False
Let h be -13 + -1 + -3 + 7. Let v = h + -50. Let b = v - -73. Does 13 divide b?
True
Let q(u) = -12*u - 38. Let z(a) = -a**3 - 4*a**2 - 2*a. Let y be z(-5). Let s = y + -44. Is q(s) a multiple of 14?
True
Let z = -147 + 258. Suppose 0 = a - 3*b + 48 + 17, 260 = -4*a - b. Let f = z + a. Is 24 a factor of f?
False
Suppose -62*b = 8*b + 1330. Let h(s) = -s**3 - 13*s**2 + 36*s - 10. Does 23 divide h(b)?
True
Suppose 0 = 4*c - 3*c - y - 21, 0 = 2*c + 4*y - 12. Suppose -5*p + 75 = b - 321, -4*b = c. Does 30 divide p?
False
Let j(m) = m**2 - 2. Suppose -n - 3 + 1 = 0. Let x be j(n). Does 31 divide ((-40)/3)/(x/(-6))?
False
Let g = 41 + -41. Suppose g = 3*m - 13 - 14. Suppose -3*a - 618 = -m*a. Is a a multiple of 21?
False
Let j(f) = -f**3 - 109*f**2 + 158*f + 1072. Is j(-111) a multiple of 14?
True
Suppose 5*h - 10100 = -3*c, 0 = -7*h + 6*h + c + 2020. Does 37 divide h?
False
Suppose -5*z = -3*w - 1089, 3*z = 108*w - 112*w + 607. Is 3 a factor of z?
True
Does 12 divide (-14)/8 + 1 + 28482/24 + 2?
True
Suppose -2*i - 12 = -4*q, -4*q + 36 = -0*i + 4*i. Suppose -i*f + 40 = 4*v, v + 0*v + 11 = 2*f. Suppose f*b - 5*b = 320. Does 16 divide b?
True
Let h = 26957 + -20259. Does 17 divide h?
True
Let s(r) = r**3 - 8*r**2 + 10*r - 10. Suppose -5*o + 4*p = -35, -8*p = -o - 4*p + 7. Does 11 divide s(o)?
True
Let o(l) = -l**3 - 6*l**2 + 6*l + 4. Let y be o(-5). Does 4 divide (-6)/(-9)*y/(-8)*12?
False
Let z be (4 - 0) + 760/(-10). Is 7 a factor of (-20)/40*(0 + 2) - z?
False
Is 8 a factor of 1 + 981 + 1 + 11 + -19?
False
Let g = 1 + 1. Suppose -g*w = -674 - 694. Is 12 a factor of w?
True
Is (12 - 134162/(-14)) + 18 a multiple of 5?
False
Suppose -9*g - 72 = -33*g. Let p(y) = y**2 - 2*y + 2. Let l be p(2). Is 2 a factor of -2*g/l*-1?
False
Suppose -2*k + 0 = 2, -11 = g - k. Let h be (g/4)/((-3)/748). Suppose -7*p - 188 = -h. Does 18 divide p?
False
Let i(p) = -10*p + 65. Let d be i(-3). Let u = 635 - d. Is 27 a factor of u?
True
Suppose -t - 85 = -6*t. Suppose 15*j = t*j - 80. Suppose -2*w + j = 3*w. Does 2 divide w?
True
Let d = 135 - -693. Suppose 2*k - d = l, -k - 2*k - l + 1252 = 0. Is k a multiple of 13?
True
Suppose -28350 = -123*t + 88*t. Is 15 a factor of t?
True
Is 67 a factor of 375255/35 - (150/(-105) + 1)?
False
Suppose 19*n = -3*q + 16*n + 16185, -n + 32395 = 6*q. Does 12 divide q?
True
Let h(m) = 22*m - 28. Suppose -5*y + 170 = -0*y. Suppose 0 = -4*z + y - 14. Does 12 divide h(z)?
False
Let a(i) be the third derivative of 97*i**4/12 + i**3/6 + 22*i**2. Let f be a(4). Suppose 9*j - f = 2*j. Is 29 a factor of j?
False
Suppose 0 = -4*g - 11*g + 45. Let o be (-2)/((-6)/33)*-6. Does 22 divide 6/g + (-2 - o)?
True
Suppose -3*g - 2*b + 204 = 0, -49*g + 47*g - b + 135 = 0. Suppose 819 + 1425 = g*q. Is q a multiple of 4?
False
Suppose -179 = 5*t - 714. Suppose -c - b = -t, -3*c + 5*b = -349 + 12. Let q = -67 + c. Is q a multiple of 6?
True
Does 13 divide 5 + -11 + -3385*10/(-2)?
False
Let z(g) = -g**3 + 10*g**2 + 8*g - 12. Let y be z(7). Let f be (-12)/(-1) + 6/6*0. Suppose -f*d = -y - 649. Is d a multiple of 10?
True
Suppose -1072*v - 4176 = -1075*v + 5760. Is v a multiple of 12?
True
Let v = 68 + 22. Suppose 1020 = 5*k + v. Does 13 divide k?
False
Suppose -3762 = -i + l, -2*l + 18810 = -4*i + 9*i. Is 22 a factor of i?
True
Suppose -o + 4 + 12 = 0. Let b = -59 + o. Let d = b - -50. Does 3 divide d?
False
Let v = 123 + -70. Suppose 307 = 5*a - 4*k, 12*k - 7*k + v = a. Is 24 a factor of a?
False
Let n be (-1602)/(-6) + -3 + 9. Let c = -63 + n. Does 11 divide c?
False
Suppose 4*v - 347 = 5*z, 2*z + 357 = 4*v - z. Let g = 40 - 21. Let m = v + g. Is 16 a factor of m?
True
Let l(m) = 3*m**3 - 4*m + 5. Let r be l(1). Suppose 63 = 13*u - r*u. Suppose 0 = -u*n + 20*n - 871. Does 11 divide n?
False
Let f be 16*-1*5/(-10). Let a be (f - -1)/((-6)/(-4)). Is 8 a factor of 67 - a*(-4)/(-8)?
True
Let k(h) = 36*h + 56. Let l be (18/(-12))/(8/(-16)). Is 29 a factor of k(l)?
False
Suppose 0 = -2*g + 3*y + 28404, 0 = -461*y + 466*y + 40. Is g a multiple of 7?
False
Suppose 2*j + u = -24, -5*j = -2*u + 4*u + 60. Let s = 9 + j. Let p(o) = -7*o**3 - 3*o**2 - 6. Is 26 a factor of p(s)?
True
Let m(q) be the third derivative of 49*q**6/120 - q**5/30 + 7*q**4/24 - 7*q**3/6 - 20*q**2. Does 13 divide m(1)?
False
Let d be 3/(-3) - ((-12)/(-3))/(-1). Let m be 9/d*10/15. Suppose m*n - r = 37, -n = -5*n - 2*r + 78. Is 3 a factor of n?
False
Let b(j) = 9*j + 1096. Does 25 divide b(-44)?
True
Suppose 20*s = -324098 + 948838. Does 96 divide s?
False
Let g(u) be the first derivative of -11/3*u**3 + 0*u + 1/4*u**4 - 13 + 8*u**2. Is g(11) a multiple of 50?
False
Let o(v) = 415*v**2 + 13*v - 23. Is o(4) a multiple of 13?
True
Let q(x) = -x**2 - 11*x + 25. Suppose -3*k - 197 = -2*z, z - 2*k = 122 - 23. Let d = -107 + z. Does 5 divide q(d)?
True
Let m be -8*2/4 - (-15 + 6). Suppose 0 = 3*i + f - 625, m*i + 2*f = 4*f + 1049. Is 19 a factor of i?
True
Suppose 5*s = -3*o + 2*o + 24, -4*s + 4 = -3*o. Is 61 a factor of -4 + -1 + 10*636/s?
False
Suppose 5*r - 16*r + 1160320 = 38*r. Does 128 divide r?
True
Let o(q) be the second derivative of -67*q**3/6 - 197*q**2/2 + 3*q + 3. Is 10 a factor of o(-11)?
True
Let i(w) = w**3 - 9*w**2 - 16*w + 39. Let x be i(10). Let m = x - -152. Is 16 a factor of m?
False
Let p(r) = -3*r + 7. Suppose 3*c - 4 - 2 = 2*f, -16 = -4*c. Let v be p(f). Does 6 divide -1 - (-352)/7 