 143. Is 7 a factor of z?
True
Let b be -5 + (5/1 - -2). Suppose 4*q - 4*j = -52, 0 = 2*q - b*j - 2*j + 28. Is (48/(-10))/(q/510) a multiple of 23?
False
Let o(z) = -4*z**3 + 5*z**2 - z - 6. Let k be o(3). Does 13 divide 6*(-3)/k - (-475)/4?
False
Let a be (-1 + 1)/((-56)/(-28)). Let z be ((-8)/(-2))/(a - 4/4). Is 13 a factor of (5 + z/3)/((-1)/(-78))?
True
Let f(j) be the second derivative of 13/12*j**4 + 0 - 21*j + 9/2*j**2 + 13/3*j**3 + 1/20*j**5. Is 20 a factor of f(-9)?
False
Suppose 492 = 2*n + 4*w, -n + 2*w + 462 = n. Let d = 22 + n. Does 19 divide (-6)/4*d/(-9)?
False
Let c = 204 - 227. Let v(u) = u**3 + 22*u**2 - 40*u + 23. Is 69 a factor of v(c)?
True
Let j(d) = 3*d**3 - 2*d**2 + 8*d - 18. Let g be j(5). Let z = 452 - g. Does 21 divide z?
True
Let a = -52 - -53. Let m(q) = q**2 + 17*q - 27. Let h(i) = i**2 - i + 1. Let s(t) = a*m(t) - 2*h(t). Is 14 a factor of s(14)?
False
Let g = 908 - 505. Suppose g = t - 2*d, 5*t = -2*d + 860 + 1155. Is 47 a factor of t?
False
Is 46 a factor of 26/8 + -3 - 227692/(-16)?
False
Let r = -1217 + 3089. Is 16 a factor of r?
True
Suppose -2*j + k + 17 = 0, 4*j - 16 = 3*j - k. Suppose 6838 = j*q + 458. Does 48 divide q?
False
Suppose 3*h + 5*m - 11339 = -3112, 5*m = 3*h - 8207. Is (-5)/(-25) - h/(-5) a multiple of 33?
False
Let p be (-4 + (-12)/(-3))/(2 - 1). Suppose p = -9*g - 81 - 9. Is 25 a factor of 71 + -5 + (-1 - g)?
True
Let z be -43*((-10)/(-5) + -3). Let b be (z/(-2))/(11/(-22)) + -1. Is (-390)/(-7) + 12/b a multiple of 14?
True
Does 17 divide 2 - ((2 - 8/16) + 98451/(-6))?
False
Suppose 0 = -3*h + 3*l + 3060, 0 = 2*h + l + 720 - 2778. Is h a multiple of 19?
True
Let s be (-6)/(-4)*(-2)/3. Let z(l) = -481*l - 19. Does 28 divide z(s)?
False
Let h(j) = j - 84. Let y be h(0). Let s = 179 + y. Is 19 a factor of s?
True
Let x(c) = -c**3 - 9*c**2 - 14*c - 11. Let k be x(-8). Let m be 4/(-5)*(k - 2). Is 2776/18 + m/126 a multiple of 11?
True
Let h be 4 - (0 - (-166)/(-1)). Suppose -h*o - 39 = -167*o. Let d(i) = i**2 + 7*i - 28. Does 10 divide d(o)?
True
Suppose -16*k + 23*k - 1134 = 0. Let v = 14 + k. Does 11 divide v?
True
Let o be 0/(4 - 2 - 4). Suppose o = 4*h - 10*h + 2442. Is h a multiple of 37?
True
Does 28 divide (2688*3/(-3))/(3/6 - 2)?
True
Let o(y) = 3*y + 126. Let p be o(-30). Is 2 a factor of (-1)/(14/(-80)) + p/126?
True
Let z = 16565 + -9935. Does 51 divide z?
True
Suppose -6*r + 5*r - 8 = 0. Let n be ((-4 - r) + 4)/2. Does 22 divide (n - (-35)/(-10))/((-1)/(-88))?
True
Suppose 21*n = 5*n - 8288. Let v = 718 + n. Does 50 divide v?
True
Let x(n) be the first derivative of n**4/2 + 7*n**3/3 + 2*n**2 - 3*n + 19. Let f be x(4). Suppose f + 227 = 6*u. Is 20 a factor of u?
True
Is 34 a factor of (3 - 346/6)/(9/(-4131)*6)?
True
Let m = -176 - 4. Let a be (2/(-4))/(-5*3/m). Is 17 a factor of 4*3/(-18)*1251/a?
False
Let h(b) be the second derivative of -b**6/360 + b**5/60 + b**4/8 - 7*b**3/3 - 7*b. Let c(w) be the second derivative of h(w). Is c(0) a multiple of 2?
False
Suppose 9*c + 1512 = 27*c. Suppose -1503 = 75*q - c*q. Is q a multiple of 13?
False
Is 12/(-1*24/(-8224)) a multiple of 9?
False
Suppose -330*c = -69*c - 2250081. Is 10 a factor of c?
False
Let r(m) = -m**3 - 4*m**2 - 3*m - 5. Let b be r(-3). Let z be (-4 - -5)*(b + 1). Does 5 divide 10/z*-4 + 0?
True
Let t = 148 + 31. Is (15/3 - 4)/1 + t a multiple of 18?
True
Let b = 219 - 441. Let t = b - -159. Let y = t - -183. Does 20 divide y?
True
Suppose 3*u - 23*u = -13600. Let i = u - 604. Does 8 divide i?
False
Let q be (0 + 6/(-9))*(-3)/(-1). Let d be (-2)/(1 + q + 3). Is 11 a factor of ((-220)/(-6))/d*-3?
True
Let m = -35176 - -59867. Is 21 a factor of m?
False
Let t be 1/2 - 17/2. Let o(r) = 2*r**2 + 14*r + 94. Let u be o(-8). Let g = t + u. Does 17 divide g?
True
Let o = -4217 - -6294. Does 67 divide o?
True
Let u(n) = n**3 + 14*n**2 - 11*n - 26. Suppose -40 = 5*i + 30. Let f be u(i). Let d = f + -74. Is d a multiple of 17?
False
Let v = 268 + -59. Let s = v + -34. Does 3 divide s?
False
Let u(y) = y**2 - 41*y - 451. Is u(-38) a multiple of 19?
False
Suppose -4*p + 3*p + 5 = -2*b, -3*b - 9 = -3*p. Is 30 a factor of 590 + (10/15)/(b/9)?
False
Let n(q) = 14*q - 24. Let w be n(30). Suppose 7*d = 3*d + w. Does 3 divide d?
True
Let z = 93 - 78. Let r(q) = 9*q + 10 + z - 5. Is r(15) a multiple of 8?
False
Let v = 267 - 244. Suppose -9*n = -v*n + 2520. Is n a multiple of 20?
True
Let a = -11536 - -21232. Is a a multiple of 126?
False
Suppose x - 4*b - 16 = 2, -2*b + 40 = 3*x. Suppose z = -z - x. Let h = 70 - z. Is h a multiple of 10?
False
Let l = 1264 + -809. Let z = l + -317. Let d = 234 - z. Is 23 a factor of d?
False
Suppose -6*v - 13550 + 4314 = -4*h, -4*h + v + 9246 = 0. Is 7 a factor of h?
False
Let a(z) = 16*z**2 + 95*z + 7. Let v = -705 + 698. Is a(v) a multiple of 3?
True
Suppose 0 = -11*l + 13590 + 6584. Let f = l - 1176. Is f a multiple of 18?
False
Let d be (5 + -4 - -15) + -3. Let y = d - 54. Does 15 divide 4 + -4 + -1 - y?
False
Let j(t) = t**3 + 27*t**2 - 30*t - 7. Let p be j(-28). Suppose -p*c = -15*c - 30294. Is c a multiple of 34?
False
Is 16/(-8) + -4 - (-1 + -56)*38 a multiple of 90?
True
Suppose 2*f - 234162 = -13*l, 15*l - 17*l = 4*f - 36036. Does 19 divide l?
True
Suppose -38*u + 11475 = -22383. Suppose -c - 5*z + 4475 = 4*c, -u = -c - 3*z. Is 28 a factor of c?
False
Let m(c) = 7*c**2 - c + 6. Let i be m(7). Let u = 562 - i. Let z = -100 + u. Is 10 a factor of z?
True
Let n = 518 + -292. Let d = n + 106. Is 4 a factor of d?
True
Let q(j) = j**3 + 9*j**2 + j - 4. Let i = -48 - -40. Is 8 a factor of q(i)?
False
Let h(o) = -12*o - 13. Suppose 4*x - x - 3 = q, 2*q = 5*x - 6. Let k be h(q). Suppose -2*f + k = -37. Is 3 a factor of f?
True
Is 24 a factor of (-3*7/((-42)/214))/((-2)/(-1478))?
False
Let b(l) = 9*l + 483. Is b(-39) a multiple of 44?
True
Let v = 7 + -4. Suppose 4*s - v*y - 2 = -22, -2*y + 24 = -4*s. Let q(h) = h**2 - 4*h + 20. Does 14 divide q(s)?
False
Let v = -4 + 9. Suppose -4*i - 928 = 5*d, -2*i + v*i = -3*d - 558. Let n = 299 + d. Does 20 divide n?
False
Suppose 2*s + 4*d - 140 = 0, 7*s - 2*s - 3*d - 285 = 0. Let u = 257 - s. Is u a multiple of 19?
False
Suppose 0 = 13*g + 4952 - 19512. Suppose 6*a + 29*a - g = 0. Is a a multiple of 16?
True
Let v = -76 - -159. Let b = v + -47. Let z = b - -62. Is 43 a factor of z?
False
Suppose -3*w = -2*n - 2402, n - 2406 = 3*n - 2*w. Let a = 1794 + n. Is 40 a factor of a?
False
Is 149 + 0 + 1260/(-90) a multiple of 3?
True
Suppose 114*h - 943533 = -267171. Is h a multiple of 10?
False
Suppose -18*x + 10549 = -9107. Is 7 a factor of x?
True
Let p(q) = 2*q**3 - 6*q**2 + 8*q - 5. Let x be -7*12/(-63)*(2 - -1). Let u be p(x). Suppose u*r - 166 = 57*r. Is r a multiple of 18?
False
Suppose 0 = 4*l - 5*k - 41, k + 6 = -l + 5. Suppose 0 = -2*d + l*g + 116, 4*d - 75 = -2*g + 107. Does 24 divide d?
True
Does 51 divide (-19149036)/(-418) - 8/88?
False
Let p = 11350 + -4740. Is p a multiple of 67?
False
Let i be 3*14/63*-3. Is 7 a factor of ((i - 1) + -10)*-12?
False
Let n = -31235 + 57341. Does 229 divide n?
True
Let o = 464 + -451. Is 21 a factor of ((-2476)/(-6))/(o/39)?
False
Let o = -12567 + 35454. Is 65 a factor of o?
False
Let a(c) be the third derivative of -c**4/4 - 31*c**3/6 - 29*c**2. Is 11 a factor of a(-29)?
True
Let x(g) = -g**3 + 5*g**2 - 4*g + 23. Let z be x(5). Suppose -z*m = -5 - 16. Does 16 divide 10/10 - m/2*-22?
False
Let j be (-1)/(-6) - 16/96. Suppose 3*o + h = -0*o + 57, j = -4*o + 4*h + 60. Is 13/3*o/6 a multiple of 3?
False
Let g(v) = -44*v**3 + 21*v**3 - 9*v**2 + 11*v + 24*v**3. Does 7 divide g(9)?
False
Suppose 5*w = -1741 + 4376. Is 17 a factor of w?
True
Suppose -2*h + 12650 = -2*u, 66*h + 5*u = 64*h + 12643. Is 51 a factor of h?
True
Let n = -7641 - -14536. Does 105 divide n?
False
Is 6/18 - (12/(-2) + (-8887683)/207) a multiple of 51?
True
Let v be (-5 - (-77)/33)*(0 - -3). Let r(x) be the third derivative of -x**6/120 - x**5/6 - 7*x**4/8 - 11*x**3/6 + x**2. Does 18 divide r(v)?
False
Let i(z) = -1423*z - 2222. Is i(-2) a multiple of 6?
True
Let j(m) = 3*m**2 - 11*m + 6. Let f be j(4). Let z(o) = -25 - f + 6 - 23*o. Is z(-7) a multiple of 33?
True
Let j(y) = -y**3 + 2*y**2 + 9*y + 1. Let w be j(4). Suppose -w*u - 15 = 0, -u - 497 = -5*g - 2*u.