v(c) = 2*c**2 - 17*c - 7. Let b be v(9). Is 11 a factor of (b - 13)/(1/(-5))?
True
Suppose -15 = 5*j - 2*j. Let l = 6 + j. Is 46 - (l - 2) - -2 a multiple of 16?
False
Let f = -77 - -93. Suppose f*v - 11*v = 30. Is v a multiple of 5?
False
Let a be 9/6*(-44)/3. Let p be a*(-1)/(-2)*1. Let m = p + 14. Does 3 divide m?
True
Suppose -5*f + v = 3*v + 716, 130 = -f + 4*v. Is -7*(f/14 + (2 - -1)) a multiple of 3?
False
Let b(n) be the first derivative of n**3/3 - n**2 - 4*n + 2. Let l be b(6). Let y = l + -5. Is y a multiple of 10?
False
Is 1023620/455 - -2*1/7 a multiple of 30?
True
Let u = 34 + 38. Suppose 3*j - 75 = u. Does 9 divide j?
False
Suppose -s + 695 = -5*r, -4*r + 2*r = s + 285. Let w(a) = -36*a + 4. Let d be w(-6). Let g = r + d. Is 20 a factor of g?
True
Suppose 0 = -91*a + 97*a - 5232. Is a a multiple of 86?
False
Let v(q) = 22*q**2 - 4*q - 9. Let y be v(-4). Suppose -3*h - 218 = -3*p + 2*h, -5*p + 4*h = -y. Is p a multiple of 21?
False
Suppose 0 = -4*z + 125 - 13. Does 14 divide (75/(-50))/((-1)/z)?
True
Let t(f) = f. Let z be t(2). Let p(b) = z*b**2 + 5*b**3 - 2 + 1 + 0. Is p(1) even?
True
Suppose 2 = -u + 1. Let x(o) = -38*o + 3. Does 11 divide x(u)?
False
Let j(y) be the third derivative of -y**6/120 - y**5/10 - 3*y**4/8 - y**3 - 18*y**2. Is j(-5) a multiple of 3?
False
Suppose -5*x = -9*x + 12. Does 6 divide 3 + (61/x - 4/12)?
False
Let z = 4544 - 2606. Is z a multiple of 19?
True
Let u be (-37)/(-7) - (-12)/(-42). Suppose -u*a = 2*z - 96, -z - 74 = -4*a - 4*z. Suppose -j = -4*t + 229, 3*j + a = -j. Does 16 divide t?
False
Let u(o) = 106*o**3 + 3*o**2 + 11*o - 32. Is u(2) a multiple of 10?
True
Let n(m) = -m**3 - 11*m**2 + 19*m + 19. Let t be n(-13). Is ((-2)/(-11) - 20/t) + 55 a multiple of 10?
False
Let u(n) = 2*n**2 + n + 21. Let c be u(0). Let m = -27 + c. Let d = 21 - m. Is d a multiple of 9?
True
Let j = 2113 - 1324. Is 8 a factor of j?
False
Let y(w) = -w - 9. Let p be y(-7). Suppose 2*x = 6*x - 32. Is 7 a factor of (-15)/p*x/6?
False
Let h(t) be the first derivative of t**6/60 + t**5/60 + t**4/12 - t**3/3 + 1. Let a(b) be the third derivative of h(b). Is a(-1) even?
True
Suppose 3*m + 48 = -9. Is (m/(-3))/(1/12) a multiple of 23?
False
Is 12 a factor of (2055/20)/3*4*2?
False
Let o(f) = 12*f. Let p be o(0). Let b(l) be the first derivative of l**3/3 + l**2/2 + 65*l - 1. Does 30 divide b(p)?
False
Suppose -12738 - 747 = -5*b. Is 87 a factor of b?
True
Let y = 3958 + -2608. Does 50 divide y?
True
Suppose 4*q = -5*f + 4988 + 4001, 2*f - q = 3593. Is f a multiple of 14?
False
Suppose 2*w + 9 = 1. Is 6 a factor of w/10 + 1420/50?
False
Is (-1992)/(-14)*(3 - 2/(-4)) a multiple of 83?
True
Suppose 5*u - 138 = -43. Does 2 divide u?
False
Suppose -3*d - 4*p - 10 + 26 = 0, 2*d + 4*p = 12. Suppose u + d*u + 404 = 2*b, 4*b + 5*u = 838. Is b a multiple of 34?
False
Let z = -400 + 1067. Does 27 divide z?
False
Does 8 divide (-1 - 1)/((-33)/32 - -1)?
True
Suppose u + 4*l = 30, 0 = -3*u + 2*l + 2*l + 10. Suppose -n - u = -11. Is 8 a factor of n*24 + (-2 - -2)?
True
Let j(o) = o**3 - o**2 - o + 1. Let h(q) = -q. Let y(m) = m**3 + 11*m**2 - 20*m - 12. Let s(n) = 6*h(n) - y(n). Let t(v) = 2*j(v) + s(v). Does 10 divide t(12)?
False
Let o(n) = 81*n + 1. Suppose -6*a + 8 - 2 = 0. Is 13 a factor of o(a)?
False
Let x(g) be the third derivative of g**6/120 - 7*g**5/30 + 2*g**4/3 - g**3 + 9*g**2. Does 11 divide x(13)?
True
Let w be 16/(-28) - 60/(-7). Let h(i) = 2*i**2 + 8*i + 6. Let j be h(w). Suppose 4*k + 30 = j. Is 7 a factor of k?
True
Suppose -16*x = -21500 - 4804. Is 12 a factor of x?
True
Let c = -3 - -8. Suppose -15 = -u + 4*a, c*u - 2*a = 2*u - 5. Is 5/(u/(-18)) + 2 a multiple of 20?
True
Let l(o) be the second derivative of -7*o**4/12 - o**3/2 + o**2 - o. Let u be l(-3). Is u*((-14)/4 + 3) a multiple of 18?
False
Let x(h) be the third derivative of h**5/30 + h**4/6 - 11*h**3/6 - 22*h**2. Is x(3) a multiple of 4?
False
Suppose -5*f - 9 = b - 405, -4*b + 4*f + 1536 = 0. Let c = 251 - b. Does 10 divide 2/(5/(c/(-2)))?
False
Let j be 1/2 + (-136)/16. Let r be 2*(4 + j/4). Let u(h) = 2*h**2 + 3*h + 2. Does 23 divide u(r)?
True
Let d(k) = -44*k - 379. Is d(-33) a multiple of 10?
False
Let s(u) = -15*u**2 - 3 + 5*u**2 + 9*u**2 - 4*u. Let p be s(-2). Does 22 divide 43 - (p + 1 - 4)?
False
Let a(v) = -72*v - 175. Is 22 a factor of a(-5)?
False
Suppose -c = -2*c - 4, 0 = -4*h - c + 12. Suppose -2*j = -4*m - 304, 2*j + 199 = -h*m - 105. Let n = 113 + m. Is n a multiple of 37?
True
Suppose 5*u = 2*u + 3, 5*h = -u + 16. Suppose -h*g = g - 68. Is g a multiple of 16?
False
Let v(a) = 4*a**3 - 9*a**2 + 44. Is 25 a factor of v(7)?
True
Let m(p) = -42*p + 17. Let g be m(2). Let t = 83 + g. Is t even?
True
Let h = -7 + 8. Let w = 6 - h. Suppose -2*x + w*s + 14 = 0, -x - 3*x + 58 = 5*s. Is x a multiple of 10?
False
Let i(p) = 19*p + 108. Let j be i(-10). Let s = -194 - -21. Let n = j - s. Is 14 a factor of n?
False
Suppose 2*x + 16 = 96. Let k = 76 - x. Suppose -8*w + 9*w = k. Does 12 divide w?
True
Let y be (622/(-6))/(3 - (-8)/(-3)). Let s = y - -607. Is s a multiple of 39?
False
Let j(q) be the second derivative of -q + 5*q**2 + 0 - 5/6*q**3. Is 18 a factor of j(-10)?
False
Suppose 5*r + 2 = 4*r. Let t be -114 - r/(4/4). Let u = -70 - t. Is u a multiple of 25?
False
Let m = -198 - -487. Is 17 a factor of m?
True
Does 49 divide (91/14)/(-13) + 442/4?
False
Let w = -16 - -31. Suppose 25 = 4*v - w. Suppose -i - s - 2*s + 27 = 0, 0 = -2*i + 5*s + v. Does 11 divide i?
False
Let x be (-91)/9 + 2/18. Is 27 a factor of 1/2*(x - -108)?
False
Suppose p - 1 = -0*p - 3*g, 5*p + 3*g = 17. Let t = -2 + p. Is 96/t - -3*1 a multiple of 29?
False
Let v(a) = -7*a**3 - a**2 + 1. Let q be v(-1). Suppose 5*f = 5, 3*m - 4*f - 1 = q. Suppose i - 2*o = -3*i + 246, -m*o - 72 = -i. Is i a multiple of 20?
True
Let w(c) = 56*c**3 - 6*c**2 + 6*c - 6. Let f(u) = -u**3 - u**2 + u - 1. Let k(m) = 6*f(m) - w(m). Is 15 a factor of k(-1)?
False
Suppose 0 = -71*c + 70*c + 491. Does 5 divide c?
False
Let t be ((-530)/(-15) - (-1)/(-3))*5. Suppose -c - s = s - t, 2*c = 5*s + 350. Is c a multiple of 25?
True
Let z = 575 + -410. Suppose -i = -6*i + z. Does 33 divide i?
True
Is 3/(-3) + 2 + 246 a multiple of 38?
False
Let l(t) = -15*t + 201. Does 21 divide l(-30)?
True
Let t(j) = -j**3 + 5*j**2 + 4*j - 4. Let y be ((-4)/(-3))/((-6)/18). Let z be 0*y/16 - -4. Is 7 a factor of t(z)?
True
Suppose 4*x + 4*v = 2780, 0 = -4*x + 13*v - 8*v + 2771. Is 28 a factor of x?
False
Let r be 5 - 5/(15/3). Let q(a) = 3*a + 3. Let w be q(r). Suppose 0 = 5*y + w, 2*y - y + 353 = 5*s. Does 14 divide s?
True
Suppose -5*v + t + 1817 - 1 = 0, 2*v = 2*t + 720. Suppose 0 = -14*w + 7*w + v. Is 10 a factor of w?
False
Suppose -4*z = -1259 - 57. Let l = z - 230. Is 23 a factor of 1131/11 + 18/l?
False
Suppose 12*h - 4*h = 528. Is h a multiple of 6?
True
Let k = 1158 + -658. Suppose -2*o - 3*o + k = 0. Is 31 a factor of o?
False
Is 7 a factor of (-4)/(-3) - (-25122)/18?
False
Let t(d) = 12*d + 12. Let y be t(4). Suppose 68 = l + i + 2*i, -l = i - y. Is 7 a factor of l?
True
Let d(k) = -k**2 - 9*k + 2. Let o be d(-9). Suppose o*z - 44 = -0. Is z a multiple of 5?
False
Let q = 383 - 52. Is q even?
False
Let h = 69 - -1211. Is h a multiple of 5?
True
Let p(f) be the third derivative of f**6/120 + f**5/10 + f**4/8 - 5*f**3/6 - 5*f**2. Is p(-5) a multiple of 5?
True
Let t = 90 - -356. Is 20 a factor of t?
False
Suppose 453 = 6*b - 2931. Is b a multiple of 44?
False
Suppose i = -4*i + 10. Suppose 5*b = i*k + 320, -3*k + 0*k = 0. Does 16 divide b?
True
Let j = 3 + 1. Suppose j*p + 4*i = -96, -3*p - 5*i = -4*p - 54. Let c = -4 - p. Is c a multiple of 25?
True
Let r = 1104 - 679. Does 29 divide r?
False
Let a be (-90)/36*24/(-10). Suppose -a*l + 762 = 84. Is l a multiple of 37?
False
Let f(y) be the first derivative of y**3 - 5*y**2 + 10*y - 1. Let s be (-2)/(-18) + (-310)/(-225)*5. Is 29 a factor of f(s)?
True
Suppose -n - 3*s - 2*s = -71, -n + 98 = -4*s. Is 43 a factor of n?
True
Let f be ((-14)/3 + 2)*24. Let m(c) = 2*c**2 - 26*c + 62. Let j be m(15). Let i = f + j. Is i a multiple of 41?
False
Let o = 243 + 38. Let x = o - 45. Let q = x - 161. Does 21 divide q?
False
Let a(q) = -q**3 + 2*q**2 - q. Let h be a(1). Let o = h