9/4 + (6 - 25/4) a multiple of 10?
False
Suppose -4*q = -0*q. Suppose 3*d + q*d = 66. Is 11 a factor of d?
True
Let h = -14 - -26. Suppose 3*a - h = 132. Is a a multiple of 10?
False
Let p be -2 - (-130 + (-2 - -1)). Let h = p + -71. Does 15 divide h?
False
Suppose -3*a + 2*a = -12. Is 8 a factor of (-5)/30 - (-338)/a?
False
Let p be 2 - (2 + (-1 - 1)). Let f be 4/2 + (3 - p). Does 8 divide f*5/((-30)/(-16))?
True
Let d(c) = -c**3 + 8*c**2 - 8*c + 10. Let b be d(7). Suppose -b*w + 21 = -3*g, 0 = 2*w - 6. Let x = 6 - g. Is 5 a factor of x?
True
Let g = -18 - -36. Is g a multiple of 6?
True
Suppose -11*j + 903 = -4*j. Does 41 divide j?
False
Suppose 2*j + 48 = x + 142, 5*j + 2*x = 244. Suppose -3*k = -4*t - 6*k + 38, 0 = 5*t + 4*k - j. Let d = t + 10. Does 7 divide d?
False
Let b = 263 + -47. Is b a multiple of 13?
False
Suppose -3*j = 2*j + 4*y - 76, 3*j = -4*y + 52. Is 6 a factor of j?
True
Let x be -2 - 4*(-2 + 1). Suppose -3*i = x*i. Suppose i = 3*h - 5 - 1. Is h a multiple of 2?
True
Let r(j) = j + 0*j + 4*j - 4*j + 12*j**2. Suppose 7*n - 2*n - 5 = 0. Is 6 a factor of r(n)?
False
Let d = -93 + 133. Is d a multiple of 4?
True
Let y = 13 + -19. Let n = -8 - -12. Let z = n - y. Is z a multiple of 5?
True
Is -22*4/(-20)*(2 + 33) a multiple of 22?
True
Let z(l) = l**2 + 13*l + 20. Is 44 a factor of z(-17)?
True
Suppose 0*w = -5*w. Suppose 4 = 2*q - w. Suppose 6*k - 36 = q*k. Does 9 divide k?
True
Suppose -36 = -3*j + 3*v, 0*j - 36 = -3*j - 2*v. Does 6 divide j?
True
Let h = 30 + -2. Is h a multiple of 7?
True
Let d(w) be the first derivative of 3 + 0*w + 3*w**3 - 1/2*w**2. Is d(-1) a multiple of 5?
True
Let j(k) = k**3 - 3*k**2 - 5*k - 1. Let f be j(4). Let i(a) = -2*a + 15. Let m(w) = w - 7. Let v(c) = -2*i(c) - 5*m(c). Is 5 a factor of v(f)?
True
Suppose 2*u = 1 + 3. Suppose -2*l + 7*l = 5*k - 160, -3*l - 62 = -u*k. Does 16 divide k?
False
Suppose -x - 3*d + 29 = d, -2*x = 5*d - 58. Suppose 0 = 2*h - 5*n - 36, -5*h - n - x = -92. Is h a multiple of 3?
False
Let d = 50 - 126. Let v = d - -110. Is v a multiple of 17?
True
Suppose 0 = 4*u + 20, 2*w + 0*u = u + 11. Let p(l) = 14*l - 4. Does 19 divide p(w)?
True
Let z(j) = -j**2 + 5*j + 6. Let b be z(6). Suppose b = 4*k + c + 4*c - 48, 3*k - 63 = 3*c. Is k a multiple of 17?
True
Let q(z) = z + 28. Let t be (-1)/2*(-39 - -15). Is 10 a factor of q(t)?
True
Suppose 0*m = 2*h - 3*m + 4, -2*h - 4*m = -24. Suppose 7*n - 4*l - 16 = h*n, 5*l = -3*n + 7. Suppose -2*d + n*x = -32, d + 4 = 5*x + 11. Is d a multiple of 8?
False
Let p(j) = 3*j**2 + 5*j + 1. Let z be p(-4). Suppose -5*v - z = -x, -2*v + 14 = 2*x - 8. Is x a multiple of 6?
False
Suppose -6*c + 103 = -2*c - 3*x, 0 = 4*c + 3*x - 97. Is 11 a factor of c?
False
Suppose 4*x - 3*q = -325, 2*x - 5*q + 405 = -3*x. Does 18 divide 3 - (-2)/((-4)/x)?
False
Let r = -4 - -7. Suppose -4*z + z + 3 = 0, -44 = -5*j - 4*z. Suppose a = j - r. Is a a multiple of 2?
False
Let l = 7 - 3. Suppose m = q - 24, -m - l*m = -2*q + 54. Does 11 divide q?
True
Let g be ((-4)/6)/((-2)/(-210)). Let s = g - -44. Let w = 40 + s. Is w a multiple of 7?
True
Let m be (-2 + -107 - 4)/1. Suppose -3 - 13 = 4*n. Is m/n - (-1)/(-4) a multiple of 10?
False
Let u(y) = 2 + 6 + 6*y - 6*y**2 - 2 - y**3. Does 13 divide u(-7)?
True
Suppose 3*j - 134 = -4*z, z - 3*j - 11 - 30 = 0. Let a = -19 + z. Does 8 divide a?
True
Suppose 423 = -2*a - a - 3*t, -2*a - 270 = -2*t. Let k = a + 213. Is k a multiple of 25?
True
Let y = 122 + -46. Is y a multiple of 38?
True
Suppose 2*v + a - 157 = -3*v, -49 = -2*v - 5*a. Does 4 divide v?
True
Let d(n) = -n**3 - 5*n**2 - 4*n + 4. Let w be d(-4). Suppose -z + 2*v + 11 = 0, 3*v = w*z + v - 38. Let b = 15 - z. Is 6 a factor of b?
True
Let k be (36/(-30))/((-1)/5). Suppose -5*z - q + 0*q + k = 0, 0 = -2*z - q. Suppose 2*r + 44 = a + a, z*r - 36 = -2*a. Is a a multiple of 10?
True
Suppose 4*n - 3*t + 0*t - 344 = 0, 5*t = 20. Is n a multiple of 14?
False
Let x = -8 - -23. Is 11 a factor of x?
False
Is (-2)/(-2) - (-16 - 54) a multiple of 12?
False
Let l(p) = -5*p - 1. Let v(z) be the third derivative of -11*z**4/24 - z**3/3 - 2*z**2. Let i(o) = 5*l(o) - 2*v(o). Does 3 divide i(-3)?
False
Suppose 79*v = 83*v - 12. Is 3 a factor of v?
True
Let z = -15 + 13. Does 9 divide 21/(z - 0 - -3)?
False
Let l(u) = -u**3 + 3*u**2 + u - 1. Let v be l(3). Suppose -v*o + o = -6. Is o a multiple of 4?
False
Suppose 4*s - 5*s = -22. Let m = -12 + s. Suppose o + 8 + 2 = 3*u, -3*o + 5*u = m. Does 5 divide o?
True
Suppose -3*h - 2 = -32. Let s be (-8)/5*h/(-4). Is 16 a factor of 178/11 - s/22?
True
Does 33 divide (-315)/6*(-4)/2?
False
Let z(j) = 8*j - 4. Let d(f) be the second derivative of f**5/20 - 5*f**4/12 - f**3 + 2*f**2 - f. Let n be d(6). Is z(n) a multiple of 14?
True
Let q(j) = -3*j - 6. Is q(-5) a multiple of 4?
False
Is 13 a factor of 134 + 1*(4 - 8)?
True
Is 30 a factor of 1077/18 - 1/(-6)?
True
Let u(o) = 2*o - 13. Let d(l) = -l + 12. Let k(v) = 3*d(v) + 4*u(v). Is k(7) a multiple of 5?
False
Let v = -1 + 3. Suppose -2*a - 5*m = -114, 4*a - m - 3*m = 172. Suppose -13 = v*z - a. Is 6 a factor of z?
False
Let o(h) = h - 2. Let t be o(7). Suppose 0 = -2*m + t*k + 99, 162 = 3*m - 5*k + 2*k. Does 25 divide m?
False
Let w(y) = 2*y - 1. Let l be w(-1). Let b = l - -3. Suppose 3*d + 4*o = -d + 36, 2*d + 3*o - 19 = b. Is d a multiple of 8?
True
Let h(j) be the first derivative of -j**6/360 + 11*j**5/120 - j**4/2 + j**3 - 3. Let b(x) be the third derivative of h(x). Is 12 a factor of b(8)?
True
Suppose 0 = 7*o - 109 + 32. Is 4 a factor of o?
False
Suppose 0 = 4*s, -s + 4*s = -3*l + 6. Suppose 6*q - q - 9 = l*x, 6 = -3*x + 5*q. Suppose 4*h - x = 1, 5*h = f - 30. Is f a multiple of 16?
False
Let v = 0 + 4. Let t(z) = -8*z**3 - z - 1. Let j be t(-1). Let o = j + v. Does 12 divide o?
True
Suppose 0*m - 2*m = 20. Let g = -9 - m. Let j(v) = 52*v**2 - v + 1. Is 26 a factor of j(g)?
True
Let d(p) = -p - 10. Let s(l) = -l - 11. Let i(a) = -5*d(a) + 4*s(a). Let v be i(-7). Let x = 31 - v. Is x a multiple of 13?
False
Suppose -4*w - 3*g + 21 = 0, -6*w = -w + 5*g - 25. Is 6 a factor of w?
True
Let l(c) = c**2 - c. Let v be l(2). Does 8 divide v - (0 - 14)/1?
True
Let g(s) = -s - 2. Let b be g(-8). Is (-1 + 114/9)*b a multiple of 24?
False
Suppose -2*i = -4*h - i + 281, 5*h = 2*i + 355. Does 13 divide h?
False
Let f(g) = -g**2 - 7*g - 4. Let t be f(-6). Suppose -t*d + 42 = d - m, 0 = -m + 3. Is 8 a factor of d?
False
Let s(k) = -123*k - 4. Let g be s(-2). Suppose g = 4*a - 2. Is a a multiple of 10?
False
Let h(s) = s**3 - 4*s**2 + 4 + 6 - 2*s**2 - 8*s. Let t be h(7). Is 9 a factor of 12 + t*4/(-6)?
False
Let d(j) = j**3 - 9*j**2 + 8*j + 6. Let c be d(8). Suppose -h - 80 = -c*h. Does 16 divide h?
True
Let m be 6/15 - 8/(-5). Let q = -44 - -72. Suppose m*x = -2*g + q, -x + 33 = 2*g + 7. Does 12 divide g?
True
Let x(m) = 80*m**2 - 2*m - 2. Let n be x(-1). Suppose 0 = -5*q + q + n. Is q a multiple of 4?
True
Suppose 12 = -5*n + 9*n. Suppose -5*h = -n*w - 63 - 47, 4*w - 95 = -3*h. Is 13 a factor of h?
False
Suppose -4*a = -3*a + 3*s - 687, a + s - 679 = 0. Suppose -3*v + a = 2*v. Suppose -3*n = 33 - v. Is n a multiple of 12?
False
Let i(l) be the third derivative of l**5/30 - l**4/6 - 5*l**3/6 - 2*l**2. Is i(4) a multiple of 10?
False
Let i be (7/(-3))/(1/(-3)). Suppose -5*y - 48 = -i*y. Is y a multiple of 12?
True
Let q = 153 + -72. Does 27 divide q?
True
Let u(l) = -l**2 + 27*l + 34. Is u(23) a multiple of 34?
False
Suppose 4*n = -4*w + 124, -n + 95 = 2*n + 2*w. Is n a multiple of 11?
True
Suppose -4*p = -4*f + 172, -5*f + p + 72 = -147. Suppose 2*y + f = 6*y. Is 11 a factor of y?
True
Let w(x) = -5 - x + x**3 - 8*x**2 + 0*x - 2*x**3. Let g be w(-8). Does 4 divide (-78)/(-9) + (-2)/g?
True
Let f(g) = 2*g - 2. Let m be f(7). Suppose 5*h - m - 48 = 0. Is h a multiple of 6?
True
Does 14 divide 17/(-5) - -3 - (-2688)/20?
False
Let f(i) = i**2 + 4*i - 19. Is 11 a factor of f(-12)?
True
Suppose n = 2*r - 1, -3*r = 3*n - 0*n - 15. Suppose n*p + p - 48 = 0. Does 8 divide p?
False
Let l(r) = 106*r**2 + 2*r - 12. Does 26 divide l(2)?
True
Let n = -268 + 130. Let z be n/(-4) + (-1)/(-2). Let h = -23 + z. Is h a multiple of 12?
True
Let c = -43 + 25. Let w be (-1 - 5)/(c/99). Does 11 divide -2 - ((0 - w) + -1