11 a factor of i?
False
Let v = -1716 + 6977. Is 5 a factor of v?
False
Let l = -184 + 113. Let j = 76 + l. Suppose 5*b = -5*w + 25 + 15, -8 = w + j*b. Does 6 divide w?
True
Suppose -k - 4*h + 866 = 0, 4*k = -h + 1978 + 1456. Is k a multiple of 11?
True
Let s = 3867 - -21758. Is s a multiple of 41?
True
Let v(n) be the first derivative of -n**4/4 - 8*n**3/3 - 2*n**2 - 15*n + 109. Let q(y) = -8*y**2. Let t be q(1). Does 12 divide v(t)?
False
Let u = -5205 - -11637. Does 78 divide u?
False
Let p(v) be the third derivative of 3*v**6/40 - 7*v**5/60 - v**4/8 + 5*v**3/6 - 3*v**2 + 7*v. Is 18 a factor of p(4)?
False
Suppose 4*x + 5*s - 8841 = 10*s, -x - 4*s + 2184 = 0. Is x a multiple of 10?
False
Is 9 a factor of (13 - -41)*((-111)/3)/(-1 - 2)?
True
Let n be 3/(-1 - 0) + (24 - 11). Let o(j) = -4*j - 306 + 304 + n*j. Is o(10) a multiple of 7?
False
Suppose -17*s = s - 36. Let t(w) = -3*w**2 - 3 - 14 + 6*w**s + 46*w - w**2. Does 32 divide t(-26)?
False
Let r(m) = -10*m - 55. Let s be r(-18). Let j(c) = -129*c**2 + 274*c**2 + 33 - s*c**2 - 20*c - c**3. Is 16 a factor of j(18)?
False
Let z(w) = -w**3 + 3*w**2 + 8*w - 6. Let g be z(4). Suppose -g = -3*a + 2*h, 4*a - 2 = h + 3. Suppose -19*n + 23*n - 64 = a. Is n a multiple of 8?
True
Let y = -2018 + 8841. Does 61 divide y?
False
Suppose 103*d - 223*d + 136336 = -112*d. Does 87 divide d?
False
Suppose -6 - 4 = -5*g. Let a(l) = -l**g - 25 + 20*l - 5*l + 4. Is a(11) a multiple of 6?
False
Suppose -84 = g - 118. Let j = g - -479. Does 19 divide j?
True
Let h be (-3)/(-5) - 48/80. Suppose 0*w = 4*w - 20, -3*g + 3*w + 42 = h. Is g a multiple of 19?
True
Suppose -368*a + 271994 - 2954 = -338*a. Is 23 a factor of a?
False
Suppose -21 - 15 = -9*x. Suppose 0 = h - 3*z - 102, h - 2*z - 523 = -x*h. Is 21 a factor of h?
True
Let c = -6 + 6. Let j be (-7)/(-14)*(c + 0). Suppose 0 = -4*h - 5*l + 153 + 299, 2*h + 5*l - 226 = j. Is h a multiple of 14?
False
Suppose 15*k - 130 = -11*k. Suppose k*l - 4*l = 4*j - 1493, 0 = -l - 5. Is j a multiple of 32?
False
Let v(n) = 2*n**2 - 3*n - 2. Let t be v(4). Let u be 3/12 + -1 + (-2638)/(-8) + 1. Suppose u*i - 329*i = t. Is i a multiple of 2?
True
Let s = 29 - 62. Let l = -4173 - -4248. Does 5 divide (-5)/(l/5)*s?
False
Let o(v) = 22*v + 198. Let k be o(-9). Suppose -10*c + 15507 - 6197 = k. Does 19 divide c?
True
Let y(i) = 55 - 59 - 9*i - 51*i**2 + 51*i**2 + 84*i**2. Is 25 a factor of y(-2)?
True
Let w(u) be the second derivative of -47*u**3/2 - 3*u**2 - u. Suppose -17*r - 4772 = -4755. Does 9 divide w(r)?
True
Let s(a) = -3*a - 5. Let w be s(18). Let c(d) = 5*d**2 + 4*d - 4. Let o be c(4). Let l = w + o. Does 8 divide l?
False
Suppose 112*c - 672084 = -22*c + 7*c. Is c a multiple of 54?
True
Let x(b) = 98*b**2 + 39*b + 298. Is 19 a factor of x(-9)?
True
Let q = -98 + 103. Suppose -q*r = -2978 - 932. Is 19 a factor of r?
False
Let q be (-6 - -6)/2 + (0 - 2). Let x be (12/(-4))/(1*q/(-56)). Let u = x + 204. Is 40 a factor of u?
True
Is 185 a factor of (-1004)/64*-3*188 + (-33)/44?
False
Let x be 77/28 + (-4)/(-16). Is 2 a factor of (-20335)/(-147) - (-2)/x?
False
Let x = 3210 - 2098. Is 15 a factor of x?
False
Let o = 97 - 33. Suppose -s - 3*s - 4*y = o, -4*y = -8. Is (2 - -1) + (-2754)/s a multiple of 39?
True
Let v = -153 - -146. Let s(w) = -23*w - 140. Is s(v) a multiple of 2?
False
Let d = -2848 - -5968. Does 39 divide d?
True
Let y be (-1)/(((-4)/16*-4)/8). Let c(g) = -g**2 - 11*g - 18. Let v be c(y). Suppose 0 = j - v + 9, 4*q - 858 = -2*j. Is q a multiple of 27?
True
Let h(r) = r**3 - 8*r**2 - 14*r - 16. Let v be h(11). Let f = v + 212. Does 14 divide f?
False
Let x(i) = -i**2 - 9*i - 12. Suppose 5*g + 0*g = s + 27, -g + 18 = -2*s. Let t be x(s). Suppose 4*w - 1 - 17 = -m, -5*w + t*m = -16. Is 3 a factor of w?
False
Let q = -545 + 558. Suppose q*a - 840 = -2*a. Does 4 divide a?
True
Let q = -57 + -7. Let z = 108 + q. Is z a multiple of 5?
False
Let t = 720 + -718. Suppose 2*d + 4*u - 658 = 6*u, t*d - 646 = 5*u. Is d a multiple of 17?
False
Let v = 201 - 119. Suppose 5*u + 0*u = 3*h + 14, -2*h + 4*u = 6. Let g = v + h. Is 11 a factor of g?
False
Let y = 1676 + 6075. Does 23 divide y?
True
Suppose 2*h + 0*h = 0. Suppose h = 10*b - 2*b - 24. Suppose -2*g + 124 = -4*m + m, -m + 175 = b*g. Is g a multiple of 14?
False
Let k(b) = -5*b**3 + 4*b**2 + 3*b + 1. Let x be k(-2). Suppose 3 = 4*f + x. Let a(u) = u**2 + 7*u + 10. Is 14 a factor of a(f)?
True
Let c(g) = 260*g**2 - 236*g - 1662. Is c(-7) a multiple of 134?
True
Let h be (8/(-10))/(4/(-10)). Let v = 78 + -49. Is -3 + (h - 4) + v a multiple of 12?
True
Let j(n) = 2*n**2 - 7*n + 16. Let v be j(3). Let c(w) = -w**2 - 4*w - 1. Let z be c(-3). Suppose -v*p + z = -154. Is p a multiple of 12?
True
Let f(v) = 7*v**3 + 186*v**2 + 59*v - 56. Does 15 divide f(-26)?
False
Suppose 0*z - 3*p - 27 = -3*z, 4*p + 18 = z. Let i(v) = 50*v - 150. Is i(z) a multiple of 15?
True
Let m = 121 + -39. Let i = 234 - m. Is 7 a factor of i?
False
Let a(t) be the third derivative of 0 - 1/20*t**5 - 1/120*t**6 + 18*t**2 + 1/6*t**4 + 0*t + 0*t**3. Is 26 a factor of a(-6)?
False
Suppose -4*m - 4*z = -4, -4*m + 8 = -4*z - 20. Suppose -2*n + 4*k = -84, -m*n - 2*k + 6*k = -164. Does 8 divide n?
True
Let m = 9360 - 2794. Is 10 a factor of m?
False
Suppose 6 = 2*b + 4, 5*n = 5*b - 2180. Let v = 615 + n. Is v a multiple of 5?
True
Suppose 0 = -5*i + 19*i - 12*i - 22892. Is i a multiple of 79?
False
Suppose 0*t + 4*t + 476 = 0. Suppose -3894 = -69*b + 58*b. Let j = t + b. Does 26 divide j?
False
Suppose 0 = 24*c - 906 - 12774. Is 6 a factor of c?
True
Let s(a) = -106*a**3 - 11*a**2 + 12*a + 118. Is s(-6) a multiple of 11?
False
Let t(r) = 4*r**2 - 2*r + 2. Let l(f) = f**3 + 9*f**2 - 3*f - 13. Let w be l(-9). Let i be ((-5)/35)/((-2)/w). Does 2 divide t(i)?
True
Suppose 0 = 110*n - 102*n + 2112. Let u = n - -879. Does 23 divide u?
False
Let z be 1 + -2 + 19 + 6/(-2). Suppose -z - 25 = c. Let l = 50 + c. Is l even?
True
Suppose -92*y + 1260275 = -792061. Is 22 a factor of y?
True
Let j(l) = -l**3 - 4*l**2 + 8*l + 12. Let d be j(-5). Let g be -5*(76/(-20) - d). Suppose -o - 3*o + 3*y + 119 = 0, 5*o - 150 = g*y. Is 5 a factor of o?
False
Let i = 5897 + 3157. Suppose -i = 22*x - 31*x. Is x a multiple of 8?
False
Let u be (1005/24)/(-1) + 2/(-16). Suppose 4*x - 213 = x. Let z = u + x. Is 3 a factor of z?
False
Let y = 11477 - -25395. Is 22 a factor of y?
True
Is ((50316/5)/6)/((-2)/(-10)) a multiple of 14?
True
Let l(w) = 37*w + 1148. Is 6 a factor of l(-14)?
True
Let n = 127 + -127. Suppose n = -12*f - 15*f + 28458. Is f a multiple of 17?
True
Suppose 4 = 4*u, 42*u = x + 39*u - 6890. Is x a multiple of 11?
False
Let r(q) = 21*q**2 - 8*q**2 - 12*q**2 + 41 - 20*q + 128. Is 49 a factor of r(44)?
True
Suppose 228*p = 244*p - 374288. Is p a multiple of 32?
False
Let d(f) = -7*f - 5. Let y be d(-3). Let u = 18 - y. Suppose -2*h - u*a + 14 = 0, -4*h + 3 + 11 = -3*a. Is h a multiple of 2?
False
Suppose -23*g + 228002 + 24403 = 40391. Does 111 divide g?
False
Suppose -306 + 885 = l + 5*k, -4*l = -4*k - 2196. Suppose 2*y + l = 5*s, -16 = -4*y - 4. Is 8 a factor of s?
True
Suppose 0 = -0*a + a. Suppose 3*l - 4*q + 4 - 16 = a, 2*l = -2*q + 8. Suppose -l*s + 2*k + 60 = 0, -2*s - k = -s - 15. Is 5 a factor of s?
True
Let r(z) = -z**2 - 11*z - 19. Let q(n) = n**3 + 4*n**2 + 3*n + 3. Let c be q(-4). Let g be r(c). Is 4 a factor of (-10)/(-2 - 3)*(-2)/g?
True
Let y(q) = 18*q + 162. Let n(g) = 36*g + 331. Let p(t) = 3*n(t) - 7*y(t). Is 5 a factor of p(-17)?
True
Let v(l) = l**3 + 29*l**2 - 24*l + 39. Let m be v(-24). Does 25 divide m/10 + (-3)/(-6)?
True
Suppose 160*v = -116*v + 1188732. Does 7 divide v?
False
Let t = -20015 + 38255. Is t a multiple of 80?
True
Is 350*48/128*4 a multiple of 3?
True
Suppose 5*v = -37*r + 36*r + 5319, 5*r + 5*v = 26715. Is 9 a factor of r?
False
Let z be (-30)/((-1)/(-5) - 6/5). Suppose 0 = 13*m - 7*m - z. Suppose -s - h = -3*h - 67, 3*h + 300 = m*s. Is s a multiple of 10?
False
Let p be 29/6 - (-20)/(-24). Suppose d - p*d = -816. Does 34 divide d?
True
Suppose 4*r = 525 + 91. Let b = r + -109. Suppose -4*g + b + 95 = 0. Is 6 a factor of g?
False
Suppose -4*x = -4, 0 = -84*g + 85*g + 2*x - 4943. Is 124 a factor of g?
False
Suppose -5*m + 2*i - 599 