of 14?
True
Let w = 8 + -10. Let v(p) = -3*p - 1. Let i(t) = 9*t + 4. Let d(r) = 2*i(r) + 7*v(r). Is 7 a factor of d(w)?
True
Let l(b) be the third derivative of 1/24*b**4 + 4*b**2 + 0*b + 14/3*b**3 + 0. Does 7 divide l(0)?
True
Let t(r) be the first derivative of -r**4/4 + 7*r**3/3 - 2*r**2 - 3*r + 5. Let u be (5/2)/((-1)/(-2)). Is 13 a factor of t(u)?
False
Let o = 1605 + -805. Is 8 a factor of o?
True
Suppose 0 = 5*z - 4630 - 12060. Is 28 a factor of z?
False
Suppose i = -4*y + 3, -5*i + 3*y = 2 - 63. Let u be 3324/i - 6/33. Is 18/42 + u/14 a multiple of 9?
False
Let c = -32 - -9. Let y = 16 - c. Is 15 a factor of y?
False
Let q = -20 + 23. Let h be q - (3 - (1 + 12)). Suppose -4*f = -5*f + h. Is 13 a factor of f?
True
Suppose -z + 2*z = 0. Suppose -s - 4*s + 680 = z. Let q = s - 84. Is q a multiple of 10?
False
Let g(j) = -7*j**2 - 12. Let t(c) = -13*c**2 - 26. Let a(i) = -9*g(i) + 4*t(i). Let m = 4 - 6. Is a(m) a multiple of 8?
True
Let u be -1 + (3 - 5 - -3). Suppose u = -0*b - 6*b + 114. Is 11 a factor of b?
False
Let f = 29 + -26. Suppose 0 = -2*d, 4*d + f = -4*o - 17. Is (-43)/(-4) - o/20 a multiple of 2?
False
Let z(x) = -16*x**2. Let c be z(1). Let i(m) = -m**3 - 17*m**2 - 18*m - 23. Is i(c) a multiple of 5?
False
Let q = 93 + -95. Is 18 a factor of (-3 - -5 - 20)*q?
True
Let s(p) = p**3 + 12*p**2 + 11*p. Let o be s(-11). Let c(i) = 6*i - 4*i + 14*i**2 + o*i - 3*i. Is c(1) a multiple of 12?
False
Let u be 41*-1*((-1 - 2) + 1). Is 4 a factor of (u/26 - 3) + 1114/26?
False
Let g(f) = -111*f**3 - f**2 - 5*f - 3. Is 16 a factor of g(-1)?
True
Let a(q) = -4*q - 42. Let d(y) = -y**3 - y**2 + 17*y + 2. Let l be d(-4). Is 5 a factor of a(l)?
True
Let b be 1/(1*(-1)/(-4)). Suppose 2*l - 94 = -b*i, -4*l - 88 = -3*i - 9*l. Let x = 43 - i. Does 4 divide x?
False
Suppose -g = 2*g + 12, 0 = 3*q + g - 923. Is q a multiple of 10?
False
Suppose -3*y + 15 = -0*o + 3*o, -3*o - 5*y + 21 = 0. Suppose -43 = -o*c + 7. Does 25 divide c?
True
Let t(x) = -45*x + 4. Let r be t(-2). Let c = r - 36. Suppose c + 92 = 5*h. Is h a multiple of 10?
True
Let p(f) be the first derivative of -5*f**2 + 11*f - 7. Is p(-5) a multiple of 16?
False
Let y = -14 + 17. Suppose 5*j - 41 = -p - 3*p, y*j - 19 = -p. Suppose 5*l + 10 = v + p*v, 0 = 4*v + 5*l - 53. Does 4 divide v?
False
Suppose 6*s = 4*s + 2770. Let b = -973 + s. Does 19 divide 2/(-1)*b/(-8)?
False
Let y(z) = -z**3 - 5*z**2 + 16*z + 13. Let r be y(-7). Does 13 divide (163/(-3))/(r/6)?
False
Let f(s) be the third derivative of 2*s**5/15 + 5*s**4/24 + s**3 - 4*s**2. Let g be f(-4). Let q = g - 80. Does 17 divide q?
True
Let v = 539 + -286. Is v a multiple of 24?
False
Suppose 7*t - 14483 = 7917. Is t a multiple of 100?
True
Suppose 2*i - 866 = -2*t, 435 = -4*t + 5*t + 3*i. Does 48 divide t?
True
Let f be 0*(-1)/(-3) - 11. Let u(q) = -q**3 - 10*q**2 + q + 11. Let s be u(f). Suppose 3*o - s = -37. Is o a multiple of 7?
True
Suppose -11560 = 86*l - 120*l. Does 10 divide l?
True
Suppose -x = 23 - 22. Let i(n) = -7*n + 2. Is i(x) a multiple of 3?
True
Let d = 1004 + -527. Is d a multiple of 21?
False
Suppose 6*q - 1669 = 1067. Suppose -8*t + q = -2*t. Does 38 divide t?
True
Let v(z) = z + 7. Let w be v(-5). Suppose -3*m - 5*q + 336 = 0, 0 = -w*m - q - 2*q + 224. Is 14 a factor of m?
True
Let t(z) = -z - 10. Let p be t(0). Let x = -8 - p. Suppose 0 = x*q + 4*d - 18, -4*q - 3*d + 19 = -12. Is q even?
False
Suppose -2*k + 4*r + 308 = 0, -3*r = -2*k - r + 316. Is 27 a factor of k?
True
Suppose 2*j - v - 7 - 7 = 0, -5*j = -4*v - 38. Does 6 divide j?
True
Let c = -11 - -7. Suppose 3*d - 24 - 46 = -2*y, y - 2*d = 42. Does 3 divide (c - y/(-8))*8?
True
Suppose -30*i - 53 = -31*i. Let s = 111 + i. Is 20 a factor of s?
False
Is (-37)/(-13) + -1 + 8/52 a multiple of 2?
True
Suppose 0*q - 1 = r - q, -r - 2*q = 7. Is 2/r + 88/6 a multiple of 14?
True
Let y(l) = -l**3 - 6*l**2 + 4*l + 10. Let w be y(-6). Let h = w - -14. Suppose 2*r - 3*s = 129, h = 5*s - 34 + 9. Is r a multiple of 9?
True
Suppose -245 = -17*k + 10*k. Is k a multiple of 7?
True
Suppose -6 = -5*m + 29. Suppose 0 = -m*g + 1139 + 65. Is g a multiple of 43?
True
Let x = -32 + -23. Let v = 103 + x. Suppose 4*k + v = 4*u, -5*k = 5*u - 3*k - 88. Does 6 divide u?
False
Let u = 631 - 526. Is 7 a factor of u?
True
Let v be 32 + 7/((-28)/12). Let u = 21 - v. Let r = 26 - u. Does 11 divide r?
False
Suppose -5*k - 128 = -6*i + 2*i, -3*k - 96 = -3*i. Does 9 divide i?
False
Let n be 1/((-52)/(-16) - 3). Suppose 0 = -p - 3*p + 2*q + 258, -3*q = n*p - 233. Is p a multiple of 31?
True
Let a(u) = -5*u + 113. Is a(0) a multiple of 11?
False
Let p(r) = 4*r**2 - 8*r + 19. Is p(5) a multiple of 6?
False
Suppose 3087 = 16*s + 5*s. Is s a multiple of 3?
True
Suppose 4*d = 4*v - 4, 0 = -0*d + 2*d + 5*v - 26. Suppose -n - z + 3 = -0*z, -n - 17 = -d*z. Does 4 divide (3 + -21)/(1 + n)?
False
Suppose z - 3*m + 2 - 9 = 0, 0 = -4*z - 4*m + 28. Let q be z/28 - 2/8. Suppose 2*g - 49 - 199 = q. Is 36 a factor of g?
False
Let i(a) = 6*a**2 - 26*a - 1. Let m be i(6). Let c = m + -27. Does 16 divide c?
True
Let u(i) = -i**2 - i - 4. Let h be u(0). Let s be h/(-6) + 19/3. Suppose 0 = -s*l + 9*l - 46. Is 12 a factor of l?
False
Let z(f) = f**2 + 3*f - 8. Let y be z(4). Suppose 0*g + g = -5*p - 5, 2*p + y = -4*g. Let s(l) = -l**3 - 2*l**2 + l. Is s(g) a multiple of 13?
False
Let q be 123/12 - (-2)/(-8). Let n(a) be the third derivative of -a**6/120 + a**5/5 - 7*a**4/12 - a**3 - 28*a**2. Does 18 divide n(q)?
True
Let t = -125 + 185. Is (-3 + t/8)*(-132)/(-2) a multiple of 45?
False
Suppose 3*y + 66 = 4*y. Let u = y + 49. Is u a multiple of 11?
False
Suppose 11 = m + m - v, 5*v + 15 = 0. Suppose 5*p = 19 - m. Suppose 25 = 8*a - p*a. Is a a multiple of 2?
False
Suppose f = 5*u - 204, -3*u - 3*f + 208 = 2*u. Let i = u + -11. Is 6 a factor of i?
True
Let j = -174 - 169. Let h be (0 - 1)/(7/j). Let s = h - 35. Is s a multiple of 14?
True
Suppose 58*z - 53*z = 45. Suppose -528 = z*s - 13*s. Is s a multiple of 11?
True
Suppose -335 = -5*x - 1235. Let q be (-696)/x - 4/(-30). Suppose 5*p - q*p - 83 = 0. Is p a multiple of 17?
False
Suppose 0*h - 30 = 5*h - 2*a, 25 = 5*a. Let f(y) = 3*y**2 - 7*y - 10. Let o be f(h). Suppose -3*i = -t - o, 2*i - 2*t + t = 45. Does 7 divide i?
True
Let n = -6 - -10. Suppose -n*b = 0, -s + 2*b + 90 = -2*b. Is 15 a factor of s?
True
Let n = 580 - 279. Is 28 a factor of n?
False
Let z = -12 - -20. Let j be 2/z + (-7721)/(-28). Suppose 7*r + 52 = j. Is 31 a factor of r?
False
Let t(d) be the first derivative of -d**3/3 + 34*d - 2. Suppose 0 = 2*g - g. Does 17 divide t(g)?
True
Let n(z) = 2*z + 12. Let p be n(-6). Suppose -5*w + 6 = -f - f, p = 3*w - f - 4. Is w a multiple of 2?
True
Let i(d) = d**3 + 17*d**2 - 19*d - 18. Let p be i(-18). Suppose -g + 19 = -p. Does 14 divide g?
False
Let x(f) = -f - 5. Let p be x(-5). Suppose -5*k = p, -3*r + 494 = 4*k + 104. Is r a multiple of 13?
True
Suppose 2*c = 5*n - 26, n + 5*c - c = -8. Is (n + 69/(-6))*-14 a multiple of 21?
True
Let o = 36 - 19. Let m = o - 5. Let y = m + -5. Is 4 a factor of y?
False
Let q(a) = 14*a**2 + 34*a - 22. Is 7 a factor of q(-6)?
False
Let s = 13 + -11. Suppose -4*j + s*m = j - 131, -3*m = -4*j + 102. Is 9 a factor of j?
True
Let x(a) = 3*a - 4*a - a - 8 + 2. Let u be x(-5). Suppose -201 = -u*r - 3*m, -2*m = -3*r + 90 + 82. Is r a multiple of 13?
False
Let d = 391 - -305. Does 12 divide d?
True
Suppose 3*k + 2*o = -0*k + 7, k + 1 = o. Let m be 903/12 + k/(-4). Let r = m - 11. Is 30 a factor of r?
False
Let v(n) = n**3 + 3*n**2 + 3*n - 2. Let r be v(-3). Suppose -2*u = -4*c - 50, 3*u - 2*u + 5*c = 18. Let i = r + u. Is i a multiple of 4?
True
Let h = -151 + 74. Let x be 5/(-20) - h/4. Suppose -4*i - 3*v - v = -20, -5*i + v = -x. Does 3 divide i?
False
Let n be -2 - -5 - 42/(-3). Suppose 0 = 5*h - n - 28. Let m = h - 3. Does 2 divide m?
True
Suppose -q = 8*a - 6*a, 4*q - 4*a - 24 = 0. Does 16 divide (-6 + (-378)/(-7))*q/3?
True
Suppose 112 = g + g. Suppose -g = 2*o - 4*o. Is o a multiple of 4?
True
Suppose 0 = -0*g + g - 1. Let m be (g/2)/(12/384). Does 4 divide (-53 - -1)*(-4)/m?
False
Suppose s - 1110 = -29*s. Suppose 4*z - 5*a - 37 = 0, -2*z - a + 1 + 0 = 0. Suppose -4*o = 2*j - z*j + s, 2*j - o - 81 = 0. Is j a multi