et k(y) = -y**2 - 9*y - 5. Does 13 divide k(h)?
True
Let x = -18 - -2. Is 5 a factor of ((-76)/x)/((-3)/(-12))?
False
Let n(r) = r**2 + 7*r + 6. Let w be n(-6). Suppose 4*c + 5*g + 55 = w, 3*c + 6*g = 5*g - 33. Is (-394)/c - 8/20 a multiple of 21?
False
Let g(s) = -s**2 + 2*s - 5. Let o = -3 - -9. Let x be g(o). Let h = -3 - x. Does 13 divide h?
True
Suppose -h - 69 = -k, -4*k + 267 = 2*h - 3*h. Is k a multiple of 8?
False
Let s be (-15)/(-6)*(-3 + 5). Suppose -4*f + 11 = -p, 0 = -f - 4*f - s*p + 45. Does 4 divide f?
True
Suppose 0*b + b + 11 = 3*y, -3*y + 3*b + 9 = 0. Suppose 0 = y*c + 13 - 89. Is 17 a factor of c?
False
Suppose -3*y - 2*y = -4*q - 148, 2*q + 122 = 4*y. Suppose -3*x = -2*o + y, 2*o + 22 = 5*o + 2*x. Does 5 divide o?
True
Suppose -18*g + 121 = -383. Does 7 divide g?
True
Let s be -1 + (-1 + 0 - -134). Suppose 2*c - s + 24 = -4*t, 5*c = -t + 315. Suppose 2*a + 0*a - c = 0. Is a a multiple of 20?
False
Suppose -10*l + 901 - 31 = 0. Does 11 divide l?
False
Let z(u) = -2*u. Let d be z(-2). Let f be -3 + (1 - d)/(-1). Suppose f = -4*j + 47 - 15. Is j a multiple of 8?
True
Let y(u) be the third derivative of 0 + 2*u**2 + 0*u + 1/4*u**4 - 1/6*u**3. Is 12 a factor of y(6)?
False
Suppose -4*j + 676 = -360. Is 54 a factor of j?
False
Suppose 3*t - 28 = -y, 4*t - y + 0*y = 49. Suppose 0*p + p = t. Does 11 divide p?
True
Let k(u) = 6*u - 3*u - u**2 - 2*u**2 + 4*u**2. Is k(-6) a multiple of 6?
True
Suppose -5*v = g + 20, -g + 4*v - 4 = 5*v. Suppose -8*y = 5*o - 4*y - 20, g = -5*o - 2*y + 20. Let i(x) = x**2 + 3*x + 4. Is i(o) a multiple of 16?
True
Suppose -4*y + 8*y = 0. Suppose -3*g + y*g = -225. Does 30 divide g?
False
Suppose 5*g - 2*g = 42. Is 14 a factor of g?
True
Let f(w) = 3*w - 8. Let c be f(4). Suppose 0 = 6*u - c*u - 6. Does 2 divide u?
False
Suppose -55 = -t - 3*t + 5*i, 5*i = -15. Is t a multiple of 4?
False
Let n = 50 - 23. Let i = n - 15. Is i a multiple of 6?
True
Let d(a) = -2*a + 2. Let p(z) = z**3 - 3*z**2 - 4*z - 3. Let u be p(4). Does 8 divide d(u)?
True
Let w(r) = 3*r**2 - 2. Let k be w(-3). Suppose -9 = 4*z - k. Is z a multiple of 2?
True
Let z(c) = -3*c + 135. Does 15 divide z(0)?
True
Let j(v) = -v**3 + 5*v**2 - 6. Suppose 3*q + 2*q = 25. Let s be j(q). Is 2 a factor of (s/5)/((-2)/5)?
False
Let a(p) = -p - 11. Is a(-16) a multiple of 2?
False
Let q(x) = 2*x**3 + 5*x**2 + 6*x + 4. Let u be q(-4). Let w = -46 - u. Is w a multiple of 22?
True
Suppose 2*o + 3 = -23. Let z = 11 - o. Is 12 a factor of z?
True
Let v(m) = m**2 - 5*m + 2. Let z be v(4). Suppose 2*j + 21 = 3. Let h = z - j. Does 7 divide h?
True
Suppose -7 + 13 = 3*b. Suppose 0 = b*i + p - 19, 5*p = 4*i + p - 20. Is 4 a factor of i?
True
Suppose -3*r = -v - v - 12, 0 = 3*r + 4*v - 30. Suppose -r = -f + 8. Is f a multiple of 6?
False
Let x = -44 - -86. Suppose -o - 2*o = x. Is 14 a factor of (-200)/(-14) + 4/o?
True
Suppose q - 5*l - 35 = 0, -l + 103 = 2*q - 11. Let d = -30 + q. Suppose 18 = 3*r - 4*z - 62, 0 = -5*z - d. Does 13 divide r?
False
Let p = 117 - 26. Is p a multiple of 11?
False
Let s = 49 - 27. Suppose -4*w + s = -2. Is 19 a factor of -4 + 1 + w + 35?
True
Suppose -u - 2*m + 29 = 0, 5*m = -2*u - 2*u + 131. Is 29 a factor of u?
False
Let p be (28/(-35))/((-4)/10). Suppose p*x - 12 = x. Is 9 a factor of x?
False
Let f = 155 + -92. Does 34 divide f?
False
Does 16 divide (-6)/(-2) + 314/(7 + -5)?
True
Let u(v) = 2*v + 16. Let k(q) = -q**3 + 3*q**2 + 2*q - 1. Let y be k(3). Does 10 divide u(y)?
False
Let n(j) = j**2 + j - 4. Does 7 divide n(-5)?
False
Let g(j) = -6*j**3 + 4*j**2 + 5*j + 4. Does 8 divide g(-2)?
False
Let a(w) = 2*w + 3. Let d be a(-4). Let p(m) be the second derivative of -m**5/20 - 5*m**4/12 - 2*m**3/3 - 5*m**2/2 - 6*m. Does 6 divide p(d)?
False
Suppose 3*l + 111 = u - l, 5*u - 505 = -5*l. Does 23 divide u?
False
Let r(b) = -66*b**2 - 1. Let o be r(1). Let x = o + 115. Is 16 a factor of x?
True
Let x = 2 + -3. Is ((-3)/5)/(x/15) a multiple of 3?
True
Let a = -32 + 82. Is a a multiple of 10?
True
Suppose 191 = 2*u - 227. Is u a multiple of 29?
False
Let r(p) = p**3 + p**2 - p + 18. Let f(q) = -2*q + 16. Let v be f(8). Is 6 a factor of r(v)?
True
Is 6/(-81)*-1563 + 2/9 a multiple of 9?
False
Let f(g) = -g**2 + g - 3. Let t be f(0). Does 6 divide (-5)/(-15) - 35/t?
True
Let x = 151 - 85. Is x a multiple of 33?
True
Let g(i) = -i + 3. Let r be g(6). Let u(v) = 3 + 1 - 13*v - 3. Is 16 a factor of u(r)?
False
Let c be (2/(-3))/((-16)/312). Suppose 3*t = -c + 58. Does 5 divide t?
True
Let n = 67 - -3. Is n a multiple of 14?
True
Suppose -2*d + 6*d = 0, 0 = 2*s - 2*d - 106. Does 9 divide s?
False
Suppose 0 = -3*m + 95 + 7. Does 30 divide m?
False
Let l = 31 + -11. Does 10 divide l?
True
Let h(a) be the second derivative of -a**5/20 + a**4/2 - 2*a**3/3 + 3*a**2/2 - 3*a. Is 18 a factor of h(3)?
True
Is (-2)/5 - 4301/(-115) a multiple of 9?
False
Suppose -6 = b + 3*s - 31, -93 = -5*b + s. Let o = b + -3. Is o a multiple of 8?
True
Suppose -10*x = -11*x + 92. Does 23 divide x?
True
Let r = 1 - -1. Suppose -r = -3*s + 1, -5*g - 4*s + 24 = 0. Suppose -3*x = -15, -2*j - 3*j + 245 = -g*x. Is j a multiple of 18?
False
Suppose 2*g + 3*g - 100 = 0. Is 4 a factor of g?
True
Suppose -6*h = -h + 135. Is 4 a factor of ((-2)/6)/(1/h)?
False
Let z(i) = -i**3 - i**2 - i. Let r(y) = 9*y**3 + 7*y**2 + 3*y. Let h(o) = r(o) + 4*z(o). Let g be h(2). Suppose -4*f - 14 = -g. Is 9 a factor of f?
True
Let k be (0/(-4))/(2/(-2)). Is 9 a factor of (-2 + 11)*2 - k?
True
Is 15 a factor of ((-8)/(-4))/(4/38)?
False
Let q be 2*-3*2/(-4). Suppose q = 5*n + 18. Is 14 a factor of 3*35*(-1)/n?
False
Suppose 2*h - 72 = -h. Is h a multiple of 24?
True
Suppose 3*d = -0 - 12. Let o(g) = -1 + 2*g**2 + 3 - 9*g + 0*g**2 - 3*g**2. Is o(d) a multiple of 10?
False
Let v be -6 + 4 - (-42 - 0). Let k = -15 + v. Is k a multiple of 25?
True
Is 29 a factor of 20/(-18)*3*348/(-10)?
True
Let v(o) = 2*o - 4. Let k be v(3). Suppose 4*m - 5 = -c, -4*m + 5*c = k*c + 15. Is -1*(0 - m) + 12 a multiple of 6?
True
Suppose 5*t = -l + 3*l - 5, 0 = -5*l - 4*t + 29. Let x = -8 + l. Let i(j) = -6*j - 4. Does 6 divide i(x)?
False
Let h = 37 - 17. Let b = -5 + h. Is b a multiple of 15?
True
Let d(q) = 3*q**2 + 1. Let s be d(-1). Suppose 15 = s*m - o - 54, 5*m = 5*o + 90. Is 11 a factor of m?
False
Let r = 95 + -63. Does 10 divide r?
False
Suppose 0 = 5*k - 15. Suppose x + d - 39 = 5*d, -63 = -2*x + k*d. Is 16 a factor of x?
False
Let b = -5 - -24. Is 12 a factor of b?
False
Suppose -5*m = -u - 7 - 21, 0 = -5*u - 5*m - 80. Let o = u - -48. Does 11 divide o?
False
Let j be (0/(-2))/(-1 + -1). Suppose 4*o - 4*w - 44 = 0, j = o - 4*w + 3 - 23. Is o a multiple of 6?
False
Let d(x) be the third derivative of x**4/8 - 5*x**3/6 - x**2. Let w be d(10). Let o = -12 + w. Does 9 divide o?
False
Let w be ((-2)/1 - -2)/1. Suppose -5*y - 10 = -w*y. Is 27*y*(-2)/3 a multiple of 12?
True
Let i(g) = g**3 + 9*g**2 + g + 10. Let d(b) = -3*b. Let h be d(3). Let v be i(h). Does 16 divide (-3 + v)/((-2)/32)?
True
Does 15 divide (-5)/2*772/(-10)?
False
Let p(w) = -w**2 - 2*w + 63. Let f be p(0). Let a = -41 + f. Does 11 divide a?
True
Suppose 3*a = -a. Is a - -8 - 3/1 a multiple of 2?
False
Does 10 divide -3 + (2 - -38) - -4?
False
Let t = -68 - -200. Is t a multiple of 25?
False
Let d = 1 - 3. Let p be d/(-6) - (-194)/(-6). Let f = p - -72. Does 19 divide f?
False
Suppose 4*o - 540 = -l - 2*l, 3*l - 2*o - 540 = 0. Is 18 a factor of l?
True
Suppose -2*y + 25 + 129 = 0. Is 28 a factor of y?
False
Let k = -133 - -287. Is k a multiple of 34?
False
Let m = -6 - -5. Let q = m + 4. Does 23 divide 3 + (-50)/q*-3?
False
Suppose -2*p + 3 = -p. Suppose h + a - 64 = -3, -3*h + p*a + 159 = 0. Is 19 a factor of h?
True
Let x = 55 + 220. Does 55 divide x?
True
Suppose -4*f + 0*d = 3*d - 1512, 5*d = -3*f + 1134. Is ((-8)/(-6))/(7/f) a multiple of 18?
True
Suppose -5*d = -m - 176, -52 = -d - 2*m - 2*m. Is d a multiple of 12?
True
Suppose 5*n + 0*l - 3*l - 31 = 0, 0 = 5*n - 4*l - 28. Is n a multiple of 4?
True
Let a(x) = x**3 - 6*x**2 - x + 2. Let q be a(6). Let o be (-254)/q - 5/(-10). Let c = o + -44. Is c a multiple of 10?
True
Is 2 a factor of -4*(-14)/(-24)*-3?
False
Let j be 0 - (-49 - (1 + 3)). Suppose 0 = 3*t - 5*o - 62, 4*t - 53 = -5*