 0, 6*y = d*o + h*y - 771. Does 16 divide o?
False
Let c = -58 - -60. Suppose -2*o = 2*a, -c*a + 6 = -3*o - 7*a. Suppose o*f + 5*d = 386, -2*f + 5*d - 105 + 379 = 0. Is f a multiple of 9?
False
Let n be 12/(-90) - (-2)/15*-5384. Is 9 a factor of n/(-8) - -5*8/160?
True
Suppose -j = -2*t + 38, 0 = 2*t + t + 4*j - 57. Suppose 0 = -20*a + t*a + 8. Is (336/(-18))/7*(-186)/a a multiple of 8?
False
Suppose -2*z = 4*d - 0*z - 38, 5*d - 2*z = 25. Suppose 6 + 15 = -d*m. Is 32 a factor of ((-168)/(-5))/(m + 126/40)?
True
Suppose -23*q = -3*u - 26*q + 5355, 0 = 4*u + q - 7131. Does 81 divide u?
True
Let r(k) = k**2 - 36*k + 98. Is 5 a factor of r(-26)?
True
Is (-7194)/(-8)*(-12 + 51 + -31) a multiple of 30?
False
Let a = -5427 + 8787. Is a a multiple of 35?
True
Suppose 5*g + 165 = -185. Let d be (g/(-30))/((-2)/(-6)). Suppose 826 + 399 = d*u. Is u a multiple of 25?
True
Let y = 4403 + 18493. Is 106 a factor of y?
True
Let v = -16658 - -67919. Is (-15)/150 + (v/30)/7 a multiple of 7?
False
Suppose -83*h + 130808 = -37*h - 438304. Does 28 divide h?
False
Let n(a) be the second derivative of -4*a + 3/2*a**3 + 0 - 1/2*a**2. Is 6 a factor of n(1)?
False
Let t = 122 + -113. Is 24 a factor of 6/2 + 809/(t + -8)?
False
Let h be 32/6*(56 + -8). Let c = h + -199. Does 15 divide c?
False
Let y = -249 - -250. Does 45 divide 7/y - (35 - 810)?
False
Suppose -3*i = -2*z + 183, z + 2*i = 5*z - 354. Suppose 2*v - 2387 = -z. Suppose -5*x + v = 5*x. Is 20 a factor of x?
False
Suppose -240 = -6*u - 0*u. Is 7 a factor of 211 - 15/(75/u)?
True
Let n(k) = 2*k**2 - k - 1. Suppose -4*s = -5*h + 9, 3*h - 3*s = 3 + 3. Let y be n(h). Is 30 a factor of (-180)/(-2)*(1 - y)?
True
Suppose 0 = -24*t + 7 + 41. Suppose 5*g = 4*p - 34 - 1139, t*p - 569 = -g. Is p a multiple of 14?
False
Suppose 0 = 5*t + f + 151, 3*f = 2*t - 5*t - 93. Let w(q) = -q**3 - 29*q**2 + 31*q - 10. Let o be w(t). Is 15/3*-1 - o a multiple of 11?
False
Suppose 30*f + 525 = 25*f. Is 45/f - (-678)/14 a multiple of 4?
True
Suppose -3*w - 14 + 52 = 2*u, 3*u - 2*w - 70 = 0. Suppose -13*g = -u*g + 2934. Is 7 a factor of g?
False
Suppose 44*w - 47*w = b - 5963, -2*w + 3998 = -5*b. Is w a multiple of 9?
True
Suppose 0 = 191*z - 192*z + 2*l + 4724, 5*z - 23566 = l. Is z a multiple of 19?
True
Let v = 76 - -3606. Suppose 1862 + v = 21*i. Is i a multiple of 6?
True
Is 26740/12 - (105/(-9) - -13) a multiple of 7?
False
Suppose 5*h - 789 = -4*o, 2*o - 4*h + 792 = 6*o. Suppose -s - 197 = -o. Suppose 57 - 477 = -s*l. Is l a multiple of 15?
True
Suppose 50 + 97 = 3*l. Suppose -19 = 6*c - l. Suppose 3*b - c*d = 162, 6*d = 3*d. Does 4 divide b?
False
Let p(x) = -x**3 - 11*x**2 - 8*x + 15. Let t be p(-10). Let r be (-2)/t + 60/(-25) + 12. Is 16 a factor of ((-4)/(-10) - (-4)/r)*100?
True
Suppose -133632 = -62*f - 10*f. Is 58 a factor of f?
True
Let b be ((-6)/(-5) + -2)*20. Let y = b + 196. Does 36 divide y?
True
Suppose 8*a - 12*a + 716 = w, -5*w = -4*a + 716. Is a a multiple of 33?
False
Suppose -4*b = w - 68147, 155*w - 34081 = -2*b + 152*w. Does 12 divide b?
False
Suppose -96*h + 163*h + 682290 = 105*h. Does 315 divide h?
True
Let y(k) = -1102*k - 11306. Is 13 a factor of y(-88)?
True
Let s = 439 - -482. Suppose s = 21*o - 1536. Does 9 divide o?
True
Let l(f) = -f**3 - 8*f**2 + 9*f + 3. Let h be l(-9). Is (-46)/69 + 179/h a multiple of 2?
False
Suppose 7*q + 2*q = 6372. Suppose 4*d = -7*f + 10*f + q, 2*d - 372 = -3*f. Does 5 divide d?
True
Suppose -8*v - 12*v + 265990 + 290810 = 0. Is 48 a factor of v?
True
Let x = 15430 + -9233. Is 21 a factor of x?
False
Let f = 188 + -162. Suppose 29*w - 2736 = f*w. Is w a multiple of 57?
True
Let v = -1261 + -1355. Does 15 divide (-18 - -16) + v/(-4)?
False
Let v(o) = o**3 + 16*o**2 + 35*o + 12. Let y be v(-4). Suppose -66*b + 3770 = -y*b. Does 14 divide b?
False
Is (-3*(-6)/9)/(274/911461) a multiple of 58?
False
Suppose 3598 = -5*p + 7*j - 3*j, -2181 = 3*p + 5*j. Let q = -471 - p. Suppose 3*b = q + 127. Is b a multiple of 21?
True
Let x(w) = 523*w**2 - 13*w - 5. Let n be x(-4). Suppose n = 6*f + 27*f. Is f a multiple of 18?
False
Suppose -2*g - 12 = -4*v - 4*g, v + g = 3. Suppose -v*s - 194 = -629. Is 3 a factor of s?
False
Let i(d) = d**3 - 71*d**2 + 181*d - 137. Does 163 divide i(71)?
True
Is (0 + 0)/(-1) + (-3519670)/(-154) a multiple of 205?
False
Suppose 6*l - 8*l + 54 = 0. Let i(q) = -1050*q**2 + 6*q + 48. Let t(d) = -150*d**2 + d + 7. Let u(k) = l*t(k) - 4*i(k). Does 25 divide u(1)?
True
Suppose 5*t + 4*v = 7350, -3*t - 76*v + 80*v + 4410 = 0. Is t a multiple of 98?
True
Let r(k) be the third derivative of k**7/2520 + k**5/30 - 12*k**2. Let f(b) be the third derivative of r(b). Is f(7) a multiple of 7?
True
Let n(o) = 9547*o**2 + 35*o + 31. Is n(-1) a multiple of 12?
False
Suppose -72 = -m + 2*z, 0 = 3*m + z - 3*z - 204. Suppose m*l - 45*l = 12012. Does 12 divide l?
False
Suppose 5*a - 22 = 3*s, -a = -3*s + 2*s - 4. Suppose -500 = -5*m + 5*c, -m - c + 100 = -a*c. Does 20 divide m?
True
Let p(m) = 74*m**2 + 13*m + 10. Let i be p(-3). Suppose 4*y + 3*r - i = 0, -r + 2 = -1. Is 4 a factor of y?
False
Let d(b) = 8*b + 114. Suppose -2*j + 5*q = -4*j + 5, j + 5*q = 10. Is d(j) even?
True
Let i(m) = -287*m + 4173. Is i(-56) a multiple of 55?
False
Let q(i) = -i**3 - 49*i**2 - 34*i - 600. Is q(-49) a multiple of 7?
False
Let v(y) = 98*y + 24. Let j be v(1). Let d(g) = -g**3 - 2*g**2 + 1. Let m be d(-1). Suppose -j = -b - u - 3*u, m = -5*b + 5*u + 735. Is b a multiple of 15?
False
Let q(i) = 3*i - 1. Let n be q(2). Suppose -g = 2*g - 4*h + 42, 0 = -n*g - 5*h - 35. Let j = 15 + g. Is 5 a factor of j?
True
Is 53 a factor of -1*1 + (32344 - (19 - 6))?
True
Let w = -3193 + 3409. Does 6 divide w?
True
Suppose -12642 = -3*n + 2*r, -5*r + 4197 = 32*n - 31*n. Does 52 divide n?
True
Suppose z - 2*x = 3, x = -4*z - x + 42. Let b = 10 - z. Does 13 divide b/2*98 - -3?
True
Suppose -2*k + 4*f = 38, 1 = 2*k - f + 36. Let m(v) = 0 + 7*v - 6 + 0*v**2 + v**2 + 7*v. Does 15 divide m(k)?
True
Let l(b) = 19*b - 3. Let y be 416/39 - 4/6. Suppose -5*v - 20 = -y*v. Is 10 a factor of l(v)?
False
Suppose 31 = 12*p - 41. Is 3 a factor of p/8*12*3?
True
Let w(x) = -x**3 + 2*x**2 - 19*x - 30. Let b be w(-6). Suppose 183*j = 187*j - b. Does 38 divide j?
False
Suppose -34*y + 25*y + 162 = 0. Does 14 divide 6285/y + 15/18?
True
Let t(v) = 5*v**2 + 3*v - 2. Let p = 281 + -279. Does 12 divide t(p)?
True
Let j be 6/(-39) - 54/(-13). Suppose j*f - 83 = 9. Suppose 2*t - 95 - f = 0. Is t a multiple of 16?
False
Suppose 9*u - 6*u + 3*a = 26895, -u = -4*a - 8940. Is u a multiple of 18?
False
Let n(a) = 23*a**2 + 40*a + 159. Does 52 divide n(-16)?
False
Suppose m = -2*j + 3776, 4*m = 2*j + 1626 - 5392. Is j a multiple of 8?
False
Let x(h) = 32*h**2 + 131*h - 179. Is x(27) a multiple of 231?
False
Let w(o) be the third derivative of -o**5/20 - 19*o**4/24 - 3*o**3/2 + o**2. Let f be w(-6). Is 28 a factor of (f + -519)*1/(-4)*2?
False
Suppose -22 = 12*x - 14*x. Let c(t) = t**3 - 10*t**2 + 12*t + 19. Is c(x) a multiple of 12?
False
Let w be 5045*(0 + (-18)/(-15) + -1). Suppose 0 = 3*i - w - 317. Does 30 divide i?
False
Suppose -23*h + 624036 = 97*h - h. Is h a multiple of 38?
True
Let c be -6*4/(-16)*2. Suppose c*t = -d + 390, -3*d - 5*t = -t - 1160. Is 48 a factor of d?
True
Let b = -4799 + 7561. Does 13 divide b?
False
Let o(g) = 16*g**2 - 18*g - 120. Does 15 divide o(18)?
True
Suppose 5*p + 119 = 3*o, p = 2*o - 4*p - 71. Suppose 0 = -o*a + 71*a - 4830. Is 11 a factor of a?
False
Let m = -595 + 419. Let t = -173 - m. Is 3 a factor of t?
True
Let i(y) be the second derivative of y**4/12 - 2*y**3 + 10*y**2 + 29*y. Let q be i(10). Suppose -142 = -a - q*a. Is 6 a factor of a?
False
Let z = 3 - 40. Let o be (z + -1)*-2 + 0/(-2). Suppose 4*j = 2*j + o. Is 29 a factor of j?
False
Is (-3 - -5 - 1027)*(-3)/((-120)/(-32)) a multiple of 82?
True
Suppose 5*d - 1003 = -z, 2*d + 5*z = d + 191. Let a = 198 + d. Is 19 a factor of a?
True
Let o(l) = -l**3 - l**2 + 26*l - 1. Suppose -2*y + 2*w = 18, -5*y - 44 = -4*w - 0*w. Is 63 a factor of o(y)?
False
Let f = 317 - 315. Is f/(-5) + 10570/175 a multiple of 6?
True
Suppose -b - 50499 = -12*g + 7*g, 5*g + 2*b = 50502. Is 20 a factor of g?
True
Let i = -5973 + 10098. Is 23 a factor of i?
False
Supp