2*z**2 - 30*z + 128. Is 8 a factor of k(6)?
False
Let s be 138/33 + (-2)/11. Suppose 0 = 8*q - 10*q. Suppose -5*b - 10 = q, -5*b + 5 = -s*f + 171. Is f a multiple of 13?
True
Let f = 17 - -4. Suppose -2*d - f = 13. Let y = d - -25. Does 3 divide y?
False
Suppose 7*r = 16*r - 711. Let y = r - 66. Is y a multiple of 2?
False
Let j = 14 + -11. Suppose r - j*r + 208 = 0. Is r a multiple of 36?
False
Suppose -6*x = -835 - 281. Does 62 divide x?
True
Suppose -2*h + 18 = -116. Suppose -p = -23 - h. Is 18 a factor of p?
True
Let y = -3013 - -5350. Does 19 divide y?
True
Suppose 7*f = 3*f + i + 252, -5*f = 3*i - 315. Does 9 divide f?
True
Let d = -139 + 146. Suppose -d*b - 4*f + 52 = -3*b, -2*f = 5*b - 71. Does 3 divide b?
True
Let u = -189 + 82. Let b = u + 226. Is 13 a factor of b?
False
Let l be 1*-3 - (-10)/(-2). Let w = -12 - l. Does 8 divide w/(2 + 25/(-10))?
True
Let b(l) = -l**2 - 2*l + 3. Let h be b(-5). Is -3*(0 + 32/h) a multiple of 2?
True
Suppose -217 = -c + 3*w, 2*c + w = 4*c - 434. Let o = 505 - c. Is 32 a factor of o?
True
Suppose -3*o = 122 + 28. Let f = 31 + o. Is 9 a factor of f*(-1 + 0) - 1?
True
Let q be (-2)/(-6) + 5/3. Suppose -q*o = 3*o. Suppose o = -x + 2*x - 5, 2*x + 220 = 5*w. Is 12 a factor of w?
False
Suppose 6*g - 74 = 4*g. Suppose f - 5*j = -2*j + g, f + 3*j - 49 = 0. Let v = f + -31. Is v a multiple of 12?
True
Let k(a) = a**2 + 10*a - 112. Is k(19) a multiple of 94?
False
Let b(l) = l**3 - 10*l**2 - l - 10. Let q be b(11). Let z = q - 32. Is 34 a factor of z?
True
Suppose 0 = -4*x + 27*x - 1794. Does 26 divide x?
True
Let b(h) = 6*h**3 - 6*h**2 + 8*h + 32. Is 12 a factor of b(5)?
True
Let q = 1700 - 1033. Is q a multiple of 2?
False
Suppose 7*j + j = 3552. Suppose -3*z + 2*c = -j + 38, z = -5*c + 124. Is z a multiple of 20?
False
Let h = 17 - 15. Let o(t) = 2*t - 2. Let w be o(h). Suppose -3*z + 160 = w*z. Does 16 divide z?
True
Let g(v) = -v**2 - 7*v - 10. Let y be g(-7). Let b(l) = -3*l**2 - 28*l - 5. Let p(d) = d**2 + 9*d + 2. Let m(u) = 4*b(u) + 11*p(u). Is 7 a factor of m(y)?
False
Suppose -4*k = 0, 5*s + 4*k = 3*s + 480. Is 8 a factor of s?
True
Let i = 30 - 30. Suppose -2*p + p = -4*b - 56, i = 5*p + 3*b - 372. Does 9 divide p?
True
Let h(n) = 33*n. Let r(t) = t**2 + 10*t - 9. Let u = -23 - -12. Let a be r(u). Does 22 divide h(a)?
True
Let i be ((-18)/15)/(3/(-10)). Let x(t) = t**3 - 4*t**2 + 4*t - 3. Let p be x(3). Suppose p = -i*v - z + 5*z + 308, -5*v = 2*z - 371. Is 15 a factor of v?
True
Let f(i) be the first derivative of -3*i**2/2 - 23*i - 9. Is f(-13) a multiple of 3?
False
Let n = 3 + 6. Is 5 a factor of n?
False
Is (-7 - 44/(-6))*60 a multiple of 20?
True
Is (12/9*-6)/(3/(-414)) a multiple of 92?
True
Suppose -21*a = -37*a + 1200. Is a a multiple of 4?
False
Suppose 18*l = 14*l - 3*p - 1077, 5*p + 805 = -3*l. Let f(m) = 5*m**2 - m. Let t be f(-1). Is 16 a factor of 4/(-6)*l/t?
False
Suppose 0 = -k + 3 - 1. Let i = k - -14. Is 5 a factor of i?
False
Let n(m) = m**3 + 14*m**2 - 34*m - 22. Let q be n(-16). Suppose -35 = q*p - 11*p. Is 26 a factor of p?
False
Suppose 3120 = 5*j + j. Suppose -11*h + h + j = 0. Does 13 divide h?
True
Suppose 3*b - g = 27 - 8, 4*b + 5*g = 0. Suppose -103 = -b*j + 42. Does 9 divide j?
False
Let l be ((-2)/3 + 2)*-177. Suppose -2*z = -z - 2*b - 18, 42 = 4*z + 2*b. Is 13 a factor of l/(-6) - 4/z?
True
Let i(k) = 24*k - 12. Suppose 2*l = x + 3*x + 2, -5*x = 3*l - 25. Is 16 a factor of i(l)?
False
Let g(z) be the third derivative of -11/24*z**4 + 1/120*z**6 - 1/6*z**5 + 13/6*z**3 - 4*z**2 + 0*z + 0. Does 13 divide g(11)?
True
Suppose -i - 4*y + 11 = 0, 0 = -i - 3*i - 5*y + 44. Let o(r) be the third derivative of -r**6/120 + 11*r**5/60 + r**4/24 + 17*r**2. Does 11 divide o(i)?
True
Let f = 78 - 73. Suppose 0 = f*y - 502 - 303. Is y a multiple of 23?
True
Let d(k) = k**2 - 3*k + 6. Let y be d(-6). Suppose -4*j + y = -132. Does 12 divide j?
True
Let p = 681 - -801. Is p a multiple of 57?
True
Suppose 0 = 3*m + m - 16. Suppose 3*r - 567 = -0*r + 2*a, 3*r + m*a = 585. Is r a multiple of 21?
False
Suppose 359*r - 2178 = 356*r. Does 20 divide r?
False
Let m(w) = 8*w**2 - 15*w - 43. Does 17 divide m(-4)?
False
Let p = 0 - -2. Let a(n) = n - 15. Let i be a(18). Suppose 5*q - 3*c = -4*c + 55, -9 = -p*q - i*c. Is 6 a factor of q?
True
Let w(c) = -c**2 - 4*c - 4. Let v be w(-1). Is 13 a factor of v - (1/(-1))/(4/244)?
False
Let l(h) = 26*h**3 + 2*h**2 - 5*h. Let i(n) = 26*n**3 + 3*n**2 - 6*n. Let q(r) = 4*i(r) - 5*l(r). Is q(-1) a multiple of 10?
False
Suppose 3 + 32 = 2*o - 5*t, 4*o = 3*t + 35. Suppose 7 = o*q - 18. Suppose 4*u = z + 2*u - q, -4*z + 29 = -5*u. Does 8 divide z?
False
Let b(h) = -h**2 - 7*h - 6. Suppose 0*n - 2*n - 22 = -l, 52 = -5*n + l. Let a(y) = -y**3 - 9*y**2 + 11*y + 5. Let k be a(n). Is b(k) a multiple of 4?
True
Let g(i) = i**3 + 4*i**2 - 2. Let j be g(-4). Let v(d) = -4*d**3 - d**2 + 4*d. Does 10 divide v(j)?
True
Let r be (-8)/(-4) + (7 - 5). Suppose -r*d - 21 + 261 = 0. Does 4 divide d?
True
Suppose 5*i + 4*b = 464, 4*i + 5*b - 214 = 159. Does 2 divide i?
True
Does 2 divide ((-72)/(-60))/(-3*1/(-120))?
True
Let b(j) = j**3 + 6*j**2 - 5*j + 17. Let n be b(-7). Let f(z) = 24*z + 1. Let o be f(7). Suppose -5*v = 3*p - o, 143 = n*v + v + 5*p. Does 17 divide v?
False
Suppose 5*m = 2*m + 174. Let p = 14 + m. Is p a multiple of 12?
True
Let m(l) = -l**3 - 8*l**2 - l - 5. Let q be m(-8). Let j(x) = 20*x**2 + 2*x + 1. Let n be j(q). Let c = n - 100. Is 29 a factor of c?
True
Let s(n) = -5*n**2 - 24*n + 11. Let o(a) = -4*a**2 - 23*a + 8. Let d(h) = -6*o(h) + 5*s(h). Let m be (-2 - 0)/(2/(-13)). Does 24 divide d(m)?
True
Suppose -4*j + 0*y + 7464 = -4*y, -5586 = -3*j - y. Is 13 a factor of j?
False
Let y(w) = -27*w + 9. Let v be y(12). Let j be -2*(v/6)/7. Suppose -b = -4*a + 235, 0 = -2*b - b + j. Does 12 divide a?
True
Let f = 1158 - 808. Is f a multiple of 28?
False
Is 8 a factor of -6 - (20/(-5) + -40)?
False
Suppose -13*s = 13*s - 29198. Is s a multiple of 56?
False
Let g(v) = 7*v**2 - 3*v - 52. Does 19 divide g(-9)?
False
Let o(w) = -25*w + 17. Does 28 divide o(-3)?
False
Let z be (-1 - -1) + (12 - 9). Suppose l + 17 = 5*c, 5*c = z*l + 3 + 8. Does 3 divide (-16)/(-6) + l/9?
True
Suppose -16*m - 64 = -24*m. Let d(g) = 2*g**2 - g + 6. Does 18 divide d(m)?
True
Let o = 4508 + -3219. Suppose 3*t - o - 232 = 0. Suppose 0 = 5*i + 127 - t. Does 17 divide i?
False
Suppose -2*w + 105 = -w. Let n = -640 - -630. Let p = n + w. Does 27 divide p?
False
Let u = -348 - -15. Does 37 divide (-4 - -3)/3*u?
True
Let v(s) = 8*s**2 + 9*s + 36. Is 4 a factor of v(-4)?
True
Let l(m) = -19 + 13*m**2 + 9*m + 0*m - 7*m. Is l(3) a multiple of 13?
True
Let g = -24 - -25. Suppose 189 + 11 = 4*f. Let j = f + g. Is j a multiple of 17?
True
Let j(o) be the first derivative of -21*o**2/2 + 20. Is 14 a factor of j(-3)?
False
Suppose -6*n - 3984 = -10*n + 4*u, 5*n - 4998 = -u. Does 9 divide n?
True
Let n = 27 - 27. Suppose -2*p - 2*t + 102 = n, 3*t - 251 = p - 6*p. Is 7 a factor of p?
True
Suppose 0 = -0*z + 8*z + 112. Let j = z + 18. Is (0 + -4)/j - -19 a multiple of 6?
True
Suppose k = 3*k + 4*g + 66, 3*k + 114 = -g. Does 39 divide 26/k - 940/(-6)?
True
Let s = 1384 - 482. Does 21 divide s?
False
Suppose 2211 = 8*z - 14109. Does 12 divide z?
True
Let b(n) = n**3 + n**2 - 3*n + 1. Let k be b(2). Suppose -k*z + z + 90 = 0. Let u = z + 25. Is 14 a factor of u?
False
Let m = 639 + 250. Is m a multiple of 50?
False
Let f = 106 - -162. Suppose -5*y - 2*n + 253 = -6*n, -5*y + f = n. Let w = 54 + y. Is w a multiple of 18?
False
Suppose 2*p - 2 = 2*o, 16 = 2*o + 3*p + p. Let x(a) = -3*a**2 - a - a**2 - o*a**3 - 4 + 2. Is x(-3) a multiple of 4?
False
Let t = -18 - -18. Suppose t = -w - 2. Does 13 divide (3/w)/(36/(-840))?
False
Let k(c) = -2*c + 13. Let q be k(6). Suppose q - 33 = -4*a. Is a even?
True
Suppose 9*u - 192 - 294 = 0. Does 3 divide u?
True
Let s be (1/(-2*1))/((-10)/120). Suppose -s*x - 125 = -329. Does 18 divide x?
False
Suppose -2*x + 484 = 2*n + 3*x, 0 = -x. Is 11 a factor of n?
True
Suppose -4 = -3*k + 2*k. Suppose 0 = k*q - 8*c + 3*c - 71, -c + 101 = 4*q. Is (-362)/(-8) - 6/q a multiple of 15?
True
Let s(v) be the first derivative of v**4/2 - v**3 - 14*v - 24. Is s(4) a multiple of 12?
False