5. Does 31 divide d(j)?
False
Suppose -4*r + 130 = -9*r. Is 32/(-6)*546/r a multiple of 56?
True
Let q(p) = -18*p + 2*p + 28 - 11. Let k be 92/(-15) + -2 - (-14)/105. Does 29 divide q(k)?
True
Suppose 3*w - 5*w + 4 = 0. Let g(i) be the third derivative of 17*i**4/24 - 15*i**2. Is 11 a factor of g(w)?
False
Let k(r) = 149*r**2 + 218*r + 1536. Is k(-9) a multiple of 10?
False
Let d(t) = -t**3 - 30*t**2 + 43*t + 1. Let u be d(-31). Let a = -201 - u. Is 5 a factor of a?
True
Suppose 2*m + 2*m - 36649 = -10557. Is 22 a factor of m?
False
Suppose -5*i + 36 = -5*w - 4, -w = -4*i + 38. Suppose -i*m - 2 = -11*m. Does 34 divide (m - 1)*(-22 - -117)?
False
Suppose 2*g + 4 = -c, -c = 4*g - 4*c + 28. Is 13 a factor of (76/(-24) - g)*366?
False
Let h(r) = 146*r**2 + 111*r - 611. Does 79 divide h(15)?
False
Let p = -365 + 137. Let s = p + 261. Does 4 divide s?
False
Let p = 94 - 92. Suppose -w = r - 6 + 3, p*r = w. Suppose -3*v - w*m + 59 = 0, 3*m - 77 = -4*v - 0*m. Does 12 divide v?
False
Suppose -4*x - 7 + 15 = 0. Suppose -x*l = 2*f - 7 + 1, 4*f - 2*l = 18. Suppose 0 = f*o - 5*g - 231, -4*o - 60 = -5*o - g. Does 50 divide o?
False
Suppose 0 = 5*u + 10 + 25. Let v(b) = b**2 + 8*b + 10. Let c be v(u). Suppose c*l = -3, 2*d + d - 2*l - 614 = 0. Does 34 divide d?
True
Suppose 3*d = -3*y - 42, 2*d + 5*y + 61 = -2*d. Let c(m) = -10*m - 84. Is c(d) a multiple of 6?
True
Let s(x) = x**3 + 65*x**2 + 140*x + 217. Is s(-61) a multiple of 81?
True
Let q = 352 + 1186. Suppose 2*k - 560 = j + 48, -2*j = 5*k - q. Is 9 a factor of k?
True
Let f(u) = -u**2 - 34*u + 10. Let p be f(-34). Suppose -2*v = -p, 4*h - 1338 = v - 3*v. Is 14 a factor of h?
False
Let l(q) = q**3 - 4*q**2 + 8*q - 5. Let u be l(2). Suppose -2*p + 391 = u*s, -52*p + 4*s + 212 = -51*p. Is p a multiple of 5?
True
Let o = -727 - -2007. Is 4/((-4)/(-6) - o/2064) a multiple of 28?
False
Let t(w) = -79*w - 70. Let p be t(12). Let c = -724 - p. Is 21 a factor of c?
True
Suppose 388539 = 117*j - 729864. Is 31 a factor of j?
False
Suppose 4*s - 37*s + 1217788 = 11*s. Does 13 divide s?
True
Let a = -85 + 78. Let x(b) = b**3 + 8*b**2 + 4*b - 9. Let z be x(a). Suppose -l - 270 = -5*c - 6*l, 4*l = -z. Is 9 a factor of c?
False
Let x = 11176 - 4406. Is 10 a factor of x?
True
Suppose -7*x = -5*i - 13*x + 30654, 2*i + 4*x = 12268. Does 39 divide i?
False
Suppose -362*s - 174715 = 361*s - 728*s. Does 83 divide s?
True
Let u = -1746 + 5136. Does 30 divide u?
True
Let w(m) = 2*m + 29. Let p be w(-14). Suppose 23*h - 24*h - p = 0. Is 45*(-3)/(-4 - h) a multiple of 9?
True
Suppose 4*x + 2 = 6*x. Let u be x/(2/40*-2*-2). Suppose 5*z - 600 = -u*d, -d = -5*d - 3*z + 484. Is d a multiple of 22?
False
Let a = 7 - 52. Suppose 7*j = 6*j - s + 34, 3*j - 107 = 2*s. Is (-9)/1*7/(j/a) a multiple of 9?
True
Let q(p) = -108*p - 68. Does 8 divide q(-5)?
True
Suppose -33*s + 266 = 101. Suppose 0 = -3*v - 3*p + 1812, -s*v + p + 2373 + 641 = 0. Is 9 a factor of v?
True
Is ((-11)/(220/90))/(((-20)/4)/1060) a multiple of 53?
True
Suppose -284*n = -251*n - 127048 + 6664. Is 48 a factor of n?
True
Let j = -148 - -152. Suppose -4*s = 4*k - 1384, -1718 = -j*k - k + s. Does 35 divide k?
False
Suppose 2*m + 2*q - 10 = 0, -3*m = -2*q - 6 - 4. Suppose -2*j - m*i + 30 = -42, 4*i = -4*j + 124. Does 13 divide j?
True
Let x(o) = -2*o**2 - 3*o - 1. Let n be x(-4). Let y be (-4)/(60/n) + (-6)/(-10). Suppose -y*m - 1359 = -11*m. Does 15 divide m?
False
Suppose 10*q + 44448 = 30*q - 4*q. Is 3 a factor of q?
True
Let y(p) = 23*p**2 + 3*p - 5. Let l be (-2 - (-42)/16) + (-12)/(-32). Is y(l) a multiple of 18?
False
Suppose 5*q - 28384 - 109556 = 0. Does 6 divide q?
True
Let g(b) = -b**3 + 10*b**2 - 23*b - 3. Let p be g(6). Suppose 0*z - 2*z = p*a - 431, 407 = 2*z - 5*a. Let v = z - 65. Is 22 a factor of v?
False
Is -10*((-11)/(-154)*-7 - (-542)/(-1)) a multiple of 12?
False
Suppose 0 - 12 = 4*a, i - 19 = 3*a. Suppose -6*y + 864 = i*y. Is 9 a factor of y?
True
Let b = 227 + -208. Let z(a) = 17*a - 77. Is 16 a factor of z(b)?
False
Let c be (5 - 8)*-5*6. Suppose -6*x + 114 = c. Suppose 561 = 4*z - s, -x*z - 2*s + 443 = -115. Is z a multiple of 20?
True
Let j be 4/(-7) - 2575/(-35). Suppose -3*a - x - j + 478 = 0, 274 = 2*a + 2*x. Does 53 divide a?
False
Let j(p) = 202*p + 8104. Is 20 a factor of j(88)?
True
Suppose 0 = -226*l + 213*l + 70889. Is 133 a factor of l?
True
Is 67 a factor of ((-2421)/(-6))/(8*(-21)/(-7168))?
False
Suppose 1125*a - 1111*a - 248878 = 0. Is a a multiple of 23?
False
Suppose 75243 + 7333 = 29*g - 135069. Is 108 a factor of g?
False
Suppose -5*j - 5*j + 160 = 0. Suppose 5*z = 3*m + 16, 3*z + 0*m = 5*m + j. Suppose 3*s - 301 = -2*w, -z*w + 4*s + 271 = s. Is w a multiple of 30?
False
Let s = -3352 - -4749. Is s a multiple of 2?
False
Let q(n) = 18*n + 24. Let o be q(-6). Let x = o - -80. Let b(w) = 6*w**2 - w + 4. Is b(x) a multiple of 12?
False
Suppose 3*j + 8*k - 225 = 7*k, -4*j = -2*k - 290. Does 3 divide j?
False
Let a be (-6)/(-5) + 168/35. Suppose -g + 229 = -5*y, -5*g + a*y + 1049 = 5*y. Does 11 divide g?
True
Let f = 9377 + -1953. Does 9 divide f?
False
Suppose -6*l - 3*l = -44*l + 67935. Does 10 divide l?
False
Let x be 68/(-153) + 40/9. Is 12 a factor of (-2)/x + 3*433/6?
True
Let p(u) = -59*u**2 + 5593*u + 83. Does 7 divide p(94)?
True
Let u be -1 + 3 + -5 - 562. Let a = -263 - u. Let t = a - 201. Is 12 a factor of t?
False
Suppose 27 = 13*s + 1. Suppose -5*u = -3*p + 396, 0 = -3*u + s*u. Is p a multiple of 5?
False
Suppose 3*n = -2*j - 14, 4*j + 4*n - 2*n + 20 = 0. Let t be -4 + 0/(j - -3). Let v(g) = -38*g + 32. Is 23 a factor of v(t)?
True
Let a be (10 - (11 + -4))/((-6)/(-4)). Suppose 0 = 4*c - g - 721, -3*c - g - 4*g = -535. Suppose -a*u - u = -c. Is 10 a factor of u?
True
Suppose 0 = -3*q + 5*z - 3 + 73, -5*z - 30 = -q. Let w be -4 - (-92)/q - 494/(-10). Let i = -20 + w. Is i a multiple of 30?
True
Suppose -562 = -3*t + 4*m + 531, 1444 = 4*t - 2*m. Let x = -140 + t. Is 35 a factor of x?
False
Is 33 a factor of (-5 + 7 - 0)/2 - 3662/(-1)?
True
Suppose -2*w = 3*j + 2*w - 47909, -5*w - 31901 = -2*j. Is j a multiple of 86?
False
Suppose 0 = 3*n + 2*u - 0*u + 206, -4*n - 272 = 2*u. Does 9 divide (n/4)/(-3)*(8 + 28)?
True
Let n(o) be the third derivative of -3*o**4/8 + 7*o**3/2 + 23*o**2. Let u be n(3). Does 6 divide 318/4*u/(-9)?
False
Suppose -5*j + 40 = -5*y, 22*y + 4*j + 4 = 17*y. Let i(b) = -81*b - 18. Is 9 a factor of i(y)?
True
Let h = 61070 + -40504. Does 26 divide h?
True
Let p be 16 - ((-342)/18 + 35). Suppose -i + 66 + 222 = 0. Suppose -g + 5*s - 63 = -i, -4*g + s + 957 = p. Is 18 a factor of g?
False
Let v = -643 - -448. Let j = 303 + v. Is 27 a factor of j?
True
Suppose -1 = 4*k + 7. Let b be (-3 + 4)*-1 - k. Does 4 divide 1 - (b*-15)/5?
True
Suppose -114*l + 111*l = -108. Suppose -2*r - 24 = -l. Does 8 divide 4/(-8) - (-435)/r?
True
Suppose y = -4*t + 9111, 6*y + 9096 = 7*y + t. Does 16 divide y?
False
Let h(n) = 14*n + 17. Suppose 3*d = 2*g - 4 - 5, g - d - 5 = 0. Let b be h(g). Let r = b - 46. Does 33 divide r?
False
Suppose 0 = 5*w + 4*j - 1234, 4*w - 2*j - 1002 - 6 = 0. Let f(v) = 9*v**2 - 2*v + 2. Let m be f(4). Let d = w - m. Is 16 a factor of d?
True
Suppose -567796 - 226362 = -35*b - 152993. Does 18 divide b?
False
Let g = -103 + 105. Let t(v) = -19*v**2 - v**3 - 2*v**g + 8*v**2 - 18*v. Does 4 divide t(-12)?
True
Suppose -12358 + 22142 = 24*w - 19952. Is w a multiple of 78?
False
Let x be (-3)/6*19*(31 + 1). Let l = x + 465. Is l a multiple of 14?
False
Suppose -2*b - 7*k = -5*k - 18782, -5*b + 46976 = -2*k. Is 13 a factor of b?
False
Let l = 1283 + -271. Suppose -p = 4, 2*w - 5*p = -0*w + l. Does 31 divide w?
True
Suppose -j + 137280 = 95*j. Is 10 a factor of j?
True
Let x(y) = -21*y**3 + 12*y**2 + 28*y - 108. Is 28 a factor of x(-7)?
False
Suppose -4*q + 12945 = 3*k + 1192, 0 = -k + 4*q + 3939. Is k a multiple of 298?
False
Let j(m) = m - 2*m + 318 - 208. Does 11 divide j(27)?
False
Let i be (-2)/3*(-45)/10. Suppose 7*d + i*d = 460. Let n = d + -13. Does 25 divide n?
False
Suppose 0 = -3*z + 2*i + 2362, -13*z = -11*z - 2*i - 1574. Does 32 divide z?
False
Suppose 3*l = 4*y + 10, -3*l + 2*l + 5 = -3*y. Suppose l*u - 2*k - 3*k - 32 = 0, -u = 5*k + 14. Suppose u*r - 63 = 99. Does 19 divide r?
False
Is (538