574)*14/4. Is k/(-8)*(-24)/42 a multiple of 3?
False
Suppose -a - s - 2*s = -3240, -s - 3220 = -a. Let u be a/10*(-4)/(-5). Suppose -5*j = -i + 105, -4*i - u = j - 783. Does 13 divide i?
True
Suppose 5*d - 15914 = -4*b, -52*b + 57*b = -4*d + 12724. Is d a multiple of 9?
True
Let c be -24*((-50)/28 + 6/21). Let g = c - -31. Is 32 a factor of g?
False
Let y(r) = r**2 + 5*r - 9. Let w = -52 - -60. Let i be y(w). Let b = i - 52. Is 8 a factor of b?
False
Let t be 3 - (-3 - (-3 - -2)). Suppose -2 = -l + 2*c, 0*l + 5*l = 4*c + 10. Suppose t*b - l*b = 90. Is b a multiple of 6?
True
Let i be (-9)/(-3) + -4 + 6. Suppose 0 = 3*m + i*s - 150, 65 = 3*m - 3*s - 61. Suppose 0 = 2*k - m + 1. Is 5 a factor of k?
False
Suppose -17 = -4*u - 1. Let f = -24 - -26. Suppose f*s + 5*y = 5*s - 51, 5*s - 98 = u*y. Is 8 a factor of s?
False
Let z(a) = 10*a**2 - 3*a - 7. Let s be z(-4). Let u = 0 - s. Let w = -69 - u. Does 16 divide w?
True
Let z = -934 + 931. Is 173 + (-5 - -17) + z a multiple of 3?
False
Suppose -2*y + b = -38, 0*y + 3*y - 3*b = 60. Suppose -9*c + 7*c + y = 0. Suppose 63 = c*q - 90. Is 6 a factor of q?
False
Let f = 466 - 468. Is f + 6588/42 + (-4)/(-28) even?
False
Suppose -3913 = -2*t + 17725. Is t a multiple of 75?
False
Suppose 5*d + 2*u - 68529 = -11338, -22868 = -2*d + 2*u. Is d a multiple of 28?
False
Suppose -4 - 4 = l. Let q be (-738)/(-8)*16*1/6. Is 17 a factor of l/16 - q/(-4)?
False
Suppose 0 = -2*g - 8, -22*g - 19 - 16 = f. Is 2 a factor of f?
False
Let i be 2/(-3) - (-17)/(714/(-56)). Suppose -7*x = -2*x. Is 7 a factor of 6/12*(x - i)*14?
True
Suppose -2*a = 2*c - 10, 2*a = 2*c - 6 - 4. Suppose k - 261 = c*q, -3*k - 2*k + 1215 = 5*q. Is 14 a factor of k?
False
Suppose -4*s + 6*a = a - 45, -5*a = 25. Suppose 0 = -2*l - s*j + 4, -5*l + j - 20 = -3. Let v(k) = 19*k**2 + 3*k + 9. Is 40 a factor of v(l)?
False
Let c(y) = -3110 + 3110 + 28*y. Suppose -9 = -4*k - u - 0*u, -2*u = 2*k - 6. Does 14 divide c(k)?
True
Let g(y) = -y + 28. Let w be g(26). Suppose 0 = -w*j + r + 845, -5*j = -25*r + 20*r - 2100. Is 25 a factor of j?
True
Let w = 42091 - 37053. Does 7 divide w?
False
Let n(t) = -31*t + 592. Let w be n(19). Suppose -2*s + 21 = -s. Let k = w + s. Does 8 divide k?
True
Let p = -748 + 410. Let v = -278 - p. Is v a multiple of 5?
True
Let c(z) = 6*z**2 + 4 + 12*z**3 - 4*z**3 + 7*z - 9*z**3. Let g be c(-3). Suppose 2*i - 135 = 2*a + 3*a, -i + g = a. Is 13 a factor of i?
True
Does 24 divide ((-3156)/14)/((-68)/714)?
False
Suppose 5*q - 12504 = 2*u, 1390 + 3605 = 2*q - 3*u. Is q a multiple of 8?
False
Let o = -9928 + 14401. Does 25 divide o?
False
Suppose 3 = 4*q + 5*k - 0, q = 4*k + 27. Is 7 a factor of 2/(-3) + (2095/15 - q)?
False
Let k(h) = 4*h**2 + 15*h - 6. Let p(v) = v**3 + 17*v**2 + 17*v + 18. Let m be p(-16). Is k(m) a multiple of 40?
True
Let a = 2579 - 119. Is a a multiple of 20?
True
Suppose 3*h + 15*g - 14*g = 6210, -5*h + 10350 = -5*g. Is h even?
True
Suppose -8*b + 24 = -10*b. Let z be (-290)/(-25) + b/(-30). Suppose -4*x = v - x - z, 2*v - 64 = 2*x. Does 3 divide v?
True
Is 5 a factor of (8 - 5)/(((-6)/11784)/(22/(-12)))?
False
Let g be 3 + 6 + -13 + 512. Suppose -4*q = -3*q - g. Is 26 a factor of q?
False
Suppose 20 = -3*r + 74. Let k(h) = -5*h**3 + r*h + 3*h**3 + 14*h**2 + h**3 + 3 + 18. Is 33 a factor of k(15)?
True
Suppose -26029 = 120*j - 130189. Is j a multiple of 14?
True
Suppose 3*n = 2*n - 60. Let b be (-8)/30*-3*n/(-4). Does 18 divide (-2 - 2)*(-279)/b?
False
Let d be (-8)/((-3933)/32997 - (-18)/153). Suppose -34*z = -13982 + d. Is 36 a factor of z?
False
Suppose 78*o = 13*o - 29*o + 1178478. Is 100 a factor of o?
False
Let v(p) = -2*p**2 + 63*p + 424. Is v(32) a multiple of 56?
True
Let u(n) = -n + 61. Let y be u(-16). Suppose a + 5*i = y + 340, 429 = a - i. Is 61 a factor of a?
True
Suppose z + 4*f + 20 = 7, 0 = -4*z + 5*f - 10. Let v(a) be the first derivative of -29*a**2/2 + 5*a - 1. Is v(z) a multiple of 15?
True
Let c = 9226 + -8597. Does 3 divide c?
False
Let s(o) = 5*o**2 + 51*o - 1435. Is s(-47) a multiple of 2?
False
Suppose -4*y + 35 = -y + 4*m, -2*m = 2. Suppose -l + y = 9. Is l even?
True
Suppose -2*f = -3*u - 2521, -3*f + 2026 = 5*u - 1803. Is f a multiple of 5?
False
Let i = -60 + 527. Let f = 744 - i. Is 23 a factor of f?
False
Let d be (-6)/4*(-26)/3. Suppose -77 = -d*y + 248. Does 5 divide y?
True
Let w(f) = -f**2 + 21*f - 4. Suppose -10*m - 7 = -11*m. Let k be w(m). Let x = -55 + k. Is 11 a factor of x?
False
Let y = -280 - -268. Let l = 185 - y. Is 15 a factor of l?
False
Suppose 0*c - 4*r + 20 = c, 2*c - r + 5 = 0. Suppose z + c*z = 0. Suppose -d + b + 2 = 0, 2*b - 3 = d - z*b. Does 3 divide d?
False
Suppose 23*w = -16*w + 28*w + 67045. Is w a multiple of 23?
True
Suppose -4*l - 1491 = -6991. Does 11 divide l?
True
Suppose 540876 = 1891*n - 1870*n. Is n a multiple of 94?
True
Let h(k) = 2935*k + 94. Is 47 a factor of h(6)?
False
Suppose 9*k - 14*k - 2*u + 160 = 0, 0 = k + 4*u - 50. Is 17 a factor of k?
False
Let f = 5371 - 3721. Is 50 a factor of f?
True
Let k(t) = t**3 + 9*t**2 + 7*t - 6. Suppose -86*w = -91*w - 40. Let g be k(w). Suppose g*v - 463 = -v - 2*y, -1 = y. Is 31 a factor of v?
True
Let x(u) = 15*u - 23. Let h be (-2)/(-4)*(23 - -15). Let j = -9 + h. Does 21 divide x(j)?
False
Is 38 a factor of 4540/25*(-950)/(-20)?
True
Suppose -4*v = -5*v + 121. Let h(d) = -6*d + 2*d + v*d**3 + 144 + 3*d - 122*d**3. Is h(0) a multiple of 12?
True
Suppose -3*l = -5*k - 14538 + 180570, -k + 3*l + 33192 = 0. Is k a multiple of 16?
False
Let g(n) = n**3 + 3*n**2. Let c be g(-3). Suppose k - 829 = -3*b - k, c = 5*b - k - 1373. Is b a multiple of 7?
False
Suppose 16*m = 5*m - 48782 + 298746. Is m a multiple of 19?
True
Suppose 256 = 4*l - 5*i, -i - 63 = 2*l - 205. Suppose 57*n - 56*n - l = 0. Does 14 divide n?
False
Let l = 9420 + -6152. Does 26 divide l?
False
Let q(r) = r**3 - 12*r**2 - 10*r + 2. Let n = -222 + 313. Suppose 7*v + 0*v = n. Does 5 divide q(v)?
False
Suppose 24*x - 27*x - 4605 = 0. Let i be (12/(-90)*x)/(2/3). Let v = i - 182. Is 9 a factor of v?
False
Let y(w) = -1098*w**2 - 35*w + 13 + 567*w**2 + 567*w**2 - w**3. Is 8 a factor of y(35)?
False
Suppose -39*m = m + 87040. Let q = -1294 - m. Does 5 divide q?
False
Suppose 3*s + 9 = -4*r, -5*s = 4*r - 3*r - 2. Let m(y) be the second derivative of 2*y**3 - 5*y**2/2 + 29*y - 2. Is 7 a factor of m(s)?
True
Let j be (4/5)/(24/60). Suppose j*x = 4*c + 340, -1193 = -5*x + c - 352. Does 14 divide x?
True
Let t(k) = -26*k**2 - 3*k - 3. Let a = 67 - 69. Let s be t(a). Let c = -35 - s. Is c a multiple of 11?
True
Let z(s) = 2*s**2 - s - 11. Let i be z(-3). Let b = 19 - i. Suppose 379 = b*u - 71. Is u a multiple of 10?
True
Let c = 1200 + 1110. Does 66 divide c?
True
Let k be (-3 - -3)/(0 + -6 - -5). Let l = k - -46. Is l a multiple of 23?
True
Let t be -110535*(0 + -1)*6/9. Does 91 divide -1*(-2)/9 - t/(-90)?
True
Suppose -75*j = -175016 - 1282156 - 69378. Is j a multiple of 11?
False
Suppose -30*j + 23*j + 3339 = 0. Suppose 5*q = -a + j, 1568 = 4*a - 5*q - 415. Is a a multiple of 41?
True
Let l = -57 - -60. Suppose 5*k - 4055 = -h, -2*k = l*k + 2*h - 4050. Is 14 a factor of k?
True
Let h(v) = -v**3 - 3*v**2 + 2*v - 3. Let p be h(-4). Let t(n) = 0*n + 5*n + 2*n**2 - 6 - 4*n - 5*n. Is t(p) a multiple of 6?
True
Let x(r) = -1195*r + 24. Let p be x(-1). Suppose 0 = 2*k - 5*v + 55 - 906, -4*v = 3*k - p. Is 38 a factor of k?
False
Let x = -58 + 72. Suppose -265 = -x*j + 9*j. Does 5 divide j?
False
Suppose 0 = 5*j + 198 + 347. Let q = -94 - j. Is q a multiple of 8?
False
Let u = 14569 + -1971. Is u a multiple of 11?
False
Let n = -1902 + 2094. Is n a multiple of 4?
True
Suppose 0 = 30*m + 5*m + 210. Let p(s) = -s**3 + 5*s**2 + 7*s + 5. Is 25 a factor of p(m)?
False
Let s be 332/14 + -1 - 18/(-63). Let o(q) = -8*q - 2*q - s*q**3 + 24*q**3 + 3 - 2*q**2. Is 7 a factor of o(5)?
True
Suppose 120*b = 119*b - 944. Does 31 divide (-1)/8 - 737382/b?
False
Let c = -4081 + 2864. Let j = -707 - c. Does 22 divide j?
False
Suppose 5*x + 2 - 7 = 0. Is ((-900)/(-70))/(x/28) a multiple of 15?
True
Suppose -2*j + 44 = 40. Does 16 divide 495 + (-4)/((-8)/j)?
True
Is (-14 + (-50)/(-20))*-408 a multiple of 47?
False
Suppose -84*l = -14341 - 74195. Is l a multiple of 9?
False
L