 2*k - 3 = 0. Let t(f) = k*p(f) - 2*l(f). Is 6 a factor of t(2)?
True
Let z(y) = y**3 - y**2 + y - 4. Is z(4) a multiple of 8?
True
Let n = 55 - 14. Is 11 a factor of n?
False
Let y = -109 - -119. Does 7 divide y?
False
Suppose -3 = d - 2*d. Let z = 14 + d. Is 6 a factor of -1 + z - (-1 - -3)?
False
Suppose -3*j = -3 - 3. Let q(b) = 0*b - 2 - 3 + j*b. Is q(5) a multiple of 3?
False
Suppose -2*q - 4*j = -16, 4*q + 2*j - 3*j = 5. Is q/((-4)/6) + 67 a multiple of 16?
True
Let v(q) = -10*q + 4. Let w(u) = -30*u + 12. Let t be 1*17/(-2)*2. Let f(k) = t*v(k) + 6*w(k). Does 22 divide f(-4)?
True
Let i be -1 - -2 - -9 - -2. Is 5 a factor of (i/(-8))/(2/(-20))?
True
Let c(x) = 2 + 35*x**2 - 32*x**2 - 2 + 9*x. Is 27 a factor of c(-6)?
True
Let d be 6/(-21) - (-74)/14. Does 4 divide ((-8)/10)/(d/(-25))?
True
Let w(n) = n**2 + 9*n - 2. Suppose -d - 3*u = 22, 0 = -u + 4*u + 12. Let o be w(d). Suppose -i + o = -0*i. Is 7 a factor of i?
False
Let d(j) = j**3 - 9*j**2 + 6*j - 28. Is d(9) a multiple of 3?
False
Let p be (-1)/(-5) - 1068/(-60). Suppose 2*u = 34 + p. Does 13 divide u?
True
Let t(u) = -13*u**2 - 7*u - 1. Let m(j) = 7*j**2 + 3*j. Let p(r) = 5*m(r) + 2*t(r). Let y be p(3). Let l = y + -54. Is l a multiple of 14?
True
Let a = 59 + -23. Suppose -i = -5*s + a, -i - 6 + 2 = -s. Is s a multiple of 8?
True
Suppose g - 2*x = -2*g + 156, 2*x = 0. Suppose u - 5 + 3 = 0, -3*m - 2*u = -g. Suppose -3*j = j - m. Does 4 divide j?
True
Suppose -3*m + 2*l = 6*l - 122, 0 = 2*m + 3*l - 81. Is 16 a factor of m?
False
Let c(o) be the second derivative of o**7/840 - o**6/90 + o**5/120 - o**4/12 + o**3/2 - 2*o. Let x(l) be the second derivative of c(l). Is 14 a factor of x(5)?
True
Suppose -3*k + 15 = -0*k. Suppose 4*t + 16 = 0, -k*t - 50 - 30 = -3*r. Let j = r - 0. Is 8 a factor of j?
False
Let h(l) = l**3 - 7*l**2 + 5*l + 8. Let a be h(6). Let t be -3 - (1 - a) - -4. Is 13 a factor of (13/t)/(-1)*-2?
True
Let r(s) = s**3 - 3*s**2 - 3*s. Let j be r(4). Suppose -120 = -9*v + j*v. Does 12 divide v?
True
Let b = 71 + -51. Suppose 2*o + 4*p - b = -0, 0 = -4*o - p + 47. Is o a multiple of 12?
True
Suppose -4*r = 103 + 41. Let c = -22 - r. Is c a multiple of 5?
False
Let g = -16 - -27. Let h = -46 + 69. Let p = h - g. Is p a multiple of 6?
True
Suppose -5*z + 11 = -14. Let t(g) = -g**3 + 7*g**2 + 6*g - 2. Let i be t(z). Suppose 3*a + 5*w - i = 2*w, -128 = -5*a - 4*w. Does 22 divide a?
False
Suppose 0 = 4*o + s + 2*s - 4, -4*o = 5*s + 4. Suppose -o*g + x + 0*x + 54 = 0, -x + 72 = 5*g. Is 3 a factor of g?
False
Is 23 a factor of (-19 - 4)/(2/16*-2)?
True
Let u(p) = -20*p. Is 12 a factor of u(-3)?
True
Let d(t) = -t**2 - 3*t. Let o be d(-7). Let h = o - -40. Does 7 divide h?
False
Does 5 divide (-9)/9*(3*-33)/3?
False
Let v = 408 + -208. Is v a multiple of 25?
True
Suppose -19 = -2*m + 25. Suppose d + v = -2*v + m, 0 = -3*d + 5*v + 94. Is 15 a factor of d?
False
Let s(q) = -14*q - 4. Does 8 divide s(-3)?
False
Let b = -160 + 241. Is 33 a factor of b?
False
Suppose -6*o - 155 = -o. Let f = o - -64. Is 10 a factor of f?
False
Let r(o) be the first derivative of o**3/3 + o**2/2 - 11*o + 4. Is r(7) a multiple of 15?
True
Suppose -2*p - 3*s = -40, -3*p + s + 32 = -p. Does 5 divide p?
False
Let p be -2 + 2 - -5 - 2. Suppose -p*g = g - 84. Suppose -g = -y + 1. Does 11 divide y?
True
Let p = -2 + 4. Is p - (2 + 2*-6) a multiple of 8?
False
Suppose 7*x = 6*x - 12. Let i = x + 21. Is 3 a factor of i?
True
Let z(u) be the first derivative of -u**4/2 + u**3/3 + u**2/2 + u + 1. Let m be z(-1). Is 14 + (m - 6) - 0 a multiple of 6?
False
Let r be 10/6 - 3/(-9). Suppose 1 = r*y - 3. Suppose -8 - 6 = -y*z. Is 7 a factor of z?
True
Let j(x) = -x**3 + x. Let d be j(-2). Suppose d*q = q + 25. Is 4 a factor of q?
False
Let x(d) = -2*d. Let c(o) = -5*o. Let k(p) = 3*c(p) - 5*x(p). Let v be k(-1). Suppose 5*i + 3 - 4 = 4*n, -n - v*i + 31 = 0. Does 3 divide n?
True
Suppose -21 - 679 = -4*w. Does 35 divide w?
True
Let d(m) = 2*m**3 - m**2 - 5*m + 10. Is 20 a factor of d(3)?
True
Suppose -o + 44 = 5*l, 3*l + 92 = 4*o + 2*l. Is o a multiple of 12?
True
Let b(i) = 4*i**3 + 13*i**2 + 11*i - 8. Let n(d) = -3*d**3 + 5 - 11*d**2 - d**2 - 11*d + 4. Let c(s) = -4*b(s) - 5*n(s). Is 2 a factor of c(9)?
False
Suppose 0 = 6*t + 14 - 608. Is t a multiple of 28?
False
Let c = 17 + -9. Let b = c - -14. Is b a multiple of 11?
True
Suppose -7 + 19 = 2*l. Let g = l + -2. Is g even?
True
Suppose 195 = z + 4*k - k, -5*z + 3*k = -993. Is 9 a factor of z?
True
Let p(n) = 10*n**3 - 2*n**2 + n - 2. Is p(2) a multiple of 8?
True
Let t(j) = -242*j**3 + 2*j**2 - 1. Let p be t(-1). Suppose -4*z = -z - p. Is z a multiple of 27?
True
Let c(q) = -q**3 - 7*q**2 + 2*q + 10. Let n be c(-7). Let m(t) = -t**2 - 7*t - 2. Is m(n) a multiple of 5?
True
Let j = 4 + -6. Let d = j + 2. Suppose d = 3*i - 0*i - 45. Is 15 a factor of i?
True
Let z be (-1)/(-2) - 6/(-4). Let a = -14 + 14. Suppose d - z = -a*d. Does 2 divide d?
True
Suppose 8*f - 3*f = 0. Suppose f = 4*i - 156 + 28. Does 15 divide i?
False
Let v = -5 - -3. Let h be (3/(-6))/1*8. Is 9 a factor of (-50)/h - v/4?
False
Let v(z) = -4*z**2 - 13*z - 13. Let n(b) = b**2 + 4*b + 4. Let t(m) = -7*n(m) - 2*v(m). Let w be -5*(0 + -2 + 1). Is t(w) a multiple of 13?
True
Suppose 0 = -2*u + 68 - 28. Is 10 a factor of u?
True
Suppose 4*l + 76 = d, 0*l + 4*l - 148 = -3*d. Does 4 divide d?
True
Suppose -d = -a - 13, 5*d - 2*a - 2*a - 60 = 0. Suppose 0*p - d = -p + 4*q, 4*q = 16. Is p a multiple of 8?
True
Let r = 34 + 27. Does 6 divide r?
False
Is 9 a factor of (-2)/6*(11 + -308)?
True
Let m(j) = -j**2 - 8*j - 7. Let l be m(-7). Suppose l = 5*c - 3*c - 8. Suppose -c*g + 3*n + 9 + 13 = 0, -4*n + 12 = 5*g. Is 4 a factor of g?
True
Let n(m) = 4*m - 25. Is n(13) a multiple of 27?
True
Let y = 343 + 84. Does 58 divide y?
False
Suppose 4*t + 5*x = -t, 3*x = -15. Let o = 4 - 6. Is o/t + 42/5 a multiple of 4?
True
Let v = 12 + -8. Suppose t + 5*j + 10 = v*t, -5*t + 22 = -3*j. Suppose -4*w - 10 = -3*z - 2*z, 0 = -t*z - 2*w + 40. Is z a multiple of 6?
True
Suppose 720 = -33*l + 37*l. Does 36 divide l?
True
Is 3 a factor of 11 - 8/(0 - -2)?
False
Let g be (0 - -4)/4 - -5. Is g/(-27) - 868/(-18) a multiple of 16?
True
Let j(n) = n**3 - 5*n**2 - 5*n + 6. Let k be j(6). Suppose 0 = -3*o - 5*z - 13, 5*o + 44 - k = 2*z. Is 8 a factor of 40/o*(-24)/20?
True
Suppose 12*d - 17*d = -1375. Is 55 a factor of d?
True
Suppose -2*i + 3*d + 2 = -283, -i - 4*d + 126 = 0. Is 8 a factor of i?
False
Suppose 5*f - 2*f = 5*j + 156, -5*f + 150 = -5*j. Is (j/(-9))/((-3)/(-18)) a multiple of 17?
False
Suppose -2*z + j + 10 = -j, -5 = -j. Suppose z = i + 4. Let s(d) = d**2 - 6*d + 9. Does 9 divide s(i)?
True
Suppose -25 = 5*c, 0 = a - 3*c + 7*c + 19. Let h(v) = -29*v**3 + v - 1. Let p be h(a). Let z = p - -72. Is z a multiple of 18?
False
Suppose -s - 7 = 14. Is (-4)/14 - 69/s a multiple of 3?
True
Let g(o) = 3*o - 8. Suppose -5*y + s - 37 = -13, 5*y + 29 = -4*s. Let h be 99/15 + (-2)/y. Does 13 divide g(h)?
True
Suppose 0 = -5*q - 13 - 7, 0 = -5*p + 4*q + 796. Does 24 divide p?
False
Let x = 19 - 15. Suppose 4*m - 89 = -c, -x*m + c + 85 = -2*c. Is m a multiple of 16?
False
Suppose 299 = 5*x + 64. Let b = 69 - x. Is 11 a factor of b?
True
Let n = 74 + 31. Suppose 0 = -2*k + n - 17. Let u = 66 - k. Is u a multiple of 11?
True
Suppose -3*b + 141 = 3. Suppose 4*m - 198 + b = 0. Is m a multiple of 10?
False
Let i(f) = -3*f**2 + 7 + 7*f + 2 + 2*f**2. Suppose v - 2 = 5. Does 5 divide i(v)?
False
Let f(o) = -11*o + 6. Is f(-8) a multiple of 12?
False
Let c(r) = -r**2 + 3*r. Let j be c(5). Let f = 3 - j. Is f a multiple of 6?
False
Suppose 0*a + 5*v + 8 = a, 0 = 5*a - 3*v + 4. Does 10 divide ((-3)/a)/((-4)/(-96))?
False
Suppose -3*s = 2*s - 70. Suppose -16 = q + s. Is 4/10 + (-828)/q a multiple of 10?
False
Is 4 a factor of 19/((-2)/(20/(-5)))?
False
Let p(k) = -2*k + 3*k + 10 + 0*k. Is p(10) a multiple of 10?
True
Let q(l) = 1. Let c(u) = -4*u**2 - 3*u - 3. Let s(r) = c(r) + 6*q(r). Let b(t) be the first derivative of s(t). Does 13 divide b(-2)?
True
Let k(x) = x**3 + x**2 - 2*x + 4. Let g(f) = f**2 - 11*f - 9. Let p be g(12). Is 17 a factor of k(p)?
True
Let z = 6 + -6. Suppose -x + 0*x = 0. Is (-90)/(-3) + z - x a multiple of 10?
True