. Does 11 divide d(8)?
True
Suppose 0 = -4*j + 3*j. Let k(p) = -p + 23. Let c be k(18). Suppose d = -0*x + 2*x - 13, -c*x + 5*d + 30 = j. Is x a multiple of 7?
True
Let f(m) = -2*m - 12. Let l be f(-6). Let h be 225/3 - l/2. Suppose z + h = 2*z. Is z a multiple of 35?
False
Let n(r) = -r**3 + 1 - 3*r - 3*r + r**2 + 0 - 8*r**2. Let g be n(-6). Is (3 + g)/2 - -3 even?
False
Let j(k) = -304*k**3 - 5*k**2 - 10*k - 14. Is 31 a factor of j(-2)?
True
Let w(k) be the third derivative of 0*k + 0 + 3/8*k**4 - 1/60*k**5 + 5/3*k**3 + 6*k**2. Does 5 divide w(9)?
True
Let y(d) = -304*d + 259. Does 77 divide y(-7)?
True
Let l(y) = -y**2 + 11*y - 2. Let g(n) = n**2 - 10*n - 11. Let j be g(9). Let q = -10 - j. Is 6 a factor of l(q)?
False
Does 4 divide ((88/(-6))/2)/(23/(-138))?
True
Let s be 16/24 - (-2)/(-3). Suppose 5*k + 4 + 1 = s. Let d(n) = -18*n - 1. Is d(k) a multiple of 6?
False
Suppose 0 = 5*u - 2*y - 0*y - 5273, 3*u + 4*y = 3169. Suppose 0 = 3*l + 5*h - 655, -5*l + u = 3*h - 2*h. Suppose 5*p - l + 30 = 0. Does 8 divide p?
False
Let n(w) = -3150*w - 30. Does 30 divide n(-1)?
True
Let a(y) = 3*y**2 - y. Let c be a(1). Suppose g + 83 = -c*v, g + 5*v = 2 - 82. Is 15 a factor of -1 - -1 - (g + 10)?
True
Let i(f) = -f**2 - 11*f - 5. Let m be i(-10). Suppose 0 = m*c - c + 16. Let d(y) = -y**2 - 7*y + 1. Is 12 a factor of d(c)?
False
Let b be (4/6 - 1)/((-5)/(-60)). Let a(k) = 9*k**2 - 4*k - 13. Is 11 a factor of a(b)?
False
Let t(y) = -23*y - 146. Is t(-14) a multiple of 8?
True
Let i(h) = 2*h**2 + 5*h - 10. Let x be (0 - 6)*((-78)/(-18) + -5). Is 3 a factor of i(x)?
True
Let y = 706 - 178. Is 16 a factor of y?
True
Let o = 502 + -471. Is o a multiple of 4?
False
Suppose 0 = -7*i + 14*i - 336. Is 12 a factor of i?
True
Suppose -3*m + 3*u + 9 = 0, -u - 1 = -m + u. Suppose 4*o + 5*n - 18 = -0*o, 3*n + 4 = m*o. Suppose 111 = o*s + s. Does 12 divide s?
False
Let a(n) = 21*n**2 + 14 - 20*n - 11*n**3 + 10 + 10*n**3. Is 9 a factor of a(20)?
False
Let a(r) = 17*r - 9. Is a(26) a multiple of 3?
False
Let n be (-3 - -7) + -1 + 5. Let u be (n - (1 - -3)) + 1. Does 8 divide 88/55*u*4?
True
Let v(i) be the second derivative of 0 + 4*i - 2*i**2 - 1/20*i**5 - 1/2*i**3 + 1/2*i**4. Is 6 a factor of v(5)?
True
Let r = 8 + -5. Let k = -19 + 138. Suppose -r*t + k = -4*p, -4*t - p + 151 = 24. Does 11 divide t?
True
Suppose 0 = -7*z - 25 + 11. Is 5 a factor of (z/3)/(2/(-75))?
True
Let o = -406 + 1894. Is 19 a factor of o?
False
Let i be 13/(-13)*(1 + -4) - 2. Is (-4 + i)*((-304)/(-12))/(-1) a multiple of 10?
False
Let y(i) = 3*i**2 + 3*i - 10. Let q be y(9). Let r = q - 139. Does 26 divide r?
False
Let a = -10 + 5. Let o(d) = -d**3 - d**2 - 4*d - 12. Is o(a) a multiple of 21?
False
Let l(x) = -x**3 - 6*x**2 + x + 8. Let v be (-3)/((-9)/6) - 8. Let y be l(v). Suppose 0 = -y*s + 3*s - 14. Is 6 a factor of s?
False
Let w be 1/4 - (-5852)/(-112). Let q = w + 109. Is q a multiple of 20?
False
Suppose -2*p + 20 = 3*p. Suppose p*s - 1 = 11. Suppose -138 = -s*j - 39. Is 11 a factor of j?
True
Suppose 4*v + 15906 = 37*v. Is v a multiple of 25?
False
Suppose o - 2*o = -3*z - 22, -3*z = 4*o - 58. Let r = 1 + o. Does 4 divide r?
False
Let c be ((-2)/2)/(4/76). Let m(t) = 34*t**2 + 2 - 53*t**2 - t**3 - 1 - t. Does 20 divide m(c)?
True
Let h(m) be the third derivative of -m**6/120 - m**5/6 - 11*m**4/12 + 4*m**3/3 + 4*m**2 + 5. Is 19 a factor of h(-10)?
True
Let y(k) be the first derivative of 3*k**2 + 3*k + 38. Is 11 a factor of y(16)?
True
Let i(t) = t**2 + t - 2. Let g be i(2). Let r(o) = 3*o**2 - 3*o - 2. Let v(l) = -2*l**2 + 2*l + 2. Let f(z) = 3*r(z) + 4*v(z). Is f(g) a multiple of 6?
False
Suppose 3 = -3*w - 6. Let y be 10/3*(w + -3). Let q = y + 28. Does 8 divide q?
True
Suppose 0 = -2*h - 2, -3*h + 69 - 352 = -2*y. Suppose v - 2*v + y = 0. Is 20 a factor of v?
True
Let r be (-46)/(-6) + 10/(-15). Suppose s = -r + 85. Is 26 a factor of s?
True
Is 33 a factor of (-91 - 4)/(2/(-6))?
False
Let f = 22 - 5. Let w = f + 10. Suppose w = d - v, 0*v + 3*v - 51 = -3*d. Does 11 divide d?
True
Let z = -52 - -54. Suppose 0 = -0*c - c - 4, -z*c + 112 = 5*m. Is m a multiple of 24?
True
Suppose -254 + 2 = -4*x. Suppose 5*c - x = 397. Does 8 divide c?
False
Let w(u) = -9*u**3 - 8*u**2 + 8*u - 6. Does 68 divide w(-5)?
False
Suppose 3*a = -2*b - b + 18, 0 = -2*b + 5*a + 5. Suppose v = 6*v + b*n - 15, 0 = 3*v - n + 3. Let t(y) = y**3 + y**2 + 11. Does 4 divide t(v)?
False
Let r(l) = l**3 + 3*l**2 + 2*l. Let p be r(-2). Suppose f - 2*f + 108 = p. Suppose 0 = -4*n + n + f. Is n a multiple of 9?
True
Let t be 12/(-16) + (-124)/32*-26. Suppose 23*o - 18*o - t = 0. Is o a multiple of 4?
True
Suppose 136*q = 141*q - 2405. Is q a multiple of 13?
True
Let p(g) = 6*g - 4. Let t(a) = 2 + 1 - 7*a + 0*a. Let q(i) = 3*p(i) + 4*t(i). Is q(-2) a multiple of 10?
True
Let w = -22 + 33. Suppose -12*r = -w*r - 60. Is 16 a factor of r?
False
Suppose 4*b - 8 = 4*s, -4*s + 0 = -3*b + 4. Suppose -5*t - b*g + 6*g + 6 = 0, 5*t - 4 = 3*g. Suppose 0 = -2*i - t*i + 28. Is 7 a factor of i?
True
Let y(n) = -2*n**3 + n**2 + 732. Does 13 divide y(0)?
False
Let n = 61 - -126. Suppose 0 = 2*m + 3*g + 15 - n, -3*g = -4*m + 362. Suppose -4*i + 147 = -m. Is 20 a factor of i?
False
Suppose -5*j + 650 = -545. Is 3 a factor of j?
False
Let r(s) = -s**3 - 9*s**2 - 5*s - 5. Suppose -2*k - 27 = -7. Let p be r(k). Suppose -4*c - c = -p. Is 7 a factor of c?
False
Suppose 4*s - 119 = -5*x, -x + 3*x + 72 = 3*s. Does 12 divide s?
False
Let n = -2 - -37. Suppose -4*d + n = d. Does 7 divide d?
True
Let n(d) = 5*d**2 + 15*d - 5. Let c(u) = -4*u**2 - 15*u + 4. Let i(t) = -6*c(t) - 5*n(t). Suppose -v - 4*v = -70. Is i(v) a multiple of 5?
True
Let v be (0/1)/(9 - 11). Suppose -5*f + g = 234, v*g - 104 = 2*f - 3*g. Is 23 a factor of f/(7/(7/(-2)))?
True
Suppose -l + 1424 = 5*k, -48*k + 2*l + 572 = -46*k. Is k a multiple of 19?
True
Suppose 17*w - 3848 = 2017. Is 15 a factor of w?
True
Let p(t) be the second derivative of t**4/6 - 3*t**2 + 4*t. Let g be p(6). Suppose -5*h = -g - 104. Is 17 a factor of h?
True
Let h = 96 - 30. Suppose -4*n + 21 = 1. Suppose n*y - h = 3*y. Does 11 divide y?
True
Let c = 3724 + -2284. Is 8 a factor of c?
True
Let n(f) = -f**3 - f**2 + 2*f + 1. Let t be n(4). Let c(y) = -6*y**3 - 2*y**2 + 6*y - 5. Let x be c(2). Let s = x - t. Is s a multiple of 11?
True
Let s(r) = -r**3 + 19*r**2 + 20*r + 3. Let z be s(20). Suppose -z*h + 720 = 3*h. Does 30 divide h?
True
Let g(x) be the first derivative of -x**2/2 + 14*x + 2. Is 15 a factor of g(-16)?
True
Suppose -5*d + 173 = 4*t - 1238, 2*d + t - 562 = 0. Is 39 a factor of d?
False
Let m(z) = z**3 - 12*z**2 - 13*z + 1. Let x = 1 - -12. Let p be m(x). Suppose 0 = -5*y + 4*y - p, -3*c - 4*y + 116 = 0. Does 6 divide c?
False
Let n be (1/4)/(1/8). Let f(t) = -2*t**2 + 4*t - 15*t + t**n + 1 - t. Is 14 a factor of f(-9)?
True
Let v(z) = z**3 - 10*z**2 + 11*z - 9. Let i be v(9). Let g(f) = 11 + f + f**2 - i + 7*f**2. Does 18 divide g(-2)?
False
Let o be -48 + 0/(2*2/(-4)). Is 7 a factor of 72/o*(-436)/6?
False
Let g(h) = -h**2 - 4*h + 4. Let z be g(-3). Suppose -2*v - z*u + 4*u = -279, u = 5*v - 723. Is 12 a factor of v?
True
Let s(v) = -v**3 - 4*v**2 + 2*v - 7. Let y be s(-5). Suppose 5*m - y*m + 309 = 0. Is 15 a factor of m?
False
Let v = 142 + -82. Does 5 divide v?
True
Suppose 0 = 5*i + 11*i - 7920. Does 55 divide i?
True
Suppose 3*t - 4959 = -3*y, -4*y + 3*t = -5*y + 1647. Is y a multiple of 36?
True
Let l(j) = -j - 11. Let r be l(-16). Let z = -2 + r. Is -7 + 3 + z - -15 a multiple of 4?
False
Suppose -29*z + 4*z = -12125. Does 59 divide z?
False
Let m = -1146 - -1335. Does 7 divide m?
True
Let a(w) = -8*w**3 - 3*w**2 + 3*w - 2. Let k be a(1). Is ((-192)/k)/(116/(-40) - -3) a multiple of 29?
False
Suppose 7*f = 5*x + 11*f - 6892, 0 = f - 3. Is x a multiple of 8?
True
Let y(p) = p**2 - 5*p - 4. Does 20 divide y(32)?
True
Let w be -1 + 6/(-3) + -2. Let a(m) be the third derivative of m**5/30 - m**3 - 8*m**2. Does 14 divide a(w)?
False
Let n = 27 - -23. Suppose -7*r - 210 = 42. Let w = n + r. Does 9 divide w?
False
Let s(o) = o**3 + 8*o**2 + 2*o + 7. Let m be s(-6). Let j = m + -19. Does 12 divide j?
True
Let k be ((-15)/(-9))/(3/72) + 2. Let l be ((-2)/(-4))/(3/12). Suppose o - l*t = 3*t +