l) be the second derivative of m(l). Is a(0) a multiple of 4?
False
Suppose 2*d - 6 = 2. Suppose 0 = -4*s + 4, 16 = d*x - s - 23. Let m = 12 + x. Is m a multiple of 11?
True
Let n be (24/(-10))/(-4 + 2395/600). Suppose -x + 5*x = n. Is x a multiple of 8?
True
Let g(n) = 5*n**2 - 8*n - 17. Is 16 a factor of g(-8)?
False
Suppose 1 = i, -2*u - i + 10097 = -4*i. Is 94 a factor of u?
False
Let h = 23 - 18. Let l(v) be the second derivative of v**4/4 - 7*v**3/6 + 3*v**2/2 + 2*v. Is l(h) a multiple of 14?
False
Suppose 2*n + 5*x = 41, -5*x + 10 + 39 = 3*n. Suppose 0 = -2*g + 3*m + 6, 3*g + 2*m = n*g - 4. Let l(r) = r**3 + 13. Is 11 a factor of l(g)?
False
Let n(s) = 49*s - 2. Let t be n(-2). Let a = t - -147. Is a a multiple of 24?
False
Suppose 4*d - 268 = -5*w + w, 2*w = 2. Suppose -4*q + 2*a = -d, 5*q + 38 = -a + 103. Suppose -10*n + q*n = 152. Does 8 divide n?
False
Is (-4 + 64/12)*5781/2 a multiple of 12?
False
Let c = -3989 + 7019. Is c a multiple of 30?
True
Suppose -3*l + 7 = q, -5*q + 5 = l + 4*l. Suppose -118 = 2*b + 3*d, -3*d = -l*b - 8*d - 175. Let t = 1 - b. Is t a multiple of 19?
False
Let o = 38 - 19. Is o a multiple of 3?
False
Let p(d) = -11*d**3 - 2*d**2 + d + 2. Suppose -3*j - 5 = q + 3, 5*j = -4*q - 25. Let t be p(j). Let u(f) = f**2 - 4*f - 4. Is 14 a factor of u(t)?
True
Let y(h) be the second derivative of -17/2*h**2 + 1/3*h**3 + 2*h + 0. Is 6 a factor of y(14)?
False
Let u(r) = -r**3 + r**2 + 8*r - 4. Does 7 divide u(-6)?
False
Let t(b) = 13*b**2 + 10*b + 9. Let s be t(-3). Suppose w + 8 = -2*w + a, 5*w + 3*a + 18 = 0. Is w - 5/((-10)/s) a multiple of 9?
True
Suppose 5*p = 8*p + 9. Does 19 divide (p - (-13)/4) + (-150)/(-8)?
True
Suppose 0 = -0*j - 4*j + 12, -j = -4*k + 565. Let y = k + -100. Is 6 a factor of y?
True
Is 7 a factor of (-5 + 7 - 60)/(2/(-35))?
True
Let j be (-3)/6 + 3 + (-308)/(-8). Suppose 2*b = j - 11. Is 5 a factor of b?
True
Suppose n - 30 + 172 = 0. Let c be n/7 - (-24)/84. Let d = 34 - c. Is 18 a factor of d?
True
Suppose -8*w - 493 = -13*w - 2*u, 0 = -4*w - u + 392. Is w a multiple of 97?
True
Let i(x) be the third derivative of x**5/12 + 5*x**4/24 + 3*x**3 - 21*x**2. Is 6 a factor of i(-4)?
True
Let v be -1*(1 - (-1 - 47)). Suppose -m - 3*d + 7*d - 9 = 0, 4*m + 112 = -3*d. Let f = m - v. Is 6 a factor of f?
True
Does 22 divide (-10328)/16*(3 + -2)*-2?
False
Let p be (-5)/20 - 466/(-8). Let u be 1/(-3) + p/(-6). Is 11 a factor of u/35 + (-240)/(-7)?
False
Let i = 25 + -20. Suppose o - 4*p - 56 = -0*p, i*p = 5. Is 30 a factor of o?
True
Let b(p) = -p + 13. Let y be b(6). Is 36 a factor of (36/15)/(y/105)?
True
Suppose 2*a = -5*g + 336, 3*a - 3*g = 198 + 285. Is 11 a factor of a?
False
Let s(i) = -i**2 - 6*i - 4. Let u(t) = -4*t**2 - 1. Let g be u(1). Let h be s(g). Is h/(((-28)/72)/(-7)) a multiple of 6?
True
Let l = 2 + -6. Let t(s) = s**3 + 6*s**2 + 4*s + 6. Is 11 a factor of t(l)?
True
Suppose 5*y = 2*y + 3*p - 69, 4*y = 3*p - 88. Let k = y + 71. Let b = 116 - k. Does 16 divide b?
True
Suppose 0 = -5*l + 20, 0*l + 3*l + 453 = 5*c. Suppose -j + c = 2*s, 2*j - 4*s - 50 - 144 = 0. Is 19 a factor of j?
True
Suppose u - 124 = -3*u. Let h = u + 33. Is h a multiple of 20?
False
Let h be ((-6)/3)/(1/(-11)). Suppose f - s - 2 + 0 = 0, 12 = 4*s. Suppose f = -l + h. Is l a multiple of 5?
False
Suppose j - 13 = -10. Suppose -480 = -j*u - u. Is 30 a factor of u?
True
Let y = 42 - 38. Let a(g) = 7*g - 4. Is 6 a factor of a(y)?
True
Let l = 9 + -5. Suppose -4*p + 312 - 44 = 3*k, -4*k + 3*p + 349 = 0. Suppose -l*q + 0*q + k = 4*u, -10 = -q - 5*u. Is q a multiple of 9?
False
Suppose -14 + 34 = r. Suppose -r*u = -21*u + 18. Does 9 divide u?
True
Suppose 3*j = -11 - 4. Let g = 2 - j. Is 7 a factor of g?
True
Suppose -6*w + 2*w = 2*i - 2004, w = -i + 502. Does 25 divide w?
True
Suppose 31 = 5*i - 2*f, -2*i = -f - 0 - 13. Let o be i - 5/(-15)*-9. Suppose -5*r + 45 = -5*s, -5*r + 16 = o*s - 1. Is r even?
False
Let p(k) = 207*k + 7. Let i be p(-2). Let m = -260 - i. Is m a multiple of 22?
False
Suppose -3*v = 15, 5*v + 14 = -o - 17. Let c be -10*3*(-3)/o. Let y = c + 32. Is 5 a factor of y?
False
Let y(r) = -r**3 - 3*r**2 - 3*r + 44. Let i be y(0). Suppose 56 = -43*s + i*s. Is 6 a factor of s?
False
Suppose -1107 = -19*r + 850. Is 12 a factor of r?
False
Let b(k) = -58*k - 6. Let d be b(-3). Does 13 divide ((-52)/(-6))/(16/d)?
True
Suppose 0 = -2*k + 44 + 12. Let l be 278/8 - 21/k. Does 11 divide 0 + (-1 - 2) + l?
False
Suppose 2*j + 2 + 7 = -5*f, 2*j - 4*f - 18 = 0. Let u be j/1 - -53*6. Suppose -3*g - 2*t + 187 = -7*t, -t + u = 5*g. Is 22 a factor of g?
False
Let s(u) = 1056*u**2 - 21*u + 21. Does 6 divide s(1)?
True
Suppose 0 = -3*r - a + 2210, -5*a + 232 = r - 514. Is 4 a factor of r?
True
Let a be ((-6)/(-3))/((-2)/(-7)). Let i = 10 - a. Suppose -o + 103 = -w + 6*w, -2*w + 36 = i*o. Is w a multiple of 5?
False
Let w(z) = z**3 + 5*z**2 - 6*z + 2. Let s be w(-6). Suppose -s*q - v - 495 = -6*q, -q + 125 = v. Does 11 divide q?
False
Is 60 a factor of 1653 + -1 + (4 - -5)?
False
Suppose -3*s - 65 = 2*s - 5*a, -3*s + a - 33 = 0. Let z(i) be the third derivative of -i**4/12 - 13*i**3/6 + 4*i**2. Is z(s) a multiple of 3?
False
Let w(c) = -24*c - 18. Suppose 2*t + 2*t + f + 21 = 0, -t = 3*f + 19. Is 13 a factor of w(t)?
True
Does 12 divide -7 + 45/6 + (-723)/(-2)?
False
Let g be 21/(-1) + (0 - 0). Let u(t) = -6*t - 6. Let j be u(4). Let w = g - j. Is w a multiple of 3?
True
Let p(i) = 3*i**3 + 11*i + 7. Does 49 divide p(6)?
False
Let m(z) be the second derivative of z**4/12 + 7*z**3/6 - 6*z**2 - 12*z. Let a be m(-8). Does 5 divide a/6 + 376/24?
True
Does 10 divide (11/3 + -2)/((-2)/(-264))?
True
Let q = 323 + -103. Suppose -a - 4*a = -q. Does 16 divide a?
False
Let z = -17 - -6. Let g = z + 13. Suppose r - 2 = 0, -q - g*q = -4*r - 262. Does 30 divide q?
True
Let l = 26 + -2. Suppose w = 3*n - 12, 3*w - l = -0*w - 3*n. Suppose 7*p - 223 = 2*p - w*y, 173 = 4*p - 3*y. Is 11 a factor of p?
True
Let m(f) = 7*f + 33. Let t be m(7). Let a = 105 - t. Does 15 divide a?
False
Let k = 9 + -5. Suppose -b = 4*o + o - 43, k*b = o + 109. Is b a multiple of 3?
False
Let w(y) = -y**2 + 6 + 6*y + 7*y**2 + 3*y - 4*y. Is w(-4) a multiple of 13?
False
Let a = -21 - -28. Suppose 0 = -4*x - a*x + 462. Is 14 a factor of x?
True
Is -684*2*((-91)/28 + 3) a multiple of 38?
True
Suppose -4*u - 21*g + 24*g = -782, -u - 3*g + 188 = 0. Is 5 a factor of u?
False
Let l be (-4167)/(-9)*(-1 + 2). Suppose 0 = -n - 0*c - 4*c + 100, -4*n + 5*c = -l. Does 8 divide n?
True
Let o(s) = s**3 + 10*s + 12. Is 48 a factor of o(7)?
False
Let x = 14 + -5. Suppose 2*v = 59 + x. Does 34 divide v?
True
Let w = -13 - -8. Let a(n) be the first derivative of -3*n**2 + 4*n + 11. Is 11 a factor of a(w)?
False
Does 9 divide -3 + 597 + -8 + (0 - -4)?
False
Let r = -23 - -27. Suppose r = -i + 7. Suppose 41 = i*s - 28. Is s a multiple of 17?
False
Let k(b) = 4*b + 8. Let o be k(-5). Let i be 193 - (4 - o/(-2)). Suppose 3*r - 8*r + i = 0. Is r a multiple of 13?
True
Suppose 3*w + 22*m = 21*m + 3647, 4*w = -5*m + 4859. Is w a multiple of 19?
True
Suppose -5*w + 2*m = -693, -2*m - 190 = 3*w - 609. Let u = 35 + w. Is 29 a factor of u?
True
Let o(d) = 0*d**2 + d**2 - 2*d**2 - 19 + 7*d - 22*d. Is 31 a factor of o(-10)?
True
Let y(f) = 22*f**2 - 33*f + 14. Does 18 divide y(4)?
True
Suppose 5*h - 2595 = 5*n, 0 = -4*h + 3*h - 4*n + 504. Does 9 divide h?
False
Suppose 4*y = -4*u, -10 = u + 3*y - 4. Suppose u*z + 2*l = 38, -2*l + 4 = z - 6. Is 14 a factor of z?
True
Let r(a) = -5*a**2 + 9*a - 4. Let v(l) = -l**2. Let n(m) = r(m) - 6*v(m). Let x be n(-10). Suppose x*k - 3*k = 258. Is k a multiple of 24?
False
Let o(v) = v**2 - v + 54. Let y be (-2 + 10/4)*-18. Let f be (2 + -1)*(y + 9). Does 16 divide o(f)?
False
Let j(i) = -6*i**3 + 3*i**2 + 19*i + 51. Is j(-3) a multiple of 31?
False
Is 18 a factor of ((-12)/(-4))/((-9)/(-960))?
False
Suppose -29110 = -29*r + 11780. Does 15 divide r?
True
Let f(i) = -15*i + 3. Suppose 20 = 5*d + 50. Let z(o) = -8*o + 1. Let s(t) = d*f(t) + 11*z(t). Does 15 divide s(11)?
True
Let c(y) = y**2 - 10*y - 315. Is 3 a factor of c(-16)?
False
Let a(q) = -q**3 + 12*q**2 - 9*q + 10. Is 32 a factor of a(11)?
True
Suppose d = 13 - 7. Suppose -d*o + 811 = 31. Is o a multip