1 - (-7218)/72. Suppose -k = -5*u - 90. Suppose p = y - 2*y + 80, -u*y + 385 = 5*p. Is 6 a factor of p?
False
Let o(n) be the third derivative of n**6/120 + n**5/6 + n**4/8 + 7*n**3/2 - 31*n**2. Let s be o(-9). Suppose 627 + s = 2*w. Is 36 a factor of w?
False
Let v(c) = c**2 + 18*c - 35. Let p be v(-18). Let t = -60 - p. Let d = 105 - t. Is 26 a factor of d?
True
Suppose -3*k + a + 9 = -k, -3*k - 5*a = -7. Suppose -2*h - 8 = 2*g - 118, -244 = -k*g + 4*h. Suppose g - 26 = 4*f. Does 4 divide f?
True
Suppose -9186 - 8742 = -24*q. Let o = q + -457. Does 29 divide o?
True
Is (-1782)/(-21) - (-264)/(-308) a multiple of 2?
True
Let h(r) = 3*r**2 - 6*r + 5. Let b be h(1). Is 15 a factor of (-1 - b) + (-2562)/(-14)?
True
Suppose 4*o + 21 = 6*o - h, -2*h - 2 = 0. Does 49 divide (-14)/o - (-49175)/125?
True
Let z(y) = -y**3 + 2*y**2 + 13*y + 10. Let x be (-15 - -3) + (4/(-1))/(-1). Is 14 a factor of z(x)?
True
Suppose 0 = d - 2. Let f(o) = o**3 - 8*o**2 - 7*o - 18. Let k be f(9). Suppose -319 = -3*l + d*i + 17, 3*l + i - 327 = k. Does 22 divide l?
True
Let y(j) = -j**2 - 14*j + 28. Let r be 3/(((-10)/(-15))/(-2)). Let b be y(r). Suppose -3*c = 3, -3*f + 4*c = b - 326. Does 19 divide f?
False
Let x = 244 - 245. Is 3 a factor of (x + -88)/(-12 - -11)?
False
Suppose -5*a - 5*c + 107960 = 0, -4*c = 73*a - 70*a - 64779. Is a a multiple of 13?
False
Does 29 divide 12/18*-6 + 3 - (-6765 + 7)?
True
Let a(b) = 189*b - 57. Let k(d) = -192*d + 57. Let l(t) = 7*a(t) + 6*k(t). Is 57 a factor of l(4)?
True
Suppose -53 = -y + a, -a - 24 = -3*y + 137. Is 16110/y - 6/(-9) a multiple of 47?
False
Let p = 6909 - -1652. Is p a multiple of 148?
False
Suppose -627 = -12*k - 627. Suppose k = 14*n - 18*n + 564. Does 7 divide n?
False
Let u be 1/((-13)/2) + (-525700)/1820. Let w = 730 + u. Is 29 a factor of w?
False
Let f(n) = 2*n + 12. Let t(j) = -j - 12. Let g(w) = -2*f(w) - 3*t(w). Let m be g(4). Suppose -m*q = -9*q + 36. Is 12 a factor of q?
True
Suppose 28023 = 18*c - 15*c + 4347. Is 91 a factor of c?
False
Suppose 2 = i - 9. Suppose 14*l - 18 = i*l. Let f = 15 - l. Is f even?
False
Let f be (-2476)/(-6) + 2/(-3). Let k(j) = -2*j**3 - 11*j**2 + 3*j + 38. Let x be k(-9). Let p = x - f. Does 8 divide p?
False
Let z = 1339 + -859. Suppose z = 2*d + 4*g, -g + 740 = 3*d - 0*g. Does 41 divide d?
False
Suppose 85*p - 52102 = 24*p + 144562. Is 31 a factor of p?
True
Let t be (67/(-2))/((-1)/(-32)*8). Let p = -31 - t. Let z = -33 + p. Is z a multiple of 35?
True
Let l be 1*(5 + 0 - 4). Let w(n) = 141*n**3 + 2*n**2 - n. Let i be w(l). Suppose 2*g - 60 = 4*a, 5*g - i + 7 = -5*a. Does 7 divide g?
True
Suppose 4*c = -5*k + 15, 2*k + 3*c = -2*k + 12. Let i be -2*(k/6)/((-4)/(-124)). Let u = i + 63. Does 16 divide u?
True
Suppose -4*b + 65 = 3*c - 37, 0 = -3*b - 5*c + 71. Let m(h) = h**2 - 25*h - 15. Does 3 divide m(b)?
True
Let q be -2*((-2998)/10 - (-4)/(-20)). Suppose 560 = j + 3*h, 5*j - 4*j - 5*h = q. Suppose -y = -0*y - 4*l - 160, -4*y = -3*l - j. Is 40 a factor of y?
False
Let l(z) = 2*z**2 - 4*z + 28. Let v be l(10). Suppose 958 = -6*c + 316. Let k = c + v. Is 9 a factor of k?
True
Suppose 4378 = 16*d - 15*d + l, 21910 = 5*d - 5*l. Is 153 a factor of d?
False
Let v(n) = 12*n**3 - 2*n**2 - 16*n + 137. Does 33 divide v(8)?
False
Let r(s) = -1341*s - 8899. Is 35 a factor of r(-13)?
False
Let k be ((-68)/(-8) - 8)/(2/12). Let c(y) = 17*y**2 + 0*y**2 - 6 + 6*y + 0*y**2. Is 15 a factor of c(k)?
True
Let j = 42 - 34. Suppose -j*y = -10*y + 20. Suppose -h + y = h. Is 5 a factor of h?
True
Let k(f) = -428*f. Let x be k(1). Let d(l) = 7*l**2 - l + 192. Let n be d(-8). Let q = n + x. Is q a multiple of 22?
True
Suppose 2*n = 4*u - 58, -4*u + 101 = -3*n + 20. Let v(o) = o**3 + 24*o**2 + 15*o + 38. Does 24 divide v(n)?
False
Let t be ((-3)/(-4))/(6/56). Suppose -t*y + 370 = -5*y. Let a = y + -121. Does 32 divide a?
True
Suppose 208926 = 66*h - 13*h. Does 54 divide h?
True
Is 19 - 27 - (-5387)/1 a multiple of 29?
False
Suppose -h = 2*z - 13, 2*h = -5*z + 14 + 15. Suppose 4*n - 16 = -j, -2*j - 8 = -h*j + 4*n. Let a(u) = u**2 - 3*u + 5. Does 2 divide a(j)?
False
Let k = -460 + 462. Suppose -k*f + 1762 = 178. Does 11 divide f?
True
Let o = 1691 - 1200. Does 3 divide o?
False
Suppose -2*l + 5 = 5*f, 3 = 6*f - 3*f - l. Let t(o) = -67*o - 3. Let d be t(f). Is 11 a factor of (-4)/(-5) + (-18144)/d?
False
Let p(r) = -r**2 - r + 66. Let z be p(0). Let b be 16/(-22)*264/(-48). Suppose -4*w + 3*c + z = 0, 0 = b*c + 1 - 9. Is w a multiple of 9?
True
Let s be -211*(2 + -1) - (0 - 4). Suppose -2*n - 102 - 180 = 0. Let j = n - s. Is j a multiple of 11?
True
Is 21 a factor of (2 - 5) + -4 + 353 + -10?
True
Let b(a) be the third derivative of 16*a**2 + 0 - 5/24*a**4 - 1/3*a**3 + 0*a + 0*a**5 - 1/120*a**6. Is b(-3) a multiple of 9?
False
Let m = 2327 + -3810. Let q = m + 2524. Does 60 divide q?
False
Let y(n) = 10*n**2 - 2*n - 24. Let s(i) = -11*i**2 + 3*i + 23. Let w(o) = -5*s(o) - 4*y(o). Is w(-5) a multiple of 22?
False
Suppose -316356 = -295*i + 283*i. Is i a multiple of 61?
False
Suppose n - 1200*o - 1099 = -1205*o, -5*n - 4*o + 5495 = 0. Is n a multiple of 84?
False
Let z be 2319/12 - (39/12 + -4). Let w = z - 50. Does 9 divide w?
True
Let g = 78 - -119. Suppose 3*n = b + 289, 87 + g = 3*n + 4*b. Suppose 2*x = 4*x - n. Does 12 divide x?
True
Suppose -3*c + 2*d = -0*d + 9, 0 = 5*c - 5*d + 15. Let y(x) be the third derivative of 13*x**5/60 - x**4/8 + 52*x**2. Is 21 a factor of y(c)?
True
Is 30 a factor of (1 + 2699)/(73 + -71)?
True
Let v = 420 + -440. Let j = 300 + v. Is j a multiple of 10?
True
Let l(b) = 2*b**2 - 30*b - 308. Is l(63) a multiple of 82?
True
Let k = -1486 - -844. Let d = k - -726. Is d a multiple of 14?
True
Suppose 28*z - 32*z - 4 = 0, x + 17 = z. Is 105 a factor of 18/2*2*(-1518)/x?
False
Let c = 3360 - 2730. Does 70 divide c?
True
Suppose -k = 4*w + 10, 0 = 4*k + k + 5*w + 95. Let c = 19 + k. Let l = 29 + c. Is 21 a factor of l?
False
Let u(j) = 2*j + 27. Let k be u(-11). Does 5 divide -15*((-28)/(-20) - k)?
False
Suppose -3*p + 24*d + 9219 = 27*d, 2*p = -d + 6151. Does 27 divide p?
True
Let o be 82/10 + (-1)/5. Suppose -5*y = -4*t - 11, o*y = 3*y - 2*t + 17. Suppose 0*i - 216 = -y*i. Is i a multiple of 11?
False
Suppose -21*c = -18*c - 2*r - 52906, 4*r = 4*c - 70532. Is 245 a factor of c?
True
Let u = -64 + 64. Suppose 0*s - 3*s + 288 = 0. Suppose u = -g - 5*g + s. Is g a multiple of 4?
True
Let b(i) be the first derivative of -i**5/24 + i**4/24 + i**3/3 - 16. Let m(f) be the third derivative of b(f). Is m(-7) a multiple of 18?
True
Suppose 47 = -12*k + 1487. Let h be (128/5)/(24/k). Let o = 326 - h. Does 33 divide o?
True
Let o = 4398 + 2271. Does 94 divide o?
False
Let u(q) = 5*q**2 + 330*q + 286. Is 21 a factor of u(-79)?
False
Suppose 2109*a - 95640 = 2099*a. Suppose -13*g = 1244 - a. Is g a multiple of 16?
True
Suppose 0 = -y + 2*k + 2487, -y - 6*k + 2517 = -14*k. Is 2 a factor of y?
False
Suppose -1111 - 553 = -13*p. Suppose 3*a - p = -2*f, 4*f = 2*a + 294 - 70. Is f a multiple of 28?
False
Let d(s) = 4 + 49*s**2 + 1 - 25*s**2 - s - 1. Let f be d(3). Suppose 5*o - 475 = -5*t, -3*o + 73 = -2*t - f. Is 24 a factor of o?
True
Suppose 0 = 4*l - d + 1, 3 - 1 = 2*l + 2*d. Suppose l = 3*q - z - 13 + 2, -31 = -3*q - 4*z. Suppose 0 = o + p - 11, -17 + 2 = q*p. Is o even?
True
Let l(k) = -k**3 - 46*k**2 - 47*k - 82. Let p be l(-45). Suppose -9*s + p*s = -800. Does 50 divide s?
True
Let u(k) = 274 - 57*k + 33*k + 27*k. Is u(0) a multiple of 52?
False
Let o be -3*(2620/(-132) - 4/(-22)). Let t = o - -501. Suppose -t = -y - 3*y. Is y a multiple of 14?
True
Suppose -3*r = -n - 2548, -5*n + 852 = r - 6*n. Let u = 1464 - r. Does 14 divide u?
True
Suppose 15*y - 3506 + 146 = 0. Let u = 1 + y. Is 9 a factor of u?
True
Let p(x) = -x**3 + 16*x**2 + 2*x - 32. Let y be p(16). Is (-1 - y)/(-2)*90 a multiple of 2?
False
Let x(c) = 192*c + 110. Let v be x(-4). Let k = -443 - v. Is k a multiple of 2?
False
Suppose -7*d + 4*d + 12 = 0. Let j(n) = 11 - 8 - 13*n + d*n. Is 11 a factor of j(-7)?
True
Let a(x) = -35*x**3 - 3*x**2 + 2. Let u be a(1). Does 26 divide (u/(-15) + 0)/((-1)/(-110))?
False
Suppose 3*z - 5*j - 29627 = 0, -4*z + 2*j + 31736 = -7734. Does 25 divide z?
False
Let w(s) be the second der