 q*z + 176, 4*z + 178 = 2*k. Is 25 a factor of k?
False
Suppose 13*m - 10*m - 3*c = 2721, 2*m - 5*c = 1799. Does 16 divide m?
True
Suppose 5*w = y + 1055, -3*w + 162 + 454 = -4*y. Is ((-22)/(-44))/(2/w) a multiple of 14?
False
Let g(b) = b + 18. Let s be g(-10). Suppose -68 + s = -4*j. Is j a multiple of 7?
False
Suppose 0*x - 112 = 2*x. Let b(g) = 2*g**3 + 3*g**2 + 4*g. Let n be b(3). Let f = x + n. Does 10 divide f?
False
Let d(j) = -6*j**2 + 2*j**2 + 3*j**2 + 11*j**2 - 2*j. Is d(4) a multiple of 21?
False
Suppose 3*p - 822 + 327 = 0. Is p a multiple of 54?
False
Suppose 5*o = 26 - 1. Suppose 49 = -p + 5*i, -2*p = p - o*i + 127. Let c = 46 + p. Is c even?
False
Suppose -5*k + 2835 = -3*c - 2757, -c = k - 1120. Is k a multiple of 78?
False
Let t = -88 + 91. Suppose -223 = -t*k - 3*m - 79, -m = 0. Does 3 divide k?
True
Let u = 353 - 224. Does 22 divide u?
False
Is 35 a factor of 35*(-10*(-2)/4 + 0)?
True
Suppose -2*z = -g + 8, -g + 3*z = g - 14. Suppose g*f - 84 = 4*o, 2*f = -2*o + 46 + 8. Is f a multiple of 12?
True
Let k be (-902)/9 - 6/(-27). Is (-3 + k/(-12))*6 a multiple of 8?
True
Suppose -456 = 2*a + 2*a. Let j = 378 + a. Does 22 divide j?
True
Let a(u) be the second derivative of u**5/30 + u**3/2 + u**2/2 + 3*u. Let h(i) be the first derivative of a(i). Is 14 a factor of h(5)?
False
Suppose 3585 = 5*z - 8*d + 3*d, 0 = -2*z + 4*d + 1440. Does 6 divide z?
True
Let s(m) = 2*m**2 - 36*m - 62. Does 16 divide s(29)?
True
Is ((-743)/(-6))/(22/264) a multiple of 55?
False
Is 7 a factor of (-145)/(-1015) + (-5262)/(-14)?
False
Let k(z) = -2*z**2 - 24*z - 19. Let r be k(-10). Is (-1002)/(-8) - r/(-28)*1 a multiple of 25?
False
Let t(x) = -x**2 - 9*x - 3. Let m be t(-14). Let d = m - -115. Is d a multiple of 14?
True
Let x be 13 - 13 - 1*2. Let n(o) = o**3 + 4*o**2 + o. Does 2 divide n(x)?
True
Suppose 23*g - 362 = 5595. Is g a multiple of 11?
False
Let v be (-2)/11 + (-904)/(-11). Suppose 3*k - 133 = -0*t - 5*t, v = 2*k + 2*t. Does 6 divide k?
True
Let w = 219 - 361. Let p = -82 - w. Is 5 a factor of p?
True
Let d = -27 - -12. Let i be ((-416)/24)/(2/d). Let a = i + -76. Is 18 a factor of a?
True
Let v(k) = -434*k - 10. Is 38 a factor of v(-3)?
True
Let b = 1460 + -615. Is 55 a factor of b?
False
Let b = 23 - 40. Is b/34 + (-102)/(-4) a multiple of 20?
False
Suppose s - 8 = -s. Suppose -5*q - 5 = 0, 34 = 5*v + q - 0*q. Suppose 8 = 5*h - 3*f - 3, -v = -s*h + 3*f. Is h a multiple of 4?
True
Suppose -f + 5*m = f - 25, 3*m = 2*f - 15. Suppose -a - 4*l - 1 - 1 = f, -3*a = -2*l - 8. Suppose a*n = 59 + 1. Is 6 a factor of n?
True
Let p = 7 + -5. Let s(y) = -9*y + 9*y**2 - 10*y**p + 0*y**2. Does 11 divide s(-6)?
False
Let d = -1496 + 1960. Does 11 divide d?
False
Let s = -2545 + 3053. Is s a multiple of 113?
False
Let j(s) = -s**3 - 3*s**2 - 2*s - 6. Let k be ((-5)/(-2))/(25/(-10) + 2). Is 27 a factor of j(k)?
True
Let w be (-1164)/10 + (-2)/(-5). Let d(m) = -m**3 - 18*m**2 - 78*m - 20. Let s be d(-8). Let f = s - w. Is f a multiple of 16?
True
Let w be (45/20)/((-3)/(-440)). Let i = w + -217. Is 10 a factor of i?
False
Let j be (-3)/((-3)/(-1)) - -3. Let n = 30 - 19. Suppose j*v - 3*v = -n. Is 3 a factor of v?
False
Let r(o) = o**3 - 21*o - 4. Let l be 23/161 - 82/(-14). Does 16 divide r(l)?
False
Let b = -5 + 9. Suppose -b*p - 1519 = -n, n = -0*n - 1. Does 19 divide (p/15)/((-4)/6)?
True
Suppose -6*u = -2*x - 3*u - 42, 0 = -4*x - 5*u - 40. Let f be (-1 - (-5)/2)*18. Let p = f + x. Is p a multiple of 3?
True
Suppose 42 = -6*q + 7*q. Suppose -9*a + q = -6*a. Suppose -b - h + 17 + a = 0, -2*b + 4*h = -92. Is 18 a factor of b?
True
Let y be ((-6)/(-10))/(17/85). Suppose 0*p - 2*p - y*q + 43 = 0, 4*p + q - 81 = 0. Does 20 divide p?
True
Suppose -4*z + 5*q + 46 = 0, -5*q - 20 = -5*z + 35. Let w = z + -15. Let p(d) = d**2 + 4*d - 1. Does 11 divide p(w)?
True
Suppose -3*z + 29 = 2. Suppose z*f - 222 = 498. Does 10 divide f?
True
Let g(z) = -7*z**3 - 2*z**2 + 2*z. Let w(s) = -2*s**3 + s**2 + 2*s - 3. Let b be 7/(-42) + 14/12. Let p be w(b). Is 18 a factor of g(p)?
False
Suppose -o = -344 - 64. Does 27 divide o?
False
Suppose 6 = -0*x + 2*x. Suppose -2*y + 2*m = -96, x*m + 33 + 7 = y. Let n = 22 + y. Is n a multiple of 37?
True
Suppose -4*d + 5*u = -351, -2*d + 5*u + 180 = u. Let t = -49 + d. Is t a multiple of 7?
True
Let u(p) = p - 6. Let k be u(-7). Let f(v) = v - 19 - 4*v + 0*v - 9*v. Does 23 divide f(k)?
False
Let c = -12 + 22. Suppose 504 = c*a - 4*a. Does 21 divide a?
True
Does 41 divide -2 + 3 - 34804/(-22)?
False
Let g be 4/18*-3*162/(-3). Suppose 0 = -3*z + 18 + g. Does 18 divide z?
True
Let r = 950 - 553. Does 39 divide r?
False
Let l(s) = s**2 + s - 1. Let q be 207/36 + 6/(-8). Let g(i) = 4*i**2 + 6*i - 1. Let t(y) = q*l(y) - g(y). Is 11 a factor of t(-4)?
False
Let i(k) = 18*k + 15. Let d be i(4). Let a = d - 51. Does 10 divide a?
False
Let r(c) = 6*c - 2. Let s be 26/(-6) + 1/3. Let u be (-2)/20*s*5. Is 4 a factor of r(u)?
False
Suppose i - 4*i = 4*j - 8, -2 = 2*i - j. Suppose 2*u + 73 - 193 = i. Is 12 a factor of u?
True
Let l(g) = 8*g**3 - 4*g**2 - 6*g - 2. Let f be l(-2). Let i = 79 + f. Is i a multiple of 3?
True
Let h(k) = -9*k - 2. Let x be h(-2). Suppose -3*z = 2*o + 25, 0*o = o + 5*z + 30. Let s = x - o. Does 8 divide s?
False
Let r be (-3)/(-9) - (-186)/9. Suppose 251 + r = 2*d. Does 34 divide d?
True
Let b be -6*6/45 - 382/10. Let h = 24 - b. Does 7 divide h?
True
Let f(q) = q**3 + q**2 + 4*q - 12. Let y be f(0). Let x = y - -29. Does 17 divide x?
True
Suppose 6*v = -10*v + 3584. Is 14 a factor of v?
True
Suppose -4*p + 5*c + 459 = 0, -2*p + 7*p - 600 = c. Suppose -p + 21 = -5*s. Is 5 a factor of s?
True
Suppose -4*g = -0*u + u + 652, -3*u - 644 = 4*g. Let s = -74 - g. Does 30 divide s?
True
Suppose -3*w = 5*u - 31, 2*w + 5*u = 24 + 5. Does 12 divide 793/65 - w/10?
True
Let j(r) = -r + 15. Let i be j(13). Let g(b) = b**3 - b**2 + 7*b - 7. Is g(i) a multiple of 11?
True
Let a(z) be the second derivative of -z**5/10 - z**4/3 + z**3/6 + 3*z**2 + 13*z. Is 7 a factor of a(-3)?
True
Is (-1)/(3/90)*12/(-9) a multiple of 40?
True
Let o = 1123 - 811. Is 5 a factor of o?
False
Let j be (-1)/(-1) + 62*6/4. Suppose -3*y + 256 = j. Is 12 a factor of y?
False
Let r = 103 + 204. Suppose 5*d + 92 = r. Is d a multiple of 4?
False
Let m(k) = 47*k - 94*k - 1 + 46*k. Let l be m(-1). Is (l + -1)/1 + 41 a multiple of 8?
True
Let o(d) = -d**2 + 12*d - 3. Let c(f) be the third derivative of -f**4/8 - 5*f**3/3 - 6*f**2. Let y be c(-6). Does 9 divide o(y)?
False
Let o(b) = -b**2 + 10*b - 5. Let p be o(6). Suppose 2*i - 13 = p. Let j = i - 6. Does 10 divide j?
True
Let w(l) = 6*l + 2. Let s be w(1). Let h be 0*(21/(-14) + 2/4). Suppose s*f - f - 364 = h. Does 13 divide f?
True
Let m(c) be the third derivative of c**4/12 + 8*c**2. Let r be (-34)/(-6) - (24/9 + -2). Is 5 a factor of m(r)?
True
Suppose -c - c = -4. Suppose 0 = c*t + 3*v - 63, -2*v - 142 = -3*t + 3*v. Does 11 divide t?
False
Let r = -592 + 1027. Is r a multiple of 3?
True
Does 11 divide (1/(16/132))/(15/460)?
True
Let x(q) = -55*q**3 + 3*q**2 - 6*q - 9. Does 35 divide x(-2)?
True
Suppose 15*r = 2*j + 18*r - 1771, -3*r + 3 = 0. Is 26 a factor of j?
True
Suppose 0*o + 2*o - 5 = -y, -2*y = -2*o + 14. Suppose -11*b - o = -48. Is b a multiple of 2?
True
Let s(i) be the third derivative of i**5/60 + i**4/24 + 7*i**3/6 + i**2. Is s(0) a multiple of 4?
False
Suppose 0*x - 5*x = -10. Suppose -6*u + 468 = -x*u. Is u a multiple of 27?
False
Let y(v) = 10*v**2 - 3*v - 1. Let l be y(-2). Suppose 12 + l = 3*a. Is a a multiple of 9?
False
Let s be ((-10)/4)/(1/(-2)). Suppose s*g - 4*g = 38. Is 11 a factor of 3 + 12/(-3) + g?
False
Suppose -y = y. Suppose y*z + 17 = z. Suppose 2*n - n = z. Does 4 divide n?
False
Let i be (30/45)/(2/1074). Let h = -514 + i. Is (-8)/6*h/8 a multiple of 26?
True
Suppose 4*q - 9 - 3 = 0. Suppose 0*d + 5 = -d + n, -q*d - 2*n = 0. Is 7 + -4 + (-12)/d even?
False
Let d = 402 - -38. Suppose 3*g - 4*w = d, 2*g + w = -2*g + 555. Does 33 divide g?
False
Let r(z) = 313*z**2 + 2*z + 5. Does 8 divide r(-1)?
False
Let x(o) = 6*o - 7. Let t be ((-50)/40)/(10/(-8) + 1). Does 4 divide x(t)?
False
Suppose 4*c = 5*w + 8176, 0 = -5*c + 5*w + 2607 + 7608. Is c a multiple of 10?
False
Does 54 divide 0