3/(-6))?
False
Suppose 3*c + 28 = 208. Is c a multiple of 5?
True
Let p = -2 + 5. Suppose 0 = c - 3*f + 4, -c + p*f + 29 = 3*c. Is 10 a factor of c?
False
Suppose r - 220 = -4*r + 2*u, -204 = -4*r - 4*u. Does 23 divide r?
True
Let c(p) = -p**2 + 15*p + 9. Does 11 divide c(13)?
False
Let w(j) = j**3 + 3*j**2 - j + 4. Let p be w(-5). Let n = p - -71. Is n a multiple of 15?
True
Let q = -32 - -48. Is 6 a factor of q?
False
Let l = -4 + 6. Suppose 5*m = -d + 4, d - 4*m = l*d - 5. Does 4 divide d + (-2)/1 + -1?
False
Let o(a) = -a**3 - 7*a**2 + 8*a + 8. Is o(-8) a multiple of 3?
False
Let h = 28 + 147. Suppose 4*a + 3*k = k + 358, 2*a + 5*k = h. Is 28 a factor of a?
False
Suppose 4*j = o - 49, 3*j + 13 = -0*j - 4*o. Let f be j/(-3) + (-3)/(-9). Suppose f*v - 2*h = 24, -31 = -3*v - 2*v + 3*h. Does 5 divide v?
True
Suppose d = 2*d - 12. Does 7 divide 15*(d/(-4) + 4)?
False
Suppose 236 = -k + 5*k. Is k a multiple of 15?
False
Suppose 0 = o - 3. Let p = o - -2. Let b = p - 2. Is 3 a factor of b?
True
Suppose -q + 123 = -40. Is 33 a factor of q?
False
Let r(m) = -m**2 + 12*m + 13. Let q be r(13). Let p = -11 - -7. Let l = q - p. Is l a multiple of 2?
True
Let t be 0/(0 + -1 + 2). Suppose t*x = 3*x - 6. Suppose 0 = x*u - 44 + 4. Is u a multiple of 10?
True
Let r = 1 + 3. Is r a multiple of 4?
True
Let j(l) = l**3 - 12*l**2 - 12*l - 10. Does 3 divide j(13)?
True
Let w = 2 - -1. Suppose -s - 195 = -w*g, 5*g - 2*s + 3*s - 317 = 0. Does 10 divide (-6 + 3)*g/(-6)?
False
Let d be 2/6 + (-20)/(-12). Suppose -2*r = -3*n + 1, 0 = d*n + 4 + 2. Let m = -3 - r. Is m a multiple of 2?
True
Let h = -9 + 14. Suppose 0 = 5*c - h*m - 190 - 70, 4*m = -c + 62. Does 22 divide c?
False
Let d = -40 - -89. Is d a multiple of 15?
False
Suppose -m + 86 = -171. Is m a multiple of 13?
False
Let a(y) = y**3 + 4*y**2 - 2*y - 3. Let o be a(-4). Suppose 3*q + o*z = q + 45, -5*q - 2*z = -81. Is 5 a factor of q?
True
Let d = -58 + 37. Let m = -13 - d. Is 6 a factor of m?
False
Let z = 119 - 172. Let n(k) = -k**2 + 7. Let h be n(-5). Does 4 divide (-3)/h + z/(-6)?
False
Let d(y) = -2*y - 12. Let f be d(0). Is 30 a factor of (-2)/f + 419/6?
False
Let z be (-15)/(-10) + (-10)/4. Let t be (3 + 0)*z/3. Is 6 a factor of (t - -3) + 6 + 4?
True
Let f be 4/(-14) + (-2)/(-7). Suppose 2*r = -4*o + 96, 0 = 4*o - 3*r - 2*r - 82. Suppose 3*q - o - 19 = f. Is q a multiple of 14?
True
Let u = 45 - 27. Does 12 divide u/4*24/9?
True
Suppose 2*h + 0*j + j = 85, 55 = h + 3*j. Suppose u + 4*t - h = -12, 0 = 3*t + 3. Is 16 a factor of u?
True
Suppose -4*s - 3*i + 111 = -s, 0 = -s + 5*i + 19. Does 12 divide s?
False
Let q(g) = g**3 - 11*g**2 + 10*g + 8. Let h be q(10). Let m = h + -3. Is m a multiple of 5?
True
Let s(w) = -6 + 3*w + 6*w + 18 + w**2. Is 4 a factor of s(-8)?
True
Let x(n) = 2*n + 12. Let j(c) = -6*c - 35. Let u(w) = 3*j(w) + 8*x(w). Does 2 divide u(-9)?
False
Let u(k) = 21*k**2 + 1. Is 8 a factor of u(1)?
False
Let a = 94 - 63. Does 20 divide a?
False
Suppose -3*p = -2*g - 29, 3*p + 19 - 44 = 4*g. Is 11 a factor of p?
True
Let q(v) be the second derivative of 13*v**5/10 + v**4/12 - v**3/3 + v**2/2 + 3*v. Does 13 divide q(1)?
True
Suppose -106 = 95*q - 97*q. Is q a multiple of 16?
False
Let z(l) = 4*l**2 + 8*l + 5. Let d be z(-5). Let w = d + -35. Is w a multiple of 15?
True
Let m(n) = 19*n**2 + 4*n + 4. Is m(-1) a multiple of 19?
True
Let i be (-8)/(2/(-11) + 0). Suppose 7*v = 6*v + 73. Let c = v - i. Is c a multiple of 15?
False
Suppose -44 = -4*o + 2*h, 3*o + 3*h - 23 - 19 = 0. Does 4 divide o?
True
Let t = 43 + -82. Let k = t + 56. Does 7 divide k?
False
Suppose 2*v + 3*d - 11 = v, 0 = -5*v - 4*d. Is (v - -5)*18 + 2 a multiple of 7?
False
Let c(j) = -j**2 - 10*j + 2. Is c(-6) a multiple of 13?
True
Let f(x) = -x**3 + 3*x**2 - 2*x - 2. Let k be f(2). Let n = k - 2. Let c = 7 + n. Does 2 divide c?
False
Does 26 divide 5 + 1100/8 - (-3)/6?
False
Let c(b) = 9*b - 8. Is c(6) a multiple of 13?
False
Let v = 1 - -5. Let z be (-1)/(-2)*v + 0. Suppose -2*u - 25 = -z*u. Does 9 divide u?
False
Is 37 a factor of 194/(4 - 2) + 2?
False
Suppose -3*o - g = -89, 3*g - g + 2 = 0. Is o a multiple of 6?
True
Suppose 0 = 2*b - 0*b - 192. Is b a multiple of 24?
True
Let n be (-3 - -3 - 1)*10. Is n/(-20)*(0 + 36) a multiple of 6?
True
Let s(l) = 2*l**2 - 9*l - 2. Let v(n) = n**2 - 6*n - 1. Let x(u) = -5*s(u) + 8*v(u). Let c be x(-3). Let h(i) = -2*i - 4. Does 7 divide h(c)?
False
Let o(y) = y**3 - 3*y**2. Let m be ((-3)/2)/((-5)/10). Let x be o(m). Suppose 2*c + 7*p = 2*p + 56, x = -2*c + p + 56. Is c a multiple of 14?
True
Let u be (1/(-2))/(2/8). Let y = 28 + u. Does 26 divide y?
True
Is -1*9*(-7 - -6) a multiple of 3?
True
Suppose -7 + 4 = -q. Suppose -5*k = -4*k + 1, q*z - 100 = -2*k. Is z a multiple of 20?
False
Let g be ((-4)/2)/((-2)/11). Suppose -w - 4 = 0, o - w - 2*w = g. Let f = 3 - o. Does 2 divide f?
True
Suppose 0*b = -2*b + 14. Is 4 a factor of b?
False
Suppose q = -4*q + 30. Let j = 0 + q. Suppose -j*a + 32 = -4*a. Is a a multiple of 16?
True
Suppose -2*y = 2*y + 20. Let r be ((-32)/(-20))/((-1)/y). Suppose 0 = -3*h + 4*h - r. Is h a multiple of 4?
True
Suppose -4*q + 2*h = -0*h - 118, -32 = -q - 2*h. Does 30 divide q?
True
Suppose 0 = 2*n - 60 - 508. Suppose -74 + n = -3*x. Let p = 101 + x. Does 15 divide p?
False
Let o(p) = p**3 - 8*p**2 + 7*p + 4. Let q be o(7). Suppose 5*c - 85 = -2*v, -38 = -v - 3*c + q. Is 18 a factor of v?
False
Suppose a + 128 = 5*r - 154, a + 170 = 3*r. Does 6 divide r?
False
Suppose 2*h + 67 = 255. Suppose 5*o + 2*w - 16 = h, 3*o = -w + 66. Does 12 divide o?
False
Let s = 53 + -27. Does 4 divide s?
False
Let p be (-2)/(-10) + (-1)/5. Let m be 2 + (p - 6) + 2. Does 6 divide (-13)/m + 2/(-4)?
True
Let v = 218 - 128. Is 18 a factor of v?
True
Suppose 2*c + 3*z + 2*z = 83, -3*c + 3*z = -177. Is c a multiple of 18?
True
Let o(g) = 2*g - 3. Let m be o(4). Suppose -3*v = 3*x + 6, 12 + 13 = -m*x. Is -8*1*(-3)/v a multiple of 4?
True
Suppose -2*n = -8, 3*u + 3*n - 44 = -u. Let w(c) = -6*c - 14 - 6 + u. Does 18 divide w(-8)?
True
Suppose 10 = -4*t - t. Let q(k) = -k**3 + k + 2. Let c be q(t). Does 23 divide -84*((-22)/c + 2)?
False
Suppose 0 = -6*c + 3*c - 54. Suppose -3*w + 30 = -60. Let d = c + w. Does 12 divide d?
True
Suppose -q = -7 + 3. Let i(b) = -b**2 + 6*b + 5. Let f be i(q). Does 10 divide (f - 5)/((-2)/(-6))?
False
Suppose 9 = 5*a - 31. Let s be ((-4)/a)/(1/(-6)). Suppose -f - s*i + 43 = 0, 5*f + 0*i = 5*i + 195. Is f a multiple of 20?
True
Let k = -11 + -15. Is 12 a factor of (-4)/2 - k - 2?
False
Let k(z) = -z**3 + 10*z**2 + 10*z + 4. Let j be k(11). Let r = j + 7. Suppose r*g = g - 12. Does 7 divide g?
False
Let m = 24 - -12. Is 17 a factor of m?
False
Suppose -z - 84 = 3*z. Is 8 a factor of (12/(-2))/(z/56)?
True
Let y = -4 + 4. Suppose y = 2*i - 24. Does 11 divide i?
False
Let f(w) = -w**3 + 4 - 3 - 5*w**2 + 7*w + 3 + 0. Let b be f(-6). Does 11 divide (-6)/b - 114/(-6)?
True
Let u(q) = -q - 8. Let b be u(6). Let l(v) = 11*v + 2. Let y be l(3). Let c = b + y. Does 7 divide c?
True
Let v(z) = z**3 - 5*z**2 - z + 11. Is 8 a factor of v(6)?
False
Let y(z) = -3*z. Is 9 a factor of y(-3)?
True
Let o = -4 + -12. Let v = 22 - o. Is 19 a factor of v?
True
Let g be (-9)/6*(-82)/3. Let y = -27 + g. Is 4 a factor of y?
False
Suppose 112 = -11*g + 12*g. Does 28 divide g?
True
Suppose -4*o + 114 = 3*q - 2*o, -o + 152 = 4*q. Is 19 a factor of q?
True
Suppose x + 44 = -3*x. Let s = -6 - x. Is 2 a factor of s?
False
Suppose 2*w + 5*l + 5 = -0*l, 0 = -3*l - 9. Suppose w*p = 6*p - 72. Does 18 divide p?
True
Let v(l) = l**3 - 9*l**2 - 10*l + 2. Let y be v(10). Suppose 0*m - 8 = -y*m. Suppose -40 = -0*u - m*u. Is u a multiple of 5?
True
Let p = 25 - -3. Does 5 divide p?
False
Let f(x) be the first derivative of x**4/4 + 5*x**3/3 - x**2/2 - 4. Is 11 a factor of f(-4)?
False
Let r(a) = -a + 3. Let y be r(3). Suppose -2*j + 0*j + 44 = y. Suppose -h - h = -j. Is 11 a factor of h?
True
Suppose -5*h + 376 + 104 = 0. Does 8 divide h?
True
Let q(r) = 6*r + 7. Let g be q(-10). Let l = -31 - g. Does 22 divide l?
True
Suppose 0 = y - 2*v - 64, -3*v = -0*y - 5*y + 355. Does 17 divide y?
False
Let z(l) = 3*l**2 + 1. Let k be z(1). Suppose 2*y = -2*p + 28, k*y - p - 61 - 5 = 0. Is y a multiple o