vide j?
True
Let w be (2*(-21)/(-35))/(1/220). Let k = 726 - w. Is k a multiple of 42?
True
Suppose 0 = 4*t, -k + 7*t - 90 = 3*t. Let m = k + 93. Suppose m*y + 40 = 4*y + 4*r, 3*y - 120 = -5*r. Is 4 a factor of y?
True
Let s(l) = -l**3 + 10*l**2 + 7*l - 2. Suppose -9*g - 60 = -15*g. Does 3 divide s(g)?
False
Let t(p) be the first derivative of 2/3*p**3 + p + p**2 + 1. Is 33 a factor of t(-7)?
False
Suppose 2 = u + 3*z, 0*u + 6 = -3*u + 3*z. Does 5 divide ((-192)/5)/((-3)/(-10)*u)?
False
Let c be (2 - -1)/(21/14)*608. Suppose 0 = -4*p - 4*p + c. Let v = p + -61. Is v a multiple of 10?
False
Let f(n) = -8*n**3 + 2*n**2 + 1. Is 5 a factor of f(-4)?
True
Let f(h) = -h**3 + 22*h**2 - 24*h + 49. Let w be f(21). Does 9 divide (157 + 4)*(-20)/w?
False
Suppose 0*q - 525 = 3*q. Let x = q + 256. Does 18 divide x?
False
Suppose -3*g = 3*w - 12, -2*g - 6*w + 3 = -9*w. Suppose x - 73 = -2*r + 39, g*x - 358 = 5*r. Is x a multiple of 6?
False
Suppose -5*v + 54210 = 2*x, -2*x + 53219 + 943 = -3*v. Is x a multiple of 15?
True
Let t(c) = -c**3 - 22*c**2 + 26*c + 96. Let x be t(-23). Suppose 117 = -x*a + 16965. Is a a multiple of 39?
True
Suppose 189649 = 72*k - 695503 + 5168. Does 15 divide k?
False
Let f(u) be the second derivative of u**4/12 + 13*u**3/3 + 47*u**2/2 + 18*u. Let p be f(-24). Let n(l) = 16*l**2 + 4*l + 2. Is n(p) a multiple of 2?
True
Let p be (10/(-4))/(8 + 135/(-18)). Does 29 divide p*(-2 - 0)/((-30)/(-1002))?
False
Suppose -2*r - 4*n + 50362 = 0, -4*r + 91115 = -3*n - 9631. Is r a multiple of 48?
False
Suppose 0 = 9*g + 23 - 104. Let o(v) = 20*v + 24. Let h be o(g). Let r = h + -138. Is 16 a factor of r?
False
Suppose 5*v - 27 = -3*m - 8, -1 = -3*m + 4*v. Suppose m*h = -4*d + 176, -h + 9*d = 4*d - 46. Suppose 58*a - h*a = 192. Does 30 divide a?
False
Suppose -14 + 17 = a. Suppose -a*j + 74 = 5*v, -2*j - v = j - 94. Is 2 a factor of j?
False
Let l(p) = -3*p**3 - 10*p + 4*p**3 + 148*p**2 + 14 - 157*p**2. Does 3 divide l(10)?
False
Suppose -i = 3*i - 20. Suppose -3*u + 25 = -i*y, y = 4*u + 6*y + 25. Suppose w - 1 = -3*c - u, -3*w + 4*c + 16 = 0. Does 4 divide w?
True
Suppose 4*z - 2*n = -n + 255, -2*z = -2*n - 120. Let a be (-258)/(-18) - 14 - 97/3. Let y = a + z. Does 7 divide y?
False
Let s(n) be the first derivative of 14*n**3/3 + 7*n**2 - 22*n - 80. Is 62 a factor of s(2)?
True
Let m(k) = -4*k. Let s be m(14). Is 5 a factor of (-6 + 5)/(-1 + s/(-58))?
False
Does 20 divide 4020/((2 + 4)/(-5 + 21 + -8))?
True
Let l(b) = b**3 - 28*b**2 + 32*b - 609. Is l(29) a multiple of 232?
True
Suppose 3*g + 9 = 0, -2*g - 396 = 5*m + 505. Let c = m + 468. Is 7 a factor of c?
False
Suppose 22998 = 2*g - 4*o, -11511 = 7*g - 8*g - 4*o. Is g a multiple of 94?
False
Let z = 3904 + 5027. Is 39 a factor of z?
True
Let p be (-12)/((-6)/5 - -1). Let v = p - 60. Suppose j - 187 = 4*q, j = -v*j - 4*q + 155. Is j a multiple of 21?
False
Let k be ((-6818)/21)/1*-6. Suppose 3*l - 8*l + 3236 = -2*g, -2*g + k = 3*l. Does 24 divide l?
True
Suppose 4*j = -s - 3044, -4*j + s - 1559 = 1485. Let n = -232 - j. Is 23 a factor of n?
True
Suppose 2188 = 4*u + z, 5*u + 0*z - 2735 = -3*z. Let g = -295 + u. Is 63 a factor of g?
True
Let a be 0/(-4) - (-2 - -388). Let s = a + 118. Let l = s - -412. Is 18 a factor of l?
True
Suppose 132354 = 5*x + 33*x. Is 43 a factor of x?
True
Suppose 3*j - 48 - 78 = 0. Let u = -5 - j. Let t = u - -90. Is t a multiple of 7?
False
Let t = -239 - -241. Suppose 4*p - 250 = -t*u, -u + 4*p + p = -97. Is u a multiple of 13?
True
Let u(k) = 3*k - 54. Let i be 15*11/(275/30). Let p be u(i). Does 32 divide p + 278 - 40/(-10)?
False
Let r(s) be the third derivative of -s**4/12 + 9*s**3/2 + 19*s**2. Let d be r(11). Suppose 0 = 2*k + 3*k + 20, 2*l + d*k = 300. Is 34 a factor of l?
False
Let f be (-54)/14 - -4 - 14530/(-14). Let s = f - 565. Is s a multiple of 33?
False
Suppose -z - 7*z = 0. Suppose -22*d + 18*d - 4 = z. Let v = d + 33. Does 19 divide v?
False
Suppose -105 = 13*r + 2560. Let d = 102 - r. Is d a multiple of 8?
False
Suppose 2*x = -42 + 114. Let p be (-9)/(-2) + 18/x. Suppose 6*j - 180 = p*j. Does 18 divide j?
True
Let m be 2/3 + 0 + 276/18. Suppose -11*x + m*x - 510 = 0. Is 13 a factor of x?
False
Suppose -6*f = 3*f + 7443. Let t = 1422 + f. Is 15 a factor of t?
False
Suppose 4*h = -2*t - 2, t + 1 = -h + 4. Let z be t - (2 + (-8)/2 + 5). Suppose c = -g + 142, 0 = -z*c + 4*g + 189 + 363. Is 20 a factor of c?
True
Let w = -10331 + 17971. Is w even?
True
Is -7 + (-12 + 31)*41 a multiple of 38?
False
Let j(p) = p**3 - 4*p**2 - 3*p - 7. Let r be j(5). Suppose r*h - h - 66 = -5*g, -2*h + 52 = 4*g. Does 8 divide 368/12 - (g/(-6) + 3)?
False
Does 42 divide ((-1746)/(15 + -6))/((-5)/40)?
False
Suppose -5*w - 5 + 29 = 3*x, -4*w - 3*x + 21 = 0. Let n(z) = -2*z**2 - 56*z + 14. Let m be n(-27). Suppose g - m = -w*g. Does 2 divide g?
False
Let g = 36121 - 24753. Does 39 divide g?
False
Suppose 58564 = 34*d + 12324. Is d a multiple of 10?
True
Suppose 13*z - 6*z - 3213 = 0. Let i = 744 - z. Does 15 divide i?
True
Let q = 2108 + -1171. Is 48 a factor of q?
False
Let w = 2940 - 588. Is w a multiple of 44?
False
Let r(i) = -i**3 - 82*i + 14961. Is r(0) a multiple of 160?
False
Suppose -3*o + 0*o + 9 = 0, 4*o - 36 = -2*m. Suppose -2 = 2*j, -c - m*j = -17*j - 25. Does 2 divide c?
True
Is 51 a factor of (-2 - 48116/(-6)) + -3 + 66/99?
False
Let j(a) = 7*a - 6 + 7*a + 12*a - 27*a. Let i be j(-10). Let m(z) = -z**3 + 7*z**2 - 6*z + 2. Is 13 a factor of m(i)?
True
Let u(x) be the second derivative of 7*x**4/24 + 35*x**3/6 + 13*x**2/2 - 3*x. Let m(z) be the first derivative of u(z). Is m(9) a multiple of 7?
True
Suppose 0 = 4*l + 3*s - 51, -s = 3*l + 15 - 52. Does 11 divide -1 - -1048 - (-10 + l)?
True
Let v = 24 + -20. Let s(z) = z**3 - z**2 - 5*z + 1. Let u be s(v). Is 2 + (-5)/5 - (2 - u) a multiple of 14?
True
Is 2 a factor of ((11/33)/(9/(-27)))/((-1)/1078)?
True
Suppose 3*r = -14 + 5. Let a(h) = -h**3 + 2*h**2 - 10*h + 1. Let f(q) = 2*q**3 + 8*q**2 - 46*q + 3. Let n(g) = 4*a(g) - f(g). Is 40 a factor of n(r)?
False
Suppose 4*j - 3*b - 1732 = -98, 0 = 3*b - 6. Is j a multiple of 19?
False
Suppose -m + 125 = -3*p, 0 = 3*p - 3*m + 41 + 94. Let h be (p/(-5))/(4/(-6)). Is 4 a factor of 2*50*(-3)/h?
False
Let p(o) = -6961*o - 2506. Is p(-1) a multiple of 55?
True
Let x(h) = 4*h**2 + 4*h - 17. Let d(t) = 3*t**2 + 3*t - 16. Let z(a) = 3*d(a) - 2*x(a). Let b = 223 - 234. Is z(b) a multiple of 32?
True
Let z(h) be the first derivative of h**6/120 + 13*h**5/120 + 5*h**4/6 - 32*h**3/3 - 6. Let d(w) be the third derivative of z(w). Is 54 a factor of d(-8)?
True
Let i(f) = -f**2 - 33*f - 94. Let t be i(-3). Is 10 a factor of ((-70)/4)/(t/16)?
True
Suppose 45*j - 132736 = -34*j - 57*j. Is j a multiple of 8?
True
Let w be (3/(-2))/((-30)/10960). Suppose w = -3*h + 203. Let a = 60 - h. Is 25 a factor of a?
True
Let y = 1792 - -15. Does 13 divide y?
True
Does 156 divide (-8845020)/(-630) - (-4)/14?
True
Let s(m) = -16*m**3 + 3*m - 2. Suppose -77*i = -89*i - 24. Does 12 divide s(i)?
True
Suppose -9779*t = -9782*t + 5655. Does 6 divide t?
False
Let u be (1/3)/((-16)/(-96)). Let o(s) = 0*s + 6*s**u + 1 - 5 - 5 - 8*s. Is o(6) a multiple of 29?
False
Let f be (-2)/(-6) - (-70)/15. Let l(m) = -2*m**2 - 23*m - 12. Let w(t) = -2*t**2 - 15*t - 11. Let s(j) = 2*l(j) - 3*w(j). Is 28 a factor of s(f)?
False
Let r = -26 - 3. Let b = 34 + r. Suppose -42 = -b*a - i, 0 = -4*i - 3 - 9. Is 4 a factor of a?
False
Let x = -374 + 374. Suppose x = 2*k + 281 - 1077. Is k a multiple of 25?
False
Let n be 1/((-3)/(-222)) + -3. Suppose 0 = -9*p - 35 + n. Does 11 divide (-97)/(p/(-1 - 3))?
False
Let s(q) = 82*q**3 - 1392*q**2 - 32*q + 2. Does 154 divide s(18)?
True
Does 6 divide (4 - (-205)/20)/(22/528)?
True
Suppose -2*k + 5*y + 120 = -0*k, -y = 3*k - 214. Does 18 divide k/4 - 18/(-36)?
True
Suppose 1491 = 32*t - 31*t. Suppose -j - 2242 + 9721 = 5*s, t = s + 5*j. Is 22 a factor of s?
True
Suppose 641*l - 25872 = 629*l. Does 49 divide l?
True
Let u(j) = -3*j**3 - 21*j**2 + j + 13. Let f(m) = -m + 15. Let s be f(20). Let a be 2/s*-5 + -6 + -3. Is u(a) a multiple of 5?
False
Let x(j) = -j**3 + 7*j**2 + 12*j - 15. Let c be x(8). Suppose 0 = -13*l + c*l - 272. Suppose 0*i + i = l. Is i a multiple of 7?
False
Su