 of 9?
True
Let c = 4 + 0. Suppose c*a = 1 - 21. Let u = 0 - a. Does 5 divide u?
True
Suppose -91 = -3*v + 17. Is 12 a factor of v?
True
Suppose -2*h = h - 3. Let w(c) = 43*c**3 + 4*c**2 - 11*c - 13. Let y(q) = 21*q**3 + 2*q**2 - 6*q - 7. Let s(m) = 6*w(m) - 11*y(m). Is s(h) a multiple of 14?
True
Let y(g) = -2*g + 4. Let r be y(0). Suppose 0 = 2*z + 2*f + r - 30, 2*f - 8 = -z. Is z a multiple of 18?
True
Let v(x) = x**3 + x. Let j be v(-1). Let p = j + 10. Is 3 a factor of p?
False
Suppose 0*q = 2*q - 20. Let m be 1/5 + 288/q. Suppose 0 = -p + 12 + m. Is p a multiple of 14?
False
Let x(a) = a**2 + 9*a + 12. Let j be x(-8). Suppose 3*r - d = 184, -j*d - 23 = 2*r - 141. Is (-2)/(-4) + r/2 a multiple of 13?
False
Suppose w = 2*l - 51, -4*w + 103 = 4*l - 5*w. Is 13 a factor of l?
True
Let r = 9 + -7. Suppose -r*l = -4*k - 10, 3*l = k - 6*k + 59. Does 13 divide l?
True
Let r be (-3)/(-9)*237 + -3. Suppose 4*w = -b - 21 + r, -2*w + 35 = -b. Is 15 a factor of w?
True
Suppose -b - 5*m = -68, 4*m + 12 - 24 = 0. Is 3 a factor of b?
False
Suppose -f + 4 = -0. Let s(w) = -w**3 + 3*w**2 + 5*w + 1. Is 5 a factor of s(f)?
True
Let c = -116 - -188. Is c a multiple of 18?
True
Let r = -12 - -15. Suppose 108 + 6 = r*k. Does 10 divide k?
False
Does 5 divide (-2 + (-1)/(-2))/((-2)/60)?
True
Let r(k) = k + 2. Let s be r(-4). Let n be s/(-4)*(74 - 0). Is 17 a factor of -3 - 3/((-3)/n)?
True
Suppose l = -3*p - 2, 5*p = 3*l - 2*l + 2. Suppose -z - 2*z + 174 = p. Is 13 a factor of z?
False
Let k = -323 - -489. Let d = -109 + k. Does 12 divide d?
False
Suppose -4*o + 14 = -2*c, 3*c + 11 = -2*o + 3*o. Suppose -o*d = -3*j - 35, 6*j = -d + 5*j + 30. Is d a multiple of 7?
False
Suppose -2*o + 3*b = -29 - 124, o - 75 = 3*b. Does 26 divide o?
True
Let p(u) = u**2 + 13*u + 21. Is 21 a factor of p(-21)?
True
Let j(f) = -1 - 7 + 1 - 4*f - 5. Does 20 divide j(-8)?
True
Let q = -5 - -9. Suppose -63 = -q*w + 41. Does 13 divide w?
True
Let r(l) = -3*l + 4*l**2 + 4*l - l**2 - 3*l. Is 8 a factor of r(2)?
True
Let q(b) = 2*b**2 - 5*b - 5. Is 13 a factor of q(-2)?
True
Let r(o) be the first derivative of o**4/4 + 4*o**3/3 + 3*o**2 + o + 1. Let u be r(-4). Let j = u + 42. Is j a multiple of 12?
False
Suppose 0 = -4*p - 16 + 120. Suppose p + 6 = d. Suppose -a + d = 3*a. Is a a multiple of 8?
True
Suppose 2*f - 48 = g, f - g + 3 = 26. Does 12 divide f?
False
Let q(n) be the first derivative of -7*n**2/2 + 3. Let w = -1 - 0. Does 3 divide q(w)?
False
Suppose -3*z + 56 = -16. Is z a multiple of 7?
False
Let c(a) = a**2 - 2. Let p = -1 - -3. Let l be c(p). Suppose -2*o - 3*f = l*o - 86, f = 2. Does 8 divide o?
False
Suppose -4 = a - 1, 0 = 2*x - 4*a - 12. Suppose -4*l - 5*i + 115 = 0, -l + 28 = i - x*i. Is 13 a factor of l?
False
Suppose 0 = -c - 0*c - 4*x - 5, -5*c = x + 6. Let p = 44 - c. Is p a multiple of 23?
False
Let u = -6 - -33. Suppose u = -3*q - 0*q. Let k = -5 - q. Does 3 divide k?
False
Suppose u - p - 44 = -0*u, -u = 3*p - 24. Does 14 divide u?
False
Let k(v) = 21*v**3 - v**2 + v - 1. Let i be 1/((-2)/16*1). Let f be 7/9 + i/(-36). Is 10 a factor of k(f)?
True
Let h(p) = -25*p - 76. Is h(-12) a multiple of 23?
False
Suppose 0 = 5*u - w - 242, -3*u - w - 2*w = -138. Suppose -i - u = -3*p, 0 = -3*p - 0*p - 5*i + 30. Is 15 a factor of p?
True
Is -3 + 59/(3 + -2) a multiple of 28?
True
Suppose 5*w - 6 + 31 = 0, 220 = 5*l + 4*w. Is l a multiple of 12?
True
Suppose 3*v - 291 + 45 = 0. Is 35 a factor of v?
False
Let c = -300 + 638. Does 58 divide c?
False
Suppose 2*o - 10 - 3 = -3*g, -2*o = -5*g + 11. Let y = g + -4. Let b = 2 - y. Does 2 divide b?
False
Let n(s) = -35*s - 3. Let h be n(-9). Suppose -c - 314 = -6*c + 2*u, -5*c + h = -u. Is 21 a factor of c?
False
Let d = 29 + -11. Suppose 5*a = 6*a - d. Is a a multiple of 9?
True
Let f = -856 + 1316. Suppose 0*b = 5*b - f. Suppose 4*l - b = -0*l. Does 14 divide l?
False
Let b be -2 + 1 + (2 - -3). Suppose b*i - 861 = -5*u, i - 2*i = 2*u - 345. Suppose 0 = 3*a + 53 - u. Is a a multiple of 16?
False
Let h = -50 + 52. Is 2 a factor of h?
True
Suppose 0*r - r + 36 = 0. Let j(c) = c**3 + 6*c**2 + 2*c - 5. Let m be j(-5). Suppose -r + m = -i. Is 14 a factor of i?
False
Does 46 divide (-69)/(20/24 - (-2 + 3))?
True
Let l(a) = a**3 + 3*a**2 - 6*a - 3. Let b be l(-4). Let p(t) = t + 39. Let u be p(0). Suppose -4*i = -b*i + u. Is 17 a factor of i?
False
Let n be -1*(0/(-2))/(-1). Let z = 20 + n. Is 10 a factor of z?
True
Suppose 5*z + 5 = 3*b, 2*z - 2*b + 1 = -b. Suppose -3*t - g + 2 + z = 0, 5*g = -2*t + 7. Suppose -15 = -l + t. Does 8 divide l?
True
Suppose 8 = 2*o + 2*o. Suppose t - 368 = -t. Suppose -5*i + 3*w + t = 0, 0*w + o*w = -6. Is 14 a factor of i?
False
Suppose 0 = 2*c - 4*c + 18. Let h(k) = -k**2 + 11*k - 4. Is h(c) a multiple of 11?
False
Suppose -5*p = 2*z - 409, 0*p - z - 418 = -5*p. Does 5 divide p?
False
Suppose -7*h - 85 = -365. Is h a multiple of 20?
True
Let j(d) = -15*d + 4. Does 34 divide j(-2)?
True
Suppose 4*w - 5*x - 197 = 39, w + 5*x - 59 = 0. Does 8 divide w?
False
Let o(c) = 3*c - 4. Let s = 1 - -4. Is 11 a factor of o(s)?
True
Is 21 a factor of (-24)/36 + 634/6?
True
Suppose -3*h + 28 = 4*k - 7*h, -25 = -5*k - 5*h. Suppose 28 = -3*g - 5*m, 5*g + 25 = 2*m - k*m. Is 14 + g + 3 + -1 a multiple of 9?
False
Let n(b) = b**3 - 2*b**2 - 1. Let w(q) be the second derivative of -q**5/20 + 5*q**4/12 + 3*q**2/2 + 2*q. Let t be w(5). Is 8 a factor of n(t)?
True
Let l(f) = -f**2 - 4*f + 4. Let k be l(-5). Let j = k - -9. Does 4 divide j?
True
Suppose s = 5*k - 22, 0 = -5*s - 0*s + 3*k. Let p = s + 2. Suppose 2*u = -p*r + 45, -r + 0*r = 3*u - 48. Does 7 divide u?
False
Suppose 0 = 6*r - 3*r - 27. Suppose -2*m + 41 = -r. Is m a multiple of 5?
True
Let c be 50/12 - 2/12. Let k = c + 2. Is k a multiple of 2?
True
Let m = 7 - -9. Let j = 26 - m. Does 4 divide j?
False
Let x be (1 + 2)/((-12)/(-16)). Suppose -h + 2 = -4*c, 0*h - 2*h = -x*c. Is -18*(0 + h - -1) a multiple of 8?
False
Let a be ((-16)/6)/(2/(-3)). Let l be a/(-6) + (-48)/9. Let v = 10 + l. Is v a multiple of 2?
True
Let w = 9 - 8. Let q be w*5*(2 + -3). Is 3/q + 399/15 a multiple of 13?
True
Let x(o) = o**3 - o**2 + 10. Let f be x(0). Suppose 2*t - f = 16. Does 13 divide t?
True
Let z be 2 + -6*(3 - -4). Let s = -28 - z. Is s a multiple of 12?
True
Let m = 63 - 42. Is m a multiple of 7?
True
Let t be 4/10 - 22/5. Does 20 divide 3 - t/((-4)/(-37))?
True
Suppose -4*g + x = -19 + 3, x + 10 = 2*g. Let p(y) = y**3 + y**2 - 2*y + 3. Does 15 divide p(g)?
False
Suppose 3 + 5 = 4*k + 5*r, 2*r + 6 = 3*k. Let c(j) = 6*j**2 - 4*j - 2. Is 4 a factor of c(k)?
False
Let r be (0 + (-1)/(-2))*6. Suppose -r = a - 2*a. Suppose 240 - 29 = 5*k + a*j, -2*k + 97 = -3*j. Is 16 a factor of k?
False
Let r(x) = -x**2 + 8*x - 6. Let c be r(8). Is 14 a factor of 12*((-14)/c - -1)?
False
Let p(k) = k**2 - 5*k - 4. Let g be p(7). Suppose -1 = -l + g. Suppose l = 2*t - t + 5*o, -2*t + 40 = 4*o. Is 13 a factor of t?
True
Let p be 3/(-1 + 10/4). Does 22 divide (p - 1)*3 + 41?
True
Let m = -16 + 14. Does 12 divide m/4 - (-584)/16?
True
Let m be (-94)/4*(-4 + 6). Let v = m + 126. Is 22 a factor of v?
False
Suppose 0 = -3*r - 5*j + 4*j + 32, 0 = 2*r + 3*j - 19. Suppose 0 = -2*f - 5*n + r + 12, 2*f - 3*n - 31 = 0. Is f a multiple of 9?
False
Let h be (-2)/(-5) + (-39)/(-15). Let m be 2/2 + 1 + 1. Suppose h*o - 113 = -0*o - 2*p, 0 = -3*p + m. Does 13 divide o?
False
Let j(l) = l + 67. Let v be j(0). Let g(a) = -2*a**3 - 4*a**2 + 6*a - 3. Let o be g(-5). Let t = o - v. Is t a multiple of 20?
False
Suppose -4*w - 4*a + 36 - 8 = 0, -a - 3 = 0. Let l = w - 7. Suppose -q = -l*q + 18. Does 7 divide q?
False
Suppose -2*x + 6 = 2. Suppose x*t - 7 + 1 = 0. Suppose 34 = 5*b - t*c - 13, 37 = 3*b - 4*c. Is 3 a factor of b?
False
Let n(g) = -5*g + 13. Is 10 a factor of n(-6)?
False
Suppose -2*c = c - 30. Is c a multiple of 7?
False
Let x = -15 + 9. Let j = 10 + x. Suppose 5*r - j = 36. Is r a multiple of 7?
False
Suppose -8*w = -4*w - 92. Is w a multiple of 12?
False
Suppose r - 6 = 23. Is 12 a factor of r?
False
Suppose m = 2*y - 3 - 19, 4*m = 16. Does 3 divide y?
False
Suppose 0 = 2*u + 4*s - 8, -u - 4*u + 5*s - 10 = 0. Let k = -20 - -63. Suppose u = -5*p + 2*o + 85, 0 = 2*p - 3*o - k - 2. Is p a multiple of 15?
Tr