r) = 111*r**3 + 2*r**2 - 2*r + 1. Does 25 divide k(1)?
False
Let g(w) = 21*w**3 + 6*w**2 - 6*w - 5. Let j(s) = 42*s**3 + 13*s**2 - 13*s - 11. Let v(p) = -13*g(p) + 6*j(p). Is v(-1) a multiple of 13?
False
Let v(d) = 2*d - 2*d**2 - 1 + 3*d + 0*d + 5 - d**3. Does 8 divide v(-4)?
True
Let y = 40 + -61. Let n = y + 52. Does 22 divide n?
False
Does 4 divide 15 - ((-6 - -2) + 0)?
False
Let z = 8 - 8. Suppose 3*n + z*n = -9. Is 7 a factor of (n - -6)*(-7)/(-3)?
True
Is (-8)/36 + (-1707)/(-27) a multiple of 15?
False
Let r(h) = 2*h**2 + 5*h - 2. Let v be r(-4). Let d be v/4*(-24)/(-20). Suppose -3*a + 5*z + 44 = 0, 0 = d*a + z + z - 58. Does 18 divide a?
True
Suppose 2*t - 5*t - 4*p + 9 = 0, 0 = -4*t + 2*p + 12. Suppose t*i - 2*d + 5*d - 12 = 0, d = 5. Is ((-9)/i)/((-3)/(-15)) a multiple of 15?
True
Let f(y) = -6*y - 4. Let u(a) = -8*a**2 + a - 1. Let g be u(1). Let z be f(g). Suppose 3*i - 4 - z = 0. Is 16 a factor of i?
True
Let q be (-10)/((-3)/(-2) + -1). Let v = -8 - q. Is 6 a factor of v?
True
Suppose z = -5*q + 15 + 501, 0 = -5*q - 5*z + 520. Is q a multiple of 19?
False
Suppose 4*b + 54 = 5*b - 5*h, -h + 82 = 3*b. Does 29 divide b?
True
Let z(y) = y. Let u be z(4). Suppose -u = -3*a - 1. Is (4/8)/(a/34) a multiple of 13?
False
Let t(a) = 0*a**2 + 0*a**2 + 9*a**2 - a. Let g be -1 + 0 - 2/2. Is t(g) a multiple of 19?
True
Let t(i) = i**2 + 8*i - 10. Is 5 a factor of t(-15)?
True
Suppose -3*h + 22 = -5*w, -3*h - 5 + 17 = 0. Does 13 divide 1*(w - -1)*-13?
True
Does 33 divide (5980/69)/((-4)/(-6))?
False
Let z(x) be the second derivative of x**4/6 + x**3 + 5*x**2/2 + 4*x. Is 5 a factor of z(-4)?
False
Suppose 0 - 15 = 5*o. Let m be 2/(o*2/(-159)). Suppose 5*y + m = 163. Is y a multiple of 18?
False
Suppose 0 = 4*g + 5*g - 756. Is g a multiple of 12?
True
Let u be 2 - (-1 + (2 - 2)). Suppose -8 = -3*b + 4*b + u*s, -3*b - 5*s - 16 = 0. Is (-87)/b + 4/(-8) a multiple of 17?
False
Suppose -2*t + 412 = 14*f - 10*f, 0 = 3*f + 6. Does 30 divide t?
True
Suppose -43 = 3*y - 13. Let g = y + 16. Does 10 divide -10*g/9*-3?
True
Suppose 3*i + 259 = 5*b, -4*b + 215 = -i - 4*i. Is 10 a factor of b?
True
Suppose 3*r + 6 + 1 = -n, -3*n - 14 = 2*r. Let o(t) = -t**3 - 3*t**2 + 5*t + 4. Let q be o(n). Suppose q = 2*k - 4*k + 76. Does 14 divide k?
False
Let g be (-94)/(-18) - (-2)/(-9). Suppose 0*i = -g*i + 5*v + 65, i - 23 = 3*v. Is i a multiple of 8?
True
Suppose m + 12 = y + 74, 0 = -2*m - 2*y + 128. Does 13 divide m?
False
Suppose -4*t + 2*g + 478 = 0, -290 = -3*t - 3*g + 73. Does 15 divide t?
True
Suppose 4*q - 3*n - 9 = 0, q + 4*n = -2*q - 12. Suppose q = 6*h - h. Suppose -2*c + 40 - 10 = h. Is 8 a factor of c?
False
Suppose 0*c + 5*h + 10 = 5*c, 0 = 2*c + 4*h - 16. Suppose -o = 3*o - c. Does 6 divide o + (1 - -9) - -1?
True
Let t be 2/(-7) + 121/7. Suppose -5*n + 62 = t. Is 9 a factor of n?
True
Let a(o) = 5*o**2 + 2*o. Suppose b + 2 = -0*b. Does 7 divide a(b)?
False
Suppose 28 = p - 5*b, -4*p - 2*b - 8 = 2*b. Suppose t + 34 = p*t. Is t a multiple of 13?
False
Suppose 16 = 3*r + r. Suppose 4*w - r = 2*q, -5*q + w + 23 = 2*w. Suppose o = q*o - 12. Does 2 divide o?
True
Let u(b) = 23*b + 33. Does 19 divide u(6)?
True
Suppose 0 = 4*y - 254 - 230. Let g = 180 - y. Is g a multiple of 17?
False
Let z be (-7 - -1)/((-27)/18). Is 31 a factor of (-109)/(4/(z*-1))?
False
Let c = 72 + 96. Is c a multiple of 24?
True
Let s(g) = 32*g**2 - g + 6. Is s(-2) a multiple of 17?
True
Let w = 1 - -11. Is 4 a factor of w?
True
Let h(x) = x**3 - 7*x**2 + 9*x - 8. Is 3 a factor of h(6)?
False
Let z(i) = i**3 + 21*i**2 + 17*i - 39. Does 11 divide z(-20)?
False
Suppose 0 = 5*r - 2*b + 58, -2*r + b + 6 = -3*r. Let s = r + 7. Does 6 divide (4 + s)/((-1)/(-10))?
False
Suppose -2*m - 2*m = -4*b - 352, 5*b - 106 = -m. Suppose 0 = -3*p + c + 255, -342 = -5*p - c + m. Let y = -52 + p. Is 17 a factor of y?
True
Let m = -39 - -19. Let w be ((-32)/(-5))/(2/10). Let k = m + w. Does 5 divide k?
False
Let q(z) = z**2 + 12*z - 8. Let d be q(-14). Suppose 0 = -j + d + 5. Does 7 divide j?
False
Suppose 2*v - 7*v = -390. Is 51 a factor of v?
False
Let y(k) = -k**2 + 13*k + 19. Does 4 divide y(14)?
False
Let a(p) be the third derivative of 7*p**4/24 - p**3/6 + 5*p**2. Does 9 divide a(5)?
False
Suppose 4*g - 23 = -3*b, b - g = -3*g + 9. Let k(v) = -v + 9. Let a be k(b). Suppose 0*l - 56 = -a*l - 4*j, 4*l = 3*j + 91. Is l a multiple of 13?
False
Let v = 241 + -170. Is v a multiple of 11?
False
Suppose -16 = -4*k + 6*k. Is (-13 + -1)/(4/k) a multiple of 15?
False
Let y(g) be the second derivative of -33*g**5/10 + g**4/12 + g**3/6 + 7*g. Is 22 a factor of y(-1)?
True
Let h(g) = 2*g**2 + 2*g - 2. Let n be h(-2). Suppose -v = d - 3, -n*v - 6 = 2*v - 2*d. Suppose -2*i = -5*a - 4*i, v = 3*a - 3*i - 21. Is a a multiple of 2?
True
Let r = 14 + -21. Let n be 254/6 - r/(-21). Let t = n + -8. Does 12 divide t?
False
Suppose -24 + 4 = -5*d. Is 2 a factor of d?
True
Let d be -1 + (0 - -3 - -2). Suppose d*y - 243 = -51. Does 15 divide y?
False
Suppose 1673 = h + 6*h. Is h a multiple of 54?
False
Suppose -11*c + 43 = -1. Is 4 a factor of c?
True
Let r be 0/((0 - -2)/(-2)). Is 13 a factor of r + -2 - (-123)/3?
True
Suppose 4*d + 17 = -3*u, 0 = -4*u - 4*d + 4 - 24. Let s = u - -5. Suppose 29 = -s*g + 3*g. Is 12 a factor of g?
False
Suppose 0 = -y + 8*y - 84. Is y a multiple of 12?
True
Let q = -2 - -11. Suppose 2*z - z = q. Does 9 divide z?
True
Suppose -158 = -4*m - 58. Suppose 5*l - m = 15. Does 7 divide l?
False
Let j(o) = -33*o + 4. Let s be j(-4). Let c = -72 + s. Does 17 divide c?
False
Let c be (1*-1)/(3/6). Let l(r) = 3 - 17*r**3 + 14*r**3 - 1. Is l(c) a multiple of 13?
True
Let p(o) = 18*o - 5. Is p(3) a multiple of 7?
True
Let o = 44 + -8. Is o a multiple of 16?
False
Suppose 0 = 3*g + 39 + 3. Let s = g + 26. Is 7 a factor of s?
False
Does 50 divide -1 + -277*(-3 + 2)?
False
Let s(t) = 25*t. Is 4 a factor of s(1)?
False
Let p(z) = 7*z**2. Let v be p(-1). Let q = -8 + v. Let r = 11 + q. Does 8 divide r?
False
Suppose 2*z + 5*n = 6*z - 124, 4*z = -3*n + 92. Is z a multiple of 4?
False
Let x = 27 - -5. Is x a multiple of 8?
True
Let n be (0 - 2)/((-1)/7). Let g be (-18)/6 - (-2 - 9). Let v = n - g. Is v a multiple of 6?
True
Let y = 13 - 9. Let u = -68 - -144. Suppose 0 = -y*m + u + 80. Is 16 a factor of m?
False
Is 11 a factor of (4 + 8)/(9/66)?
True
Let k(p) = -p**3 - 2*p - 3*p + 3*p. Suppose 0 = -3*c - 3, -5*i + 4*c = -4*i - 2. Is k(i) a multiple of 9?
False
Let m = 38 + -20. Is 18 a factor of m?
True
Suppose 14 = 2*o - 5*a, 0 = 5*a - 20 - 0. Is o a multiple of 8?
False
Let n(l) = l**3 + 8*l**2 - 2*l + 8. Is n(-7) a multiple of 11?
False
Suppose -2*f = -5*f + 63. Is 7 a factor of (-10)/5*f/(-2)?
True
Let s = 338 - 184. Is s a multiple of 16?
False
Let j be -2*14/(-12)*-3. Let g(d) = -d - 1. Does 4 divide g(j)?
False
Suppose 21*v - 22*v + 8 = 0. Is v a multiple of 2?
True
Suppose 0 = n + 2*t - 4*t - 26, 5*n - 2*t - 106 = 0. Is n a multiple of 8?
False
Let x be 6/(0 + (-6)/(-8)). Is ((-38)/(-4))/(4/x) a multiple of 6?
False
Suppose c - 2*c - 9 = 2*g, g = c. Let w be -6*g/12*2. Suppose 4*z = -2*i + 110, 3*z = -w*i + 114 - 33. Is 14 a factor of z?
True
Let y = -101 + 150. Does 4 divide y?
False
Let s(r) = 744*r**2 - r - 1. Let c be s(-1). Suppose -n = 2*n - c. Suppose 0 = 2*b + 5*l - 41, -4*b + 4*l + n = 96. Is 18 a factor of b?
False
Suppose 8 = v - 7. Suppose -a - 3*b + v = 0, -a + 4*a = -3*b + 75. Is a a multiple of 22?
False
Suppose 3*c - 6*c = -6. Let z = 0 - -60. Suppose -j = -c*j + z. Does 22 divide j?
False
Let o = 145 - 99. Is 6 a factor of o?
False
Let q = -147 - -152. Is q a multiple of 4?
False
Suppose 0 = -2*c + 2*v + 14, -2*v - v + 7 = 4*c. Suppose 0 = 4*r - 16, -3 = c*y - 5*r + 1. Does 2 divide y?
True
Let g = 14 - -1. Suppose u = -3*u + 5*p - 60, 0 = -5*u - 2*p - 42. Does 8 divide (-84)/u + (-6)/g?
True
Suppose -q + 100 = -2*k, 4 = -k - 0. Does 16 divide q?
False
Is -2 - (-5)/((-5)/(-16)) a multiple of 7?
True
Let y = 77 + -26. Let h = y - 18. Is 11 a factor of h?
True
Let f = -7 + 3. Let g = 3 - f. Is 5 a factor of g?
False
Let h(s) = -6*s + 19. Does 35 divide h(-6)?
False
Let g be 3/9*213/1. Let c = -24 + g. Does 21 divide c?
False
Let b = 3 - 5. Let l be 1/2 - (-35)/b. Is 17 a factor of (-3)/((