707. Suppose -5*k + 1367 = -4*z - 1718, 3*z - 1234 = -r*k. Is 48 a factor of k?
False
Does 48 divide 21 - (-4069)/(-195) - 878246/(-30)?
False
Let d(m) be the first derivative of -m**3/3 - 9*m**2 - 21*m - 5. Let o(s) = -s - 1. Let y(r) = -d(r) + 6*o(r). Is 7 a factor of y(-17)?
False
Suppose 529 = 2*x - z, 433 = x - z + 168. Suppose 2*k = -5*j - 3*k - 405, 3*j = 4*k - x. Let g = j - -317. Is g a multiple of 40?
False
Let z(w) = -w**3 - w**2 + 4*w + 2. Let b be z(-3). Suppose 0 = -b*y + 247 + 41. Let k = -16 + y. Is k a multiple of 10?
True
Suppose 11*z + 2346 - 12516 = 566. Does 4 divide z?
True
Is 7694 + 63/9 - (-1 - 6) a multiple of 182?
False
Let f = -1696 - -2850. Suppose -134 = 34*g - f. Does 5 divide g?
True
Let v(c) = -c**3 - 44*c**2 - 109*c + 266. Is 58 a factor of v(-46)?
True
Suppose 5*w = -5*x + 55, -5*w = 4*x - 47 - 0. Is -3 + 194 + (-16)/x a multiple of 21?
True
Suppose 5*a = -0*a + 3*y + 1585, 4*y - 340 = -a. Let f = a + -277. Does 43 divide f?
True
Suppose -w + 2*w - 4*m = -13, -4*w = -m - 8. Suppose -w*k = 7 - 16. Suppose -h - k*s + 4*s = -25, 3*h - 77 = 5*s. Does 3 divide h?
True
Suppose -133*l + 1277241 = 412076. Is 5 a factor of l?
True
Suppose 0 = -34*w + 14*w - 35280. Let j = -949 - w. Is j a multiple of 14?
False
Let h be 7/(42/36) - -2578. Is 27 a factor of -2 + 32/12 - h/(-12)?
True
Let a be (72/(-16) - 4/(-1))*0. Let r(x) = -34*x + 80. Is r(a) a multiple of 5?
True
Let i = -7369 + 10800. Is 193 a factor of i?
False
Suppose 0 = -4*x - 2*x + 24. Suppose -2*v + 6*i = 4*i - 1210, 615 = v + x*i. Does 32 divide v?
False
Suppose 4*w = m + 4891, -251*m + 254*m = w - 1209. Is 51 a factor of w?
True
Suppose -32*c = -27*c - d - 166677, 3*d = -6. Is c a multiple of 200?
False
Suppose -23*k - 216029 - 18115 = -39*k. Is 18 a factor of k?
True
Let i be (-9 - (5 + -10)) + 43*4. Suppose 4*d = 3*z + 5*d - 543, -4*d = -z + i. Does 15 divide z?
True
Suppose -z + 13595 = -5*v, 2*v + 88026 = 6*z + 6428. Does 16 divide z?
True
Suppose 115 - 311 = -7*y. Suppose 14*s - 7*s + y = 0. Is (-11 + s)*(-26)/5 a multiple of 39?
True
Suppose -3614 = -12*p + 3586. Is 8 a factor of 5/8 - 1 - (-144225)/p?
True
Does 208 divide ((-26 - -4) + 13)*25383/(-3)?
False
Suppose -4*t - 63 - 17 = 0. Let m be 22*(1/(-4) + 25/t). Is 20 a factor of 815/20 - (m/(-12) + -2)?
True
Let h = -36358 + 37047. Is 2 a factor of h?
False
Let t = -93 - -99. Suppose -t*o + 182 = 7*o. Is 24 + o - 6/(-2) a multiple of 41?
True
Is 15 a factor of 5 + (-62232 + 2)/(-10)?
False
Let b = 20 - 2. Let o(t) = t**2 + 0*t**2 + b*t + 31 + 2*t**2 - 12. Does 12 divide o(-6)?
False
Let b(m) = -120*m**3 + m**2 + 4*m + 2. Let y be b(-1). Let i = -80 + y. Is i a multiple of 26?
False
Suppose 4*c + 5*f - 48955 = 0, 6*c + 3*f + 36777 = 9*c. Does 14 divide c?
True
Let x = 225 + -502. Let r = x - -349. Is 4 a factor of r?
True
Let l(c) = c**2 - 15*c - 53501 + 5*c + 53517. Let y be (-6)/9*18/(-1). Does 10 divide l(y)?
True
Let o = 15624 - -3927. Is o a multiple of 21?
True
Let x(z) = 15*z**2 + 27*z + 10. Let u be x(-10). Suppose -70 + u = 5*q. Is 39 a factor of q?
True
Suppose -10 = 2*q, -32*q + 33*q - 3945 = 5*d. Let g = d + 1240. Is g a multiple of 9?
True
Does 170 divide 12596/1 - (-30)/(-3) - (8 + -2)?
True
Let f(b) = 7*b**2 + 33*b - 562. Is 60 a factor of f(23)?
True
Let o(n) = -82*n + 64. Let l be o(9). Let x = l - -986. Is 28 a factor of x?
False
Let b(v) = 107*v**2 + 4*v - 1. Let k(c) = -2*c - 6. Let r be k(-4). Is b(r) a multiple of 15?
True
Let f(g) = 68*g**2 + 5*g + 35. Is f(-8) a multiple of 63?
True
Suppose -109 = 7*j + 52. Let l(g) = -11*g - 20. Let y(p) = p + 1. Let v(u) = l(u) + 6*y(u). Is v(j) a multiple of 9?
False
Is 5 a factor of 4 - (-381171)/24 - (-4)/(-288)*9?
False
Is 74 a factor of (844/10)/(14/(-21560)*-22)?
False
Suppose 0 = -4*m + m + 4*v + 14040, 0 = -4*m - 5*v + 18720. Suppose -10*j = -6*j - m. Is 18 a factor of j?
True
Suppose 4*n = -16, -2*u + 0*n - 2*n + 34 = 0. Suppose 0 = -u*d + 19*d + 80. Suppose -5*s + 1290 = -d. Is 14 a factor of s?
True
Let w be (-9)/(-3)*(7 - 6). Let a(y) = -y**3 + 15*y**2 - 2*y**3 + 0*y**3 - 18*y + 4 + 2*y**w. Is a(13) a multiple of 36?
True
Let k be 1374/(-24) + 1/4. Let m = 56 + k. Is 2 a factor of 4*m/((-5)/((-225)/(-12)))?
False
Let n be (-243)/18*(-4)/6. Is 23 a factor of (4328/6)/(96/n + -10)?
False
Let c be 21/(-28) + (-7)/(-4). Is (-300)/(-1050) - ((-1466)/14 + c) a multiple of 10?
False
Let s be (-129)/(-7) - 6 - (-6)/(-14). Is 25 a factor of ((-1050)/28)/(1 + (-15)/s)?
True
Suppose -w + 4*f - 6 = -f, 8 = 3*w - 2*f. Suppose -w*k - j = -199, 3*k - 22 = -5*j + 106. Is k a multiple of 22?
False
Suppose -30*a = -26*a - 12. Let x = a + 78. Suppose 0 = 7*m - 4*m - x. Is m a multiple of 5?
False
Suppose 5*k + 4*y - 6*y - 3996 = 0, 0 = -4*k - 3*y + 3183. Suppose -10*c + 8*c = k. Is 6 a factor of (4/6)/((-14)/c)?
False
Let n = 4152 + -3960. Does 16 divide n?
True
Let j(q) = -6*q + 42. Suppose -3*z + 19 = 3*p - 4*z, 3*p = -4*z - 1. Suppose l = -3*a - 0*a + 14, -2*l + 22 = p*a. Is j(a) a multiple of 2?
True
Suppose 7*t - 59 = 53. Suppose m - 76 = g + t, 0 = -2*m - 2*g + 164. Is 29 a factor of m?
True
Suppose -3*r + 44772 - 8580 = 5*o, 4*o - 28940 = r. Is o a multiple of 12?
True
Let l(q) = q**3 + 6*q**2 - 5*q + 8. Let y be l(-5). Let c = y - 189. Let u = -86 - c. Is u a multiple of 45?
True
Let u = -3892 + 8595. Is u a multiple of 42?
False
Suppose -7*z + 2*z = 0. Suppose z = 2*c - 3*o + 8*o - 162, -2*c + o = -150. Let n = c + -10. Is n a multiple of 11?
True
Suppose 0 = -4*m - i + 2614, -2*i = m - 0*m - 657. Let a = m - 929. Let f = a - -406. Does 10 divide f?
True
Let l(f) = -19*f**3 + 5*f**2 + 5*f + 2. Let v(r) = -39*r**3 + 9*r**2 + 10*r + 5. Let w(k) = -5*l(k) + 3*v(k). Does 6 divide w(-2)?
False
Let t be (-124)/(-44) + 2/11. Suppose -h = -t*x + 3 + 5, -4*h + 12 = -x. Suppose -3*b = -x*b + 51. Is 17 a factor of b?
True
Let q be -5*(-14)/(-35) + 14. Suppose -4189 = -q*y + 1619. Does 13 divide y?
False
Let u be 735/(-10)*(-8)/6. Let a = -93 + u. Suppose 2*g + 221 = a*m + 3*g, 3*g = -3*m + 123. Is 9 a factor of m?
True
Let z = 73303 + -41497. Is z a multiple of 93?
True
Suppose -2*q + 17954 = -86*f + 91*f, 4*f = -3*q + 26938. Is 18 a factor of q?
True
Let x = -479 + 506. Suppose -x*i + 28*i = 203. Is 29 a factor of i?
True
Let v = 1830 + 13506. Does 71 divide v?
True
Let t = 93 + -94. Does 16 divide t/9 - 921/(-27)?
False
Suppose 23*h = 16*h - 112. Let c be 0 + -2 + (0 - -17 - -4). Let r = c + h. Is r a multiple of 2?
False
Let z be (0 - -2) + (17 - 164). Let c = -118 - z. Does 2 divide c?
False
Suppose -13*o + 58*o = 27090. Is -17*11/(-187)*o/2 a multiple of 11?
False
Let d = -208 - -10. Let y = d + 502. Does 38 divide y?
True
Let j(u) be the third derivative of -53*u**4/24 + 137*u**3/6 + 26*u**2 - 3. Is j(-20) a multiple of 63?
True
Suppose -32*p + 12*p + 55*p - 5355 = 0. Suppose -2*j + 5*j + 2*c - 478 = 0, 0 = 4*j - c - 652. Suppose p = 5*x - j. Is x a multiple of 30?
False
Suppose -g + 7 = 5. Does 17 divide (31 - -3)*(40 + 0)/g?
True
Let y be -8 + (-2)/7*(-126)/(-18). Let l = 3 - y. Does 13 divide l?
True
Let n = -4985 - -9130. Is n a multiple of 105?
False
Let q(z) = -z**3 + 6*z**2 - 8*z + 11. Let f be q(5). Does 3 divide (-113 + f)/((-3)/2)?
True
Suppose 0*t - 4*v = -2*t - 12, 4*v = 4*t + 8. Suppose -t*g + 5*g - 6 = 0, -3*w - 4*g = -140. Is w a multiple of 11?
True
Let b be (5 - -7 - 7) + (-13)/(-1). Suppose p + b*p - 589 = 0. Is 31 a factor of p?
True
Suppose -5*j + 8 + 2 = -p, -3*j + 3*p = -6. Suppose j*t = -1 + 5. Suppose -t*s - 2 = -5*v - 63, -3*v - 15 = 0. Is s a multiple of 6?
True
Let z = -122 - -59. Let q be (-3)/(z/(-15)) + 2/(-7). Is (144/(-60))/(q/55) a multiple of 12?
True
Let q(u) be the first derivative of u**3/3 + u**2/2 - 2*u + 6. Let t be q(-3). Is (-2)/((-360)/(-92) - t) a multiple of 23?
True
Suppose -8*u = -7*u - 9. Suppose -8*v + u*v - 217 = 0. Is 23 a factor of v?
False
Is 62 a factor of 6/7 - (1 + -1 - (-5018940)/(-315))?
True
Let h be 8/3*30/40. Suppose 0 = 2*z - 102 - h. Does 6 divide z?
False
Suppose 534*f + 37300 = 544*f. Suppose 24*r - f = 19*r. Is r a multiple of 18?
False
Suppose 2*a - 47 = -49, a + 358 = m. Is 17 a factor of m?
True
Is 75/10*(-12 + -5)*4/(-6) a multiple of 2?
False
Let p be 0/((-10)/2 + 1). S