Let n(r) be the third derivative of r**5/60 - r**4/24 - r**3/3 + 3*r**2. Let k be n(6). Suppose -u = -4*d - 46, u + d - k = -d. Is 17 a factor of u?
True
Let j be 6/12 - (-3)/2. Suppose -j*c = -6*c + m + 419, -4*c + 404 = 4*m. Suppose 4 = b, -c = -4*d + 4*b - 7*b. Is 14 a factor of d?
False
Suppose -7*d + 35 = -6*d - 5*a, 0 = -2*d + a + 34. Is 15 a factor of d?
True
Suppose 2*d + 591 = 5*q - 317, 0 = -q - 4*d + 164. Let m = q - 122. Is 14 a factor of m?
False
Suppose m - 24 = 8. Suppose 2*i = m + 34. Let x = -20 + i. Is 6 a factor of x?
False
Suppose 1 = -4*h - 3. Let n(w) = -w**2 - 6*w + 2. Let c be n(-5). Let y = c - h. Is y a multiple of 8?
True
Let m(y) = 4*y**2 + y + 7. Let l be m(-3). Suppose 0*w + l = 5*w. Is 2 a factor of w?
True
Let d(w) = -18*w + 1. Let y be d(-1). Let g = y + -8. Is g a multiple of 5?
False
Suppose g = 7*g - 1134. Is 27 a factor of g?
True
Suppose -2*m = 8*m - 1680. Is 14 a factor of m?
True
Let d(k) = -k + 3. Let j(b) = -8*b + 20. Let v(n) = -20*d(n) + 3*j(n). Let c be v(-2). Suppose 3*t - 7*t = -5*s + 38, 2*s = 4*t + c. Is 4 a factor of s?
False
Let s = -25 + 87. Let m = s - 14. Does 16 divide m?
True
Let i(q) = -43*q**2 - 3 + 3*q - 2*q - 3*q + 2. Let h be i(-1). Let k = h - -64. Does 10 divide k?
False
Let q be 70/(-6) - 2/(-3). Let c = 0 - q. Does 4 divide c?
False
Let o be (-216)/(-99) - 2/11. Suppose -l = 0, 2*g - l - 18 = -o*l. Is 9 a factor of g?
True
Let w = 4 + 0. Is 32 a factor of w/(8/(-13))*-6?
False
Let f(y) = y + 4. Let u be f(0). Suppose u*r - 27 = r. Is r a multiple of 3?
True
Let u = 4 + -3. Suppose 2*x + u = 31. Let a = x - 5. Does 4 divide a?
False
Suppose r = -2*d + 169, 2*d - 3*r - 309 + 120 = 0. Does 7 divide d?
False
Does 2 divide 40/12*24/10?
True
Let p = -4 + 7. Suppose -39 = p*s - 180. Suppose -t + s = 2*c, -5*t - 4 = -t. Is 12 a factor of c?
True
Let a(p) = -p**3 + 16*p**2 - 21*p - 23. Is a(14) a multiple of 25?
True
Let y(u) = 11*u**3 + u**2 + 3 - 3 - 1. Let m be y(1). Let t = -1 + m. Is t a multiple of 5?
True
Let m(j) = -j**3 + 4*j**2 + 7*j - 1. Let o be m(5). Suppose -o = g - 4*g. Suppose w = 0, 0 = -g*k + 4*w - w + 54. Is 9 a factor of k?
True
Suppose 2*x - 72 = 4*y, y = 2*x - 20 - 52. Is x a multiple of 36?
True
Let b = -10 - -13. Is 18 a factor of (172/6)/(2/b)?
False
Suppose 2*p - w = 84, 4*p + 5*w - 148 = 2*w. Let f = -18 + p. Is f a multiple of 11?
True
Let v = 0 + 0. Is -1 + v + (-11)/(-1) a multiple of 5?
True
Is ((-24)/(-10) + -3)*-195 a multiple of 10?
False
Suppose 35 = -2*a + 3*a. Is a a multiple of 9?
False
Suppose 0 = 5*d - 3*g - 215 - 318, -4*d - 3*g = -448. Is d a multiple of 13?
False
Let d be 3/(-12) + 18/8. Is 13 a factor of (-2080)/(-36) - d/(-9)?
False
Let f = -136 + 166. Is f a multiple of 3?
True
Suppose 0 = -3*t + 3*w + 255, 7*t = 4*t + 2*w + 250. Does 16 divide t?
True
Suppose 111 + 117 = 4*m. Does 18 divide m?
False
Let z(q) = -10*q**3 - q - 1. Suppose -6 = -3*m + 9. Let a be (m/(-15))/((-2)/(-6)). Is 5 a factor of z(a)?
True
Let t(p) = p**2 + 13*p + 15. Let u be (-1 - -2)*(-5 + -7). Is 3 a factor of t(u)?
True
Suppose 5*q - 21 = -6. Suppose -w + 27 = 4*l, -37 - 39 = -2*w + q*l. Is w a multiple of 12?
False
Let w(z) = -20*z**2 + 0*z + 3 - 6*z + 19*z**2 + 0. Does 3 divide w(-6)?
True
Let k be 2/2 - (2 - 4). Suppose 0*t - k*t + 92 = 4*s, 3*s - 76 = -4*t. Is 10 a factor of s?
True
Is 17 a factor of (-526)/(-10) - ((-14)/10 - -2)?
False
Let z = 130 - 59. Let b = -36 + 75. Let v = z - b. Is v a multiple of 9?
False
Let a(s) = -6*s + 90. Is 12 a factor of a(-15)?
True
Let k(u) = u - 7. Let t be k(4). Let i(n) = -2*n**3 - 3*n**2 + 2*n - 3. Is 9 a factor of i(t)?
True
Let p(g) = 2*g - 3*g + 10 + 0. Does 2 divide p(8)?
True
Suppose 2*m + 46 = 4*p - 2*p, 2*p = -2*m + 34. Suppose c - 6 = p. Is c a multiple of 7?
False
Let h(a) = 5*a**2 + 2*a - 1. Let g be h(1). Suppose 3 = -q + g. Suppose 2*t + 5*d = -1 - 6, -q*d = 3*t - 3. Is t even?
True
Let a = 247 - 169. Is 17 a factor of a?
False
Suppose 0 = 2*a - 3*s - 85, 3*a - 5*s - 135 = -6. Is a a multiple of 20?
False
Let r(u) = -u**3 - 8*u**2 - 4*u - 6. Let q be r(-8). Suppose 0 = -2*h + 5*a - 2, 5*h + a - 23 - q = 0. Is 9 a factor of h?
True
Suppose 5*m - 60 = m. Let b = 4 - 15. Let s = b + m. Does 2 divide s?
True
Is 12 a factor of ((-18)/5)/(27/(-990))?
True
Let m(j) = -3 + 7*j**2 - 2*j + 1 - 6*j**2. Let b be m(-6). Suppose 5*k + 1 = b. Is k a multiple of 9?
True
Let z(y) = -y**2 + 68. Is z(0) a multiple of 34?
True
Let i = 80 - 50. Does 5 divide i?
True
Is 18/15*425/10 a multiple of 10?
False
Let r = 4 - 0. Suppose -2*u = -0*u - 5*m - 107, 3*u + 5*m - 98 = 0. Suppose -r*s = -4*i + s + 57, -2*i = -5*s - u. Does 4 divide i?
True
Let g(b) = 0*b - 3*b + 4*b - 5 + 3*b**2. Does 13 divide g(-4)?
True
Is 17 a factor of (2/4)/((-3)/(-306))?
True
Suppose -3*u + 15 = 2*q, 0*u - 20 = -3*q - 4*u. Suppose -y + 0*y = q. Let g = 14 - y. Is 7 a factor of g?
True
Let s = 3 + -3. Is 24/(-6) - (s + -25) a multiple of 8?
False
Let x be (2 + 7/(-3))*-9. Suppose -4*i + x*i = -38. Is i a multiple of 19?
True
Let o be (-18)/(-3)*76/6. Suppose -4*v + o = -4*p, 0 = -5*v + 4*p - 0*p + 91. Does 4 divide (10/v)/((-2)/(-30))?
False
Suppose -2*f = -2*g + 10 + 48, -3*g - 73 = 2*f. Let b = 9 + f. Let l = b - -46. Is l a multiple of 10?
False
Let j(b) = b**3 - b**2 + 112. Let q be j(0). Suppose -6*o + 3*o = -2*a - q, 114 = 3*o - 3*a. Does 13 divide o?
False
Let g be (-143)/(-3) + 2/6. Suppose -6*c = -2*c. Suppose 2*d + c*d = g. Is 12 a factor of d?
True
Suppose 32 + 38 = 5*n. Is n a multiple of 14?
True
Let o(k) = -2 + 7 + 2 + k. Let b be o(-5). Suppose 0 = 3*n + 2*c - 14 - 57, 5*n - b*c - 145 = 0. Is n a multiple of 14?
False
Let l = 639 + -423. Does 14 divide l?
False
Let r be 3 + (0 + 12)/(-3). Does 7 divide (5 - 4) + r + 29?
False
Suppose 0 = -3*c + 60 + 258. Does 36 divide c?
False
Let g(i) = 3*i**2 + 6*i - 7. Suppose -9*f + 15 = -4*f. Is 21 a factor of g(f)?
False
Let x = 16 + 32. Is x a multiple of 5?
False
Suppose 2*l + b = 509, 3*b + 2*b + 5 = 0. Suppose p - l = -4*p. Is 25 a factor of p?
False
Suppose 0 = -15*b + 18*b - 18. Is 2 a factor of b?
True
Let w = 111 + 9. Is w a multiple of 47?
False
Let x = -38 - -75. Is 5 a factor of x?
False
Suppose 20 = -4*o, z = -z + 4*o + 14. Does 10 divide -30*((0 - -2) + z)?
True
Is (0 - -15)/(-5)*-11 a multiple of 25?
False
Let w(c) = c + 3. Let b be w(-5). Is (30 - b) + 0 + -3 a multiple of 29?
True
Suppose b - 2*b = -43. Suppose -3*m = -11 - b. Is 8 a factor of m?
False
Suppose -4*k - 10 = -3*k. Let f(q) = -3*q + 9. Does 13 divide f(k)?
True
Suppose -h - 5*j = -42, 2*h - 54 = -2*j - 2*j. Suppose 6 = -d + h. Does 7 divide d?
False
Let z(y) = -4*y**3 + 3*y**2 + 4*y - 1. Is z(-2) a multiple of 18?
False
Suppose 24 = -n - 29. Let m = n - -19. Is 17 a factor of 0 + (m*1)/(-1)?
True
Let l(t) = t + 3. Let c be l(0). Suppose 2*z = c*w + 36, 18 = z - w - 4*w. Is z a multiple of 9?
True
Let y(a) be the third derivative of a**4/12 - 5*a**3/6 + a**2. Suppose 3*z = 2 + 10. Is y(z) a multiple of 2?
False
Let q be -3 - -241 - (1 + -3). Does 19 divide 8/(-10)*q/(-4)?
False
Suppose -4*k + z + 83 = 0, -4*z = 2*k - 2*z - 34. Let g be 1/3*-17*-6. Let r = g - k. Is r a multiple of 7?
True
Suppose 5*r - 5*i + 255 = 0, -4*i + 110 = -2*r - 0*r. Let x be -98 - 1 - 3/(-3). Let m = r - x. Does 18 divide m?
False
Let l(b) = 42*b - 2. Is l(1) a multiple of 10?
True
Suppose -374 - 126 = 5*p. Is 20 a factor of ((-10)/25)/(2/p)?
True
Let c be (-3)/(((-5)/38)/5). Does 19 divide 1/(((-15)/c)/(-5))?
True
Suppose 5*s + 3*d + 2*d - 115 = 0, -5*d = 10. Is 3 a factor of s?
False
Let u(q) = -q**3 - q**2 + 6. Let k be u(0). Suppose -4*t - m + k*m + 63 = 0, -2*t - 2*m + 54 = 0. Does 11 divide t?
True
Suppose 4*h + 12 = 52. Does 14 divide ((-12)/h)/((-1)/35)?
True
Let r = -41 - -71. Is r a multiple of 15?
True
Let l be (5 + (-2 - -2))*-1. Let b = 7 + l. Is 7 a factor of 40/3 - b/(-3)?
True
Let k be 0/1 - -1 - -6. Let v(z) = 8*z - 7*z - 4 + 5*z. Is v(k) a multiple of 16?
False
Let x(f) be the first derivative of -1 - 1/3*f**3 + 18*f + 0*f**2. Is x(0) a multiple of 9?
True
Suppose 4*n = -2*s + 14, 0 = 5*s - 3*n - 9 - 0. Suppose -s*p + 72 = 2*y + 19, -4*y = -4*p + 64. Is 8 a factor of p?
False
Let k = -8 + 20. Is k a multiple of 12?
True
Let b(y) =