 + 16. Let q be n(-3). Suppose 350 = -5*m + q*m. Is 17 a factor of m?
False
Let a be (-2)/(-4*(-4)/4)*122. Let m = 151 + a. Is m a multiple of 28?
False
Let o = -220 - -100. Let j be -2 + o/(0 - 3). Suppose -2*f + j = 4*i, -2*i = -0*i + 5*f - 7. Is i a multiple of 11?
True
Let u = -85 - -88. Suppose 2*o = 3*z - 2*z - 5, -4*z + u*o + 30 = 0. Does 2 divide z?
False
Let m(w) be the second derivative of -w**5/20 - w**4/12 + w**3/6 + 3*w**2 + 11*w. Is 6 a factor of m(0)?
True
Let s(p) = -p**3 + 21*p**2 - p + 20. Let j be s(21). Does 21 divide 190 + j/((-3)/(-3))?
True
Let w(s) = -s**3 - 23*s**2 - 30*s - 13. Let g(z) = -z**3 + 5*z**2 - 3*z - 7. Let l be g(5). Is 9 a factor of w(l)?
False
Suppose -7104 - 396 = -5*a. Is 9 a factor of a?
False
Suppose -19*y + 8*y = -5060. Is y a multiple of 10?
True
Let f = -6 - -19. Suppose -17 = -v - n, -4*v + n = -3*v - f. Suppose -11*m - 324 = -v*m. Is m a multiple of 13?
False
Suppose 0 = -18*g + 22*g - 1644. Is g a multiple of 12?
False
Let u be (-12)/30 - 2104/(-10). Let s = u + -312. Does 10 divide s/(-10) + (-1)/5?
True
Suppose s + 13 - 18 = 0. Suppose -i + 35 = t - 10, 0 = -s*t - 4*i + 229. Does 14 divide t?
False
Suppose 5*u - 4309 = -4*n, -u = -7*n + 2*n + 5408. Is 23 a factor of n?
True
Suppose -4*p + 4895 = 5*b, 5*p - 980 = -b + 4*p. Is b a multiple of 18?
False
Let p(f) = -f**3 - 17*f**2 - 70*f - 17. Is 8 a factor of p(-14)?
False
Let w be (0/5)/(3 - 2). Let f(p) be the third derivative of -p**6/120 + p**5/60 + p**4/24 + 16*p**3/3 - p**2. Is f(w) a multiple of 6?
False
Let v(r) = -r - 6. Let n be v(-9). Suppose -x + n*p = -0 - 1, -3*x - 3*p + 15 = 0. Does 9 divide -16*(5/x + -2)?
False
Let m(l) = -3*l - 6. Let r be m(-3). Suppose x - 5 = 0, 0*g + 2*g + r*x - 49 = 0. Is 3 a factor of g?
False
Is 34908/20 - 7/(70/(-6)) a multiple of 97?
True
Let v be ((-4)/5)/(3/15). Is (-8)/(v/1)*(-537)/(-6) a multiple of 16?
False
Let v = 9 + 0. Let r be (2 + 0)/((-4)/(-8)). Suppose -r*g + v = -35. Does 11 divide g?
True
Let v = -151 - -77. Let i = 21 - v. Is i a multiple of 9?
False
Suppose -3*a = -6*a - 3*a. Suppose -30 = 3*o - 0. Is 4 a factor of ((a - 3) + 2)*o?
False
Suppose 2*y - 1588 = 2*o, -7*y + 790 = -6*y + o. Is 11 a factor of y?
True
Suppose -2*n + 119 + 131 = 0. Let o = n + 58. Does 27 divide o?
False
Let n(w) = -2*w**3 + 34*w**2 + 20*w - 18. Let b(a) = a**3 - 11*a**2 - 7*a + 6. Let r(z) = 8*b(z) + 3*n(z). Does 21 divide r(-6)?
True
Let m = 18 + -16. Let k(a) = -8*a**3 - 4*a**2 - a - 2. Let n(v) = -15*v**3 - 9*v**2 - 3*v - 5. Let u(p) = m*n(p) - 5*k(p). Does 11 divide u(1)?
True
Is 7 a factor of (5 + (-11946)/(-30))*(5 - 0)?
True
Is 3 a factor of (251 - 180) + 0 + -1?
False
Is (-2 - -1)/(-15 - 201445/(-13430)) a multiple of 79?
True
Let o be 4 + (2 - 1*4). Let d = -53 - -62. Suppose m + d = o*m. Is m a multiple of 7?
False
Let y = -332 + 978. Is y a multiple of 17?
True
Suppose 3*w - 5*s - 1094 = 0, 0 = 2*w - s + 3*s - 724. Is 24 a factor of w?
False
Suppose 30 + 39 = 5*q - 3*g, 2*q - 39 = 5*g. Does 4 divide q?
True
Suppose 0 = 4*k - 2*d - 1142, -6*k - 5*d - 1133 = -10*k. Is 13 a factor of k?
False
Let f(u) be the third derivative of -19*u**4/24 - 11*u**3/6 - 10*u**2. Is f(-2) a multiple of 18?
False
Suppose 0 = -7*n + 151 + 3. Suppose 0 = -n*u + 15*u + 882. Is 13 a factor of u?
False
Let j be (-1)/4 - (-270)/24. Suppose 5 + j = 4*r. Does 4 divide r?
True
Let i be 4 + 3 + -11 + -4. Let a = 20 + i. Does 4 divide a?
True
Suppose 13*s = -5222 + 20094. Does 88 divide s?
True
Let h = 113 + -32. Let q = h + -66. Is 15 a factor of q?
True
Let h(k) = -k - 268. Let u be h(0). Let i = 377 + u. Is i a multiple of 15?
False
Let d(q) = 139*q**3 + 3*q - 2. Let a be d(1). Let i = 251 - a. Is i a multiple of 16?
False
Let v(p) = p**2 + 6*p - 35. Let s be v(-10). Suppose -2*g = 4*f - 132, -f - 4*f - 360 = -s*g. Is g a multiple of 19?
False
Let y(c) = -2*c**2 - 3. Let q be y(-4). Let a be (10/3)/(-6 - 336/(-54)). Is 88/7 - a/q a multiple of 6?
False
Let p = -89 - -102. Suppose -3*t - 570 = -p*t. Does 19 divide t?
True
Let d(y) = -3*y + 18. Let c be d(7). Does 14 divide c*(-20)/(-15) + 18?
True
Let v be (2 - (4 + -1))/(8/(-40)). Suppose v*u = -x - 3*x + 44, 0 = x - 3*u + 6. Is 3 a factor of x?
True
Let p(z) = 3*z - 22. Let h be p(13). Suppose -h*y + 10*y + 763 = 0. Does 21 divide y?
False
Let s(z) = 14*z**2 - 3*z + 3. Let p(t) = t**3 - t**2 - t - 11. Let y be p(0). Let o = 13 + y. Does 15 divide s(o)?
False
Let x(p) = 193*p - 98. Is 20 a factor of x(6)?
True
Let t = 1459 + -664. Does 15 divide t?
True
Let s(z) = z + 9. Let u be s(-6). Suppose -y = t - 5*t + 162, -u*y + 74 = 2*t. Suppose 5*a - 40 - t = 0. Is 13 a factor of a?
False
Suppose -l + 15 = 13. Suppose -89 - 109 = -l*f. Does 33 divide f?
True
Let n = 1 + 2. Suppose 3 = -4*q + 3*f - 9, -5*f + 20 = -2*q. Suppose n*j + 4 - 64 = q. Is 10 a factor of j?
True
Let g = 892 - 452. Is g a multiple of 7?
False
Let c = -1531 + 773. Is 9 a factor of (-11)/33 - c/6?
True
Suppose -9*s + 13*s = 60. Does 7 divide s?
False
Let t = 14 - 1. Let p(u) = -u**3 + 17*u**2 - 31*u - 17. Does 36 divide p(t)?
False
Does 25 divide (1494/54 - 27)/(2/10236)?
False
Let r(z) = -z**3 + 29*z**2 - 14*z + 78. Is r(16) a multiple of 74?
True
Suppose -2*p = -2*h + 8, 0*h - 2*h + 12 = -3*p. Let a be 16/p - 0 - 27. Let q = 57 + a. Does 13 divide q?
True
Suppose -69*u + 63809 + 116074 = 0. Does 9 divide u?
False
Suppose 1232 = 4*s + 4*o, 2*o - 10 = -3*o. Suppose 5*d + s = 8*d. Is d a multiple of 20?
False
Let w = 5338 + -3060. Does 17 divide w?
True
Suppose 0 = -5*n, -4*t - n - 75 = -19. Let u be 4/t + 152/(-56). Is (u - -1)*-14 - -4 a multiple of 5?
False
Let a = 7 + -17. Let w(f) = -f**3 - 8*f**2 + 2*f - 8. Does 43 divide w(a)?
True
Let v be 1 - (-4)/(8/(-46)). Let m be (-112)/(-11) - (-4)/v. Suppose 3*f - 106 = -m. Is 16 a factor of f?
True
Suppose 18*q + 5274 - 44946 = 0. Does 116 divide q?
True
Let z(q) = -10*q**3 + 8*q + 1. Is 19 a factor of z(-3)?
True
Let r = -191 - -367. Is r a multiple of 11?
True
Suppose -u - 11 = 4. Let d = 19 + u. Let m = 10 + d. Does 13 divide m?
False
Let z = 336 + -11. Is z a multiple of 40?
False
Let u = -8 + 8. Suppose u = -4*a + 5*q - 257, 2*a + 3*q + 12 = -111. Is 3 a factor of (-1)/(a/15 - -4)?
False
Let s = -550 + 1142. Is 37 a factor of s?
True
Suppose -17*u = 6*u - 8280. Does 40 divide u?
True
Suppose 0 = 3*g - 2 - 4. Suppose -4*d = -6*j + 3*j - 124, -g*j + 20 = d. Does 18 divide d?
False
Let j = 2104 + -34. Does 38 divide j?
False
Suppose -145*i = -148*i + 249. Suppose 3*b - 2*m = 61, 3*b + b - m - i = 0. Is 12 a factor of b?
False
Let n(j) be the first derivative of j**4/4 - 8*j**3/3 - 5*j**2 + 4*j - 9. Suppose -d - 15 = -4*s + 21, 0 = 3*s + d - 34. Is n(s) a multiple of 21?
False
Let h(o) = 2*o**2 - 3. Let k be h(2). Let f(a) = k*a - a - 3*a. Is 7 a factor of f(14)?
True
Suppose -32 - 168 = -5*x. Let p = 49 - x. Is p a multiple of 6?
False
Does 23 divide (-4)/(-6)*(-64 - -2785)?
False
Suppose 0 = z - u - 35, -u = 20*z - 23*z + 95. Does 2 divide z?
True
Suppose 4*t - 4 + 21 = s, -5*t = -5*s + 25. Does 13 divide 6*(t + (-46)/(-6))?
False
Let f = -866 - -1598. Suppose 5*l + k = f, 3*l - 8*l - 4*k + 738 = 0. Is l a multiple of 20?
False
Suppose 0 = t + 3 - 4. Does 2 divide 2*20*t/2?
True
Let z = -1739 + 2519. Is 30 a factor of z?
True
Suppose -4*t + 2*n + n + 3 = 0, -2*n - 2 = -t. Suppose t*u = 3*u - 408. Is 34 a factor of u?
True
Suppose -8*x = -6*x - 6. Suppose -2*g + 65 = x*g. Does 10 divide g?
False
Let o(b) = 5*b**2 + 9*b - 4 - 6*b**2 + 1. Let y be 1/((-3)/(-21)) + -1. Does 13 divide o(y)?
False
Let i(n) = 2*n**2 - 3*n + 29. Is i(8) a multiple of 19?
True
Suppose -164*x - 300 = -165*x. Does 4 divide x?
True
Let t = 776 - 56. Is 12 a factor of t?
True
Let g(n) = -11*n - 41. Let c(x) = -6*x - 21. Let l(f) = 13*c(f) - 6*g(f). Does 18 divide l(-8)?
False
Let v = -162 - -250. Suppose 4*n = t - 64, 3*n - 325 + v = -3*t. Is t a multiple of 38?
True
Suppose 20 - 29 = -3*i. Suppose 359 = 5*m - i*w, -4*w + 154 = m + m. Is 17 a factor of m?
False
Suppose 12*t - 20217 = 4767. Is 59 a factor of t?
False
Let o(l) = -l**2 - 8*l - 9. Let x(s) = -s**2 - 6*s + 1. Let w be x(-7). Is o(w) a multiple of 3?
True
Let l(d) = -2*d**3 - 5*d**2 - 3*d + 3. Let o be l(-3). Let c = o + 15. I