et k(l) = l**3 - 3*l**2 + 4*l + 4. Let h be (-6)/21 - 176/(-28). Does 17 divide k(h)?
True
Is (-262972)/(-174) + 1/(-3) a multiple of 17?
False
Suppose 4*g - 2*v = -8, -g - 3*v - 24 = 2*v. Let a be ((-3)/(-2))/(g/(-8)). Suppose -5*s + a = 4*q - 66, 25 = 5*s. Is 2 a factor of q?
False
Let v = 198 + 72. Does 59 divide v?
False
Suppose n + 2*b - 3*b - 547 = 0, 2743 = 5*n + 3*b. Is 7 a factor of n?
False
Let i(k) be the first derivative of k**4/4 + 4*k**3 + 7*k**2/2 - 20*k - 16. Is 12 a factor of i(-11)?
True
Let l be (-640)/(-110) - 2/(-11). Let b(u) = 6*u + 23. Let k be b(l). Let p = -29 + k. Is 5 a factor of p?
True
Let i = 1015 + -719. Is i a multiple of 10?
False
Suppose -99 + 19 = -5*u. Suppose 13*s - u*s = -240. Is s a multiple of 16?
True
Is 4 a factor of 58*((-92)/(-8) + -7)?
False
Let v(i) = -i**2 - 9*i + 12. Let u be v(-10). Suppose 2*t = -u*t + 12. Suppose 0*j = -t*j - 5*n + 20, -2*n = -j + 25. Does 5 divide j?
True
Suppose 34*y - 30*y + 268 = 0. Let i = -56 - y. Is 5 a factor of i?
False
Let u be (4 + -2 + -1)*0. Suppose 0 = 3*j - 7 + 1. Suppose 2*w - 193 = -3*s, -w + 0 + j = u. Does 21 divide s?
True
Suppose -13*o + 10*o - 39 = 0. Let w(p) = -p**3 - 14*p**2 - 14*p + 3. Does 4 divide w(o)?
True
Suppose -5*o + 3*o - 2*h + 14 = 0, -o + 5*h = 11. Let m = o + -1. Suppose 3*s = m*u - 42, -6*u - 5*s + 20 = -u. Does 3 divide u?
True
Suppose -68*k = -65*k - 99. Is 3 a factor of k?
True
Suppose 28 = 2*y - 0*y. Let a = y + -9. Suppose -v + a = -3. Is v a multiple of 3?
False
Suppose -4*h + 0 = -4. Let p be (h + -2)/((-2)/(-24)). Is 12 a factor of (276/(-8))/(9/p)?
False
Let o = -40 + 9. Let m = -46 - o. Let f = m - -24. Does 9 divide f?
True
Is (-6 - -2) + 7/(42/726) a multiple of 25?
False
Let j = 2568 + 10. Is j a multiple of 56?
False
Let m(c) = -68*c + 13. Is m(-5) a multiple of 24?
False
Suppose 2*o = -2*o - 12. Let f be 2/(-8)*0 - o. Suppose 5*y = -0*z - f*z + 55, -3*z = 4*y - 44. Does 5 divide y?
False
Suppose x + x + 2 = 0. Let u(w) = 15*w**2 - w. Let l be u(x). Is l/(-6)*162/(-8) a multiple of 9?
True
Let m(o) be the first derivative of -o**3 + 21*o**2/2 - 13*o - 4. Is m(6) a multiple of 3?
False
Let k(d) = 3*d**2 - 2*d + 2. Let q be k(-5). Suppose 105 = 4*g - q. Does 13 divide g?
False
Let q be 2/(-9) + 301/(-63). Let t(j) = -j**2 - 5*j - 6. Let b be t(q). Is 16 a factor of (-9)/b*(29 + 1)?
False
Suppose -9*h + 6*h + 333 = 0. Is 4 a factor of h?
False
Let i be (-30)/(-20)*(-112)/3. Let v = i + 97. Is v a multiple of 22?
False
Suppose 2*q + 1 = q. Let s(a) = -26*a + 44. Let r be s(2). Is (r/(-16))/(q/(-14)) a multiple of 7?
True
Let l(y) = -4*y**3 + 3*y**2 + 11. Let g(r) = r**2 + r + 1. Let f(d) = 6*g(d) - l(d). Let p(v) be the first derivative of f(v). Is 13 a factor of p(-2)?
False
Let y be (-450)/12*(4/2 + 0). Is 22 a factor of (6/(-9) - (-10)/y)*-50?
False
Let c be (2 + -4)/(-2)*23. Let z(d) = d + 10. Let f be z(-9). Let t = c + f. Does 8 divide t?
True
Let t be (4 - -3) + 3*-1. Suppose -5*d + 338 = t*u, -25 + 101 = d - 2*u. Is (d/4)/((-2)/(-4)) a multiple of 13?
False
Let x = -592 + 1073. Is x a multiple of 53?
False
Is 632 - -1*(-3 + -3) a multiple of 43?
False
Suppose 13*x = -2*x - 20760. Is 9 a factor of x/(-11) - (-18)/99?
True
Let l be 4/(-38) - (-780)/190. Let j(u) = 274*u + 12 + l - 286*u. Is 20 a factor of j(-7)?
True
Let z = -413 + 583. Suppose -2*w + z = 2*t, 2*t - 90 = -w + 6*t. Does 21 divide w?
False
Let k be (-4)/16 + 171/12. Suppose -4*i + k = -26. Does 5 divide i?
True
Let a be (-1*17)/(15/90). Let p = a - -186. Is 19 a factor of p?
False
Let c(i) = -37*i + 9. Let w(g) = -1 + 16*g + 0 + 21*g - 7. Let b(s) = -5*c(s) - 6*w(s). Is b(-1) a multiple of 18?
False
Suppose -3*l = 4*j - 147, -l - 11 = j - 47. Suppose -7*p = -2*p - 420. Let y = p - j. Does 9 divide y?
True
Does 17 divide (1 - (7 - 1))/((-19)/969)?
True
Let v be 80/24 + (-1)/3. Suppose v*y - 4*y + 3 = 0. Suppose y*n - 56 = -n. Does 14 divide n?
True
Suppose -2*p - 2134 = 5*b - 10*b, 4*b = -2*p + 1700. Let o be b/21 - 2/7. Is (-6)/10 + 532/o a multiple of 14?
False
Suppose -4*y = -3*y. Suppose y = m + 4*m - 195. Let l = -9 + m. Does 15 divide l?
True
Suppose 0 = -2*p + f + 85, -174 = -4*p - 2*f. Suppose 6*l - p = 941. Is 41 a factor of l?
True
Let l(u) = -40*u - 5. Let p be l(-4). Let v(r) = -r**2 + 11. Let d be v(3). Suppose -p = -3*y - d*y. Does 11 divide y?
False
Let l be -1 + (6 - (-1 - -3)). Let c(k) = 6*k - 11. Does 4 divide c(l)?
False
Let f(u) = u**3 + u**2 - 2*u. Let m be f(3). Let d = 129 - m. Does 20 divide d?
False
Suppose 0 = 146*j - 140*j - 6996. Does 11 divide j?
True
Let b(l) = 10*l**3 - 11*l**2 - l - 3 + 2*l - 9*l**3. Let a be b(11). Let r(n) = 3*n - 11. Does 13 divide r(a)?
True
Let u(v) = 5*v**2 + 13*v + 82. Is u(15) a multiple of 18?
False
Does 7 divide (92 - 89)*(0 + (-1 - -35))?
False
Suppose -4*l + 0*l + 52 = 0. Let s = -9 + l. Suppose -32 = s*q - 116. Is q a multiple of 18?
False
Suppose 4*q = 5*g + 4697, -5*q + 0*q + 5866 = -g. Is q a multiple of 51?
True
Let k be 12/(-30) - (-4)/10. Suppose k*u - 24 = -x - u, -4*x + u = -106. Is x a multiple of 26?
True
Let j(k) = -k**3 + 7*k**2 + 11*k - 2. Suppose 4*s - 5*v = 7, -v = 5*s + v - 50. Is j(s) a multiple of 4?
False
Let w(q) = 4*q**2 - 3*q - 3. Let m be w(2). Suppose 15 = -2*a + m*a. Is 2 a factor of a?
False
Suppose 26 = 4*n - 834. Suppose -3*o - 140 = -f, 2*f = -4*o + 65 + n. Is 20 a factor of f?
True
Let h = -110 - -336. Does 6 divide h?
False
Suppose f - 12 = -4*h - 4*f, h + 3*f - 3 = 0. Let r be (-3*h)/((-10)/30). Is 0 + r - (-9)/3 a multiple of 24?
False
Let l(p) = -75*p**3 + 7*p**2 + 7*p + 7. Let v(g) = 4 + 37*g**3 - g**2 - 8 + g**2 - 4*g - 4*g**2. Let d(b) = 3*l(b) + 5*v(b). Is d(-1) a multiple of 11?
False
Let b(u) = u**3 + 3*u - 140. Let p(v) = -v**3 - 4*v + 140. Let g(o) = -3*b(o) - 2*p(o). Let t be g(0). Suppose 0 = l + 3*l - t. Is l a multiple of 12?
False
Let w(o) = 3*o**3 - o**2 - o - 12. Let v be w(4). Suppose 10*m = 8*m + v. Does 20 divide m?
True
Let o(l) = -5*l + 4. Let t be o(-4). Let y be (-2)/8 - 1242/t. Let a = y - -78. Is 13 a factor of a?
True
Suppose 0 = -12*t + 95 + 3805. Is 13 a factor of t?
True
Let m be 201*(3 + (-4)/2). Suppose 15*c - 40 = 5*c. Suppose -57 = c*y - m. Does 34 divide y?
False
Let c be (7 - 2 - -86) + 0. Let l = 94 - c. Is 2 a factor of l?
False
Suppose 0 = 3*y + 3*u - 36, 3*y + y - u = 58. Let r(b) = 3*b**2 - 70*b - 2*b**2 - 6 + 3*b**2 + 57*b - 3*b**2. Is 4 a factor of r(y)?
True
Let d(x) = -14*x**3 + x**2 - 3*x - 7. Is d(-2) a multiple of 2?
False
Let d(m) = m**2 - 22*m + 30. Let z be d(22). Let f = 73 - z. Does 11 divide f?
False
Suppose 358 = -5*y - 37. Let v = 77 - y. Is v a multiple of 14?
False
Suppose -4*j - 4*n - 2 = -2*j, 4*j - 18 = 3*n. Suppose -5*f - 64 = -2*s, -96 = 4*s - 6*s - j*f. Is 3 a factor of s?
True
Let h = 127 + 1583. Suppose -5*l + 0*j = j - h, l - 3*j - 358 = 0. Suppose -8*q + 217 + l = 0. Does 22 divide q?
False
Let u(p) be the first derivative of -5*p**2/2 + 3. Let c be u(6). Is 12 a factor of c/(-1)*(2 - 1)?
False
Let g(v) = -v**3 + 38*v**2 - 7*v - 32. Is g(37) a multiple of 11?
True
Let k be 19 - -5 - 6/(-2). Let s = k + 72. Does 30 divide s?
False
Let r be (3/2)/(15/130). Let b(i) = -5*i + 3. Let m be b(r). Is 10 a factor of m/(-6) + (-6)/18?
True
Let j = -55 - -76. Is 3 a factor of j?
True
Suppose 4*i - 190 = i - 5*b, -82 = -i + 3*b. Is 41 a factor of i?
False
Suppose -2*q = 2*x - 650, -5*q - 2*x + 1923 = 292. Is q a multiple of 18?
False
Suppose 0*p + 5*p - 5*b = 65, 4*p - 52 = 3*b. Does 4 divide p?
False
Let w(l) = l**2 - 7*l + 6. Suppose 0 = 14*d - 19*d + 5. Let r be 2/(2*d/8). Does 3 divide w(r)?
False
Suppose 5*l + 2*s = -3*s + 15, -4*l - 3*s + 13 = 0. Suppose -l*f + 182 = -26. Is 13 a factor of f?
True
Let g(p) = -p**3 + 10*p**2 + 12*p - 2. Suppose -8*a + 4*a + 44 = 0. Is 9 a factor of g(a)?
True
Suppose 0 = a + 79 - 85. Suppose -2*d + 3*v = -a*d + 403, -2*d + 200 = 2*v. Is 14 a factor of d?
False
Let j = -49 + 58. Let r(i) be the first derivative of -i**4/4 + 3*i**3 + i**2/2 - 5*i - 1. Does 2 divide r(j)?
True
Suppose -2*y - 2*y + 13 = -o, -3*o - 11 = -5*y. Does 3 divide o?
True
Suppose g - q - 27 - 43 = 0, q - 280 = -4*g. Does 5 divide g?
True
Suppose 4 = -3*c + 5*c. Let q(i) = -9 + 2*i**3 - 15 + 28 - 