6*o**2 - 3*o - 17*o**2 + 3. Let h be c(1). Suppose 3*l + 43 = 2*x, -x - 7 + h = 4*l. Does 10 divide x?
False
Let s be (1 - 41)*(-24)/60. Does 35 divide ((-84)/s)/(8/(-960))?
True
Let b(q) = -3*q**3 + 4*q**2 + q + 1. Let p be (84/(-7) - -4)*(-1)/(-2). Is 7 a factor of b(p)?
False
Let i = 3831 - 3233. Is 13 a factor of i?
True
Suppose 0 = -5*v - 519 + 249. Let c = v + 250. Is c a multiple of 24?
False
Suppose 4 = -3*u + 4*s, 0*u + 4*s - 4 = -3*u. Suppose -154 = -u*z + 2*z + 3*b, 340 = -4*z + 2*b. Let t = -47 - z. Does 12 divide t?
True
Suppose 5*c + 360 = -0*c + 2*h, -306 = 4*c + 2*h. Let w = c - -138. Let o = 72 - w. Is o a multiple of 2?
True
Let h be (-1)/6 - (-4836)/72. Let f be 139 - (-1 + -1 - -3). Let q = f + h. Does 16 divide q?
False
Let k = 27023 - 15530. Does 10 divide k?
False
Let p(r) = r**3 + 53*r**2 + 11*r + 11. Let j(n) = -9*n**2 - 2*n - 2. Let t(m) = 34*j(m) + 6*p(m). Let w be t(3). Let l = -186 + w. Is l a multiple of 11?
False
Suppose -2*a = -n + 4*n - 5871, -2*n - 3*a + 3909 = 0. Let u = 2778 - n. Suppose 3*o - u = -0*o. Is 39 a factor of o?
True
Let m be (-42)/(-126) - (-41)/3. Is 15570/42 - (-4)/m a multiple of 15?
False
Let v(t) = -t**2 + 12*t + 45. Let s be v(-12). Is ((-256)/6)/(27/s) a multiple of 5?
False
Let j(h) = -h**2 - 11*h - 12. Let z be j(-10). Let k(n) = -n**3 - 4*n**2 - 2*n + 1. Let s be k(z). Is 29 a factor of 1 - 4 - 444/s?
True
Is (2191 - 4) + -2 + -3 + 7 a multiple of 117?
False
Let q = 1965 - 1849. Let p = 11 + -31. Let h = p + q. Does 32 divide h?
True
Let s(w) = -4 - 3*w - 18 + 2*w**2 + 17. Is s(-10) a multiple of 5?
True
Does 10 divide (325*9)/1 - (-77)/99*9?
False
Let w = -745 + 1255. Suppose 15*s - 5*s - w = 0. Is s a multiple of 4?
False
Suppose -27*a + 216998 + 693580 + 568293 = 0. Is 58 a factor of a?
False
Let v(u) = u**2 - 16*u. Let g be v(14). Let o = -34 - g. Let c = 48 + o. Does 14 divide c?
True
Let t(x) = 133*x + 26. Let q be t(2). Let m = q + 291. Is 46 a factor of m?
False
Is (357/714)/(-1 + ((-2)/(-25556) - -1)) a multiple of 11?
False
Does 10 divide 1*21/14*-2 + 909?
False
Let y be (-2)/4 - (-551)/(-58). Let w be ((-6)/y)/(105/50 - 2). Suppose -w = 2*x, 2*a - 20 = -0*a - 4*x. Is 5 a factor of a?
False
Suppose -202*a - 155085 = -237*a. Does 21 divide a?
True
Let g be 1/4 + (-244)/16. Let m = g - -18. Suppose 0 = -0*d + 4*d + 5*l - 51, -34 = -d + m*l. Does 5 divide d?
False
Let y(s) = 17*s**2 + 479*s + 20. Is y(-31) a multiple of 28?
False
Suppose -5*j = 2*f - 28765, 17*j + 43160 = 3*f + 22*j. Is f a multiple of 7?
False
Let n(z) = 2*z**2 - 2*z + 3. Let b(k) = 5*k**2 + 2*k + 3. Let f be b(-2). Suppose 2*g - 5*g + f = 4*p, 5*g + 15 = 0. Does 32 divide n(p)?
False
Let i be -6*(((-347440)/(-12))/(-4) - -2). Suppose 4760 = -34*s + i. Is 76 a factor of s?
False
Let i = -3 - 2. Let n(u) = 47 - 61 + u - 11*u - 4*u. Is 14 a factor of n(i)?
True
Let c(u) = 13*u - 2*u - 4*u - 37 - 5*u. Let q be c(15). Is 29 a factor of (-203*1)/(5 + q + 1)?
True
Suppose -3*f = -r - 41, -5*f + 2*r + 100 - 31 = 0. Is 80 a factor of 13518/f - ((-836)/(-143) - 6)?
True
Suppose -9*j + 10*j - 1 = 0, 0 = -g - 3*j + 2231. Is 34 a factor of g?
False
Suppose 2*u = h + 12, u + 1 = 3*h + 52. Let n be (4/h)/((-3)/27). Suppose 3*d - 471 = 4*k, n*k + 106 = d - 53. Is d a multiple of 17?
True
Let k = -23042 + 28660. Is 55 a factor of k?
False
Is 44 a factor of -574*(-84)/8 + 1?
True
Suppose 0 = 4*p - 3*m - 2250, -p = 3*m - 266 - 289. Let b = p + -481. Is b a multiple of 3?
False
Let y = -35 - -25. Let u(l) be the third derivative of l**6/120 + 13*l**5/60 + 11*l**4/12 - l**3 - 332*l**2. Does 37 divide u(y)?
True
Let r(p) = p**2 + 18*p + 251. Is r(-10) a multiple of 9?
True
Does 128 divide (-1922466)/(-392)*(-12)/(-9)?
False
Suppose 14*u = -16*u + 35880. Let g = -683 + u. Is 15 a factor of g?
False
Let t = 36775 - 4280. Does 67 divide t?
True
Let u = 8564 - 2007. Is 79 a factor of u?
True
Let j(a) = -19*a**3 - 21*a**2 - 2*a + 141. Is 115 a factor of j(-8)?
False
Suppose 4*o - 3*i = 16486, -4*o - 3*i + 5*i + 16488 = 0. Does 31 divide o?
True
Let m = -3919 - -21563. Is 6 a factor of m?
False
Let x be (-2 - -869) + -5 - -3. Is 11 a factor of 1/(5/x) - -3?
True
Let i(l) = 2295*l**3 + 2*l**2 + 258*l - 520. Does 181 divide i(2)?
False
Suppose -168 = 3*a - 7*a. Let q = -38 + a. Suppose -q*s + 314 = 2*n, -3*s + 225 = 6*n - n. Is 20 a factor of s?
True
Let w be -5 + 245/15 - (-1)/(-3). Suppose -3*n + 0 = -6. Let p = n + w. Is p a multiple of 2?
False
Let h = -10230 - -28977. Does 9 divide h?
True
Suppose 0 = -6*y + y + 800. Let g = 22600 - 22648. Let t = y + g. Is t a multiple of 16?
True
Let j(z) = z**2 + z - 6. Let s = 41 - 44. Let o be j(s). Does 12 divide o + -1 + 0 - -121?
True
Suppose 8*q - 2154 = 5*q. Suppose -4*r = l - 232, -3*l - r + 0*r + q = 0. Is 20 a factor of l?
True
Suppose -j + 228 = b + 3*b, 0 = -3*j - 5*b + 677. Suppose -3*y + 3 = 0, 3*s - 4*y = -s - j. Let z = 81 + s. Does 26 divide z?
True
Suppose 0 = -4*a + 3*f + 34, 31*a - 36*a = 4*f - 27. Suppose 39 = -a*o + 1040. Is 11 a factor of o?
True
Let y(a) = 621*a - 35. Let k be y(1). Suppose -102*s = -101*s - k. Is 47 a factor of s?
False
Let l = -28145 - -44998. Is l a multiple of 137?
False
Let d be (4 - 5)/(0 - (-3)/201). Let f = 327 + d. Is 5 a factor of f?
True
Let x(l) = l**3 - 6*l**2 + 6*l - 28. Let o be x(6). Suppose o*c - 829 - 475 = 0. Is 5 a factor of c?
False
Let x = 161 - 111. Let v = -51 + x. Is 14 a factor of (2 - (-2 - -7)) + (-77)/v?
False
Suppose 0 = -2*g - 3*h + 33, -5*h = -2*g + 3 + 6. Suppose 0 = -24*u + 20*u + g. Suppose -u*f + 3*w + 150 = 0, -5*w - 17 = 5*f - 217. Is 15 a factor of f?
True
Suppose -3*r + 0*a + 2577 = -5*a, -5*r = 5*a - 4295. Let o = 1759 - r. Does 15 divide o?
True
Suppose -943940 = 52*r - 161*r. Is r a multiple of 67?
False
Suppose 5*m = 5*i - 4860, 4*i + 4*m - 349 = 3563. Is i a multiple of 15?
True
Suppose -2*k = -3*t - 5, 0*t + 5 = -5*t. Let a = -22 + 23. Does 47 divide -3 - -52 - (a + 1)/k?
True
Let d(h) = -h**3 - 25*h**2 - 58*h + 1. Let q be d(-22). Let p = q + 629. Let v = -216 + p. Does 14 divide v?
True
Suppose -3*u - 15 + 12 = 0. Let x be 436/2 - (-3)/u. Is 10 a factor of 32/1*(x/20 - 7)?
True
Let j(d) = -39*d - 4. Let o be j(-1). Let q be (o/10)/(3/6). Let h(v) = 4*v + 12. Is h(q) a multiple of 20?
True
Suppose 0 = 4*k - 4*i + 19 - 87, 3*k - 4*i = 47. Let u = k + 194. Does 57 divide u?
False
Let p(z) = -2 + 38*z + 8 + 4. Is p(7) a multiple of 24?
False
Let r(q) = -7*q - 18. Let b be r(-3). Suppose -4*c - 13 = -b*h, -2*c + 26 = -5*c - h. Let f = c + 53. Is f a multiple of 23?
True
Does 194 divide (-52763)/(-4) - 3/(-3)*310/248?
True
Let c(x) = 7*x**3 - x**2 - 6*x + 71. Is c(5) a multiple of 5?
False
Suppose q - 1546 = -3*r, 41 - 61 = 4*q. Let n = r - -53. Does 80 divide n?
False
Let v(d) = 6*d**3 + 3*d**2 + 4*d - 11. Let p be v(5). Suppose 2*u - 650 = -3*m, 2*u - 2*m + 184 = p. Is 25 a factor of u?
True
Let g(q) be the third derivative of -q**5/20 + q**4/3 + q**3/3 + 9*q**2. Let t be g(4). Let m(f) = f + 41. Does 6 divide m(t)?
False
Let o be -2 - 11/(11/(-2)). Suppose 8*y + 4*y - 1128 = o. Does 47 divide y?
True
Suppose -36*n - 4218 = 66. Let p = n + 167. Does 3 divide p?
True
Let w = -388 - -392. Suppose -3*z - 3*r + 1212 = -w*r, 0 = z - 2*r - 399. Is z a multiple of 27?
True
Suppose -3*r + 9903 = 3*w, -r = -4*w + 6727 + 6467. Is 58 a factor of w?
False
Let v(i) = -58*i + 4350. Does 11 divide v(42)?
True
Let f(c) = 5 + 3*c**3 - 3*c**3 + 2*c**2 - c**3 + 9*c**2. Let v be f(11). Suppose 5*j - 55 = v*q, 5*j - q - 26 = 3*j. Does 4 divide j?
False
Suppose 13*u - 4896 = -5*u. Suppose -g - 4*z = -u, 0 = 5*g - 4*z - 342 - 1114. Does 36 divide g?
True
Suppose t + 10*f - 2895 = 7*f, 5*f = -4*t + 11594. Is t a multiple of 36?
False
Suppose -3*g + 47136 = -4*x - 6259, 2*x - 35606 = -2*g. Does 38 divide g?
False
Let o(c) be the second derivative of 7*c**4/12 + 13*c**3/6 + 33*c**2 - 2*c - 115. Does 2 divide o(-4)?
True
Suppose -43*u = -5*u - 114. Suppose -l - 5*r = -119, 1 + 11 = u*r. Does 33 divide l?
True
Let h = 725 - -878. Does 13 divide h?
False
Let z(a) = 3*a**2 - 11*a - 100. Is z(21) a multiple of 19?
False
Let b = 5882 - 2876. Is b a multiple of 9?
True
Let v(f) = -f**3 - 11*f**2 - 9*f + 13. Let q be v(-10). Suppose -h + 3*o -