 = 0 + 7. Let f = r + -4. Suppose 2*d - 56 = 4*o, f*d = -o + 4*o + 99. Is 15 a factor of d?
False
Let f(k) = 13*k + 70. Is 28 a factor of f(0)?
False
Suppose 0 = 6*k - 0*k - 258. Does 21 divide (-4)/6*(4 - k)?
False
Let q = 92 + -31. Does 3 divide q?
False
Suppose 95 = 4*u - 13. Let j = 0 + u. Let n = j + -16. Is n a multiple of 11?
True
Suppose 312 = 6*a - 546. Is 20 a factor of a?
False
Suppose 5*r - 3*y - 388 = 0, -3*r + 4*r = -3*y + 92. Is r a multiple of 8?
True
Let d(t) = 22*t**2 + 5*t + 6. Is d(-3) a multiple of 15?
False
Suppose 3*l - 49 = -4*c + 348, -4*c - 2*l = -394. Is 19 a factor of c?
False
Suppose 4*k - 34 = 134. Does 14 divide k?
True
Let l(j) = j - 5. Let a be l(5). Suppose 5 = -z + 2*z. Suppose -z*g = -15 - a. Does 3 divide g?
True
Suppose -5*p + 23 = -57. Is 3 a factor of p?
False
Is 11 a factor of (-220)/8*8/(-5)?
True
Let s = -133 + 193. Is 12 a factor of s?
True
Let y(n) = -n**2 + 7*n - 5. Let h be y(5). Suppose -3*l + 0*l + h*d + 26 = 0, -4*d = -5*l + 52. Is l a multiple of 6?
True
Let r = -109 - -189. Is 16 a factor of r?
True
Let t = -21 - -39. Let g = t - -24. Is g a multiple of 26?
False
Let y(f) = -8*f + 4. Let o(s) = -9*s + 4. Let q(z) = 4*o(z) - 5*y(z). Is q(3) a multiple of 3?
False
Let j(z) be the second derivative of -5*z**3/6 - 3*z**2/2 + z. Let v be j(-4). Does 16 divide 0 - 1 - -1*v?
True
Suppose -4*s = 4*a - 28, -4*a + 4*s - 6 + 58 = 0. Is 10 a factor of a?
True
Suppose -5*u + 249 = -0*j - 3*j, 0 = -u + 3*j + 45. Does 12 divide u?
False
Let b(j) = 6*j - 3. Let n be -3*2*(-1)/3. Let o be b(n). Is 3*3/o + 3 a multiple of 2?
True
Let j(h) = -h**3 - 5*h**2 + 6*h + 2. Let r be j(-6). Suppose -7 + 1 = -r*i. Suppose 2*y - 6*y = -3*t - 37, -23 = -2*y + i*t. Is 5 a factor of y?
False
Let n(x) be the third derivative of x**6/120 - x**5/20 - 5*x**4/24 - x**3/3 - 2*x**2. Let j be n(4). Let o = 16 + j. Does 10 divide o?
True
Let s(d) = d**2 - d + 5. Let i = -21 - -16. Is s(i) a multiple of 7?
True
Let s(n) = 4*n - 37. Let m(g) = -7*g - 6. Let l(h) = -h - 1. Let u(z) = -6*l(z) + m(z). Let b(d) = -s(d) - 3*u(d). Is 15 a factor of b(0)?
False
Suppose 0 = -5*a + 2*d + d - 202, -d = -4. Let g be (-3)/6 - a/4. Suppose g = 3*j - 21. Does 7 divide j?
False
Let r(f) = -3*f**3 + 6*f**2 + 5*f - 1. Does 22 divide r(-3)?
False
Let n(g) be the second derivative of g**4/12 - g**3/3 + g**2/2 - g. Is 5 a factor of n(4)?
False
Let t = 126 + 18. Is 24 a factor of t?
True
Let u be (1 + -59)/((-8)/4). Let z = u + 39. Is z a multiple of 14?
False
Let p = -27 + 45. Suppose d = p + 18. Is 18 a factor of d?
True
Let t(l) = l**2 + 5*l - 3. Let s = -2 - -23. Suppose -s = 3*f + 3*w - 6, 2*f = w - 19. Does 21 divide t(f)?
True
Does 16 divide (-318)/(-4) - ((-63)/14 - -4)?
True
Let f = -5 + -5. Is 12 a factor of (4/f)/(3/(-90))?
True
Let u be 51/7 + (-2)/7. Let n be (-2)/u + (-988)/(-28). Let g = n + -4. Does 14 divide g?
False
Suppose -3*h + 216 = 3*h. Is h a multiple of 4?
True
Suppose -3*s + 21 = -0*s. Is 776/28 - (-2)/s a multiple of 14?
True
Suppose 3*o - 2*o = -1. Let a be (5 - o)/((-3)/(-38)). Suppose -4*y + a = -2*y. Does 19 divide y?
True
Let f(v) = v**2 + 8*v - 10. Let p = 1 - 11. Is f(p) a multiple of 4?
False
Let l = 86 - 47. Suppose -5*r + l + 1 = 0. Is 8 a factor of r?
True
Suppose -3*g = 5*x - 25, -g + 2*g + 25 = 5*x. Suppose i = 4*s - 139, i + 172 = x*s - 2*i. Does 7 divide s?
True
Suppose -2*j = 4*u - 0*j - 10, 2*j = 4*u + 2. Suppose 0 = -2*q - 4*o + 24, -q = -4*o + u + 5. Is q a multiple of 2?
True
Let l be (-1 - -1) + (8 - 2). Suppose i + 25 = l*i - 3*c, -3*i - 4*c + 15 = 0. Is i a multiple of 2?
False
Suppose 3*r = 2*y - 25, y - 25 = 2*r + 2*r. Suppose -174 = -10*n + 516. Suppose y*w = n + 61. Does 10 divide w?
False
Let i = 19 - 21. Let v(n) = -n**2 + 12*n - 12. Let r be v(10). Is 11 a factor of (25/i)/(r/(-16))?
False
Suppose -5*j - 1 = -16. Suppose -7 = -2*u - j. Suppose -34 - 13 = -u*p + s, -4*s - 41 = -p. Is 20 a factor of p?
False
Let p(l) = 7*l**2 - l - 4. Is 14 a factor of p(-3)?
False
Suppose 3*y = y + 6. Is (-1)/((y/34)/(-3)) a multiple of 15?
False
Let y = 8 + 41. Does 14 divide y?
False
Suppose 2*m = -10, 0 = -5*p - 2*m - 2*m + 300. Is 18 a factor of p?
False
Let b = 99 + 22. Does 11 divide b?
True
Does 6 divide 2/7 - (-795)/35?
False
Suppose 8*o - 107 - 29 = 0. Suppose 3*a - 87 = -0*h - 5*h, -a + o = h. Is 17 a factor of h?
False
Let w(s) = s**3 - 2*s**2 + 2*s - 4. Suppose -18 = -3*n - 3*c, 0 = -5*n + c - 1 + 19. Is w(n) a multiple of 9?
True
Let m be ((-18)/30)/(1/(-5)). Let l be (-1)/m - 46/(-3). Let x = 29 - l. Does 5 divide x?
False
Is 17 a factor of (1/(-2))/((-7)/238)?
True
Let g(z) = z**3 + 6*z**2 - z. Let i be ((-12)/14)/(1/7). Is g(i) a multiple of 3?
True
Let s be 3/(-6)*(-2)/(-1). Does 3 divide (6/1 - s)/1?
False
Suppose 0 = -4*v - 0*q - q + 12, 0 = 5*v - 2*q - 28. Let s(o) = o**2 - 2*o - 1. Let u be s(v). Suppose 0 = u*m - 6*m - 15. Does 15 divide m?
True
Suppose -2*i = 12 + 2. Let p(r) = r**2 + 4*r + 5. Does 13 divide p(i)?
True
Let p = 2 + 2. Suppose 5*t + 2 = p*f, -2*t - 2*f + 1 = -3*f. Suppose -5*r + u + 160 = 0, 4*r - 7*u = -t*u + 149. Is 12 a factor of r?
False
Let k(c) = -c**2 - 4*c. Let d be k(-4). Suppose -3*n + 6 = -4*s, -n - 3*s + 2*s = -2. Suppose n*z + d*z = 36. Is 9 a factor of z?
True
Let x(d) = d**2 + 7*d + 2. Let n(m) = m. Let b(k) = 2*n(k) - x(k). Let c be b(-4). Suppose c*f = -f + 36. Is 11 a factor of f?
False
Let t be (4 + -2)*22/(-4). Let z = t + 44. Is z a multiple of 9?
False
Suppose 2 = 4*v - 2. Let z(l) = -6*l**3 - 5*l**2 + 4*l + 3. Let i(d) = -12*d**3 - 9*d**2 + 7*d + 5. Let c(t) = -3*i(t) + 5*z(t). Does 7 divide c(v)?
True
Let r(u) = -u - 10. Let i be r(-6). Is (i + 6/2)*-23 a multiple of 9?
False
Let c(u) = 17*u + 26. Is c(17) a multiple of 51?
False
Let x be 12/(-9)*153/6. Let s = 56 + x. Is 22 a factor of s?
True
Let t = -3 - -9. Is ((-10)/(-6))/(1/t) a multiple of 4?
False
Let b(a) = 43*a**2 - a. Let u = 1 + 0. Is b(u) a multiple of 11?
False
Suppose r = -w - 5, 3*w - 3*r = 3 + 6. Let o(a) be the second derivative of -a**5 + a**2/2 - 2*a. Is 10 a factor of o(w)?
False
Let b be (-3)/(-2)*(-20)/(-6). Suppose 0 = 3*q + b + 7. Does 4 divide (-116)/(-14) + q/14?
True
Let z(k) = k**2 - 9*k + 6. Let p be z(5). Let j be 30*(-2 - p/6). Suppose j = 2*c - 22. Is 8 a factor of c?
True
Is 40 + (2 - (-1 + 4)) a multiple of 11?
False
Suppose 4*z - 270 = -2*h, -z = 2*z + 15. Does 37 divide h?
False
Suppose 164 = 3*w + 5*z, 2*w - 3*z = 88 - 4. Is w a multiple of 15?
False
Suppose -v - v = 5*z - 159, 5*z + 4*v - 163 = 0. Let o = -1 + z. Is 4/(3 + (-86)/o) a multiple of 10?
True
Suppose 0*s = 5*s. Suppose 9 = 3*j - s*j. Is j a multiple of 3?
True
Let c(v) = -6*v - 2. Is 17 a factor of c(-5)?
False
Let m be 4*((-93)/12 + 2). Let w = 48 + m. Is 20 a factor of w?
False
Suppose 5*p + 3 = w, 0*w + 3*p = 2*w - 34. Is w a multiple of 16?
False
Suppose -o + 0*o + 12 = 0. Let g be 167 - (o/2)/3. Suppose g = 3*q + 2*q. Is 9 a factor of q?
False
Let d(n) be the second derivative of -n**5/20 + 5*n**4/12 + n**3/6 + 7*n**2/2 - 5*n. Does 12 divide d(5)?
True
Is 2/(286/(-72) - -4) a multiple of 18?
True
Let g(k) = -k**2 + 11*k - 12. Is g(7) a multiple of 7?
False
Let q(m) be the second derivative of m**7/2520 - m**6/360 + m**5/40 + m**4/6 - 2*m. Let k(h) be the third derivative of q(h). Is 12 a factor of k(6)?
False
Let m be ((-6)/2 - 14)/(-1). Is 17 a factor of (m/2)/((-3)/(-6))?
True
Suppose y = 1, 7*y - 192 = -2*s + 9*y. Is s a multiple of 19?
False
Let j(d) = -5*d - 16. Is 32 a factor of j(-16)?
True
Suppose 4*a - 23 = -5*y, -y + 5 = -2*a + 2*y. Suppose 0 = j - c - 2 - 2, 0 = a*c - 4. Does 2 divide j?
True
Let s = -473 + 662. Suppose 0*l = 3*l - s. Is l a multiple of 21?
True
Let h = -6 + 10. Let d = 2 + h. Is 3 a factor of d?
True
Suppose -3*d + 11 + 252 = -5*i, 0 = 5*i - 25. Does 20 divide d?
False
Suppose -4*n + 64 = 4*q, n + q = -4*q + 24. Does 8 divide -2*1*(6 - n)?
True
Suppose -5*a + 19 - 4 = 0, 2*q + 5*a = 11. Is 13 a factor of (-3 - (-2 - q)) + 60?
False
Let t = 33 - 13. Does 4 divide t?
True
Suppose 5*o = -4*s, -5*s + 7 = 4*o - 2. Is 3 a factor of s?
False
Suppose -5*r + 2 = -t, 2*t - 4*r = -r + 24. Suppose -2*x + 15 = 5*u - 3*x, -u = 4*x + t. Suppose -64 = -2*q - u*q. Is q a multiple of 1