ose 8*d - p - 5172 = 0. Suppose -6*s - d = -16*s. Is s a multiple of 16?
True
Does 5 divide (-105)/63*(116460/(-25) + 0)?
False
Does 9 divide 30/(-6) + (2/5 - 1193/(-5))?
True
Let h be (33 + -29)*((-2)/(-4) - 0). Let o(n) = 4*n**2 - 3*n**2 + 35 - n**h + 16*n + 3*n**2. Is 39 a factor of o(-10)?
False
Suppose 0 = 2*i - 6*i + 12. Is 15 a factor of i*((-1288)/(-7) - 4)?
True
Let m(n) = 8*n - 31*n + 954 - 1044 - 47*n. Does 13 divide m(-4)?
False
Let i(w) = w**3 - 16*w**2 + 4*w - 15. Let x be i(16). Let n be ((-36)/21)/((-7)/x). Let j(q) = q**3 - 12*q**2 + 10*q. Does 13 divide j(n)?
False
Let y = 126 - 514. Let s = y + 1312. Is 28 a factor of s?
True
Suppose -3*q = -6*q - o, -3*q - 12 = -3*o. Let k be (q + 28/(-12))*(-6)/4. Suppose 5*z - 961 = -l, 963 = 5*z + k*l - 2*l. Is 32 a factor of z?
True
Suppose -8 = -24*f + 26*f. Let h(y) be the first derivative of 11*y**3/3 + 11*y**2/2 + 6*y + 16. Does 24 divide h(f)?
False
Let c(w) = w**2 + 9*w - 52. Let g be c(-13). Suppose g = -37*b + 42*b - 415. Is 37 a factor of b?
False
Suppose 5*f - 22038 = -4*q, 17*q - 17628 = -4*f + 13*q. Does 42 divide f?
True
Let p = 146 + -144. Suppose 1064 = p*o + 128. Is 39 a factor of o?
True
Let x be (-13)/((-39)/18) + 1113. Suppose -x = -20*r + 581. Is r a multiple of 5?
True
Let m = 7092 - 3482. Is m a multiple of 8?
False
Suppose 4*g - 7 = -2*a + 7*g, -4*g - 17 = 5*a. Is 12 a factor of 64 - 6 - 2/a?
True
Let h(l) = -3*l**2 + 3*l - 3. Suppose -16 = 5*s - 46. Let o be h(s). Does 15 divide (-4)/3*(0 - o/(-2))?
False
Let v = 43805 + -30036. Is v a multiple of 107?
False
Suppose 5*k + 4*f = -481, 3*k + 2*f + 341 - 52 = 0. Let i be (-4)/(623/154 + -4). Let c = i - k. Is 2 a factor of c?
False
Let o be (17 - 16)*(0 - 0). Suppose o = -5*v + 80 - 60. Is v a multiple of 4?
True
Let a(j) = j**3 - 8*j**2 + 12*j + 5. Let g = 64 - 58. Let p be a(g). Suppose p*s - 355 = -0*s. Is 17 a factor of s?
False
Let w = 3 + -7. Let m be 0 + (642/7 - w/14). Let q = m + -60. Is q a multiple of 8?
True
Let l(n) = -801*n**3 - 6*n**2 + 8*n + 11. Let y be l(-3). Suppose y = 34*v - 11148. Is v a multiple of 13?
True
Let w(p) = 2*p - 4. Let n be w(5). Let y be (5 - n)/(2/(-406)). Suppose 2*g - 403 = 3*r, g = 2*g - 2*r - y. Is 16 a factor of g?
False
Suppose -5*q + 34946 = 4*s - 3*q, -q + 34939 = 4*s. Is s a multiple of 66?
False
Suppose -5*x - 57740 = -5*f, 128*f - 124*f - 46160 = -4*x. Is 13 a factor of f?
True
Suppose 3*p - 13 = -1. Let q = -1622 - -1910. Suppose p*s = s + q. Is s a multiple of 32?
True
Let h(m) be the first derivative of m**4/4 + 4*m**3 + 7*m**2 - 17*m + 14. Is 25 a factor of h(-9)?
True
Let m = 90 + -26. Is 15 a factor of m/12*261/4?
False
Let v(o) = o**3 - 38*o**2 + 282*o + 55. Is v(37) a multiple of 95?
True
Is 6*(-3)/(-54)*5745 a multiple of 2?
False
Let h(a) be the third derivative of -a**6/120 + a**5/15 - a**4/24 + a**3/3 + 4*a**2. Suppose 2*o + 4*o = 18. Is 3 a factor of h(o)?
False
Suppose 0 = 2509*f - 2517*f + 182400. Is f a multiple of 16?
True
Let n = -17 + 0. Let q = -13 - n. Does 11 divide (4 + (-8)/q)/((-2)/(-11))?
True
Suppose -2*z = 10, 9 = -j - 0*z - z. Does 52 divide (-1)/j - (5677/(-28) - 5)?
True
Suppose 51 - 55 = -2*w. Is (-7 + 63)/(w/9) a multiple of 40?
False
Let n(w) be the second derivative of -w**5/20 + 25*w**4/12 - 25*w**3/3 + 5*w**2 + 175*w. Is n(11) a multiple of 41?
False
Is 163338/90 + 8*(-2)/(-120) a multiple of 109?
False
Let b = -411 - -751. Let x = b + 160. Is 50 a factor of x?
True
Let u be -3 + 1*(-12)/(-2). Suppose -g + 105 = -2*t, -u*g + 2*t + 389 = 86. Let p = -8 + g. Is 13 a factor of p?
True
Suppose n = -17*n + 2*n + 208608. Does 159 divide n?
True
Suppose -3*l - 2*h - 1 + 8 = 0, 0 = -4*l - 5*h. Suppose 4*y + 0*y + 5*c = -225, 0 = -l*y + 2*c - 240. Let j = y + 103. Is j a multiple of 12?
False
Suppose 5*y = -30, 2*i - 12*y + 16*y = 5648. Is 4 a factor of i?
True
Suppose -2*z + y + 4348 = 5*y, -5*y - 2174 = -z. Does 12 divide z?
False
Suppose 15 = 4*u + 7. Suppose i = 6*i + b - 3446, 0 = u*i - 3*b - 1375. Suppose -11*z + 125 = -i. Does 16 divide z?
False
Let q(l) = -134*l + 3050. Is 2 a factor of q(22)?
True
Let t(o) = -4*o - 15. Let g be t(-4). Let z be (g - -10)*(0 + (-3)/(-1)). Let c = z - 8. Does 11 divide c?
False
Suppose 5*i + 90 = -c, 2*i - 66 = 5*i + 3*c. Let m be (-4)/34 - 17549/391. Let x = i - m. Is x a multiple of 7?
True
Suppose 0 = 3*t + t + 5*w + 8, 0 = -5*t - 5*w - 10. Let z be t/(-10) - (-306)/45. Let s = z + 95. Does 14 divide s?
False
Let d = -46 - -386. Let h = d - 209. Suppose -h = -3*q - 2. Is q a multiple of 11?
False
Suppose 63*k + 14302 = 75286. Is k a multiple of 22?
True
Let n = 196 + -581. Let r = 735 + n. Does 66 divide r?
False
Let h(z) = -z**3 - 6*z**2 + 2*z - 5. Let u be h(-7). Suppose -u = -3*i + 2*n + 41, 0 = -5*i + 2*n + 121. Let r = 29 - i. Does 2 divide r?
True
Let z = -9489 + 10925. Does 37 divide z?
False
Suppose 3*w = 2*k + 872, -5*w + 4*k + 1412 + 38 = 0. Is 14 a factor of w?
True
Suppose -24*t + 503608 = 28840. Is t a multiple of 36?
False
Suppose -2*y + 16 = 10. Suppose -c - 160 = -y*c. Is 13 a factor of c?
False
Suppose -63444 = -6*y - 29331 + 28455. Does 12 divide y?
True
Let s(f) = 3*f + 83. Let y be s(0). Let r(z) = -2 + 6 - z**3 + 6*z - 90*z**2 + y*z**2. Is r(-8) a multiple of 4?
True
Let b = -4294 + 7774. Is b a multiple of 12?
True
Suppose -4*c - 4*r + 17178 = -24958, 0 = 5*c - 4*r - 52634. Suppose 2*d - c = -16*d. Does 39 divide d?
True
Let y(n) = n**2 + 3*n + 47. Let l be y(0). Suppose -4*r - l = -111. Suppose -2*s + 102 = -r. Is s a multiple of 22?
False
Suppose 2*l - 3 = 7. Let q(y) = 33*y**2 + 10*y - 8. Let s(p) = -14*p**2 - 5*p + 3. Let n(g) = -2*q(g) - 5*s(g). Does 38 divide n(l)?
False
Suppose 10*q + 137 = 377. Does 7 divide (497/(-2))/((-12)/q)?
True
Suppose 194*g - 187*g - 90559 = 0. Is 44 a factor of g?
False
Let g(j) = -3*j**2 - 38*j - 26. Let l be g(-12). Is 11 a factor of (-292)/l + 6 + 0 + -3?
False
Suppose -7 = -3*l - 1, 2*v - 10 = -l. Suppose -4*m + 136 = v*m. Is 15 a factor of m?
False
Let t(m) = -24*m**3 + 6*m**2 + 7*m - 5. Suppose 3*y + q = 4*q, 3*y + 2*q + 15 = 0. Is 13 a factor of t(y)?
True
Suppose -55*r = -39*r - 4752. Let m = 726 - r. Is m a multiple of 11?
True
Let r = -40609 + 67753. Is r a multiple of 29?
True
Suppose 3*k - 29 = 5*p - 143, 4*k - 80 = -3*p. Suppose p*j = 22*j + 1088. Suppose -2*x = 2*x - j. Is 34 a factor of x?
True
Suppose -5*i = 3*g + 115 - 354, -2*i = 3*g - 254. Does 19 divide g?
False
Suppose -2657*w = -2622*w - 759010. Is 14 a factor of w?
True
Let f be (-2)/(-10) + 142*(-35)/(-25). Suppose 4*p = f + 601. Is 10 a factor of p?
True
Suppose 86025 = 7*y - 28096. Is 47 a factor of y?
False
Suppose 0 = -335*o + 320*o + 78525. Is o a multiple of 46?
False
Suppose 2*h + 12585 = 5*d, 9829 + 241 = 4*d - 2*h. Suppose 46397 - d = 37*p. Is p a multiple of 12?
False
Let l(d) = d**3 - 8*d**2 - 23*d + 23. Let r be l(10). Let m(h) = h**3 + 7*h**2 + 8. Let p be m(r). Does 8 divide p/(-36) - (2 + (-1772)/36)?
False
Suppose 10*b - 5*b - 2712 = -2*a, b - 545 = -3*a. Let k = 46 + b. Is k a multiple of 21?
True
Let y(x) = x**3 - 4*x**2 + 2*x. Suppose -5*f + 22 = -2*f - 4*r, 4*f - 3*r - 27 = 0. Let a be y(f). Suppose -d = d - a. Is 4 a factor of d?
False
Let x(q) = 1063*q**2 + q - 1. Suppose 1099*t - 1109*t - 10 = 0. Is 10 a factor of x(t)?
False
Let y = 9 - 8. Let i = -105 + y. Let v = -58 - i. Does 23 divide v?
True
Let o be 5 + 0/(-2*(-2)/(-4)). Suppose 0 = -o*f + 231 + 109. Does 10 divide f?
False
Let u be (30/(-4))/1*186/279. Does 19 divide (-44)/(-33)*u/((-10)/267)?
False
Let d be (-204)/(-20) + (-2)/10. Suppose -2*i + 2*s + 1262 = 0, -3*i + 5*s = d*s - 1869. Is i a multiple of 34?
False
Suppose 527 = -12*c + 4427. Is c even?
False
Suppose -20*j + 54584 = -70856. Does 78 divide j?
False
Suppose -5109 = -10*q - 75*q + 69861. Does 3 divide q?
True
Let x(g) = 257*g - 10842. Is x(123) a multiple of 23?
True
Let b be (-2)/(-5)*15*1. Suppose -5*s = -m - b, m = 2*s - 1 + 4. Suppose -114 = -m*l + 291. Does 2 divide l?
False
Suppose -18 = -2*w + 8*w. Let x(y) = -y**2 + 5. Let o be x(w). Is 4 + o + -1 - (1 - 104) a multiple of 17?
True
Let u(c) be the third derivative of -5*c**4/12 + 7*c**3/3 + 10*c**2. Let j be u(3). Does 12 divide ((-1146)/(-14))/3 - j/(-56)?
False
