104. Is p(7) a multiple of 24?
False
Let c be 15 + ((-75)/5)/(-5). Suppose -72 = -c*p + 16*p. Is p a multiple of 6?
True
Let q = 140 + -58. Let l = -35 + q. Is 10 a factor of l?
False
Suppose -2*h = y - 122, -3*h - y = h - 248. Is h a multiple of 3?
True
Suppose -u = q, 3*u + 0*q - 5*q = 24. Suppose 4*j + 8 = -0*j, 0 = -4*n - u*j + 6. Does 2 divide n?
False
Let g = 272 + -112. Suppose -4*w + v + 152 = 0, 3*w - g = -w - v. Let u = w - 16. Is u a multiple of 6?
False
Suppose -4680 = -5*t - l, 936 = t - 20*l + 17*l. Is 18 a factor of t?
True
Let w(r) = 4*r**3 - 3*r**2 + 3*r - 2. Let k be w(4). Suppose -3*j + k = -5*q, 2*j + 2*q = 5*q + 147. Is j a multiple of 42?
False
Suppose -10*t + 216 = -4*t. Suppose 3*f - 135 = 3*k, -3*f + t = -2*f + 2*k. Is 22 a factor of f?
False
Let v = -118 - -146. Let l = -18 + 30. Suppose 4*o = l + v. Is 5 a factor of o?
True
Let d(u) = -4*u**3 - 6*u**2 - 5*u - 45. Does 30 divide d(-5)?
True
Let j = -3103 - -4203. Is 25 a factor of j?
True
Let x(m) = -4*m**3 - 5*m**3 + 0*m**2 - m**2 + 11*m**3 + 4 + m. Is x(3) a multiple of 26?
True
Let l(c) = -c. Let z be l(0). Suppose z = a - 3*f + 4*f + 36, -2*f + 126 = -4*a. Let h = a - -69. Does 12 divide h?
True
Let z be -6*(8/(-6) - -1). Suppose -s = -z - 8. Is ((-480)/25)/((-3)/s) a multiple of 17?
False
Let n(x) = -x**3 - 10*x**2 - 19*x - 2. Is 20 a factor of n(-12)?
False
Let a = 2 - 10. Let t be (-7)/28 + 54/a. Does 6 divide (1 - t)*3/2?
True
Suppose 4*x = x - 6. Let d(j) = j**2 + 1. Let r(n) = 11*n**2 + 2*n - 4. Let h(o) = 2*d(o) + r(o). Does 23 divide h(x)?
True
Suppose -2*n - n - 2*s = -438, 0 = 3*n - 4*s - 420. Let i be 1/3 - n/(-54). Suppose 2*x - 164 = -i*a - a, -2*a - 2*x = -80. Is a a multiple of 13?
False
Is 50 a factor of 3206/4 - (1995/38)/35?
True
Suppose -2*p - 246 = 4*p. Let y = 53 + p. Is 3 a factor of y?
True
Suppose 0 = k + h + 1, 3*k = 2*h - 3*h + 5. Suppose -k*p = -0*p + s - 11, -5*p - 5*s = -15. Suppose 2*o = p*o - 54. Does 7 divide o?
False
Is ((-42)/4)/(-3)*(-2436)/(-42) a multiple of 10?
False
Let s(u) = u**3 + 10*u**2 + 10*u + 12. Let h be s(-9). Is 23 a factor of (920/12)/(-2 - (-8)/h)?
True
Let l(a) = a**2 + 16*a - 12. Let c be l(-14). Suppose 5*s = -441 - 89. Let t = c - s. Is 19 a factor of t?
False
Let v = -132 - -131. Let h(i) = -4*i. Let q be h(6). Is 13 a factor of v - (q - (0 + 3))?
True
Let t(m) = 10*m - 11*m - 2 - 22*m**3 - 15*m**3. Suppose 41 = j + 42. Is 9 a factor of t(j)?
True
Suppose -9836 + 2338 = -3*d - 5*z, 4*z = -5*d + 12475. Does 24 divide d?
False
Let v = -112 + 170. Is v/((-44)/(-12) - 3) a multiple of 16?
False
Let a = -94 + 94. Suppose 3*h + i + 0*i - 933 = a, -h + 300 = 4*i. Is h a multiple of 21?
False
Suppose 0 = -2*w - 126 + 1370. Let s = w + -958. Is 17 a factor of (s/40)/(6/(-20))?
False
Suppose -4*i = -5*i - 6. Let g be (-2)/(-3) + 202/i. Let k = 63 + g. Is 9 a factor of k?
False
Let u(o) be the third derivative of -o**6/360 + o**5/12 + o**4/8 - 2*o**3/3 - 3*o**2. Let w(z) be the first derivative of u(z). Is w(10) even?
False
Let m(v) = -59*v - 13. Let r be m(2). Let j = -53 - r. Is 13 a factor of j?
True
Suppose 5*t - 353 = -5*a + 472, -165 = -t - 3*a. Let p = t - 91. Is 37 a factor of p?
True
Let j = -35 + 128. Suppose 3*x - j = -5*h, -75 = -3*h - x + 4*x. Is h a multiple of 7?
True
Let y be (-128)/(-3) - 4/6. Suppose y - 114 = -6*d. Is 2 a factor of d?
True
Let c(s) = -9*s + 39*s**2 + s**3 - 1 + 2 - 43*s**2. Let d be c(6). Suppose -a + d = -20. Is 13 a factor of a?
True
Suppose 3*s + 2*s - d = 0, -2*s - 3*d - 17 = 0. Let n(o) = 99*o**2 - o. Is n(s) a multiple of 14?
False
Suppose 190 - 38 = j. Is j a multiple of 8?
True
Let j = 14 - 10. Suppose 0 = 2*t + j*x - 30 - 14, 2*t = 4*x + 60. Let i = 73 - t. Is i a multiple of 14?
False
Let o be -4 + 10 + 3 + 2. Let b(p) = p + 39. Is 7 a factor of b(o)?
False
Suppose 0 = r + 2*r - 9. Suppose 0 = 2*n + r*n - 320. Is 8 a factor of n?
True
Suppose 157*j - 159*j + 6 = 0. Suppose -o + 25 = -n, 0*o - 4*o + j*n = -102. Does 7 divide o?
False
Let s be 2 - (0/(-4))/(-4). Suppose -29 = -2*f - s*q + 17, -f - 4*q + 29 = 0. Is 3 a factor of f?
True
Let w = -23 - -25. Suppose 29 = 3*p - 5*q, 2*p + p + w*q = 1. Suppose -5*u - p*t = -331, -75 + 424 = 5*u - 3*t. Is u a multiple of 17?
True
Is 19 a factor of 384 + -7 + (-52)/13?
False
Let f = -25 - -20. Does 8 divide (-1 - (f + -82)) + 0?
False
Let f(p) = -p**2 + 5*p - 3. Let y be f(2). Suppose 220 = 4*h + 4*x, 2 - 4 = 2*x. Suppose -2*u - y*s = -u - 29, h = 2*u + 5*s. Is u a multiple of 5?
False
Let b = -28 - -31. Suppose 0*x + b*x = 66. Is x a multiple of 6?
False
Suppose 0 = 3*c + 5*f - 2 - 3, 4*c - 4*f = -4. Suppose 3*v + c*t - 138 = -t, 3*v - t - 138 = 0. Does 23 divide v?
True
Let f = -18 - -35. Let p = f + -40. Is 8 a factor of (-2)/(-1) + -1 - p?
True
Suppose 92 = -h - 165. Let u = -121 - h. Suppose -5*r = 4*o - 294, -2*o + u + 18 = -r. Is 13 a factor of o?
False
Suppose k - 3*k = 0. Suppose k = -t - 4*x + 48 + 37, -x + 91 = t. Is 16 a factor of t?
False
Suppose -m + 3*v + 16 = -6, 3*m + 4*v = 1. Does 4 divide m?
False
Suppose 16*j + 691 = -525. Let l = j - -135. Does 47 divide l?
False
Let j(y) = -7*y**2 - y**3 + y**2 + y - 3*y**2 + 4 + 3*y**2. Let o be j(-5). Let i = -20 - o. Is 3 a factor of i?
True
Does 54 divide (0 - 385)/(-7) - -6?
False
Suppose -7*a + 95 = -2*a. Suppose 20 + a = 3*y. Suppose w - 17 - y = 0. Does 9 divide w?
False
Let w(q) = -q**3 + 4*q + 1. Let i be w(-3). Let s(c) = i + 18*c - 16. Is s(2) a multiple of 12?
True
Let s(w) = w**2 - 3*w + 3. Let z be s(0). Let d be (6 - 0)*(2 - z). Is 6 a factor of (d/(-5))/(1/5)?
True
Let w be ((-89)/2)/(8/(-16)). Suppose -2*x - w = -2*o + 201, 2*o + 5*x = 283. Is 26 a factor of o?
False
Suppose z - q = -18, z + q + 36 = -z. Does 22 divide z/8*288/(-27)?
False
Suppose 0 = -2*d + 36 + 32. Suppose -5*o = -g + d, 2*g = -3*g - 5*o + 50. Is g a multiple of 11?
False
Suppose 24 = 5*t + 7*t. Suppose 0 = -5*q + 5, 3*k - t*q = 403 + 147. Is 23 a factor of k?
True
Let o = 32 + -30. Suppose 0 = g - 2*k, 0 = g + o*g - 3*k - 12. Let m(b) = b**3 - 6*b**2 - 7*b - 10. Is 13 a factor of m(g)?
False
Let g(a) = 124*a + 12. Is g(3) a multiple of 58?
False
Let q be ((-495)/6)/(2/(-4)). Suppose 2*n = 5*n - q. Is n a multiple of 11?
True
Let k = -1313 - -1755. Does 13 divide k?
True
Suppose -u = 2 + 12. Is 63/u*114/(-9) a multiple of 13?
False
Suppose -2*m - 132 = -3*m - y, 0 = 4*m + y - 525. Is 23 a factor of m?
False
Let t be 3/2 + 454/(-4). Let k = 191 + t. Let j = k - 35. Is j a multiple of 11?
True
Suppose -s = -3*s + 150. Is 14 a factor of s?
False
Suppose 10*r = 4210 + 1670. Is r a multiple of 52?
False
Let h(x) = x - 5. Let m be h(9). Suppose -r + 3*r - b = 5, -4*r + 40 = m*b. Is 11 a factor of (2 - r) + (-400)/(-5)?
True
Suppose -4*h + 9*h - 2600 = 0. Does 8 divide h?
True
Let m(a) = 4*a**2 - 17*a - 275. Is 18 a factor of m(23)?
False
Let x(i) = 2*i**2 + 19*i - 106. Does 4 divide x(-25)?
False
Let p(y) = 2*y**2 - 28*y + 17. Does 27 divide p(-11)?
True
Let l(q) = -3*q**3 - 2*q**2 + 9*q - 3. Let s be l(-4). Suppose 2*w = 2*u + 56, 4*w - 2*u - s = -u. Is w a multiple of 31?
True
Let t = -68 - -84. Suppose 0 = 13*k - t*k + 3*m + 24, -m - 11 = -2*k. Is 2 a factor of k?
False
Suppose t = -4*x - 34 + 83, 0 = -5*x - 3*t + 70. Suppose x = -d + 21. Is 10 a factor of d?
True
Is 8 a factor of (-3 - 608)*2*(-7)/14?
False
Suppose -2*b = 5*y + b - 10, 0 = -2*b - 10. Suppose 0 = y*k - 3*k - 70. Is k a multiple of 35?
True
Suppose 22 = m + 2*q, 2*q = -2*q + 8. Let y = m + 70. Is y a multiple of 22?
True
Suppose 0 = 3*u - 0*u - 2*h - 8, u - 5*h + 19 = 0. Let g(n) = u*n + 0 - 2 - 4 - 2*n. Does 8 divide g(7)?
False
Let d be 1*(1*34 + -2). Suppose 4*i - 2*h = h + 34, -2*i + 12 = -4*h. Suppose 2*b + i = d. Is 3 a factor of b?
False
Let m = -10 + 15. Suppose -s + 217 = 3*h, 3*h - m*s - 4 = 189. Let b = h - 37. Is 17 a factor of b?
True
Let c(f) be the first derivative of f**6/120 - f**5/12 - 5*f**4/24 - f**3/6 + 7*f**2/2 - 7. Let l(i) be the second derivative of c(i). Is 4 a factor of l(6)?
False
Suppose -2*j + 356 = -3*b, 5*j = 2*j - 2*b + 521. Does 14 divide j?
False
Suppose 0 = -3*u + 3 - 0. Let h(x) = x**2 + 4*x**3 - 2*x - 3 - 1 + 5*x - u. Is h(2) a multiple of 27?
False
Suppose -4*n - 5 = -21. Suppose -5 = -