 j(c) be the second derivative of -c**2 + 0 - 17/6*c**3 - c. Is j(-2) a multiple of 16?
True
Suppose 0 = 5*s - 0*s + 25. Let c be s + 3 + 1 + 1. Suppose -3*d + 134 = 4*b, -2*d - 3*b - 23 + 113 = c. Is 21 a factor of d?
True
Suppose -3*j + 242 = 2*n, -2*j + 378 = 3*j - 3*n. Is j a multiple of 13?
True
Suppose h = 102 - 26. Is 26 a factor of h?
False
Suppose 2*t + 1 = 3*t. Does 13 divide (5 + 6)/(t/4)?
False
Is 57 a factor of ((-114)/(-1))/((-2)/(-3))?
True
Is 14 a factor of -3 - (-30 - (-5)/(-5))?
True
Let c be (-2)/4*(-1 + -35). Let z = 2 + c. Does 6 divide z?
False
Let h = 7 + -5. Suppose -2*w = l - h, 6*l - 4*w = 4*l + 44. Let r = 21 - l. Is r a multiple of 9?
True
Suppose 2*a - 4 = -6. Is (-4 + -50)*a/2 a multiple of 27?
True
Let t(o) = 5*o**2 - 13*o + 19. Is t(7) a multiple of 34?
False
Is (-11 + 37)/((-1)/(-2)) a multiple of 13?
True
Let k(y) = -y + 1. Let i(d) = -d**2 + 11*d - 6. Let q(r) = i(r) + 2*k(r). Suppose -3*j + 32 = j. Is 2 a factor of q(j)?
True
Let a be 61/9 + 4/18. Is 2 a factor of a - 3/6*4?
False
Let k = -9 + 37. Let f = -10 + k. Is 9 a factor of f?
True
Let t(s) = -28*s. Let b be t(-1). Let v = b + -16. Is 6 a factor of v?
True
Let a(o) = 4 + 7 - o + 3. Is 7 a factor of a(7)?
True
Suppose 0 = -3*g + 5*g - 480. Does 16 divide g?
True
Let k(q) = 5*q - 36. Let d(n) = n - 9. Let m(y) = -9*d(y) + 2*k(y). Let r(h) = h**3 - 3*h**2 - h - 5. Let b be r(4). Is 10 a factor of m(b)?
False
Let n(b) = -b**3 - 5*b**2 - 7*b - 3. Is n(-5) a multiple of 8?
True
Let n be (-1)/(-1*(-1)/(-5)). Suppose n*k + s - 27 = 0, 3*k - 7 = -2*s + 12. Is 2 a factor of k?
False
Suppose 4*l - 406 - 562 = 0. Suppose 0 = -3*x + x + l. Suppose 0 = -3*v + x - 4. Is v a multiple of 19?
False
Is (-1018)/(-14) - 48/(-168) a multiple of 6?
False
Let p be (4 - 4)/(-1 + 0). Suppose -3*a + p*a + 18 = 3*k, 0 = 4*k. Let h(t) = -t + 11. Is 3 a factor of h(a)?
False
Let k(p) = p**3 - p**2 - 1. Let s be k(2). Suppose s*j + 18 = 6*j. Is j a multiple of 3?
True
Suppose 0 = -6*k + k + 20. Suppose k*c - 241 = -h - 2*h, -3*h = -4*c - 209. Is 15 a factor of h?
True
Suppose -o + 2*b - b = -26, 0 = 4*o - 2*b - 96. Is 3 a factor of o?
False
Suppose 439 = 4*r - 5*y, r + 3*r - 446 = -2*y. Is r a multiple of 12?
False
Suppose -20*m + 1937 = -7*m. Does 17 divide m?
False
Suppose d + 2*d - 12 = 0. Suppose 260 = 7*y - 2*y - p, 4*p = 0. Suppose -2*u - y = -d*u. Is u a multiple of 13?
True
Let p(n) = n**2 + 7*n + 7. Suppose d - 4 = 3*a, -4*a + 5*a = -3*d - 28. Is p(d) a multiple of 4?
False
Let p(m) = 2*m. Does 9 divide p(10)?
False
Let i be (-2)/(-3) + 116/(-3). Let z(v) = -v**3 - 5*v**2 + 2*v + 6. Let j be z(-4). Let q = j - i. Is 10 a factor of q?
True
Let c(q) = -q**2 - 33*q + 18. Is 7 a factor of c(-16)?
False
Let a(d) = -d**3 + 5*d**2 + 29*d - 20. Does 10 divide a(8)?
True
Let i(o) = -39*o. Let h be i(-1). Let m = h - 16. Is m a multiple of 11?
False
Let w = -24 - -19. Let s(i) = i**3 + 5*i**2 + 3. Is 3 a factor of s(w)?
True
Let a be 3/((-1)/((-6)/9)). Suppose -a*p + 42 = p. Does 10 divide 284/p - 8/28?
True
Let j(z) = -4*z + 4. Let w be j(6). Let n be (-365)/w + (-1)/4. Suppose 4*c - 89 = -3*f, -f + 25 = 2*c - n. Does 19 divide c?
False
Let x(m) be the third derivative of m**4/24 + m**3 - 4*m**2. Let d be x(-6). Suppose 76 = 4*u - 5*k, -k + 100 = -d*u + 4*u. Is u a multiple of 12?
True
Suppose 12*k = 7*k. Does 11 divide 18 + 4 + k/1?
True
Let x(s) = s**3 + 6*s**2 - 10*s - 9. Suppose -2*h = -7*h - 35. Does 4 divide x(h)?
True
Is 2/(-6)*(132*-2)/4 a multiple of 22?
True
Suppose -4*v + 56 + 53 = -3*j, -4*v = -4*j - 104. Is v a multiple of 20?
False
Suppose 88 = 4*z + 4*a, -5*a + 22 = -4*z + 137. Does 13 divide z?
False
Suppose -3 = 3*n - 6. Suppose 14 = w - 2*s + n, -4*w - 2*s = -2. Suppose w*g = 16 + 35. Is 8 a factor of g?
False
Let s(v) = -v**2 - 36*v - 29. Does 11 divide s(-26)?
True
Let i(v) = 2*v**3 - 8*v**2 + 5*v + 5. Let h be i(5). Suppose 8*j - 3*j - h = 0. Is 8 a factor of j?
True
Suppose 0 = -0*z + 4*z - 60. Does 5 divide z?
True
Is ((-15)/30)/(2/(-192)) a multiple of 8?
True
Suppose 0*d - 2*d = -50. Let j(b) = 5*b**3 + 2*b - 1. Let x be j(2). Let r = x - d. Does 9 divide r?
True
Suppose 123 = 2*y - 81. Let j = -52 + y. Is j a multiple of 14?
False
Let s(u) = u**3 - 5*u**2 + 5*u + 4. Does 35 divide s(6)?
True
Let y = 0 - -11. Suppose d = 1 + y. Suppose 0 = -2*i - d + 46. Is i a multiple of 17?
True
Is 21 a factor of 2/(-4) + 27*(-38)/(-4)?
False
Suppose -4*d = -5*h + 260, -3*h + 164 = -4*d - 0*d. Does 8 divide h?
True
Let b(j) = -3 + j + 14*j + 4 + 2. Is 14 a factor of b(3)?
False
Let t(w) = 10*w + 6. Let u be t(-5). Does 15 divide (-3)/2*u/2?
False
Let x(k) = 11*k - 2. Let d be x(-2). Does 27 divide (d/20)/(4/(-90))?
True
Let o(x) = x - 1. Let v be o(4). Let m = 7 - v. Is 3 a factor of m?
False
Suppose 7*b = 29 - 1. Let s(o) = o**3 - 2*o**2 + 2*o + 2. Is 14 a factor of s(b)?
True
Let g = -43 + 29. Let s be (-4)/g - (-162)/21. Suppose -2*r - s = -3*r. Is r a multiple of 8?
True
Let f(j) = -14*j**3 + 2*j**2 + 6*j + 3. Does 12 divide f(-3)?
False
Suppose 2*h - 5*d - 27 = -11, -5*d = 0. Does 2 divide h?
True
Suppose -18 = c - 3*c. Does 4 divide c?
False
Let t(n) = n**3 + 5*n**2 - 2*n - 7. Let m be t(-5). Suppose r - 2*k = 22, 2*r - m*k = 4*r - 9. Is 12 a factor of r?
True
Suppose 5*x - 33 = -2*h, h - 5*h + 2*x = -6. Suppose -h*g - 20 = -9*g. Suppose q = g*q - 42. Does 14 divide q?
True
Let m(v) be the first derivative of -v**2/2 - 6*v - 1. Let l be m(-5). Is (-3 + l)*4*-3 a multiple of 16?
True
Let n(z) be the third derivative of z**5/30 - z**4/4 + z**3/6 + z**2. Is 7 a factor of n(5)?
True
Let d = 0 + 9. Does 11 divide (-263)/(-9) - 2/d?
False
Does 16 divide (-2)/9 + (-4015)/(-45)?
False
Is (13 + 12/4)*1 a multiple of 3?
False
Let h(r) = -r + 13. Is 7 a factor of h(6)?
True
Suppose -5*b = -2*b - 12. Suppose 12 = 7*g - b*g. Is 2 a factor of g?
True
Let i(g) = -4*g - 19. Is i(-15) a multiple of 16?
False
Suppose 3*k = 144 - 48. Is 16 a factor of k?
True
Suppose -3*q = -0*q - 4*m + 4, 5*q = m - 1. Suppose -4*d + 1 = -v, v + q*d - 2*d - 3 = 0. Does 6 divide v?
False
Suppose -3*q - 2*q - 20 = 0. Is 10 a factor of 8/(-6)*30/q?
True
Let v(x) = 2*x**2 - x + 1. Let z(b) = -5*b**3 - 2*b**2 - 2*b - 1. Let t be z(-1). Is v(t) a multiple of 14?
False
Suppose 0 = -p + 22 + 2. Suppose -4*w + 0*w = -p. Does 5 divide w?
False
Suppose -5*o + 468 = -o. Does 21 divide o?
False
Let g(p) = -3*p - 1. Let k be g(1). Let q be (4 - 6)/((-1)/19). Let u = q - k. Does 15 divide u?
False
Let z(p) = -21*p - 39. Is 11 a factor of z(-7)?
False
Let j(r) = r**3 - 6*r**2 + 13*r + 2. Does 9 divide j(6)?
False
Suppose 2*g - 9*g + 1337 = 0. Does 20 divide g?
False
Suppose 0 = 2*t - 6, 2*l = -3*l + 2*t + 504. Does 10 divide l?
False
Suppose 5*l = 4*t + 620, -5*t + 248 = 3*l - l. Suppose l = 4*b - 28. Is b a multiple of 16?
False
Let u(k) = k**3 - 26*k**2 + 27*k - 11. Is u(25) a multiple of 25?
False
Let i(d) = -4 + 6*d**2 + 4*d**2 + d**2 - 6*d**2 + 3*d. Does 16 divide i(-3)?
True
Let u = 1 + -1. Let o = 1 - u. Does 17 divide (-66)/(-4) - o/(-2)?
True
Let a = 47 - 15. Is 4 a factor of a?
True
Suppose -2*q - 4*a = -18, 4*q - 2*a = a + 3. Let c(s) = 2*s + 5*s - 2*s + 2 - s. Is 14 a factor of c(q)?
True
Suppose -2*c - 2*m - 3 = -5*c, -6 = -3*c + m. Suppose -16 = 2*t - c*t. Is 12 a factor of 5*t*6/20?
True
Let t(a) = -2*a + 11. Let u be t(10). Let n be 2/4 - u/(-2). Is (-10)/n + (-15)/(-10) a multiple of 4?
True
Let k = 0 + 84. Is k a multiple of 17?
False
Suppose 0*s = 4*s + 40. Let d(u) = u + 23. Is d(s) a multiple of 13?
True
Let c(s) = s**3 + 13*s**2 - 20*s + 14. Let y be c(-15). Let f = y + 198. Is 31 a factor of f?
True
Let s(v) = 5*v**2 - 5*v - 10. Is s(6) a multiple of 14?
True
Let y(v) = 35*v - 1. Let t be y(1). Let n = t - -10. Suppose -f + n = f. Is 6 a factor of f?
False
Let j(s) = -s**3 - 9 + 15*s**2 - 11*s + s**2 + 22 - 3*s**2. Does 10 divide j(12)?
False
Let i = 127 - 83. Does 7 divide i?
False
Suppose 0 = -2*u + 2*l, -u - 3*u - 2*l = 0. Suppose u = b + b - 90. Does 19 divide b?
False
Let k = 113 + -68. Is 15 a factor of k?
True
Suppose -2*y + 5*y = 192. Is 26 a factor of y?
False
Suppose -4*q - m - 59 = -0*m, -q = -2*m + 8. Let h be ((-21)/q)/(1/(-6)). Is 8 a factor of 29 + (-3)/(h/(-6))?
False
Supp