 + 23. Does 20 divide s?
False
Let c be (1206/(-1005))/((-1)/280). Let b be (-9)/4*(-16)/6. Suppose -b*l = -4*l - c. Is l a multiple of 12?
True
Let p(j) = -2*j**3 - 28*j**2 - 219*j - 305. Is p(-20) a multiple of 25?
True
Suppose -710*i = -708*i - 4. Suppose i*d = -3*a + 90 + 140, 0 = -4*a - 3*d + 305. Is 4 a factor of a?
True
Suppose 3*k - 2*c = -1226, 4*k - 18*c + 13*c + 1623 = 0. Suppose -5*s + 2*y - 4*y - 2970 = 0, 0 = 4*s + 5*y + 2393. Let o = k - s. Is 13 a factor of o?
False
Does 19 divide 16 + 26 + -43 - -5925?
False
Suppose 18195 = 8*n - 8557. Is n a multiple of 44?
True
Does 53 divide (8/2 - 0)/((-15197963)/(-389689) + -39)?
False
Let f be -6 - (-7)/(35/20). Let z = f + -20. Let u(x) = x**3 + 21*x**2 - 24*x - 26. Does 18 divide u(z)?
True
Suppose 0 = 4*z + 16 - 28. Let o be 2093/46*6/7. Suppose 2*u - 20 = -y, -4*u = -z*y + o + 71. Is y a multiple of 4?
False
Let y(v) = 6*v - 14*v + 17*v + 8*v + 16. Is y(7) a multiple of 9?
True
Let c(p) = 92 - 8*p - 2*p + 8*p. Is c(-10) a multiple of 16?
True
Let x(n) be the third derivative of -5*n**4/2 - 10*n**3/3 - 2*n**2 - 32*n. Is x(-3) a multiple of 32?
True
Let w(v) = -v**3 - 12*v**2 - 3*v - 9. Let i be w(-12). Let o = 51 - i. Suppose 0 = -o*b + 25*b - 118. Is b a multiple of 21?
False
Suppose 0 = 3*f - 3*n - 30, -5*f + 2*n + 19 + 22 = 0. Let c(x) = 6*x - 38. Let r be c(f). Suppose -365 = -5*s - 3*t, r*s + 0*t = -4*t + 284. Does 8 divide s?
False
Let j(u) = -26*u**3 + 2*u**2 + u - 19. Let o be j(-3). Let i = o + -451. Is i a multiple of 13?
True
Let i(d) = 4*d**2 - 12*d - 420. Does 17 divide i(-71)?
False
Let f(y) = y**2 - 3*y + 3. Let q be f(5). Let l(g) = 19*g - 15*g - 9*g**2 - q - 7*g + 18*g**2. Does 33 divide l(-4)?
False
Let z = -2 + 6. Let v be (z + -3 - 0)*74. Let o = v - 34. Is 7 a factor of o?
False
Suppose -5*w + 635 + 65 = -4*q, q = 2*w - 277. Let o(m) = -m**3 + 12*m**2 - 17*m + 76. Let x be o(11). Let d = w - x. Does 14 divide d?
True
Let b be (-8)/20 + 4*9/15. Suppose u + 12 = 3*n, -3*u - 16 = b*u - 4*n. Suppose h + 2 = u, -2*y + 924 = 2*y + 4*h. Does 13 divide y?
False
Let n = -39 + 47. Suppose -n*g + 11*g = 144. Is 4 a factor of g?
True
Suppose 61*v - 230000 = 15*v. Is v a multiple of 10?
True
Let o be ((-1)/(-2))/(9*(-6)/(-93096)). Suppose -o = 18*g - 3454. Does 48 divide g?
True
Let n(x) = 4*x**2 + 7*x - 22. Let m be 2/(-11) - (-3 + 909/(-99)). Is n(m) a multiple of 34?
False
Let h(i) = i**3 + 19*i**2 - 51*i - 113. Is 4 a factor of h(-21)?
True
Let g(c) = c**2 + 3*c + 11. Let r = -2 - -43. Let m = 37 - r. Is 11 a factor of g(m)?
False
Let h = 232 - 226. Is 3831/h - 30/20 a multiple of 49?
True
Suppose 3*h - 138 = -3*h. Let k = h + 12. Let l = k - 17. Does 4 divide l?
False
Let p be 2422/(-49) + (-8)/14. Let d = p + 37. Let b = d - -32. Does 12 divide b?
False
Suppose 4*z - w - 8396 = 0, 0 = -z + 3*w - 5*w + 2090. Does 63 divide z?
False
Suppose 0 = a + 18 + 630. Let h = a - -918. Does 27 divide h?
True
Let l(o) = 5*o + 10. Suppose -t = -2*t - 17. Let c = t - -23. Does 11 divide l(c)?
False
Suppose -5*t + 4768 = -84*j + 82*j, 2*t - 1888 = -4*j. Does 42 divide t?
False
Let i(o) = 4*o + 19. Suppose 0 = -5*q + 12*q - 42. Suppose x + 5*n = -0*n - q, -3*n - 54 = -3*x. Does 5 divide i(x)?
True
Suppose 0 = -9*w + 11*w + 6. Is w*((-218)/30 - 22/55) a multiple of 23?
True
Suppose 73*c - 332*c = -142191. Does 12 divide c?
False
Let f(l) = -6*l**3 - 31*l**2 - 43*l + 32. Let u(n) = 2*n**3 + 11*n**2 + 15*n - 11. Let d(s) = -6*f(s) - 17*u(s). Does 24 divide d(3)?
False
Let m(g) = 4*g**2 - 7*g + 42. Let y(t) = -4*t**2 + 7*t - 41. Let z(n) = 4*m(n) + 3*y(n). Is z(4) even?
False
Let n = 9422 + -4258. Is n a multiple of 116?
False
Let h = -5262 + 8133. Does 21 divide h?
False
Let g(p) = -2 + 13*p**2 + 9*p + 2*p + 0 - 14*p**2. Let f be g(21). Let w = -74 - f. Is w a multiple of 23?
True
Let x(a) = -a**3 + 13*a**2 + 15*a - 28. Let b be x(14). Let i be 8/(-24) + b/(-6). Suppose 2*d = -i*z + 64, -7 = -3*z - 1. Does 30 divide d?
True
Suppose 4*p = s - 877, -p - 6965 + 2675 = -5*s. Let d = s + 19. Suppose -4*b = 2*o - 616, 0 = -5*b - o - 112 + d. Is 19 a factor of b?
True
Let g(h) = -5*h - 68. Let v(z) = -5*z - 1. Let a(c) = 5*g(c) + 5*v(c). Does 48 divide a(-29)?
False
Let v(z) = 218*z + 212. Is 13 a factor of v(24)?
False
Let o(u) = 17*u**2 - 3*u - 16. Let r be o(-3). Let t = 170 - r. Does 2 divide t?
True
Suppose 2*x - 4 + 8 = 0. Let a be 26/7 + 3*x/(-21). Suppose -5*k = 5*p - 66 - 229, 5*k = a*p - 200. Is 17 a factor of p?
False
Suppose -4*v + 12*v = -808. Let n = v - -388. Is n a multiple of 14?
False
Suppose -74*j + 1040738 = -112756 - 175694. Is j a multiple of 14?
True
Suppose -47*f + 12*f - 490 = 0. Let y(m) = -22*m - 87. Let l(a) = 11*a + 44. Let p(c) = -5*l(c) - 2*y(c). Does 36 divide p(f)?
True
Let r(l) = -207*l + 109. Suppose -5*f - 32 = -7. Is r(f) a multiple of 13?
True
Let q(k) = 2*k**2 - 8*k + 7. Let g(h) = 5*h**2 - 17*h + 15. Let x(p) = 3*g(p) - 7*q(p). Let t be x(-5). Does 39 divide (-6 - t) + 0 + (65 - 2)?
False
Let a be -1 + (-16)/(-20) + (-26064)/(-45). Suppose -c - 5*v + 160 = -45, 0 = -3*c + 3*v + a. Does 10 divide c?
False
Let p = -147 + 144. Does 15 divide 22/6*((p - 4) + 52)?
True
Let y(x) = 2*x + 27. Let v be y(7). Suppose -3*f - 2*i + 9 = 0, -2*f = -5*i - 22 - 3. Let l = v - f. Is 3 a factor of l?
True
Suppose 4*a - 15376 - 13068 = -4*p, -p - 28419 = -4*a. Does 38 divide a?
True
Suppose -7*k = -11*k + 5804. Suppose -5*z + 867 = -2*z + 3*g, -5*z - 3*g = -k. Let y = -124 + z. Is y a multiple of 21?
True
Let f(u) = 14*u**2 + 33. Is f(-9) a multiple of 5?
False
Let h(p) = -24*p + 9. Suppose -5*x + 28 = -4*r, 4*r + 5*x = -0*x + 12. Is h(r) a multiple of 19?
True
Let d = 27108 - 16029. Is d a multiple of 31?
False
Let s(t) = 0*t + 6 + 1 - 1 - t. Let q be s(3). Suppose 3*w - q*n = -0*w + 39, 7 = w + n. Is 2 a factor of w?
True
Suppose 2*z = 2*g + 5*z - 842, 0 = -2*g - z + 834. Let y be (-2440)/9 + 22/198. Let v = g + y. Is v a multiple of 24?
True
Let m(k) = 3*k + 123. Let o be 6/4 + (-120)/(-48). Suppose 5*t - 5*g - 5 = 0, -g + 3 = o. Is m(t) a multiple of 16?
False
Let h = -8115 + 13323. Is 42 a factor of h?
True
Let m = 7893 + -4813. Does 10 divide m?
True
Suppose 3*q - c = 13, -6*q - 14 = -4*q + 5*c. Suppose -11 + q = -f. Suppose 2*p = -f*p + 1800. Is 12 a factor of p?
True
Let u(k) = 9*k - 15. Let j be u(2). Suppose -j*r + 1300 = r. Is 19 a factor of r?
False
Suppose 0 = 35*g - 37*g - 1596. Is (4 + (-63)/27)/((-2)/g) a multiple of 19?
True
Let o be (2/2)/(-2 + 3). Does 25 divide (-25 + 100)/(o/7)?
True
Let g = 6 - -41. Let q = g - 39. Suppose 120 = -q*k + 10*k. Does 30 divide k?
True
Suppose 2*s + 3*w - 7542 = 0, -3*w = -514*s + 511*s + 11298. Does 36 divide s?
False
Let j = 23 - 14. Suppose 0 = j*g - 8*g - 3. Suppose m + 28 = s, 54 + 40 = g*s + 2*m. Does 30 divide s?
True
Let b be (12/10)/(-3) + (-38012)/(-130). Suppose 3*h - x - 201 = -4*x, -4*h + 4*x + b = 0. Is 3 a factor of h?
False
Let d be 0*(-93)/(-62)*(-2)/6. Is 13 a factor of 1760/30*(6/4 - d)?
False
Let l(r) = 21*r + 140. Is l(8) a multiple of 7?
True
Let h = 15 - 42. Let b = h - -44. Suppose 2 + b = o. Is 11 a factor of o?
False
Let b be (-12)/(-96) - 1463/56. Suppose 4*j = 698 + 286. Let p = j + b. Is 44 a factor of p?
True
Suppose 0 = -15*o + 19*o + 528. Is (6 + o/20)*-25 a multiple of 12?
False
Suppose 0 = -5*p + h + 145920, 64*p - 5*h - 612864 = 43*p. Does 38 divide p?
True
Let r(a) = -a**3 - 56*a**2 + 51*a - 27. Is 9 a factor of r(-57)?
True
Suppose 0 = -a - y + 2*y + 12, -18 = -a + 3*y. Suppose a*r + 32 = 1139. Is r a multiple of 27?
False
Let n(f) = -36*f + 3. Let o(k) = -36*k + 2. Let x = 64 - 67. Let h(b) = x*n(b) + 2*o(b). Does 11 divide h(1)?
False
Let o(g) be the second derivative of 5*g**4/3 - g**3/3 - 2*g**2 + 14*g - 1. Is o(2) a multiple of 3?
True
Let o be 24/(-84) + 128/7. Let q be 62940/135 + 1*(-4)/o. Suppose 0 = 6*y + 70 - q. Does 33 divide y?
True
Let f(x) = x**2 - 7*x + 4. Let b = 7 + 0. Let j be f(b). Does 35 divide j + -4 + 2 + 98?
False
Suppose -4*n + n + 54 = -3*s, -84 = 5*s + n. Is (-16 - -8)*s + (0 - 0) a multiple of 34?
True
Let c(o) = -4*o**2 + 4*o. Let g be c(1). Let i(a) = 3*a + 112. Let k(z) = z + 56. Let w(y) = 3*i(y) - 5*k(y). Is w(g) a multiple of 7?
True
Suppose -2*y = 3*