se -d = -a + 2*a - 52, -d - 156 = -f*a. Does 11 divide a?
False
Let c = 1259 + -635. Is c a multiple of 39?
True
Let n = 71 + -21. Let d = 110 - n. Is 14 a factor of d?
False
Let u(x) = -x**3 - 4*x**2 - x - 6. Let d(b) = b**2 + 9*b + 3. Let i be d(-8). Let z be u(i). Does 6 divide z*((-30)/4)/(-5)?
True
Suppose -3*f - 37 = -142. Suppose -f = -6*z + 313. Does 16 divide z?
False
Suppose 2370*n - 2367*n - 258 = 0. Does 4 divide n?
False
Let g(j) = -1 + 2*j + 5 + j**2 + 2*j**2 - j**2. Let m be g(5). Let t = -26 + m. Is t a multiple of 13?
False
Let f be ((-8)/10)/(4/(-20)). Suppose -17 = -f*v + 15. Suppose d - v + 4 = 0. Is d a multiple of 4?
True
Suppose -59*o + 58*o = -40. Let x be 4/(-18) - 38/(-9). Suppose -k + o = x*k. Is 4 a factor of k?
True
Let h be (-2)/(98/(-96) + 1). Let a = -39 + 289. Suppose 3*v = 2*b - 4*b + h, 5*b + 5*v - a = 0. Is b a multiple of 27?
True
Let c(k) = -4*k**3 - k + 2. Let m be c(2). Let n = 122 + m. Does 13 divide n?
False
Let c(j) = 22 - 2*j**2 + 20 + 3 + 3*j**2. Is 15 a factor of c(15)?
True
Let g(v) = -10*v + 4. Let u be g(8). Let d = -34 - u. Does 14 divide d?
True
Let j(f) = f**3 - 7*f**2 - 8*f + 4. Let t be j(8). Let b(h) = t + h**2 - 7 - 3 + 3. Is 13 a factor of b(-4)?
True
Let f be (-98)/(-4)*(-24)/(-2). Suppose -4*t + 54 = -f. Suppose 0 = -0*u + 3*u - t. Is u a multiple of 11?
False
Suppose -2716 = 27*w - 18025. Is 8 a factor of w?
False
Let l(m) be the second derivative of m**4/12 - 2*m**3/3 + 3*m**2/2 + m. Let b be l(4). Suppose -63 = 5*g + b*x - 228, -145 = -5*g + x. Does 15 divide g?
True
Let l be ((-6)/4)/(1/(-4)). Is 15 a factor of (-1 - (l/2)/(-1)) + 148?
True
Let n(j) = -2*j + 2. Suppose -3*h = -8*h - 30. Let y be n(h). Suppose -y = -4*g + 14. Does 7 divide g?
True
Let u(t) = -3*t**3 - 7*t**2 - 6*t - 2. Let c be u(6). Is 12 a factor of c/(-28) + (-3)/2 + 2?
False
Let f = 1354 - 1138. Is 4 a factor of f?
True
Let l(g) = g + 11. Let f be ((-2)/6)/(6/126). Let c be l(f). Does 7 divide -4 - (-4 - 96)/c?
True
Let z = -14 + 13. Let m be (-43 + -1)/1 - z. Let t = m + 96. Is 22 a factor of t?
False
Let o(n) = 29*n + 720. Is 8 a factor of o(0)?
True
Let b = 6 - 1. Suppose -2*m + 13 = b. Suppose -s + 6*s = -5*v + 65, 0 = m*v + 5*s - 50. Is 5 a factor of v?
True
Is 28 a factor of ((-15)/((-120)/(-16)))/((-2)/883)?
False
Suppose -10*k + 3400 - 180 = 0. Does 7 divide k?
True
Does 17 divide (278/(-6))/(26/(-78))?
False
Suppose 0 = 11*s - 4*s. Suppose -2*u = 5*k - 4*u - 152, -u - 1 = s. Does 2 divide k?
True
Is 3/(-1 - -2*(-454)/(-896)) a multiple of 4?
True
Suppose 0 = 8*z - 9*z + 5. Suppose -4*n + 46 = 2*c + n, z*c - 2*n - 173 = 0. Is c a multiple of 8?
False
Let p be (22/(-4))/(1 + 30/(-24)). Suppose 2*y = -5*a + 19, -4*y + p = -y + a. Is 7 a factor of y?
True
Suppose 2*p + 2*p = 48. Let o be 642*(-2)/(-76) + (-4)/(-38). Let k = p + o. Is k a multiple of 13?
False
Let w(j) = j**2 + 11*j - 5. Let p be w(-12). Let n(y) = 3 + y + p*y + 9*y - 19*y. Is n(-12) a multiple of 16?
False
Suppose 0 = -3*v - 2*z + 189, 0 = -4*v - 4*z + 168 + 80. Let r = v - 49. Does 4 divide r?
True
Let p = 1083 - 751. Does 24 divide p?
False
Let x = 47 + -54. Let n(d) = -d**3 - 6*d**2 + 3*d - 11. Is n(x) a multiple of 4?
False
Let c(y) be the third derivative of -11*y**4/24 - 11*y**3/6 + 15*y**2. Does 4 divide c(-5)?
True
Suppose 2*g + 5 = 4*b - 9, 3*b = 15. Let h be (-24)/(-8)*2/g. Suppose -5*p = -2*i + 5*i - 20, h*i - 5*p - 55 = 0. Does 15 divide i?
True
Let k be ((-29)/4)/(8/(-32)). Let f = k + -50. Is -120*(3 + f/6) a multiple of 20?
True
Let w(h) = 6*h - 7*h**3 + 25 - 23 - 3*h**2 + 3*h**3 + 3*h**3. Is w(-5) a multiple of 11?
True
Suppose 3*f + 4*s + 66 = 273, 5*s - 204 = -3*f. Suppose -f = -2*g - 15. Suppose 3 + g = w. Is 16 a factor of w?
True
Let k(l) = -l**3 + 8*l**2 + 15. Suppose 26 = 4*n + 2*i - 6, 0 = 2*i. Is k(n) a multiple of 2?
False
Suppose -4*y - 5*z + 8 = 0, -z = -y - 6*z + 17. Let b = y + 5. Suppose -b*k + 99 = -3*d, 5*k + 3*d = -d + 282. Is k a multiple of 20?
False
Suppose 3*m + 0*m - 3810 = -5*h, 0 = h + 5*m - 740. Does 9 divide h?
True
Let n = -107 - -485. Does 3 divide n?
True
Let s(d) be the second derivative of d**4/12 + d**3/2 - 17*d**2 + 23*d. Does 9 divide s(10)?
False
Let b(l) = -219*l + 113. Is 21 a factor of b(-2)?
False
Let p be (84/36)/(1/(-3)). Let w be (15/(-2))/(p/42). Suppose 4*s - w = -l, s - 4*s - 45 = -l. Does 15 divide l?
True
Let j(x) = x**3 + 3*x**2 - 27*x + 285. Is 50 a factor of j(12)?
False
Suppose 10*j - 2725 = -475. Is j a multiple of 47?
False
Let m = 2 - -7. Suppose m*d + 28 = 10*d. Does 14 divide d?
True
Is 12 - (2 - -2) - -3152 a multiple of 79?
True
Let l = 10 + -19. Let y(x) = x**2 + 9*x - 2. Let j be y(l). Let c(g) = -2*g**3 + 3*g**2 + 3*g. Does 13 divide c(j)?
False
Let a = -162 - -342. Is a a multiple of 13?
False
Let z(h) = -45*h + 5. Let i be z(-2). Let y = i + -49. Is y a multiple of 5?
False
Let y(d) = -127*d + 55. Does 21 divide y(-8)?
True
Let x be (-30)/(4 - 4 - 2). Suppose -4*a = -a - x. Suppose -2*y + 5*z = -74, -4*z - 109 = -a*y + 110. Is 10 a factor of y?
False
Let q be (-48)/4*(-2 - (1 + 2)). Let u = -45 + q. Is 4 a factor of u?
False
Let q = 531 + -349. Does 31 divide q + (-3 - (0 - 7))?
True
Let f(y) = -y**3 - 17*y**2 - 21*y - 40. Let k(w) = -4*w - 4. Let t be k(3). Is f(t) a multiple of 20?
True
Let x(o) = o**2 - 3*o - 4. Is 50 a factor of x(-16)?
True
Let v = 369 - 213. Is 40 a factor of v?
False
Let x = 2605 - 1886. Is x a multiple of 97?
False
Suppose -15*t - 49*t = -136320. Is 30 a factor of t?
True
Suppose -m + 2*m + 5*h = 12, 4*m - h = 48. Let p be 3 - (m/(-3))/(-4). Let i(z) = 8*z**2 - 2*z + 2. Does 10 divide i(p)?
True
Let o(q) = q**3 - 15*q**2 - 11*q - 6. Let u be o(16). Suppose -34 = 4*d + 46. Does 10 divide (u/8)/((-5)/d)?
False
Suppose -n - 2*q = -3*q - 7, -6 = 2*q. Is (6/n)/(12/376) a multiple of 17?
False
Let k(f) = f**3 + 27*f**2 + 51*f + 74. Is 12 a factor of k(-20)?
False
Let d be (2/(-2))/((-3)/6). Let n be (-16)/(-1) - (d + -1). Suppose n = 3*i - 42. Is 6 a factor of i?
False
Suppose 16 = 4*c - g, -3*c + 29 = -0*c - 5*g. Suppose 0 = -a - c + 17. Is a a multiple of 4?
False
Suppose -3*x - 3*v = -0*v - 21, 0 = 2*x - 3*v - 4. Suppose 0 = -5*j + 2*j - 4*i + 1223, -5*j + 2061 = i. Suppose 0 = -x*n - 78 + j. Is 15 a factor of n?
False
Let j(s) = s**3 - 23*s**2 + 2*s - 48. Let r be j(23). Is 5 a factor of (r/4 + (-1)/6)*-63?
False
Let m(a) = 7*a**3 + 5*a**2 - 2*a + 8. Let l(o) = 20*o**3 + 15*o**2 - 5*o + 23. Let r(c) = -6*l(c) + 17*m(c). Is 6 a factor of r(-5)?
True
Suppose 2*p + 3*z = 86, 0 = 2*z + z - 6. Suppose 428 = 3*n - 4*q, n + 3*q - 6*q = 141. Is 13 a factor of (n/p)/((-1)/(-5))?
False
Suppose -2*f - 21 = -5*f + 3*j, -3*f + 29 = -5*j. Suppose 3*q = 2*h, 3*q + 5*h - 5 = 16. Suppose 0 = -q*g + 4*w - 8, -3*g = w - f*w. Does 2 divide g?
True
Suppose 5*g + 2*h = 14 - 4, -2*h + 6 = 3*g. Is 13 a factor of 65/((-18)/(-14) + g/(-7))?
True
Suppose -6 = -2*m, -4429 = -8*r + 6*r + m. Is r a multiple of 20?
False
Suppose 2*l - 451 - 629 = 0. Suppose l = -8*d + 1308. Does 6 divide d?
True
Let q be (-2 - (-1)/(-1))*-1. Suppose 0 = 2*l - g - 300, 5*l + 0*g = 4*g + 756. Suppose -q*s + l = -14. Does 18 divide s?
True
Suppose -8 = 5*s - 23. Suppose s = 8*h - 421. Is 41 a factor of h?
False
Let r = 322 + -228. Is 3 a factor of r?
False
Let z = 181 + 183. Is 12 a factor of z?
False
Let q = 1610 - 1519. Does 3 divide q?
False
Suppose -2*d - 5*t - 451 = 0, 3*t - 416 = 2*d + t. Let o(h) = h**2 - 7*h - 3. Let f be o(8). Does 14 divide 27/(-45) - d/f?
True
Let s(g) = -g**3 + 17*g**2 - 4*g - 20. Let y(k) = k**3 - 6*k**2 - k + 22. Let z be y(6). Is 9 a factor of s(z)?
False
Suppose 2*y = 3*s + 39, -y + 4 = 4*s + 45. Let x = s - -12. Suppose -j + 17 + x = 3*b, 3*b - 90 = -5*j. Does 6 divide j?
True
Let s(b) = b**2 + b + 1. Let r be s(2). Suppose c - r*c = -1188. Let m = c + -121. Is m a multiple of 12?
False
Suppose -794*o - 4192 = -810*o. Does 19 divide o?
False
Let r = -88 + 132. Suppose -j = s - 16, 0 = 3*s - j + 3*j - r. Does 2 divide s?
True
Let p = 815 + -250. Suppose j = 6*j - p. Let g = 173 - j. Is g a multiple of 20?
True
Suppose -4*l = -5*l + 87. Let g = 250 - l. Is g a multiple of 10?
False
Let k be (-2 - (1 - 6))*-1. Let j(h) = -h**3 - 2*h**2 + 5*h - 4. Let b(f