8?
True
Let k(n) = n**3 - 22*n**2 + 107*n. Is 69 a factor of k(22)?
False
Let t(a) = a**2 + 4*a - 11. Let w be t(7). Suppose 3*l + 3*z - w = 0, -3*l + 3*z + 50 = 2*z. Is l a multiple of 11?
False
Suppose -3*h + 1 = 3*o - 11, 15 = 3*h. Let m be o/(((-9)/2181)/3). Suppose 5*d = m - 267. Is 24 a factor of d?
False
Suppose -2*z = -3*n + 261, 0 = -5*n - 2*z - z + 435. Let c = -23 - -45. Let k = n - c. Does 17 divide k?
False
Suppose 2*q - 2 = -4*n - 0*q, -n + 4 = 4*q. Suppose n = -3*r - 6 - 0. Does 11 divide (-2)/4*r + 17?
False
Let s be (-1560)/(-28)*22 + (-6)/(-21). Suppose -11*m + 347 = -s. Is 32 a factor of m?
False
Suppose -5*z + 469 + 196 = 0. Suppose z = 4*h - 43. Does 11 divide h?
True
Does 37 divide (-3 + (-20)/8 + 2)*-188?
False
Let p(h) = -142*h - 51. Is 9 a factor of p(-2)?
False
Suppose 4*h + 16 = 0, 2*y - 3*h = -52 - 26. Let v = -42 - y. Is 3 a factor of v?
True
Suppose 2*k - 57 + 47 = 0, 931 = 2*y - 3*k. Is 7 a factor of y?
False
Suppose -3*u = 2*h - 128, -3*u + 8*u - 209 = h. Let r = -60 + u. Is 9/(r/8) - -112 a multiple of 27?
True
Let u(d) = -17*d - 4. Let n be u(-5). Let s = n - 135. Let c = s + 88. Does 17 divide c?
True
Suppose 2*p - 1 = 5. Suppose -w + p*w = -46. Does 12 divide (0 - w - -3) + 0?
False
Let h(x) = x + 18. Let g be h(-6). Let c be (2 + -3)*(-40 - -1). Suppose 6*b + 5*u - c = 2*b, -4*u = -g. Does 6 divide b?
True
Let f be 2174/14 + 12/(-42). Suppose -9 = h - 2*h - 2*o, 2*h - 2*o = 0. Suppose -f = -4*a + h*c, -9 = -a + c + 31. Is 28 a factor of a?
False
Suppose -13*g + 5400 = 17*g. Is g a multiple of 45?
True
Let j(w) = w**2 + 4*w. Let i be j(-3). Let l be (1/i)/((-3)/36). Let y = 5 + l. Does 8 divide y?
False
Let q be (33/(-22))/((-1)/2). Suppose q*f = 2*d - 208, 2*f + 0 + 4 = 0. Suppose -3*r - 1 - 95 = -3*w, 2*r = -3*w + d. Is 11 a factor of w?
True
Suppose 3*p + 3*b = 126, -2*p = p - 5*b - 166. Suppose 2*v = -y + 76, -p = -5*y - 5*v + 328. Is y/(-6)*-3 - 1 a multiple of 7?
False
Let a(k) = k**3 + 2*k**2 - 3*k + 77. Does 16 divide a(0)?
False
Let i be 6 + 1 + (-37 - -7). Let q be (3 - -1)/(-2) - 24. Let g = i - q. Is 3 a factor of g?
True
Suppose -111 = -k - 4*p, -p - 3*p - 365 = -3*k. Suppose 497 = 7*y - k. Is 8 a factor of y?
True
Let b(y) = -y**2 + 2*y + 95. Let c(u) = u**2 + 3*u - 18. Let p be c(-6). Does 19 divide b(p)?
True
Suppose 38*j - 64117 = -3013. Does 35 divide j?
False
Let s(h) = 2*h**2 - 3. Does 8 divide s(-4)?
False
Let u(k) = 3*k**3 - 14*k**2 - 14*k - 2. Let d(l) = -7*l**3 + 28*l**2 + 28*l + 3. Let x(b) = 4*d(b) + 9*u(b). Is x(-13) a multiple of 5?
False
Let h(x) = 2*x**2 + 19*x - 1. Let l be (12/14)/((-15)/(-735)). Let f be (-280)/l*6/4. Is 5 a factor of h(f)?
False
Let v(s) = -11*s - 15. Let t(r) = 6*r + 7. Let u(b) = 13*t(b) + 6*v(b). Does 9 divide u(2)?
False
Suppose 0 = -0*l + 2*l - 4. Suppose 4*x = -l + 18. Suppose 62 = x*g - 3*g. Is g a multiple of 14?
False
Suppose -3*w + 5*n = 2*w - 10, 4*w + 2*n = 38. Let c = 15 - w. Let s = 4 + c. Is 7 a factor of s?
False
Suppose -7*n - 174 + 1070 = 0. Is n a multiple of 4?
True
Is 104 - ((-12)/3 - -10) a multiple of 14?
True
Suppose 0 = 3*n + 2*n - 35. Let g(p) = 1 + 4*p**2 + 8*p**2 + 5*p - n*p**2 + 4*p**2. Is g(-2) a multiple of 9?
True
Let f be (-346)/(-3)*(-36)/24. Let k = f + 97. Is 19 a factor of (k/8)/((-1)/2)?
True
Suppose o + 0 = 8. Let a(v) = -3 - v + 0 - o*v. Does 5 divide a(-2)?
True
Let c(r) = r**3 + 6*r**2 + 4*r - 4. Let g = -6 + 2. Let u be c(g). Is 10/(4/u*6) even?
False
Suppose 17*p + 6 = 19*p. Is 3 a factor of p*(19/(-12))/(2/(-8))?
False
Let u = 1780 - 464. Is 13 a factor of (1/(-2))/((-7)/u)?
False
Suppose 5*s - 10 = 0, 6 = -3*f + f - 3*s. Let y be -2 - (f/3 + -277). Suppose 4*j - 31 = y. Is j a multiple of 11?
True
Suppose 2187 = 18*d - 1377. Does 66 divide d?
True
Let d be (3/(-2) - -2)*6. Suppose 0 = -h + 5*c + 53, -5*h + 53 = 2*c - 212. Suppose -2*z = -d*z + h. Does 19 divide z?
False
Let p = -1030 + 1705. Is 27 a factor of p?
True
Let j(q) = -2*q**2 - 2*q + 15. Let g be j(0). Suppose 5*z = 20, -3*z - 24 + 6 = 3*p. Does 36 divide (-6)/p - (-1071)/g?
True
Suppose 0 = -5*y + 6*y + 5*k - 3, 5*y - 120 = -4*k. Is 5 a factor of y?
False
Suppose -45*m + 74298 = -3*m. Does 61 divide m?
True
Suppose 12*u - 8840 - 2992 = 0. Does 22 divide u?
False
Let d(x) = -x**3 - 12*x**2 + 46*x + 135. Is 20 a factor of d(-15)?
True
Let s be ((0 - 1)*1)/((-13)/(-52)). Is (-12)/s + -7 + 49 a multiple of 26?
False
Suppose 2*x - 160 = -3*x. Does 34 divide 4*(536/6 + x/48)?
False
Let s be (36/30)/(9/15). Suppose 0 = -5*x + s*x + 165. Is x a multiple of 11?
True
Let u = -785 + 1289. Does 21 divide u?
True
Let f(t) = t**3 - 3*t**2 - 4*t - 7. Suppose -6 = -5*h + 4*a + 15, 0 = -3*h - 2*a + 17. Let y be f(h). Let n = 41 - y. Does 7 divide n?
False
Let v(d) = -19*d + 10. Let p be ((-2)/(-6))/((-1)/15). Is v(p) a multiple of 21?
True
Suppose 0 = -2*u + 5*u + 4*l - 15, 5*l = 0. Suppose -u*p + 12 = -p. Suppose b + 68 = 4*z - b, -5*z + p*b = -85. Is z a multiple of 9?
False
Let v(n) = 15*n + 10. Does 12 divide v(3)?
False
Suppose 467*k + 5919 = 470*k. Is 42 a factor of k?
False
Suppose -6000 = 267*j - 273*j. Does 25 divide j?
True
Let r(m) be the second derivative of -5*m**3/6 - 9*m**2/2 + 2*m. Does 6 divide r(-7)?
False
Let y = 635 + -565. Is y a multiple of 10?
True
Suppose 494 + 514 = 8*z. Is 14 a factor of z?
True
Is 29 a factor of -3 - 3*(-86 - 7)?
False
Let q = 498 + 6. Does 14 divide q?
True
Let o = 80 + -176. Is 78/(-2)*(o/18 - -5) a multiple of 2?
False
Suppose 0 = -3*x - 3. Let b be 6*1/2 + x. Suppose -b*i + 23 = -1. Is i a multiple of 3?
True
Let u(j) be the first derivative of -13*j**3/3 - 27*j**2/2 - 12*j - 8. Let g(p) = -7*p**2 - 14*p - 6. Let v(w) = 11*g(w) - 6*u(w). Is 25 a factor of v(-11)?
False
Suppose -2*j + n + 1 = 0, 0*j - j = n + 1. Suppose j = 15*v - 14*v + 358. Let i = -233 - v. Does 32 divide i?
False
Suppose -2*n + 2*z + 628 = -2*z, 950 = 3*n - 2*z. Suppose 0 = 5*q - 1263 + n. Is 45 a factor of q?
False
Suppose 1661 = -14*l + 14597. Is l a multiple of 33?
True
Is 8 a factor of 2529/((-27)/72*-4)?
False
Let n(p) = p**3 + 12 - 10*p - 28 + 8*p**2 + 2*p**3 - 2*p**3. Is n(-8) a multiple of 16?
True
Let o = 12 - 11. Let x be 3 + (o - (1 - 0)). Suppose -19 - x = -2*u. Does 9 divide u?
False
Let z be (-9)/(1/((-2)/2)). Let j = 88 - 63. Let q = j - z. Is 16 a factor of q?
True
Let s = 380 - -66. Is 4 a factor of (-4)/34 - (-7)/238*s?
False
Suppose 0 = 2*y + 3*l - 1871, -4*y + 3679 = 5*l - 64. Is 40 a factor of y?
False
Suppose 0*w - 2*w + 32 = 4*q, q = -w + 18. Is 5 a factor of (55/(-44))/((-1)/w)?
True
Is 2 + (1506 - (5 + 2)) a multiple of 20?
False
Let x = -20 - -25. Suppose -x*y = -39 - 61. Is 4 a factor of y?
True
Let a(f) = -f**3 + 11*f**2 - 5*f - 3. Let k be a(10). Let j = k - -86. Is 43 a factor of j?
False
Let o(z) = -z**3 - 13*z**2 + 3*z - 36. Does 28 divide o(-15)?
False
Suppose -2*b = -2*n + 56, -15 = -n - b + 5. Does 24 divide n?
True
Is 23 a factor of (-13)/(-26)*4/2*135?
False
Suppose 60*q - 3952 = 52*q. Does 13 divide q?
True
Let g be 2 + (0 - -1) - (72 + -3). Does 4 divide (6/45*g)/((-2)/5)?
False
Suppose -3*h + 4*c - 323 = 0, 0 = 4*h + h + 3*c + 548. Let t = 20 - h. Is t a multiple of 11?
False
Let l(j) = -4*j - 4. Let m be l(8). Let u = -29 - m. Does 2 divide u?
False
Suppose -6*y - 899 + 1049 = 0. Is y a multiple of 25?
True
Let n = 51 - 33. Let m = 3 + n. Is 5 a factor of m?
False
Let y = -383 + 557. Does 7 divide y?
False
Let y(g) = g**3 - 2*g**2 + 3*g. Let s be y(2). Suppose 0 = 3*u - 9, m - u + 4 = s. Suppose 5 - 36 = -m*i + 2*n, 0 = -2*i + 3*n + 8. Is i a multiple of 5?
False
Let a = 27 - 22. Suppose a*u + 24 + 86 = 0. Let k = 42 + u. Is k a multiple of 20?
True
Suppose o = a - 241, -253 = 4*a - 5*a - 3*o. Is 19 a factor of a?
False
Suppose -72*f = -69*f - 33. Suppose 6*v + 50 = f*v. Is v a multiple of 7?
False
Let i(j) = -168*j - 700. Is i(-9) a multiple of 29?
True
Suppose 0 = -4*d, 0*b + 5*d = -3*b - 111. Suppose -6*y + 8*y = 130. Let k = y + b. Is 20 a factor of k?
False
Suppose 0 = 38*t - 32*t - 762. Is t a multiple of 12?
False
Let g(d) = -3*d**3 + d + 13 + 10*d**3 - d**2 - 8*d**3. Is 13 a factor of g(0)?
True
Let l(t) = -2*t**2 + 77*t - 130. Is 3 a factor of l(35)?
False
Suppose -3*c + 5*h + 173 + 602 = 0, 2*c = 