p + 5*r + 12 = 0. Let m(s) = -3*s + 8. Let z(h) = 3*h - 8. Let j(y) = 5*m(y) + 6*z(y). Does 5 divide j(p)?
True
Let u(o) be the second derivative of o**3/6 + o**2 + 4*o. Does 4 divide u(6)?
True
Suppose 2*d = -3*d + 155. Is d a multiple of 9?
False
Let h = 64 + -35. Does 11 divide h?
False
Let t = -4 - -34. Suppose -2*l + 85 = -3*y + t, 2*y + 106 = 4*l. Is 13 a factor of l?
True
Suppose -4*n + 3*k + 43 + 52 = 0, 0 = -n - 3*k + 35. Is 13 a factor of n?
True
Suppose -5*j = -74 + 14. Is 12 a factor of j?
True
Suppose -3*y = -41 + 11. Is 10 a factor of y?
True
Suppose -2*p - 4*c = -28, 3*p = -2*p - 3*c + 105. Suppose 0 = 5*a - p - 21. Does 9 divide a?
True
Let f(d) = d**2 + 4*d - 7. Let r be f(-6). Suppose 2*s + 2*i = 5*s - 173, 5*i = -r. Suppose -2*k - 3*x = -45, 2*k - 3*x - 18 = s. Does 15 divide k?
True
Suppose -2*z = 26 - 6. Let p be 3/(-5) - (-14)/z. Does 2 divide 6/(p + 3) - 1?
False
Does 14 divide (27/3)/((-220)/74 - -3)?
False
Suppose -18 = -2*z + 182. Is z a multiple of 25?
True
Suppose 9*y - 4*y - 25 = 0. Suppose 0*n + 80 = y*n. Does 16 divide n?
True
Let z(j) = j**2 - 2*j - 19. Is z(-13) a multiple of 11?
True
Let d(z) be the second derivative of z**4/2 - z**3/3 - 4*z. Is 14 a factor of d(-2)?
True
Suppose -56 = -3*t + 58. Does 19 divide t?
True
Suppose -3*t = -t. Let b(c) = -c**3 + c + 45. Does 15 divide b(t)?
True
Let k(n) = -n**3 + 11. Let y = -3 - 0. Let b = 3 + y. Does 11 divide k(b)?
True
Let t be (-38)/(0 + (-2)/(-4)). Let w = t - -116. Suppose -3*z = 2*z - w. Is z a multiple of 6?
False
Let q = 31 + -5. Let y = q - 16. Is y a multiple of 10?
True
Let j(i) = -3*i**2 - 24*i + 14. Let f(l) = -l**2 - 12*l + 7. Let o(w) = -5*f(w) + 2*j(w). Let s = 7 + 2. Is 14 a factor of o(s)?
False
Suppose -29 = -2*b + 485. Suppose 0 = -3*x - 3*j + 261, 0 = 4*x + j - 79 - b. Suppose 2*s = -s - 5*l + x, -5*s = -l - 185. Does 18 divide s?
True
Suppose 3*v - 2*p = -2, 2 + 8 = v + 2*p. Suppose 34 + 0 = v*u. Does 6 divide u?
False
Let g = 21 + -51. Let t = -15 - g. Does 4 divide t?
False
Let w(f) = -3*f + 3. Let j = 4 - 12. Is 16 a factor of w(j)?
False
Suppose -m + 1 + 10 = 0. Is m a multiple of 6?
False
Let q(p) = 17*p**2 - 5. Let b be (-1 - 0)*(1 + -6). Let r(g) = g**2 + 1. Let j(v) = b*r(v) + q(v). Is j(-1) a multiple of 11?
True
Suppose u = -5*q - 5, 2*u + u + 15 = 5*q. Suppose -c + 4*c - 2*r = 27, q = 5*c + 2*r - 45. Does 5 divide c?
False
Suppose -3*i + 15 = 0, 40 + 5 = 5*s + 5*i. Let d(h) = -h**3 + 9*h - s*h - 6*h**2 + 0*h**3 + 4. Is 9 a factor of d(-7)?
True
Let u = 43 - 22. Does 21 divide u?
True
Let t(b) = -2*b - 6. Suppose -2*q = -q - 13. Let z = 6 - q. Is t(z) a multiple of 8?
True
Let c(d) = d**2 + 2*d + 8. Suppose 3*t = 9, 3*f - 3*t = 12 + 3. Does 27 divide c(f)?
False
Suppose 3*u = -5*r - 137 + 31, 5*u = -5*r - 110. Let d = 13 - r. Is 17 a factor of d?
False
Let k(u) = -9*u**2 - 14*u + 10*u**2 + 1 + 6*u. Let c(v) = -v. Let m(a) = -2*c(a) - k(a). Is m(5) a multiple of 9?
False
Suppose -3*y + 4 = -41. Suppose -27 - y = -3*h. Does 7 divide h?
True
Let r(t) = -t. Let j be r(-5). Suppose -6*p + 3*p + j*x = -82, -4*p + 86 = 5*x. Does 24 divide p?
True
Let y(l) = l + 13. Let v be y(0). Suppose -10*d - 117 = -v*d. Does 13 divide d?
True
Suppose 4*m + 193 = 5*f, 4*f - 2*m - 101 - 57 = 0. Is f a multiple of 9?
False
Let b(q) = -69*q + 18. Is b(-3) a multiple of 15?
True
Suppose 0 = -4*v + 490 + 18. Is 24 a factor of v?
False
Suppose 112 = 2*f - 132. Suppose -5*k - 3*d + f = -0*k, 4*d = 4*k - 104. Does 12 divide k?
False
Let a(m) = -41*m + 6. Let z be a(3). Is 11 a factor of 2/(1 - (-111)/z)?
False
Suppose -4*c + 22 = 3*d, 3*d + c + 4*c - 23 = 0. Suppose 0 = 3*n - 5*x - 83, 2*n - d*x - 47 = -x. Is n a multiple of 16?
False
Let y(u) = 5 + 2*u - 4*u - 3*u + u**2. Is 11 a factor of y(6)?
True
Let r(l) = 2*l**2 - 24*l - 10. Does 20 divide r(17)?
True
Let f be (-1 + 1)/(1 - 2). Suppose 2*y + f = 6. Let b = 19 + y. Is b a multiple of 16?
False
Let t(f) = -2*f + 27 + 3*f + 9. Does 12 divide t(0)?
True
Is 7 a factor of ((-21)/6 + 2 + -1)*-26?
False
Let x(w) be the third derivative of w**6/120 + w**5/10 - w**4/4 + w**3/6 + 10*w**2. Is 7 a factor of x(-6)?
False
Let m(z) = 5*z**2 + 4*z - 3. Is 16 a factor of m(3)?
False
Let f(j) = 8*j**2 - 2. Let v be f(3). Suppose -4*u = 3*x - 62, -2*u = -x + 4*x - v. Does 13 divide x?
True
Let b(o) = -13*o**3 - o**2 - o - 1. Let s be b(-1). Does 2 divide 2/(-3) + 116/s?
False
Suppose v + 6 = 2*v. Suppose -f - v = -48. Is 16 a factor of f?
False
Let p = 6 + -1. Let a(s) = 13*s + 8. Is 19 a factor of a(p)?
False
Let w(g) = 20*g + 1. Let o(m) = -m**3 + 13*m**2 - 12*m + 1. Let q be o(12). Is w(q) a multiple of 8?
False
Suppose 3*w + 307 - 1012 = -4*d, d - 171 = w. Is 29 a factor of d?
True
Let d(k) = 2*k**3 + 2*k**2 + 3*k + 3. Does 28 divide d(3)?
True
Suppose 4*v = -3*t + 11, -4*t = -2*v - 0*t. Let w(x) = -x**2 - 2*x + 0*x**2 + x**3 - 3*x**2 + 6 + 0*x**v. Is w(5) a multiple of 10?
False
Let v = 7 + -2. Let w be -1 + -1 + 61 + -2. Suppose -3*m - 14 - w = -4*b, -v*m - 11 = b. Is b a multiple of 4?
False
Let d be -3*-5*1/3. Suppose -k = 2*k - d*w + 16, -3 = 4*k - 3*w. Let j = 12 - k. Is 9 a factor of j?
True
Let m be (-24)/(5/(15/(-2))). Is 12 a factor of (m - 0)/((-3)/(-3))?
True
Let s = -15 + 41. Is 26 a factor of s?
True
Let v be 3 + -2 - (12 - 3). Let m(z) = z**3 + 9*z**2 + 4*z - 8. Is 12 a factor of m(v)?
True
Let o be ((0 - 0)/(-1))/2. Suppose o = -11*z + 7*z + 176. Is 22 a factor of z?
True
Let b = -3 - -4. Let g(l) = l**3 - 2*l**2 + 6*l + 1. Let r(m) = m - 1. Let k(c) = b*g(c) - 2*r(c). Is k(4) a multiple of 19?
False
Suppose -2*v + 4*f = f, -2*f = -8. Let w = -5 + v. Let j(k) = 69*k**2 + k. Does 25 divide j(w)?
False
Suppose 8*m + 70 = 10*m. Does 12 divide m?
False
Suppose 0 = -2*x - 0*x + 2. Let b(o) = 2 + 7*o - 7 + x. Is b(3) a multiple of 15?
False
Let j = -6 + -29. Let y = j - -79. Is y a multiple of 11?
True
Suppose -186*f - 1325 = -191*f. Does 37 divide f?
False
Let c(w) = w**3 - 5*w**2 + w - 5. Let l be c(5). Suppose -12 = 3*t - l. Is (-22)/t - 1/(-2) a multiple of 4?
False
Let n(q) = -q**2 - 11*q - 13. Suppose -2*p + 100 = 2*c, -114 - 82 = -4*p - 2*c. Suppose -3*f - p = 5*k - 0*f, 0 = -4*f - 4. Is 3 a factor of n(k)?
False
Suppose 74 + 2 = 2*q. Suppose 3*y = -2*y - 2*i + q, -y + 7 = i. Is 3 a factor of y?
False
Let p be 1/(-3) - 14/(-6). Suppose -j = p*j - 36. Suppose -3*a + 7*a = j. Does 3 divide a?
True
Is (-1)/((-3)/15)*4 a multiple of 11?
False
Let t(s) = -s**2 + 15*s - 13. Is 22 a factor of t(12)?
False
Suppose 5*m + 5 = 2*q, -4*q = 4*m - 5*m - 1. Is 10 a factor of (m - -2)/((-6)/(-78))?
False
Let t be -4 - (1/1 + -3). Is 15 a factor of 2*(1 + t) + 32?
True
Suppose -5*j - 3*d + 88 = 0, -3*d - 32 = -j - 0*j. Suppose -3*k = -2*k - j. Is 10 a factor of k?
True
Let v = -73 + 87. Is v a multiple of 14?
True
Let r(g) = -g**2 + 18*g + 28. Does 10 divide r(12)?
True
Let j = 8 + -3. Let i = -31 - j. Is 12 a factor of -8*3/(i/51)?
False
Let t = 4 + -2. Suppose -3*o - 4 = -4*y + t, 4*o = -y + 11. Let r(c) = 2*c - 3. Is r(y) a multiple of 2?
False
Let g(t) = -t**2 + 17*t - 12. Is 3 a factor of g(8)?
True
Let x(i) = -30*i - 6. Is 6 a factor of x(-2)?
True
Let m(p) = 2*p**2 + 2*p - 2. Let k be m(-2). Let s = k + 28. Is 15 a factor of s?
True
Suppose -9*q - 143 + 404 = 0. Is 4 a factor of q?
False
Suppose 3*f - 344 = -3*y + 277, -f = 1. Is 49 a factor of y?
False
Let b(i) = -9*i + 1. Let c = -12 - -11. Is 5 a factor of b(c)?
True
Let t be 5/2*20 + -2. Suppose 0 = 4*o + t - 16. Let y = o + 12. Is 3 a factor of y?
False
Suppose 5*b = 2*b + 63. Let s be 5/(-2) + b/(-14). Does 11 divide -2*41*2/s?
False
Is 10 a factor of -100*(-9)/6*(-1)/(-3)?
True
Let v be 1*(2 + 23) - 1. Suppose v = -3*a + 2*a + 3*g, 2*g = 8. Is a/(3 + (-3 - 2)) even?
True
Let x be 450/(-27)*12/(-10). Let m = x + -3. Is m a multiple of 17?
True
Let t(v) = 3*v**2 - 3*v - 2. Let b(m) = m**2 - 4*m - m - 2 - 2*m**2. Let w be b(-5). Is t(w) a multiple of 10?
False
Let b = 6 - 2. Suppose -2*p = -4*r - 324, b*p - 4*r = -2*r + 672. Suppose 2*g = 7*g - p. Is g a multiple of 11?
False
Let h(l) = -l**3 + 7*l**2 - 6*l + 4. Suppose 3*i = 5*k + 42, -3*i - 2*k + 18 = k. Let a be 3/(-9) - (-39)/i. Is h(a) a multiple of 14?
True
Let d(n) = n**2 - 6*n - 5. Suppose 2*l +