 + 44, k - 20 = -2*r. Suppose -3*g - 2*q + 12 = -7*q, 4*g = -5*q + k. Suppose 6 + g = 2*m. Does 5 divide m?
True
Let f(p) = -5*p**3 + 33*p**2 - 25*p - 36. Let b(s) = -s**3 + 8*s**2 - 6*s - 9. Let l(v) = -9*b(v) + 2*f(v). Let w be l(-7). Let r = -7 + w. Does 21 divide r?
False
Let b(t) = -t**3 - 3*t**2 - t - 1. Let x be b(-3). Suppose u - 8 = -x*a, 4*a - u - 2*u = 6. Is 3 a factor of a?
True
Let x be (-6)/(-27) + (-61)/(-9). Suppose -4 = -2*p - w + x, 0 = 5*p - 2*w - 32. Does 6 divide p?
True
Suppose -2*g = -0 - 54. Suppose -2*f = f - g. Is 3 a factor of f?
True
Is (-270)/(-3) + (0 + -3 - -4) a multiple of 13?
True
Suppose 0 = -f + c + 4 - 0, -2*c = 2*f - 8. Is f a multiple of 4?
True
Let l = -1 + 1. Suppose d - 272 = -l*d. Suppose 4*u + 72 = d. Is 14 a factor of u?
False
Let k = 19 - 10. Is -2 - k*7*-1 a multiple of 24?
False
Let s = 29 + -59. Let a = -18 - s. Is a a multiple of 12?
True
Suppose 89 = 4*x - 135. Is x a multiple of 10?
False
Let j(q) = -q**2 - 11*q - 4. Is 5 a factor of j(-7)?
False
Let n be 66/15 + (-2)/5. Let r = n - 1. Suppose 8*c - 15 = r*c. Is 2 a factor of c?
False
Let j = 9 - 4. Does 2 divide j?
False
Suppose 5*p = 5*r + 30, -8*p + 80 = -3*p + 5*r. Let s = 0 + p. Is 10 a factor of s?
False
Let p be (-2 - 0)*(-10)/4. Suppose -p*b + 228 = -b. Does 21 divide b?
False
Let v = 80 + -43. Is v a multiple of 12?
False
Suppose 0*x - 105 = x - 3*g, 4*x + 462 = -2*g. Let n = -58 - x. Is 24 a factor of n?
False
Let x(v) = -v**2 - 5. Let g be x(0). Is 2 a factor of g + 4 - (-6)/2?
True
Let m = 5 + -2. Let c(k) = k + m - 6*k**2 + k**3 - 2 + 6. Does 5 divide c(6)?
False
Suppose -g = 2*g + 240. Is (21/(-12))/(4/g) a multiple of 17?
False
Let r(u) = -7*u. Let f be r(-4). Suppose 0 = 2*k - 7 - 1. Suppose -k*q + f = -52. Is q a multiple of 15?
False
Suppose 24*i - 3052 = 2684. Is 21 a factor of i?
False
Let m be (-35)/(-6) - (-8)/48. Let c(l) = 3*l + 3. Is c(m) a multiple of 15?
False
Let a = 4 + 13. Is 4 a factor of a?
False
Let t(j) = j + 42. Let y be t(0). Suppose -4*l - 5*a - 21 = -77, 3*l - 4*a = y. Is l a multiple of 4?
False
Let w be (1/(-1))/((-2)/6). Suppose 2*p = -5*a + 31, 2*p + 26 = 4*p + 4*a. Suppose w*y - 19 = 2*u, y + p*u - 3 = 7. Is y a multiple of 7?
True
Suppose 0 = -3*g - 481 + 1780. Is g a multiple of 25?
False
Let q = 17 - 29. Suppose -b = 3, -f - 4*f + 82 = b. Let v = f + q. Is v even?
False
Suppose -2*f = -4*k + 26, -k - 20 = 2*f - 3*k. Let z(l) = l**2 + 5*l - 7. Does 5 divide z(f)?
False
Let v(r) = -3*r**3 + 4*r**3 - 4*r - 4*r**2 + 10*r**2. Is 12 a factor of v(-6)?
True
Let m(x) = -x**3 + 16*x**2 + x + 3. Is 3 a factor of m(16)?
False
Let n be -2*(1/(-2) - -1). Let q(c) = -12*c**3 - 2*c - 1. Let z be q(n). Let d = z - 9. Is 3 a factor of d?
False
Let l = -175 + 302. Is l a multiple of 36?
False
Suppose -4*j = -74 - 326. Let m = j + -30. Does 14 divide m?
True
Suppose 3*y + 237 = 1002. Is y a multiple of 17?
True
Suppose 5*i = -0*i - 75. Let u = i - -9. Does 2 divide 9/u*8/(-3)?
True
Let j = -33 - -77. Is 23 a factor of j?
False
Suppose 25 = 12*w - 7*w. Suppose -w*r = -81 + 6. Is r a multiple of 9?
False
Suppose i - 135 = -3*w, -2*i + w - 33 = -268. Let x = 210 - i. Is x a multiple of 23?
False
Let y(b) = b**3 - b**2 - 4*b - 2. Let g(o) = -o**2 - o. Let p(f) = -6*g(f) + y(f). Let j be p(-3). Let q = 17 - j. Is 4 a factor of q?
False
Let k = -8 + 6. Let h = k + 7. Suppose c - x = 21, 4*c - h*x - 52 - 37 = 0. Is 16 a factor of c?
True
Let r = 6 - 5. Let s(g) = -1 + 3*g - 5*g - 7 + r. Is s(-6) a multiple of 2?
False
Let b(p) = -p + 9. Let u be b(7). Let v(q) = -2*q + 2*q**2 - 2*q**2 + 4*q**2. Is 6 a factor of v(u)?
True
Suppose -5*z + 2 + 17 = 2*f, 2*z - 2 = 2*f. Suppose -n = i - 58, i - 8 = z*n + 54. Does 21 divide i?
False
Let y(w) = -w**3 + 7*w**2 - 7*w + 7. Let h be y(6). Let t(b) be the third derivative of b**4/6 + b**3/6 - 2*b**2. Does 5 divide t(h)?
True
Let p(r) = -4*r + 15. Does 35 divide p(-5)?
True
Let h = -3 - 0. Suppose 0 + 6 = -2*s. Is h/(1/s - 0) a multiple of 9?
True
Let s(k) be the first derivative of -k**6/120 - k**5/10 + 5*k**4/24 - 3*k**3/2 - k**2/2 + 2. Let i(n) be the second derivative of s(n). Is i(-7) even?
False
Suppose 2*o - 3*b = o + 17, 4*b = -3*o - 1. Let s be -5 - 0/(o - 2). Let t(p) = -p**3 - 5*p**2 - 4*p - 7. Is t(s) a multiple of 10?
False
Suppose -51 = 2*h - 3*h. Is 44 a factor of h?
False
Is 17 a factor of 20 - 3 - (-5 + 5)?
True
Let a(h) = h**3 - 9*h**2 + 2*h + 2. Is a(9) a multiple of 4?
True
Let k(o) = o + 1. Let a be k(2). Let b be 12/(-10)*(-200)/30. Suppose -22 = -2*u - a*d, 3*u - b*u - d + 55 = 0. Is u a multiple of 6?
False
Suppose 2*w = 2*z + 130, w = 3*w + 2*z - 130. Let h be (-1)/(-3) + 1456/(-39). Let l = w + h. Is l a multiple of 13?
False
Let c = 15 - 6. Let x(w) = w**3 - 2*w**3 + 8*w + 8*w**2 + 0*w**3 + 13. Is x(c) a multiple of 4?
True
Let n(a) = 5*a**3 - 15*a**2 - 35*a + 19. Let q(o) = o**3 - 3*o**2 - 7*o + 4. Let y(z) = -2*n(z) + 11*q(z). Is y(5) a multiple of 10?
False
Let t(c) = -2*c. Let j be t(-1). Suppose -30 = -2*y + 4*n, -j*y + 4*n + 48 = 2*y. Suppose -y = -2*d + 5. Is d even?
False
Suppose 4*r - 5*r = -3*h - 46, 5*h + 4*r = -105. Let g = h + 32. Is g a multiple of 7?
False
Suppose -4*l = -82 - 90. Is l a multiple of 8?
False
Let z be (-3)/(-4)*(-20)/(-5). Suppose z*y - 7 - 98 = 0. Suppose m - y = -0*m. Is 18 a factor of m?
False
Suppose 5*c = 2*c + 54. Suppose 3*k - k = c. Does 3 divide k?
True
Let f(d) = -d**2 + 9*d - 2. Does 9 divide f(5)?
True
Let h(m) = m**3 + 7*m**2 + 2*m + 5. Let y(d) = d**3 - 7*d**2 - 2*d + 9. Let t be y(7). Is h(t) a multiple of 16?
False
Suppose z - 9 = -1. Is 8 a factor of z?
True
Let g(q) = -5*q + 16. Is 17 a factor of g(-7)?
True
Suppose -5*s + 115 = 5*d, 4*d - 102 = -4*s + 2*s. Is d a multiple of 13?
False
Let p = 8 - 6. Let q = 8 - p. Does 3 divide q?
True
Let t(g) be the third derivative of 1/3*g**3 - 1/4*g**4 - g**2 + 0 + 0*g + 1/30*g**5. Is 10 a factor of t(4)?
True
Let l be ((-2)/6)/((-3)/18). Suppose 0 = -j - l*j + 126. Suppose -207 = -5*x - j. Is 9 a factor of x?
False
Let p = 10 + -6. Suppose -p*j + 3*j = -45. Is j a multiple of 15?
True
Suppose 2*l + l = 9. Suppose -19 = -l*c + 53. Is c a multiple of 12?
True
Let x = -3 + 3. Suppose -4*w + 120 = -x*w. Is 11 a factor of w?
False
Let q(y) = 2*y + 50. Does 10 divide q(10)?
True
Let c = -17 + 19. Suppose c*y = -3*y + 315. Does 19 divide y?
False
Let s(h) = -h + 11. Let m be s(-8). Suppose 79 = 4*n - x, 2*x + 6 = n - m. Does 8 divide n?
False
Let i = -10 + 19. Suppose -z + 2*q = -9, -q = 2*q + i. Suppose 0 = -d + z + 9. Is d a multiple of 6?
True
Let i(t) = -t**2 - 5*t + 3. Let l be i(-5). Suppose 4*c - 100 = -2*q, l*c - 14 = 2*q + 68. Does 13 divide c?
True
Let f = 8 - 22. Let b = -6 - f. Is b even?
True
Let t(z) = 2*z**2 - 7*z - 6. Let k be (-2)/1 - -9*1. Is 19 a factor of t(k)?
False
Suppose 0*a - 5*a + 35 = -3*f, -2*f = -3*a + 21. Is a even?
False
Suppose 5*s - 3*u - 202 = -17, s = -3*u + 55. Suppose 8*w = 3*w + s. Let j = -3 + w. Is 5 a factor of j?
True
Suppose 10 = -f + 37. Does 4 divide -1 + f/3 - 0?
True
Suppose -2*i - 10 = 3*i, i - 94 = -4*t. Is 4 a factor of 86/6 + 16/t?
False
Let t(q) be the first derivative of 2*q**3/3 + q**2 - 6*q + 1. Does 13 divide t(-5)?
False
Let q(x) = -18*x - 1. Is q(-2) a multiple of 7?
True
Suppose n + 25 = 65. Is n a multiple of 19?
False
Let k be (-3)/(-1) + (24 - -9). Let v = -25 + k. Is 11 a factor of v?
True
Suppose 5*a = 2*a + 3*s + 6, -2*a - 5*s + 32 = 0. Suppose 2*r = a*r - 4. Let d = 14 + r. Is 7 a factor of d?
False
Let w = -12 + 17. Let h = w + -2. Suppose h = z - 1. Is z a multiple of 4?
True
Let a be -12 + (-1 - 6/(-2)). Let c = a - -21. Is 5 a factor of c?
False
Let t = -559 + 955. Is 28 a factor of t?
False
Does 7 divide -1*(30/25 - 1)*-35?
True
Suppose -5*q = -x + 16, -q + 10 = x - 4*q. Suppose 3*o + 30 = 3*n, 3*n = -5*o + 15 - x. Is n a multiple of 8?
True
Let i(p) = 6*p - 1. Let u be i(1). Suppose -5*v + 2*o - 22 = 0, u*o - 1 + 33 = -2*v. Is 6 a factor of (-2 - v)*(-6)/(-4)?
True
Let h be (-6)/(-9)*(-354)/4. Let n = -14 - h. Is n a multiple of 12?
False
Let k(b) be the first derivative of b**4/4 - 8*b**3/3 + 4*b**2 + 8*b - 2. Is 6 a factor of k(7)?
False
Let u(p) = -p**3 + 17*p**2 + 6*p - 22. Is 10 a factor of u(17)?