 Let m(n) be the first derivative of -n**4/4 - 8*n**3/3 - 9*n**2/2 + 6*n - 3. Does 7 divide m(p)?
False
Suppose -g = -4*g + 84. Let v = g - 3. Does 10 divide v?
False
Let b be 19/3 + 2/3. Let p(a) = 3*a + 6. Let m be p(b). Suppose -m = -0*n - 3*n. Does 4 divide n?
False
Suppose -2*t - 13 = -43. Let i(k) = t*k - 2 + k**2 - 14*k - 3. Does 13 divide i(4)?
False
Suppose 0 = -5*n + 4*v - 1, 0 = -n + 5*n - 4*v + 4. Suppose 4*k - 130 = -2*z, 5*k + n*z = 100 + 62. Is 11 a factor of k?
True
Let r(u) = -28*u - 2. Does 18 divide r(-2)?
True
Suppose -r = -4*r + 138. Is 25 a factor of r?
False
Let u be 20/(-10)*2/(-4). Let t = 5 + -15. Does 5 divide -2 - (2 + t) - u?
True
Is 23 a factor of (-81)/(-3)*(-24)/(-18)?
False
Let b = -142 - -294. Is 12 a factor of b?
False
Suppose -2*b + 7*u + 33 = 6*u, 0 = -b + 3*u + 9. Is 6 a factor of b?
True
Let v = 2 + 0. Suppose 2*w = -v*w + 28. Is w a multiple of 7?
True
Let d(s) = 2*s**3 + 6*s**2 - 6*s + 7. Let q be d(-5). Let o(j) = 21*j + 63. Let u(z) = -1. Let w(y) = q*u(y) - o(y). Is 21 a factor of w(-1)?
True
Let l(f) = f**3 - 5*f**2. Let j = -6 - -11. Let p be l(j). Suppose p*a - 5*h = -2*a + 80, -5*h = 10. Is a a multiple of 12?
False
Is 3 a factor of 2*-2*45/(-12)?
True
Let l be 87 - ((-8)/(-2))/2. Suppose -5*x + 43 = p + 4, 5*p = -3*x + l. Let u = p - -1. Does 6 divide u?
False
Let n be -2 + 32/(4 - 3). Suppose -6*a + a = -n. Does 3 divide a?
True
Let s(a) = a + 6. Let b be s(-7). Is 4 a factor of (-1)/b + (-7)/(-1)?
True
Suppose 271 = 2*s - 169. Does 22 divide s?
True
Suppose 4*g = -2*r + 548, -4*r + 0*r = 5*g - 691. Suppose -4*o = -7*o + g. Does 29 divide o?
False
Let b = -5 + 5. Suppose 4*k - 32 = -b*k. Suppose 5*i = -k + 48. Is i a multiple of 8?
True
Let c be (-26)/(-6) - 1/3. Let q = 8 - c. Is 4 a factor of q?
True
Let p(b) = 3*b**3 - b**2 + 6*b + 5. Let x(i) = -i**3 - 1. Let n(u) = p(u) + 4*x(u). Let v be (-6)/27 - (-68)/(-18). Is n(v) a multiple of 11?
False
Let n(s) = 12*s - 7. Let d be n(-5). Let m = d - -96. Let z = 41 - m. Is z a multiple of 6?
True
Let i(h) = -h**3 + 6*h**2 + 7*h - 1. Let p be i(7). Is 24 a factor of 158/3 + p/(-3)?
False
Let s(d) = 6*d + 7*d - 14 - 10*d. Is 19 a factor of s(11)?
True
Suppose 3*h + 32 - 155 = 3*r, 2*h + 108 = -3*r. Let t = -27 - r. Does 3 divide t?
False
Does 14 divide 14*1/(-2 - -3)?
True
Let z(v) = 20*v - 3. Is z(3) a multiple of 19?
True
Let y(k) = 14 - 3*k**2 - k**3 + 11*k - 2*k**2 + 15*k**2. Does 6 divide y(11)?
False
Let c = -10 + 14. Let m be 0*(1 + (-6)/c). Let l(j) = -j**2 - j + 28. Is 14 a factor of l(m)?
True
Let d be (-1 - 0)/(-4 + 3). Let s = 4 + d. Suppose x = -s + 25. Does 13 divide x?
False
Let r(u) = 41*u + 4. Let w be r(6). Let a = -134 + w. Suppose 3*g - 151 = -5*f, 4*f + 7*g - a = 3*g. Does 16 divide f?
True
Let s(h) = -2*h - 4. Let b(c) = c. Let p(n) = -8*b(n) + s(n). Does 13 divide p(-3)?
True
Let p = 81 + 7. Suppose p = 2*h + 4*t, -3*h + 5*h + 5*t = 92. Is h a multiple of 9?
True
Let z(j) = -j**3 - 2*j**2 + 10*j + 16. Is z(-6) a multiple of 20?
True
Suppose 0 = b - 3*b - 4*f + 18, 0 = -b - 5*f + 12. Is 2 a factor of (-3)/(4/b + -1)?
False
Does 73 divide (-1 + (-4)/(-8))/((-1)/770)?
False
Suppose 2*g + 12 = -0*g. Let t(l) = 3*l**2 + 9*l - 1. Let z(b) = 4*b**2 + 10*b - 2. Let i(d) = g*t(d) + 5*z(d). Does 22 divide i(5)?
False
Suppose 5*a - 7*f = -12*f + 5, 3*f + 12 = 0. Suppose 0*l + 235 = a*l. Does 6 divide l?
False
Suppose -2*l - 51 = 5*h, -3*l - 3*h = l + 81. Let z be (l + 0 + 0)/1. Is 0 + (-2)/(-1) - z a multiple of 10?
True
Suppose -5*i - 3*s + 486 = 0, s - 103 + 581 = 5*i. Does 24 divide i?
True
Let r(s) = s**2 + 12*s + 16. Is r(-12) even?
True
Is (-12)/(-1) + -6*(-6)/36 a multiple of 4?
False
Let u = 11 - 4. Suppose 3*q = 4*d - u - 16, 15 = -3*q. Is d a multiple of 2?
True
Let f(o) = o + 5. Is 2 a factor of f(5)?
True
Let h = 52 + -47. Suppose -2*c + 2 = -k - 2, c = 5*k - 7. Suppose -k*z + h*l + 53 = -0*z, -2*l + 6 = 0. Is 13 a factor of z?
False
Let a(f) = 55*f**3 + f**2 + f - 1. Let y be a(1). Let l = -39 + y. Does 17 divide l?
True
Suppose 2*n - 380 = -2*n. Suppose -n = -5*f + 55. Is 9 a factor of f?
False
Suppose -4*z + 481 = -191. Does 19 divide z?
False
Let i = 138 + -88. Is i a multiple of 10?
True
Let x(t) = -5*t + 2. Let c be 5 + (4/2 - 4). Suppose c*k = -3 - 3. Does 12 divide x(k)?
True
Let g = 72 + 19. Does 19 divide g?
False
Suppose -7*t - 165 = -2*t. Let x be 4/14 - t/7. Suppose -z + 32 = -x. Is z a multiple of 17?
False
Suppose 0 = -9*l + 8*l + 64. Is l a multiple of 16?
True
Is 4 a factor of (-2)/(-4) - (-114)/4 - 4?
False
Let i(l) = 32*l - 4. Let h be i(-3). Let b = -56 - h. Suppose -o + b = o. Is o a multiple of 11?
True
Suppose -2*c = 5*u - 3*u - 12, 0 = 4*c + u - 30. Is c a multiple of 5?
False
Let d be -2 - 2/(-2)*25. Suppose 0 = 2*j - i - 51, -2*j + d = i - 18. Does 6 divide j?
False
Let h(s) = -8*s - 4. Let v(o) be the third derivative of o**6/120 - o**5/20 - o**4/6 - 2*o**3/3 + o**2. Let q be v(4). Does 14 divide h(q)?
True
Suppose -3*r = -3*s - 18, -7 = 2*r - 4*r + s. Let m = -6 - -12. Is (9/m)/(r/2) a multiple of 3?
True
Let v(z) = -9*z**2 - 11*z. Let j(a) = 5*a**2 + 6*a. Let i(q) = -5*j(q) - 3*v(q). Let f be i(-2). Suppose -o - 31 = -2*y, -3*o = f*o + 15. Is y a multiple of 7?
True
Let y(g) = -g**3 - 4*g**2 + 5*g + 2. Let h be y(-5). Suppose -3*i = -4*p + 116, 2*p + 3*p - h*i - 138 = 0. Is 13 a factor of p?
True
Let d = 245 - 119. Does 21 divide d?
True
Suppose 5*w = 2*o + 5 + 13, w - 4*o = 0. Suppose -d + 8 = -w*r, -3*d + 2*d = r - 23. Is d a multiple of 10?
True
Suppose 25 = -0*o + 5*o. Suppose -2*c + 20 = 3*c. Suppose o*d - 35 = -2*a, 0*d + 3*d - 77 = -c*a. Is a a multiple of 13?
False
Suppose -3*c + 8 - 2 = 0. Suppose -4*u = -c*u - 130. Suppose -7*r = -2*r - u. Is 13 a factor of r?
True
Let x(f) = -4*f. Let a be x(-1). Suppose -a*g = 4*l - 52, l - 64 = -6*g + 2*g. Does 17 divide g?
True
Let l = 22 - -30. Let p = l + -16. Is p a multiple of 20?
False
Suppose m = 4*s - 6, s - 4 = -m - 0. Suppose s*u = 3*x + 48, u - 4*u + 3*x = -75. Does 9 divide u?
True
Suppose 0 = 5*h + n - 5514, 0 = -3*h + n + 2439 + 863. Is 17 a factor of h/14 + 20/70?
False
Suppose -4*h - 6*h + 240 = 0. Is 8 a factor of h?
True
Let d(q) = q - 3. Let s be d(5). Suppose -75 = s*o - 5*o. Is o a multiple of 7?
False
Suppose -2*a = -n + 2, -4*n + 2*a + 8 = a. Suppose -n*v = -v. Suppose v*p - 2*p + 48 = 0. Is p a multiple of 23?
False
Suppose -155 = -8*a + 3*a. Suppose -a = -5*b + t + 3*t, -5*t - 11 = 3*b. Is 9 a factor of 2 + 10 - (b - 0)?
True
Let t(p) = 4*p**2 + 2*p + 3. Is t(-2) even?
False
Let b(q) = -q + 11. Let n be b(9). Suppose -n*u = 4*s - 0*u + 46, -5*u + 41 = -3*s. Is 13 a factor of (-2)/s - 113/(-6)?
False
Suppose -6*r = -1717 - 221. Suppose 6*p - r + 47 = 0. Does 23 divide p?
True
Suppose 4*m = 3*k - 178, -m = 3*m + 16. Is 6 a factor of k?
True
Let h be (-1 - 0)*3 - 35. Let v = 68 + h. Is v a multiple of 10?
True
Let t(w) = 2*w - 9. Let o = -31 - -65. Suppose o = 3*l + 13. Is 2 a factor of t(l)?
False
Suppose 5*j + 34 = -131. Let q be j*4/3*-1. Suppose 2*y = -2*r + q, 2*r = 6*r - 5*y - 106. Does 19 divide r?
False
Let q be 3/(4 + -3) - -6. Suppose 3*o - 3*i = 18, i + q = o + 3*i. Is 7 a factor of o?
True
Let a be 3/(-9)*(-230 - 1). Suppose 0 = -3*y + 1 + a. Does 13 divide y?
True
Let l(m) = m**2 - 10*m + 9. Let i be l(9). Suppose i = 2*v + 3*x - 1, -3 = -0*v + v + 5*x. Suppose -10 - v = -3*k - 3*j, 5*j = 4*k - 43. Is k a multiple of 3?
False
Let j be 3/((-3)/(-1)) - -1. Suppose -j*p + 60 = -5*p. Let h = p + 33. Does 10 divide h?
False
Is 4*5*(-8)/(-4) a multiple of 20?
True
Suppose 330 = 9*h + 2*h. Does 19 divide h?
False
Suppose 111 - 34 = y. Is y a multiple of 8?
False
Suppose -4*j = -0 - 4. Let t = -33 - -23. Is t*((-2)/j)/2 a multiple of 4?
False
Suppose -4*q + 3*d + 98 = 4*d, -5*q = -4*d - 112. Does 6 divide q?
True
Let h(u) = u + 212. Let o be h(0). Suppose -o = -3*z - 32. Does 20 divide z?
True
Suppose 2 = -3*x + 11. Is x a multiple of 2?
False
Is 31 a factor of 5/(90/3128) + 6/27?
False
Let g be -1 + 2 + (56 - -4). Suppose g + 79 = 4*q. Is 11 a factor of q?
False
Suppose -8 = -2*p, -v + 50 = -3*v + 5*p. Let w = 25 + v. Is w a multiple of 5?
True
Let c(q) = 4*q**2 - q - 1. Let u be (-21)/(-35) + (-16)/10. Let h be c(u). S