d derivative of 2*r + 0 + 1/2*r**2 - 1/6*r**3 + 7/2*r**4. Is v(1) a multiple of 17?
False
Let b(z) = z**2 + z - 8. Let h be b(-6). Let p be h/4*(0 + 6). Suppose 2*k - k = p. Is 11 a factor of k?
True
Let m(g) = g**2 - 6*g - 13. Let j(w) = -5*w - 1. Let n be j(-2). Is 14 a factor of m(n)?
True
Let l(v) = 9*v - 2. Let d be l(2). Suppose 4*i = -5*c + 12 + 8, 0 = -4*i - 3*c + 28. Suppose -d = -n + i. Does 26 divide n?
True
Is 1*(-10)/(-25)*80 a multiple of 10?
False
Let r(p) = p**2 - 3*p + 3. Let k = 3 + 3. Let h be r(k). Let l = 51 - h. Does 19 divide l?
False
Suppose 0 = d - b + 3*b + 19, -4*d = 3*b + 76. Let y(k) = 3*k - 11. Let o be y(13). Let j = d + o. Does 4 divide j?
False
Let f be 3/2 - 3/(-6). Let x be (-9)/(-2) + (-1)/(-2). Is f/x - 399/(-15) a multiple of 20?
False
Does 2 divide ((-2)/6)/((-6)/144)?
True
Suppose -4*m + 3*c + 256 = -239, 516 = 4*m + 4*c. Suppose 3*r = m + 90. Is r a multiple of 16?
False
Let o(m) = -m**2 + 9*m - 2. Is 3 a factor of o(7)?
True
Let s = 10 - 6. Let r be (s/(-8))/(1/4). Is ((-15)/2)/(r/4) a multiple of 12?
False
Suppose -10 = -f + 2*l - 0*l, -2*l - 10 = 3*f. Suppose -4*j + 56 = -f*j. Does 6 divide j?
False
Let v(r) be the first derivative of r**3/3 + 3*r**2/2 - 8*r + 2. Let a be v(-6). Let b = -5 + a. Is 4 a factor of b?
False
Let d(y) = -9*y - 2. Let p be d(3). Let x = p - -71. Is x a multiple of 21?
True
Is 54/4 + -1 + (-6)/12 a multiple of 6?
True
Let t be 2/5 + (-228)/20. Let f = t - -23. Is 12 a factor of f?
True
Let r(a) = a**3 - 3*a**2 + 33 + 9*a**2 - 5*a**2. Suppose 4*j + 20 = -2*x, 8*x + 2*j + 10 = 3*x. Is 13 a factor of r(x)?
False
Let j(z) = -z + 8. Let y be j(6). Let c = y + 0. Is 3 a factor of (7/((-7)/(-6)))/c?
True
Suppose 4*q - 7 - 5 = 0. Suppose q*u = -6 + 24. Suppose -10*j = -8*j - u. Is 3 a factor of j?
True
Suppose 0 = v, -3*i + 3*v + 114 = 5*v. Is i a multiple of 38?
True
Suppose 2*h + l - 7 = 6, -3*l + 31 = 4*h. Is ((14 + h)*1)/2 a multiple of 3?
True
Let p(x) = x**2 + x + 2. Suppose -u - 3*u - 31 = 5*j, -4 = u. Does 6 divide p(j)?
False
Is 4 a factor of 108/(-60)*((-10)/3 + 0)?
False
Let u(z) = -z**3 + 3*z**2 + 7*z - 5. Let i be u(4). Let j(s) = -s**3 + 7*s**2 + 4*s - 8. Does 10 divide j(i)?
True
Let y(m) = 7*m**2 - 4*m - 10. Let i be y(7). Let p = i + -214. Is p a multiple of 23?
False
Let w = -61 - -5. Let y = w + 97. Is y a multiple of 25?
False
Suppose -2*n = -4*l - 7*n - 12, -2*n = 5*l - 2. Let s be (1*-45)/(l/(-4)). Is (s/(-12))/(3/(-4)) a multiple of 10?
True
Let h(u) = -u**2 + 6*u + 3. Let a be h(7). Is 4 a factor of 1/a - 98/(-8)?
True
Let d = -2 - -4. Let c = d - -3. Suppose 8*a - 2*l = 3*a + 77, l + 81 = c*a. Is a a multiple of 10?
False
Let s be -6 + 4 - (0 - -17). Suppose 3*o + 150 = 8*o. Let u = o + s. Does 11 divide u?
True
Let i = -16 - -18. Does 20 divide 4/12*246/i?
False
Let y = 25 - 13. Is y a multiple of 3?
True
Let v = 5 + -9. Let m(h) = -10*h - 5. Does 9 divide m(v)?
False
Let o be (21/14)/((-6)/(-76)). Let g = 7 - 2. Suppose -o + 254 = g*a. Does 16 divide a?
False
Let z(u) be the second derivative of u**3/6 + u**2/2 - 4*u. Is z(2) a multiple of 2?
False
Let z(s) = 3*s + 8. Let c(v) = -2*v - 8. Let q(j) = -4*c(j) - 3*z(j). Let r be q(-7). Let h = r - -9. Is h a multiple of 9?
False
Let y(d) = -2*d + 2. Let z be y(4). Let g(u) = -6*u - 6. Is g(z) a multiple of 6?
True
Suppose 0 = -2*m + 5*m. Suppose m = 10*b - 11*b + 24. Is b a multiple of 20?
False
Let x = 73 - 50. Does 7 divide x?
False
Let x(p) = p**3 - 6*p**2 + 7*p - 5. Let g be x(4). Let c = 61 - 37. Let l = g + c. Is l a multiple of 14?
False
Let y(a) = a**3 - 18*a**2 + 18*a - 12. Let w be y(17). Is 19 a factor of 1 - w - (3 - 64)?
True
Let r(v) = v**3 - 5*v**2 + 3*v - 1. Let c be r(3). Let k be (2/(-5))/(1/c). Suppose n = -k*n + 140. Is n a multiple of 11?
False
Let n = -5 - -9. Suppose -n*x + 260 = 80. Does 15 divide x?
True
Suppose 4 = t + t. Let q be (1/t)/((-2)/(-88)). Suppose q = -a + 3*a. Is a a multiple of 4?
False
Suppose -9*p - 89 = -1385. Is p a multiple of 18?
True
Let c be ((7 + -1)/3)/(-2). Let p be 27 + (3/(-3))/c. Suppose -4*w = -32 - p. Does 8 divide w?
False
Let l(i) = 8*i - 4. Does 12 divide l(5)?
True
Let m(u) = 0*u - 4 + 4*u - 2*u. Let x be m(4). Suppose 4*k + 220 = x*f, 0 = 4*f + k - 3*k - 226. Is 15 a factor of f?
False
Suppose -3*n + 14 = -n. Let a be (-12)/(-4)*n/3. Suppose y + 3*m = -a, -2*y + 41 = -5*m - 0*m. Is y a multiple of 8?
True
Let l(q) be the second derivative of -q**5/4 + q**2/2 + q. Suppose 3*r - 3*p - 3 = 0, -r = -5*p - 10 - 3. Is 20 a factor of l(r)?
False
Suppose 4*w - 95 = 29. Does 11 divide w?
False
Let a be 1/(-2) + (-6)/(-12). Suppose -5*y - 20 = -5*k + 5, a = 3*y - 5*k + 19. Let m = 1 - y. Is 4 a factor of m?
True
Suppose 3*j - 102 = -3*d, -2*d + 56 = -0*j - j. Does 8 divide d?
False
Let m be -5*-12*12/(-15). Let q = -70 - m. Let c = -13 - q. Is c a multiple of 9?
True
Let n(r) = r**3 - 10*r**2 + 6*r + 3. Does 21 divide n(10)?
True
Let c = 35 + -21. Is c a multiple of 12?
False
Let d = -2 - -5. Suppose 3*n - d = 3. Suppose -n*v + 3*v = 13. Does 13 divide v?
True
Let g = -13 + 33. Is 10 a factor of g?
True
Suppose -5*k - 2*h - 46 = 0, 5*k + 52 = 4*h - 6. Let q = -8 - k. Is q even?
True
Suppose 4*x - 1 + 9 = 0. Is 5 + 3 + (-4)/x a multiple of 3?
False
Let a(c) = -2*c. Let k be a(-1). Suppose -16 = 4*m, k*q + m - 9 = 11. Is q a multiple of 11?
False
Let r(s) = s**2 + 19. Let o be r(0). Let j = 27 - o. Suppose -a = a - j. Does 4 divide a?
True
Suppose z = 3*z - 82. Does 12 divide z?
False
Suppose -3*r + 179 = 2*q, 0 = 3*q - 5 + 2. Is 11 a factor of r?
False
Let k(n) = n**3 - 2*n**2 + 4*n + 10. Does 21 divide k(5)?
True
Suppose -176 = -5*i + 59. Is i a multiple of 8?
False
Is 6 a factor of (-2 - 4/(-3)) + 77/3?
False
Let d(x) be the second derivative of x**4/4 + x**3 - 5*x**2/2 + 6*x. Is 10 a factor of d(-5)?
True
Suppose 39*q - 35*q - 224 = 0. Does 7 divide q?
True
Let x be 50/(-13) + 2/(-13). Let i = 14 + x. Is 10 a factor of i?
True
Is -10 - -7 - 16*-2 a multiple of 7?
False
Let f(p) be the third derivative of -p**4/8 + 5*p**3/6 - 4*p**2. Is f(-6) a multiple of 22?
False
Suppose -2*w + 11 = 5*d, -5*d = 4*w - 8 - 9. Suppose -3*b + 3*y + 4 = -b, w*y + 14 = 4*b. Let l = b - -7. Is l a multiple of 10?
False
Let l be (2 - 2)*3/(-6). Suppose 4*b + 1 - 61 = l. Is 20 a factor of -33*(-1)/(9/b)?
False
Suppose -t + 26 = 2*m, 4*t = -3*m + 6 + 23. Does 3 divide -9*(1 - m/9)?
True
Let o(f) = -f**3 - 5*f**2 - 7*f. Does 9 divide o(-5)?
False
Let f = -149 + 292. Does 7 divide f?
False
Let d(v) = -2*v**3 - 7*v**2 - 6*v - 7. Let y(q) = -q**2 - 1. Let i(m) = d(m) - y(m). Does 13 divide i(-4)?
False
Suppose 8*u - 2*u = 300. Is u a multiple of 17?
False
Suppose -5*o + 109 = 19. Is 18 a factor of o?
True
Suppose 0 = -4*r + r - 9. Let w(g) = -3*g**3 - 7*g**2 - 2*g - 3. Let l(c) = c**3 + c**2 - c. Let i(a) = -2*l(a) - w(a). Is i(r) a multiple of 5?
False
Let j(f) = -4*f**2 + 3*f**2 + 12 + 13*f - 2. Let w = 0 - -10. Is j(w) a multiple of 20?
True
Suppose -3*c - 2 = 1, 128 = 5*g + 2*c. Is g a multiple of 26?
True
Let d = -79 - -387. Does 12 divide d?
False
Is (-2)/7 + (-605)/(-35) a multiple of 17?
True
Suppose -4*h = -12*h + 896. Is h a multiple of 28?
True
Let c(m) = m + 1. Let n be c(1). Suppose -3*y - 5*o + 80 = n*y, 3*y - 48 = 5*o. Is 8 a factor of y?
True
Suppose -3*g + 23 + 21 = 2*p, -2*g + 41 = -p. Let a = 65 - g. Does 17 divide a?
False
Let x = 9 - 18. Let h = 0 - x. Is h a multiple of 9?
True
Does 21 divide (-2)/((-8)/(-12)) + 97?
False
Suppose q + 4 = -q, q + 20 = l. Is 9 a factor of l?
True
Suppose g + 5*o + 25 = 0, -g + 4*o = -5*g - 20. Let h(k) = k**2 - k + 30. Is 10 a factor of h(g)?
True
Suppose 3 - 7 = -4*s + 4*b, 5*s + 3*b - 13 = 0. Let i = s + 18. Is 8 a factor of i?
False
Suppose 2*w = -0*w - 38. Let q = -13 - w. Does 2 divide q?
True
Let i(s) = -s**3 - s**2 + 3*s + 3. Suppose 3*k + 47 = -49. Let m be k/12 + 2/(-6). Does 6 divide i(m)?
True
Let w(p) = -3*p - 22. Let b be w(-12). Let r = b + 2. Is 6 a factor of r?
False
Let j(c) = 362*c**2 - 3*c - 4. Does 46 divide j(-1)?
False
Let g = 19 - 3. Is 13 a factor of g?
False
Let s be 2 - 8/3*-6. Suppose -3*n + 21 + s = 0. Is n a multiple of 13?
True
Let n = 0 - 5. Let w = 27 - n. Is 9 a factor of w?
False
Let y(f) = f**2