= 16*c**3 + 307*c**2 + 36*c + 17. Does 50 divide i(-14)?
False
Suppose r - 2 = -2*s, -4*s = -3*s + 2*r + 5. Suppose 5*x + 4*q = 1842, s*q = 4*x - q - 1452. Is x a multiple of 14?
False
Suppose 83*v = 44*v - 155573 + 437582. Does 187 divide v?
False
Suppose 926*c - 847*c - 350365 = 0. Is c a multiple of 8?
False
Let w = -41 - -145. Let o = 31 + 37. Let h = w - o. Is h a multiple of 4?
True
Suppose -4*x = -2*x + 60. Let p be 20/x*(88 - -2). Is ((-12)/(-9))/((-8)/p) a multiple of 5?
True
Suppose -4*j + 20 = 4*s, -2*j = -j - 1. Suppose -16 = 2*b + s*y, -5*b - y + 2 = -5*y. Does 32 divide b + (0 - -183) + 4?
False
Let z(i) = -i**3 - 2*i + 10. Let r be z(0). Suppose r*v = 15*v + 50. Does 25 divide (v - -1)*116/(-6)?
False
Suppose 22 = 3*n - 5*b, -2*n - 2 = b - 8. Let o(w) = 6 + n - 9 + 10 - 11*w + 15*w**2. Does 9 divide o(3)?
False
Let l = 362 - 360. Suppose 47 + 23 = 2*z. Suppose z = l*k - 23. Is k a multiple of 9?
False
Let p = -189 + 444. Does 2 divide p?
False
Let f(d) be the first derivative of d**3/3 - 7*d**2/2 - d + 33. Let a be f(7). Is (-3 - -1 - (a + -177)) + -3 a multiple of 26?
False
Let f(w) = -7*w**2 + w. Let s be f(1). Is 14 a factor of s/30*5*-1330?
True
Let w(k) = -3*k**2 + 31*k - 4. Let v be w(4). Let d be 448/(-12)*(-3)/(-2). Let s = v + d. Is 16 a factor of s?
True
Suppose -2*t = -4*t + n + 4, 0 = -4*n. Let a be -4*t*2 - -4. Let p(i) = -i**3 - 13*i**2 - 13*i - 2. Is p(a) a multiple of 5?
True
Suppose -4*k + 78 = 5*m, -m = -3*m - 3*k + 34. Suppose -4*d + m*d = 12390. Is d a multiple of 21?
True
Let f(j) = -3*j**3 - 48*j**2 - 2*j - 29. Let r be f(-16). Let u be 5/(-20) - (-1045)/4. Suppose r*h + u = 4*n, -2*n + 2*h = n - 195. Is 4 a factor of n?
False
Suppose -49 = 2*d - 17. Let t = d - -33. Let r = t + 14. Is 23 a factor of r?
False
Let q be (-120)/(-32) + (-2)/(-8). Let v be 5*12/75*(-20)/(-8). Suppose -q*u = -2*k + 60, 5*k - v*u - 132 = k. Does 2 divide k?
True
Let i = 298 - 298. Does 27 divide (i - -54)/(4/34)?
True
Let l = 3797 + -1348. Is l a multiple of 79?
True
Suppose -409*u + 1534 = -422*u. Let x be (-1345)/4 + (-3)/(-12). Let o = u - x. Does 41 divide o?
False
Let c(r) = r**2 + 5*r - 21. Let a be -4 + (-1 - 8/2). Does 2 divide c(a)?
False
Suppose 5*y = -3*a + 45046, -a - 20*y = -18*y - 15014. Is a a multiple of 8?
False
Suppose q + q = 20*q - 169344. Is 56 a factor of q?
True
Suppose 36*d - 1025 - 1327 = 134*d. Let y(b) be the third derivative of -b**6/60 - 47*b**5/60 + 19*b**4/24 + 11*b**3/6 - b**2. Does 17 divide y(d)?
False
Let j(t) = -3*t**2 - 3*t - 38. Let a be j(-10). Let k = 536 + a. Is k a multiple of 57?
True
Let h = -368 - -360. Does 15 divide (2 + 116/h)*-6?
True
Does 10 divide 2 - -26101 - (-1)/(((-10)/6)/5)?
True
Let w(h) = -h. Let r be w(-3). Let d be 0 + 26 - (-22 + 9 + 17). Suppose r*i = -d + 283. Is i a multiple of 17?
False
Let f = 15775 + -10399. Is 48 a factor of f?
True
Let n = -406 - -253. Let m = 335 - n. Does 8 divide m?
True
Let p be (1854/(-27))/(-1*(-2)/3). Let d = 144 + p. Is d a multiple of 24?
False
Let u(k) be the third derivative of 3*k**5/10 + 7*k**4/24 + 5*k**3/2 - 2*k**2 + 12. Is 6 a factor of u(-2)?
False
Let m(s) = 7 + 8 + 4*s + 4*s**2 + s - 11*s**2. Let g be m(-4). Let c = 23 - g. Does 29 divide c?
False
Let n(r) = -r**2 - 8*r - 4. Let a be n(-4). Let k(q) = 10 + 0*q**2 - 4 - 8*q**2 + q**3 - 5*q**2 + 14*q + 0*q**2. Is k(a) a multiple of 6?
True
Let j = 13921 - 9625. Is 24 a factor of j?
True
Let r = 193 - 135. Let x = r - -22. Does 8 divide x?
True
Suppose 16 = 11*t - 13*t. Is 3 a factor of ((-18)/t)/(150/9200)?
True
Is ((-29106)/(-1) - 1) + -13 + (14 - 6) a multiple of 25?
True
Suppose y = 5*i + 137, -2*y + 379*i + 246 = 376*i. Is 2 a factor of y?
False
Let u be 24/48 - (-4558)/4. Let d = u + -721. Does 4 divide d?
False
Suppose -5*t - 5 = -15, 4*i + t - 210 = 0. Let w = 54 - i. Suppose -808 = -4*s + w*u, 4*u = 5 + 11. Does 12 divide s?
True
Let b(r) = -3*r - 2. Let n(g) = -8*g - 5. Let k(u) = -11*b(u) + 4*n(u). Let l be k(-2). Suppose 91 = s + 2*v - 5*v, l = 5*s - 3*v - 443. Is s a multiple of 8?
True
Let l(s) = -s**3 - 4*s**2 + 12*s - 1. Suppose 0 = 5*m - 2*v + 20, 4*m - 2*m + 17 = -v. Let x be l(m). Let c(d) = -19*d - 5. Is 7 a factor of c(x)?
True
Let g(q) = q**3 - 5*q**2 + 16*q + 6. Let c(f) = -f**3 - 13*f**2 + 14*f + 6. Let s be c(-14). Let p be g(s). Let v = 234 - p. Does 12 divide v?
True
Suppose -95*b - 239*b + 6197370 = 0. Does 17 divide b?
False
Let v be 8968/16*(-2 + 10). Let b = v + -2608. Does 5 divide (-4)/14 - b/(-49)?
False
Let v = -2284 - -5398. Is 10 a factor of v?
False
Let h = -29479 - -42582. Does 71 divide h?
False
Suppose -22926 = 172*f - 907402 - 328984. Does 12 divide f?
False
Let d(r) = -r**3 + 15*r**2 + 18*r - 30. Let f be d(16). Does 3 divide 1854/33 - f/11?
False
Suppose -4*a + 6*t + 82688 = 8*t, -82736 = -4*a + 4*t. Is a a multiple of 221?
False
Let v(i) = 13*i**2 + 22*i + 8. Does 13 divide v(-11)?
True
Let k(o) = o**2 + 5*o + 4. Let t = -439 - -426. Is 5 a factor of k(t)?
False
Let w be (-4)/(-22) + 80/44. Suppose w*o + 2*k - 2 = 0, -4*k + 2 = 6*o - 3*o. Is (-1 - -3)*(-1 + o - -45) a multiple of 16?
False
Let j(d) = 13*d**2 + 36*d + 9. Is 27 a factor of j(12)?
False
Suppose -2*y = -8 + 4, 34 = -5*l + 2*y. Let v be 1*(2/l*-15 + 0). Suppose -2*g = -v*g - 5*t + 508, -5*t = 4*g - 679. Is g a multiple of 9?
True
Suppose 3*p = i - 3*i + 11, 3*i - 9 = -2*p. Let z be (-2)/(-3)*(-150)/(-20)*i. Suppose -5*u + 10 = z, -h - u = -56. Is h a multiple of 11?
True
Let l be -4 - (24/28)/(3/(-21)). Suppose 4*v = -4*c + 5*c + 129, 0 = 5*v + l*c - 158. Is 32 a factor of v?
True
Let n(c) = -2*c**3 - 23*c**2 - 54*c + 46. Is n(-18) a multiple of 101?
False
Let f(d) = -2*d**2 - 11*d - 9. Let a = 1 + -8. Let b be f(a). Does 14 divide 2/(-3) - -1 - 5270/b?
False
Is (-8501)/(-6) + 445/(-534) + 6 a multiple of 47?
False
Let g(x) = 196*x**2 - 19*x - 19. Let m be g(-1). Does 32 divide ((-7)/(98/(-612)))/(42/m)?
False
Let x be 30/4*220/30. Suppose 53*g = x*g. Suppose 4*f + 5*t - 8 - 59 = g, 2*t + 10 = 0. Does 5 divide f?
False
Is 71 a factor of ((18744/(-11))/6)/(1420/476 - 3)?
True
Suppose 2*g - 2*b - 21790 = 0, 6*b = -4*g - 36*b + 43488. Does 17 divide g?
False
Let o be 2/6 - 11/33. Suppose o = -42*r + 40*r + 560. Is r a multiple of 40?
True
Let v be 1 + (-1)/(1/13). Let t(r) = 2*r + 26. Let f be t(v). Suppose -f*n + 101 = 35. Does 7 divide n?
False
Suppose 0 = 3*n - 4*b - 101, 4*n - 8*n + b + 139 = 0. Suppose -14*g - 1785 = -n*g. Is g a multiple of 17?
True
Let m(a) be the second derivative of 7*a**2 + 0 + 1/6*a**4 - 19*a + 5/3*a**3. Does 16 divide m(-8)?
False
Let h(y) = 715*y - 1155. Is 73 a factor of h(10)?
False
Let m = 16109 - 10461. Does 5 divide m?
False
Suppose -5*x + 126 = -3*u, u = x - 3*x + 46. Let q = x + -16. Is 3512/12 - (q/3 - 2) a multiple of 16?
False
Suppose 454*u = 455*u - 8. Is (257 + 12 - u) + 1*3 a multiple of 79?
False
Let m(y) = 57598*y + 195. Does 199 divide m(1)?
False
Let b = 49 - 49. Let t be b + 0 + 0*3/18. Suppose t = 4*k + 3*p - 23, -2*k - 2*p + 8 + 2 = 0. Does 5 divide k?
False
Let y be (-3 - -7) + 272/(-4). Let k = y + 68. Suppose k*t = 2*t + 100. Is t a multiple of 5?
True
Suppose -28 = -0*i - i. Let z be -1 - (-20)/i - 800/(-7). Let q = z + -45. Is q a multiple of 18?
False
Suppose 32430 = 5*w + 5*t, 3*t + 0*t - 12972 = -2*w. Does 46 divide w?
True
Does 176 divide ((-18568)/(-12) - -1)*54/(-765)*-17?
False
Suppose 0 = -3*w + 3*i + 1599, -4*w + i + 1070 = -2*w. Let o = w - 777. Is 9 a factor of 288/o*(1 + (-114)/4)?
False
Let g be -3 + 2082/(-24) - (-3)/4. Let l = g + 83. Is ((12/l)/(-2))/((-1)/(-58)) a multiple of 8?
False
Let l = 5 - 4. Suppose -4*m - 7 = l. Does 34 divide 6/12 - 203/m?
True
Let z(q) = q**3 + 12*q**2 - q - 16. Let s be z(-12). Let t be -23 - (s - -5 - 3)*1. Let c = t + 33. Is c a multiple of 12?
True
Let l(j) = 484*j**2 - 92*j - 26. Is l(-2) a multiple of 43?
False
Suppose -5*i = 2*r - 20, 3*i = -5*r - i + 16. Suppose r = 16*f + 4*f - 1700. Is f a multiple of 10?
False
Let o be (-2)/4*-52 + 4. Suppose o + 68 = 2*s. Does 36 divide s?
False
Let b(j) = 0*j + 8 - 28 - 9*j. Let d be (-22 + 2)*4/10. Is b(d) a multiple of 13?
True
Suppose -5*z - 4 = -19. Suppose z*o = o + 16. Is (-108)/(-16) - 1/o*-2 a multiple of 7?
True
Suppos