5*f, 6*k - 16 = 2*k. Let u = 40 + f. Is 5 a factor of u?
True
Let j be 0 - 3/6*0. Let p(w) = -w + 9. Is 9 a factor of p(j)?
True
Let t = -32 + 47. Does 3 divide 11 + -1 + t/5?
False
Let v(w) = 8*w**2 - 11*w**2 - 9*w + 4*w**2. Is 12 a factor of v(14)?
False
Suppose -o + 2*i = 3*i - 6, 16 = o - i. Suppose 2*c - 77 - o = 0. Does 13 divide c?
False
Let i(q) = q**2 - 5*q + 4. Let k be i(5). Suppose c + c - k = 0. Is 12 a factor of 56/c*(-6)/(-7)?
True
Let d(n) = 23*n - 13. Is d(5) a multiple of 11?
False
Suppose 13 = -3*n - 2. Let m be 2/(-4) + n/(-2). Suppose -4*p = -20, -7*j + m*j + 5*p = -20. Is j a multiple of 9?
True
Let l(n) be the third derivative of -1/24*n**4 + 0*n**3 + 0 + 0*n + 3*n**2 + 1/30*n**5 + 1/20*n**6. Does 7 divide l(1)?
True
Let i(b) = b**2 - 7*b + 9. Let t be i(6). Does 9 divide -1*(-21 + 0) - t?
True
Let z be 7/((-1)/9 - 0). Let n = -30 - z. Does 9 divide n?
False
Let q = -9 - -5. Suppose 2*m - 22 = 34. Does 12 divide 720/m - q/14?
False
Suppose 6*j - 1599 = -183. Is j a multiple of 23?
False
Suppose 4*m = 31 + 25. Does 3 divide m/4 - 18/(-12)?
False
Suppose -t - 2*j = -6, 4*j = 2*t + 3*j + 3. Suppose 3*h = -t*h + 45. Does 11 divide h?
False
Does 18 divide (105 - -8)*(2 + 0)?
False
Suppose -d - 5*m = 4 + 2, -d = 4*m + 3. Does 8 divide d?
False
Suppose 5*o - c = 619, -6 = 4*o - 4*c - 514. Let r = -66 + o. Is r a multiple of 22?
False
Suppose 31 + 29 = 3*u. Suppose g + u = 6*g. Suppose 0 = -g*a + q + 50, 3*a - 12 - 32 = 4*q. Is 6 a factor of a?
True
Let c(i) = i**3 + 1 + 6*i + 2 - 2*i**2 - 6*i**2. Let a be c(7). Let u(t) = -t**2 - 7*t. Is 6 a factor of u(a)?
True
Is 4 - (-5)/(15/156) a multiple of 29?
False
Let t = -6 + 11. Suppose 19 = -t*c - 31. Is 4/(-10) - 124/c a multiple of 8?
False
Let d(p) = p**2 + p. Let r be d(-1). Suppose -4*j = -r*j. Does 2 divide 4 + (j - -1 - 0)?
False
Let l(w) = 6*w - 6. Suppose 0 = 2*g - 4*v - v - 2, 3*g + 4*v - 26 = 0. Is l(g) a multiple of 15?
True
Let a = 19 - 16. Does 3 divide a?
True
Let v = 39 - -86. Is 22 a factor of v?
False
Let z be (-3)/(-15) + (-29)/(-5). Let y = z + -4. Is 2 a factor of y?
True
Suppose 28 = 4*j - 48. Does 19 divide j?
True
Let s(c) = 6*c**2 - 5*c + 5. Let i be s(4). Let j(w) = w**3 + 4*w**2 + 2. Let o be j(-4). Suppose -o*r + i = r. Does 10 divide r?
False
Let d(u) = 23*u + 2. Suppose 0 = -v - 1 + 7. Let p be d(v). Suppose z - p = -4*z. Is z a multiple of 14?
True
Suppose 0 = k - 0*k. Suppose -3*q + 26 = -q - u, -4*q - 2*u + 44 = k. Is 6 a factor of q?
True
Suppose 7*y = 3*y + 128. Is 22 a factor of y?
False
Let m = -4 - -8. Does 11 divide (2 - 3) + 68/m?
False
Suppose 8*m - 864 = 2*m. Is m a multiple of 37?
False
Suppose 57 = t + t + 3*d, 108 = 4*t + 4*d. Suppose 2*l + t = -2*l. Let b(u) = u + 14. Is b(l) a multiple of 3?
False
Let y be (-2 - 6)/(1/6). Let j = y - -86. Is 13 a factor of j?
False
Let g(d) = 7*d. Let i = -17 - -19. Does 4 divide g(i)?
False
Let q(k) = k**3 - 6*k**2 - k + 6. Is q(7) a multiple of 12?
True
Let y = 23 + -47. Let t = y + 5. Let n = t + 37. Is 18 a factor of n?
True
Suppose 0 = 5*l - 3*s - 31, -l - 5 + 4 = 3*s. Suppose 34 = l*w - 26. Is 6 a factor of w?
True
Let l(g) = 2*g + 1. Does 2 divide l(6)?
False
Let k(a) be the first derivative of -2*a**2 - 6*a - 3. Let j be k(-4). Is 7 a factor of -1 - (-15)/6*j?
False
Suppose -2*s + 893 = 5*q - 186, -q + 2*s + 223 = 0. Suppose -2*v + 4*d - 21 = -3*v, -4*d + 31 = 3*v. Suppose 7 = -v*k - 3, -5*u + q = -k. Does 15 divide u?
False
Let v(s) = -3*s**2 - s - 2. Let j(n) = n**2 - n. Let c(p) = -4*j(p) - v(p). Is 6 a factor of c(4)?
True
Let d(j) = -2*j**3 - 4*j**2 - 3*j + 3. Does 10 divide d(-3)?
True
Let x = -4 - -7. Let d(r) = r**2 - 4*r - 1. Let h be d(5). Suppose -x - 29 = -h*z. Is z a multiple of 8?
True
Let r(i) = -66*i**3 - i. Let n be r(-1). Let x = n + -40. Is x a multiple of 14?
False
Suppose 6 = l + x - 58, l + 4*x - 67 = 0. Does 17 divide l?
False
Suppose 0*f = 3*f - 81. Suppose 0 + 15 = -u. Let n = u + f. Is n a multiple of 12?
True
Suppose 5*n + 159 = -4*x, 2*x = n + 2*n - 63. Let y = x + 76. Is y a multiple of 20?
True
Let w = 133 - -11. Is w a multiple of 24?
True
Suppose -3*a = q - 22, 5*a - 2*q = 3*a + 20. Let i = a + -4. Suppose i*u + 0 = -5*s - 17, 5*u = -2*s. Is u a multiple of 2?
True
Suppose 5*m + 93 = 3*j, -2*j + m + 10 = -45. Let o be -2 - -4 - 4*4. Let k = o + j. Is 6 a factor of k?
True
Let k(x) = 12*x**2 + x. Let p be k(-3). Suppose 0 = -6*q + q + p. Is 10 a factor of q?
False
Let v(f) = -11*f**3 + 21*f + 13. Let r(w) = -3*w**3 + 5*w + 3. Let d(c) = 9*r(c) - 2*v(c). Is 7 a factor of d(-2)?
True
Let g be 2/8 + 35/20. Let h = g + 1. Suppose n + 30 = h*n. Does 12 divide n?
False
Let a be 10/(-25) - 174/(-10). Suppose 2*h - s - 9 = 0, -a = h - 5*h + s. Is 3 a factor of h?
False
Suppose -4*f = -2*d - 802, 4*d + 2 = -2. Is 17 a factor of f?
False
Let p be 4/(-10) - 63/(-45). Is 2*((-58)/(-4) + p) a multiple of 20?
False
Suppose 5*w - 40 = -3*x, 3*w - 4 = w. Suppose -1 - 3 = -4*m. Suppose -n = m - x. Is 6 a factor of n?
False
Let y(o) be the first derivative of 29*o**3/3 + o**2 + o - 9. Suppose -2*v - m - 1 = 0, -2*v - 4*m = -2*m. Is 14 a factor of y(v)?
True
Suppose -4*a + 617 = 157. Does 17 divide a?
False
Let k = -77 + 113. Does 12 divide k?
True
Let l(b) = -b**3 + 3*b**2 + b + 13. Is l(-3) a multiple of 8?
True
Suppose w + 3*w = 0. Suppose -3 = -f - w. Suppose 5*h - f*h = 54. Is h a multiple of 21?
False
Let u = 14 - -12. Is 4 a factor of u/4 + (-21)/(-14)?
True
Let l be (-1*3)/(8/56). Is (l/(-7))/((-2)/(-6)) a multiple of 9?
True
Let f = -5 - -1. Let l = f + 2. Is l/(-6) + (-142)/(-6) a multiple of 16?
False
Suppose -2*o - 3*o + 180 = 0. Is (-2)/(-4)*o/3 a multiple of 5?
False
Let h = -14 - 11. Is ((-30)/h)/((-3)/(-20)) a multiple of 8?
True
Let v(r) = -11*r + 5. Let s be v(2). Let z = s - -41. Is z a multiple of 11?
False
Suppose -5*t = -0*t - 30. Suppose t + 5 = r. Is 11 a factor of r?
True
Suppose 0*c + 5*r - 38 = -c, 3*r = -3. Does 26 divide c?
False
Suppose k - 22 = p, 0*k - 5*k + 3*p + 114 = 0. Suppose -2*a - k = -3*a. Suppose -d - 6*o + 3*o = -a, -4*d + 5*o = -28. Does 12 divide d?
True
Suppose -6 = -2*f + 2, 0 = y - f - 132. Suppose s = -3*s - y. Let w = s + 73. Is w a multiple of 16?
False
Suppose 3*s = -n + 16, -5 = -n + s + 27. Let t = n + -19. Does 8 divide t?
False
Does 5 divide (-34 - -13)/(3/(-2))?
False
Suppose 0 = -6*n + 3*n + 3*l, n - 25 = -4*l. Suppose n*t - 260 = -0*t. Is t a multiple of 26?
True
Let b(k) = 4*k + 1 - 3*k + 3 + 1. Is 8 a factor of b(6)?
False
Let v be 2/((-6)/(-327) - 0). Suppose -v = 4*n - 3*a - 26, -n - 21 = -a. Let x = 41 + n. Is 7 a factor of x?
True
Let x(j) = -5*j**2 + 0*j**3 - 1 + 4 + j**3. Let n be x(5). Suppose 5*b + n*i = 79, 3*b - i + 2*i = 49. Is b a multiple of 13?
False
Suppose d + d + 2 = 0. Let q = -6 - d. Let o = 22 - q. Is 16 a factor of o?
False
Suppose -7*u + 2*u = 2*h, 19 = 2*u - 3*h. Let d be 0 + -8 + -2 + u. Is 18 a factor of d/(-32) + 119/4?
False
Let u(w) = 3 - 3 + 9*w**2 - w**3 + 8*w + 1. Let a(z) = -3*z**3 + 26*z**2 + 23*z + 2. Let r(q) = 4*a(q) - 11*u(q). Is 6 a factor of r(5)?
False
Suppose -9*o - 9*o = -4698. Is o a multiple of 49?
False
Let b be (-1 + 0)/((-2)/342). Suppose -605 = -4*x - 2*i + b, 0 = 2*x - 5*i - 400. Suppose v = 6*v - x. Does 13 divide v?
True
Suppose -3*v + 4 = -2*b, 2 = -3*b - v - 4. Let r be (-6)/b*(-30)/(-5). Suppose 2*g = 18 + r. Is g a multiple of 9?
True
Let m(k) = 19*k**3 - k**2 - k + 1. Suppose 4*u = -0 - 12. Let z be (-2)/u*(-3)/(-2). Does 8 divide m(z)?
False
Let s = 156 - -16. Is 41 a factor of s?
False
Suppose -5*x - 7 + 12 = 0. Suppose -v = x - 13. Is 4 a factor of v?
True
Let q(z) = -z**3 + z**2 - 1. Let b(h) = -4*h**3 + 12*h**2 + 6*h + 4. Let w(c) = b(c) - 5*q(c). Does 4 divide w(-6)?
False
Suppose 5*v - 4 = 11. Suppose -4*z - 3 = -35. Suppose v*q = 20 - z. Is q a multiple of 3?
False
Let j(q) = 2*q**3 - 11*q**2 + 15*q + 3. Is 51 a factor of j(7)?
True
Let u(g) = g - 1. Let b(f) = 42*f - 14. Let l(x) = 2*b(x) - 28*u(x). Is 28 a factor of l(1)?
True
Let s(o) = -o + 19. Is s(13) a multiple of 3?
True
Let y be (-4)/(-14) - (-132)/28. Suppose -160 = -y*j + j. Does 20 divide j?
True
Let s(n) = n**3 + 5*n**2 - 2*n - 2. Is 8 a factor of s(-5)?
True
Let j = -271 + 543. Is 34 a factor 