b. Does 28 divide b?
True
Let a(k) = -4*k**3 - k**2 + 0*k - 1 + 5*k + 0*k**3 + k. Let f be a(-4). Does 12 divide 11/66 + f/6?
True
Let h(i) = -8*i**3 + 6*i**2 + 5. Let u(n) = 16*n**3 - 11*n**2 - 9. Let w(m) = 7*h(m) + 4*u(m). Is 16 a factor of w(2)?
False
Let m(t) = -19*t - 276. Does 3 divide m(-15)?
True
Let n(u) = 99*u**2 - u + 0 + 4 + 3 - 5. Let o be n(1). Suppose -5*s + o = 2*c, 0*s - c = -s + 20. Does 4 divide s?
True
Is 20 a factor of (-4857)/(-3) - (4/(-1) + 3)?
True
Suppose -79*d + 72*d = -6174. Is d a multiple of 18?
True
Suppose 5*n - 30 = -5*o, 4*o - 18 - 7 = -5*n. Let l = 0 + o. Suppose l*u - 119 = -14. Is u a multiple of 5?
False
Let n(d) = -90*d - 18. Let b(l) = 45*l + 9. Let s(j) = -9*b(j) - 4*n(j). Let p be s(3). Let m = p - -223. Does 24 divide m?
False
Does 9 divide (816/238)/((-4)/(-210))?
True
Let o(k) = -31*k**3 + 3*k + 3. Does 17 divide o(-2)?
False
Suppose -29 = -9*y + 7. Let x be 12/(-90) + 64/30. Suppose t + y*t = x*z - 7, 5*t = 25. Is z a multiple of 6?
False
Let y(b) = 13*b + 5. Let r be 2/(-2) - (-3 - 1). Suppose r*i - 20 = -14. Is 13 a factor of y(i)?
False
Suppose 100*v = 96*v, 5*z = 5*v + 2125. Is z a multiple of 85?
True
Let h = -116 - -348. Is 12 a factor of h?
False
Let o(y) = y**2 + 18*y + 82. Is o(0) a multiple of 3?
False
Suppose 0 = 4*s + 4*u - 4, 9 = -3*u - 3. Suppose 0 = s*n - 3*n + 136. Does 17 divide (-3)/(-2)*n/(-6)?
True
Does 10 divide (-717)/(348/40 + -9)?
True
Let a(l) = l**3 - 6*l**2 - l - 4. Let n be a(6). Let g be 1*-2*(-305)/n. Let k = g + 103. Does 21 divide k?
True
Suppose -9*n = -14*n - 405. Let u = -19 - n. Is 31 a factor of u?
True
Let p = -30 + 91. Let l = -23 + p. Is 9 a factor of l?
False
Let l(w) = 19*w + 18. Suppose -5*n - 28 = 3*p, -2*p + 0*n - 2*n - 12 = 0. Let z(y) = -y - 1. Let r(f) = p*l(f) - 4*z(f). Is 29 a factor of r(-7)?
False
Let x = 352 + -111. Is x a multiple of 26?
False
Does 8 divide (-210)/6*(24/(-15) + 0)?
True
Suppose -5*p = -5, -5*w - 2*p = -616 - 1246. Does 12 divide w?
True
Suppose -2*a - 4 = -4*a. Suppose -b - a*b = -15. Suppose 29 + 19 = 2*q - 5*y, -b*q + y + 97 = 0. Is q a multiple of 12?
False
Let x(c) = -c**3 - 4*c**2 - 2*c + 2. Let s be x(-3). Let w be 10/2 - (4 + s). Suppose -3*m = -0*o + w*o - 181, 2*o - 59 = -m. Does 24 divide m?
False
Suppose 3*u + 5*r - 1914 + 549 = 0, -1392 = -3*u + 4*r. Is u a multiple of 4?
True
Let n = 400 + 416. Does 48 divide n?
True
Let s(i) = -48*i**3 - i**2 - i. Let x be s(-1). Does 16 divide (-3 + (5 - 0))*x?
True
Suppose 4*c = -4*c - 128. Does 20 divide 40/((-2)/(-2)*c/(-56))?
True
Let v(a) = -8*a - 11. Let q(w) = -w + 1. Let b(o) = 6*q(o) + v(o). Let j be b(-16). Suppose 0*f + 3*f - j = 0. Is f a multiple of 23?
False
Let t(h) = h**3 + 5*h**2 + 5*h + 1. Let p be t(-4). Let s be (-1)/p - (-40)/15. Suppose 52 = 5*j + 5*d - 33, s = -3*d. Is 9 a factor of j?
True
Is 26 a factor of 23070/40 + 4 - 2/(-8)?
False
Let p(i) = 13*i + 19. Does 15 divide p(29)?
False
Suppose -8 = 2*l + 2. Let f(z) be the first derivative of -z**2/2 + 7*z + 1. Is 11 a factor of f(l)?
False
Let z(g) = -6*g - 231. Let l be z(-36). Let b(y) be the first derivative of y**4/4 + 14*y**3/3 - 19*y**2/2 - 9*y - 1. Is b(l) a multiple of 17?
True
Is (-6 + (-564)/(-20))*(4 + 1) a multiple of 6?
False
Let t(v) = -v**3 + 10*v**2 + 5*v - 11. Let i = -16 + 26. Is t(i) a multiple of 7?
False
Let n be 1064/13 - 8/(-52). Suppose -t = 2*t + 5*y - n, 5*t + 5*y - 130 = 0. Is 12 a factor of t?
True
Let w = 700 - 443. Is w a multiple of 9?
False
Is 7 a factor of 6 - (17 + -5)*-108?
True
Let h(u) = -3*u**2 - 3*u + 3. Let a be h(-3). Let n = a - -24. Suppose -6*v + n*v = 48. Does 4 divide v?
True
Let c = -16 + 7. Let x = -4 - c. Suppose -v - 3 = -3*t - x, -4*t = -2*v + 6. Is 5 a factor of v?
True
Is 2/(-15) + (3 - (-78504)/180) a multiple of 62?
False
Let i = -243 - -246. Let a(t) be the third derivative of t**6/60 - t**5/30 + t**4/6 - t**3/3 + t**2. Is a(i) a multiple of 13?
False
Let y = 118 + 135. Let u = y + -573. Does 20 divide ((-2)/(-5))/((-4)/u)?
False
Suppose -15 - 10 = -2*u + 3*c, -2*c = 5*u - 15. Suppose 3*i - 8*i = -u. Is 0 + i + 7 + 2 a multiple of 3?
False
Let x be (3/(-9))/((-2)/12 + 0). Is 4 a factor of 4/(x + 2)*(-54)/(-2)?
False
Suppose 12*z - 9*z = 21. Let s(q) = q**3 - 4*q**2 + 10*q + 3. Is 22 a factor of s(z)?
True
Suppose -19*h + 4*h + 4425 = 0. Is h a multiple of 13?
False
Let x = 9754 + -4993. Is 69 a factor of x?
True
Let x(a) = a**3 + 4*a**2 + a. Let s be x(-3). Suppose 4*o + s*v - 16 = 2*v, -4*o + 2*v = -4. Is (o*2)/((-26)/(-65)) a multiple of 5?
True
Let p(s) = -3*s**2 + 264. Does 11 divide p(0)?
True
Let l(d) be the first derivative of d**5/5 + d**4/6 - 5*d**2/2 - 13. Let u(i) be the second derivative of l(i). Is u(3) a multiple of 20?
True
Let q = 945 - -769. Is 14 a factor of q?
False
Suppose 4*j - 180 = 324. Suppose -j = -3*i + 207. Does 19 divide i?
False
Suppose 5*y = 5*s - 220, 5*s = 3*y + 220 - 92. Let o be (4/(-8))/(1/y). Suppose n - o + 3 = 0. Is n a multiple of 10?
True
Suppose 4*b - 7 = -3*b. Let u = 18 - b. Is 11 a factor of u?
False
Let k(i) = 3*i + 7. Let u be k(-3). Let s be (-8)/u + 1 + 2. Is s/(-42) + 506/12 a multiple of 21?
True
Let d(z) = z**2 + 21*z - 53. Let n be d(-23). Let q(g) = -21*g + 27. Is 15 a factor of q(n)?
False
Let h = -28 + 42. Let a(l) = -l**2 + 14*l + 8. Let i be a(h). Suppose -o - 2*g + i = -30, -g = -3*o + 149. Is o a multiple of 8?
True
Is (117/18 - 6)*2184 a multiple of 28?
True
Let x(s) = -14*s**3 + 5*s**2 - 9*s - 4. Let c(n) = -4*n + 2*n**2 - 7*n**3 - 3 + 1 + 0*n**3. Let p(h) = -9*c(h) + 4*x(h). Does 33 divide p(2)?
True
Suppose -2*h + 1018 = -4*j + 5*j, 5*j = 4*h - 2050. Does 13 divide h?
False
Suppose 0 = -f + 4*m - 7, -3*f - m = -0*m + 8. Is 22 + (-3 - -3 - f) a multiple of 13?
False
Let i = 88 - 13. Is 3 a factor of i?
True
Let d = 633 - 419. Let v = d + -406. Is 16 a factor of 1/(3/v*-2)?
True
Suppose -2*q - 155 = -7*q. Let x = 55 - q. Does 8 divide x?
True
Let s(j) = 12*j**2 - 26*j + 152. Does 40 divide s(5)?
False
Does 11 divide (38/1)/((-72)/(-5724))?
False
Let j(r) = 2*r + 3 - 6*r - 2*r + 3*r. Let l be j(2). Is (338/(-39))/(2/l) a multiple of 5?
False
Is 3/((-2)/(10/5)) - -309 a multiple of 62?
False
Suppose -1 = -w - 0. Let j(s) = -2*s**2 + s - 1. Let u be j(w). Does 9 divide -36*1*2/u?
True
Let b(v) be the first derivative of 22*v**3/3 - v**2/2 + 2*v - 8. Does 22 divide b(2)?
True
Let u = 1165 - 757. Does 24 divide u?
True
Let u = 603 + -490. Is 15 a factor of u?
False
Let s = -233 + 244. Is s a multiple of 2?
False
Let d = 326 - -341. Does 23 divide d?
True
Suppose 4*q - 178 = 2*y - q, 0 = -5*q + 20. Let r = 114 + y. Does 22 divide r?
False
Let u(i) = -7*i - 4. Let f be u(-6). Suppose -k - 1 = 3*x - 22, 3*x = 12. Is 2 a factor of f/k - (-2)/(-9)?
True
Let p(i) = i**3 + 4*i**2 - 4*i + 7. Let m be p(-5). Suppose 3*j = -2*g + m, 0 = 5*g - 4*g + 2*j - 1. Let z(c) = 31*c + 4. Does 8 divide z(g)?
False
Suppose -4*h - 6684 = -4*g, 952 = -5*g + 3*h + 9299. Is g a multiple of 12?
False
Let g = -1650 + 2805. Does 11 divide g?
True
Let f(j) = -32*j**3 + 2*j**2 - 2*j + 1. Let b be f(1). Let s = b + 71. Does 20 divide s?
True
Suppose -384 - 55 = -t + 4*d, 2*d + 2 = 0. Is 29 a factor of t?
True
Suppose -17*u + 2574 = -6*u. Is 26 a factor of u?
True
Let i(f) = -796*f + 7. Does 73 divide i(-1)?
True
Suppose -3*a + 8 = 2. Suppose 2*h = -a*q + 114, -q - h - 2*h + 65 = 0. Is 29 a factor of q?
False
Suppose -2*d + 4 = -6. Let n(h) = 3*h**2 - 11*h - d*h**2 + 10 + 4*h**2. Is 22 a factor of n(8)?
False
Suppose 6*o - 986 = 2*o + 5*j, -3*j = 6. Does 7 divide o?
False
Let g(s) = -12*s + 6. Let p be g(-5). Suppose 2*r - 910 = p. Suppose -r = -7*f - 68. Does 15 divide f?
True
Suppose -4*l = -2 + 10. Let y = l + 9. Is 14 a factor of (6/y)/((-9)/(-567))?
False
Is 17 a factor of -7 - (11 + -7 + -500)?
False
Let a(b) = -20*b**2 - 4*b - 1. Let h(q) = 7*q**2 + q. Let i(n) = 4*a(n) + 14*h(n). Is 11 a factor of i(-2)?
False
Let g(d) = 9*d**2 + 2*d + 18. Does 14 divide g(-4)?
True
Suppose -3*h + 5*q + 247 = -2*h, 5*h = -3*q + 1347. Let p be 14/21 + (-6)/9. Suppose p = 5*c + u - 5*u - h, 2*u - 45 = -c. Is c a multiple of 10?
False
Let o(g) = 5*g**2 - 7*g + 4. Let t be (-2)/(-8) + 38/8. Let l be o(t). Suppose -n = -2*a - 31, 6*n - 2