True
Suppose 4*g = 2*u - g + 8, -u = -g + 7. Let d(r) be the third derivative of -r**6/120 - r**5/6 - 11*r**4/24 - 2*r**3/3 + r**2. Is 7 a factor of d(u)?
True
Let k(y) = 9*y + 4. Let r be k(-3). Let p = -14 - r. Is 9 a factor of p?
True
Let c = -2 + 1. Let x = c + 3. Suppose -42 = -x*t - 0. Does 21 divide t?
True
Let y(f) = -f**3 + 4*f**2 + 5. Let l be y(4). Suppose 184 = l*n - 2*v, -v = -0*n - 5*n + 187. Does 18 divide n?
False
Let k be 3/(3/50) - -1. Suppose -c + 132 = 5*o, -4*o + 18 = -4*c - 78. Let i = k - o. Is i a multiple of 10?
False
Let x be 0 + (1 + 1 - 1). Is 2 a factor of 4/x - (-2 - -3)?
False
Let d be (2 + 1)*(-2)/(-6). Let y = 1 + d. Suppose 2*c = -y*c + 48. Does 12 divide c?
True
Let f(j) = j**2 + j. Is f(-4) a multiple of 7?
False
Let h(f) = -f**3 + 12*f**2 - 9*f - 16. Let s be h(11). Suppose -u + s = 2*j + 1, -8 = -u - 5*j. Is 11 a factor of 83/u - (-1)/3?
False
Let t(a) = a**2 + 7*a - 2. Is t(-9) a multiple of 16?
True
Let k be ((-6)/(-9))/(2/264). Is 3 a factor of k/14 + (-6)/21?
True
Let j be 225/35 - 6/14. Suppose -m + k + 8 + j = 0, 4*m - 61 = 5*k. Is 7 a factor of m?
False
Let b = 48 - 68. Let w = 31 + b. Is w a multiple of 5?
False
Let x be 2/((-9)/(-3) - 1). Let z = x + 3. Suppose z*j - 76 = 4*k, -2*j + 24 = 3*k - 4. Is 11 a factor of j?
False
Let b be 2 + -1 + 568/2. Suppose 4*a + a - 5*c - 300 = 0, 5*a - 2*c - b = 0. Is 12 a factor of a?
False
Let y(k) = 3*k**2. Let q(o) = -o**2 - 2*o - 2. Let m be q(-2). Let p be y(m). Does 4 divide 52/6 + p/(-18)?
True
Suppose 8 = -4*l + 8*l. Suppose -y + 2*y + 45 = 4*j, 2*j = l*y + 30. Is j a multiple of 4?
False
Let k = -35 - -61. Is 26 a factor of k?
True
Let u(a) = -5*a + 3 + 2 + 4*a + 3. Let z be u(8). Suppose z*o + 26 = o. Is o a multiple of 13?
True
Let z(m) = m + 2. Let l be z(2). Suppose 3*i = l*i + 7. Let h(j) = -j**3 - 7*j**2 - 5*j - 3. Is 20 a factor of h(i)?
False
Let t(n) be the first derivative of 2*n**3/3 + 5*n + 1. Is 18 a factor of t(4)?
False
Let h(c) = c - 5. Let w be h(10). Let u = -4 + 8. Suppose u - 74 = -w*a. Is a a multiple of 14?
True
Let t be 29 - (-4)/(-12)*0. Let o = 54 - t. Is o a multiple of 5?
True
Let q(n) be the second derivative of -n**5/10 - n**4/4 + n**3/6 + n**2 - 2*n. Let b be q(-2). Suppose -b*x - 7 = -31. Does 3 divide x?
True
Let p = -7 + 23. Suppose -3*a - p = a. Does 8 divide 18 - 3 - a/2?
False
Let o = -23 - -33. Suppose -c = 2*f - o - 0, 3*c = 2*f + 6. Suppose 0 = f*k + 2 - 119. Is k a multiple of 14?
False
Suppose -2*d + 328 = 3*z - 0*z, -z + 2*d = -96. Let n = z - 54. Does 13 divide n?
True
Let m(w) = 21*w. Is m(1) a multiple of 9?
False
Let b = 5 + -10. Let r be 0*(b + 2)/3. Suppose l = 4 - r. Is l a multiple of 2?
True
Let o(i) = 145*i - 6. Is o(1) a multiple of 6?
False
Suppose 4 = o - 2. Let s(n) = -n + 4. Let c be s(o). Is 13 a factor of 26*(0 + c/(-4))?
True
Let k be (-94)/(-6) + (-3)/(-9). Is 14 a factor of 252/k*(-8)/(-3)?
True
Suppose -4*z = 10*z - 3150. Is z a multiple of 45?
True
Suppose -4*j = 3*h - 203, 0*j + h = -5*j + 240. Is 33 a factor of j?
False
Suppose 0 = d - 5*w - 77, 3*w - 323 + 15 = -4*d. Is 11 a factor of d?
True
Let v be -11 - (-2 + -1 + 3). Suppose -r + 29 + 40 = 0. Let q = v + r. Is q a multiple of 20?
False
Suppose -2*y = 3*y. Suppose q = -3*s + 5, y = -5*s - 0*q + 5*q - 25. Is 11 a factor of s - (-1 - 0) - -21?
True
Let j(c) = -2 + 0*c + 3 + 0*c - 6*c. Is j(-1) a multiple of 7?
True
Let n(b) = -7*b - 8. Is n(-8) a multiple of 27?
False
Let c = -89 + 282. Does 30 divide c?
False
Suppose 3*n = -3*p + 132, p - 44 = n + 3*n. Is 32 a factor of p?
False
Suppose q - 5*c - 44 = 0, c = -0*q - 5*q + 194. Does 8 divide q?
False
Let d(j) = j**2 + 3*j - 5. Is 6 a factor of d(4)?
False
Suppose -2*i - 93 = -3*d + 23, 0 = 3*i + 12. Is 18 a factor of d?
True
Let x be 8/10 + 176/55. Let o be (2 - 1)*(-1 + 1). Suppose r + 1 = o, 4*c = 2*c - x*r + 64. Does 17 divide c?
True
Suppose 41 = -0*p + 4*p - 5*f, 0 = 3*p - 5*f - 27. Does 4 divide 1*p + 0/(-1)?
False
Let a = 8 + -5. Suppose -4*k + 214 = k - 4*s, -2*s = -a*k + 128. Does 14 divide k?
True
Let s(c) = -14*c**2 - 35*c - 20. Let o(q) = 5*q**2 + 12*q + 7. Let i(z) = 11*o(z) + 4*s(z). Suppose 9*p = 4*p + u - 38, -u - 18 = 3*p. Is i(p) a multiple of 2?
True
Suppose -30 = -8*t + 3*t - 2*r, 4*t = 3*r + 1. Suppose -4*d = 2*c - 70, -65 = -t*d - c - 0*c. Does 5 divide d?
True
Let a(r) = 15*r**2 + 4*r + 8. Does 10 divide a(-2)?
True
Let p = -2 - 0. Let v(x) = -19*x**3 + 2*x**2 + 2*x + 2. Let j be v(p). Suppose 8*f - 202 = 3*f - 4*r, -5*r = 4*f - j. Is f a multiple of 17?
False
Let q = 18 + -4. Does 9 divide q?
False
Let w(n) be the third derivative of -n**4/24 - 2*n**3/3 + n**2. Let q be w(-8). Suppose -3*p + 15 = -q*y, -5*p + 4*y + 25 = 3*y. Is 2 a factor of p?
False
Suppose 2*g - 16 - 8 = 0. Let i be (-3)/g + 3/12. Suppose 0*f + 5*v + 14 = f, -5*f + 3*v + 70 = i. Is 14 a factor of f?
True
Let s(l) = -6*l + 4. Is 21 a factor of s(-15)?
False
Suppose -17 = 4*j + 4*k - 73, -4*j = -4*k - 24. Is j a multiple of 10?
True
Suppose -15 = 5*o - 0. Is 369/6*(-2)/o a multiple of 14?
False
Suppose 3*d - 179 = -5*u + 550, d - 2*u - 232 = 0. Is 34 a factor of d?
True
Suppose 3*d + 80 = 5*m, m - 83 = 5*d + 87. Let z be 22/(-4) + (-2)/4. Does 11 divide 4/z + d/(-3)?
True
Suppose -5*u = 3*c - 2 + 3, 0 = -4*c - 5*u + 2. Suppose 0 = c*m + 4 + 2. Let q(n) = 2*n**2 + n. Is q(m) a multiple of 6?
True
Let m = 3 - 1. Suppose -b - 25 = -m*b. Suppose 4*i - 6*i = -5*a + 19, 5*i = -2*a + b. Is 2 a factor of i?
False
Suppose -3*t = 2*t - 2*x - 183, -5*t + 5*x + 195 = 0. Let a = 23 - t. Is 18/a + 46/4 a multiple of 5?
True
Suppose 3*y + 43 = 301. Is y a multiple of 20?
False
Suppose -5*h + 5*y = -140, -2*h + 3*h + 5*y - 10 = 0. Does 9 divide -1 + -1 + h + 1?
False
Suppose -4*i = -56 - 60. Suppose 2*v - 91 = i. Does 20 divide v?
True
Let g = 35 + -65. Suppose -2*f = 2*f + 28. Let x = f - g. Does 12 divide x?
False
Let r be (-1)/((-93)/30 + 3). Suppose 8 = -v + 5*s, -4*s - r = -4*v + 6. Is 6 a factor of v?
False
Suppose 3*k + 5*w + 45 = 0, 5*k + 49 = -4*w - 26. Let m = 41 + k. Is m a multiple of 13?
True
Let g(y) = -y + 16. Let r(v) = -v - 1. Let q(j) = -g(j) - 3*r(j). Let f be ((-9)/(-15))/(2/30). Does 23 divide q(f)?
True
Let p be (3 - (-18)/(-4))*34. Is 6/3 + -5 - p a multiple of 20?
False
Let i(x) = x**2 - 3*x + 4. Let v be i(3). Let f(s) = s**2 - s + 3. Is f(v) a multiple of 7?
False
Let t(q) = q**2 - 2*q + 3. Let i be t(3). Suppose -8*c = -i*c - 64. Is c a multiple of 16?
True
Is 1/(16/(-20) - -1) a multiple of 5?
True
Let a(c) = 16*c**3 - c**2 - 3*c + 2. Let p be a(2). Suppose -4*m + p = m. Is m a multiple of 9?
False
Let l(v) = -2*v + 8*v + 1 - 3*v. Let t be l(3). Is 5 a factor of 2/t - (-343)/35?
True
Suppose -b = -2*b + 4. Suppose 3*l + 75 = 3*y, -2*y + 5*y - b*l = 80. Suppose -3*j + y = -133. Is 16 a factor of j?
False
Let w = -69 - -66. Let x = 7 + -5. Does 2 divide ((-8)/w)/(x/3)?
True
Suppose 0 = 3*f + 3*m - 213, 0 = 3*f - 6*f + m + 213. Let v be (0 + 1 + -4)*-15. Let t = f - v. Is t a multiple of 13?
True
Suppose 0 = -j - 2*j + 12. Suppose -j*s + 13 = 1. Suppose -4*k = -20, -w - s*w + 29 = k. Is w a multiple of 3?
True
Suppose -4*v - v + 250 = 0. Suppose -4*l = l - v. Is l a multiple of 3?
False
Suppose 0 = 3*p - l + 17 - 6, 4*p + 14 = l. Let j = p + 6. Let t = 10 - j. Does 3 divide t?
False
Let y(z) = -54*z - 14. Let b be y(-10). Suppose -3*v - 124 = -i, v - 4*v = 4*i - b. Suppose 5*f = 5*d - 315, -2*d + 4*f = -0*d - i. Is 21 a factor of d?
False
Let b(c) = -c**3 + 3*c**2 + c + 1. Is b(-3) a multiple of 19?
False
Suppose 4*o = 4*c, -2 = -o - 2*c + 13. Suppose -3*l = o - 26. Is l even?
False
Let g(v) = -v**2 - 9*v - 4. Let m be g(-7). Is 9 a factor of (-2)/(-4) - (-175)/m?
True
Suppose 0 = -2*c + c + 47. Is c a multiple of 7?
False
Suppose 0 = 3*j - 7 - 8, 2*l - 50 = -4*j. Let h = -4 + l. Is 11 a factor of h?
True
Let u(s) be the third derivative of s**4/24 + 5*s**3/6 - 3*s**2. Let b be u(-5). Suppose -3*t + 0*t + 21 = b. Does 3 divide t?
False
Suppose f + 24 = -2*f. Let p(m) = -21*m - 9. Let a be p(f). Suppose 5*i - a = 41. Does 20 divide i?
True
Let g = -54 - -96. Is 14 a factor of g?
True
Suppose w - 3 = -4*f, 2*f + 4*w = f + 12. Suppose -2*u + 8 = 0, f = 3*n - 4*n - u + 18. Is n a multip