 be the third derivative of 19*l**4/8 + 5*l**3/6 - 33*l**2. Does 17 divide p(2)?
True
Suppose -27*w = -w - 52. Suppose -8 = y - 3*q - 4, -w*y = 4*q - 32. Is y a multiple of 8?
True
Let i = 2531 - 2063. Is i a multiple of 52?
True
Suppose 0 = -18*f + 21*f - 21. Let r(z) = -f - 12*z + z + 9 + z**2 + 15. Is 2 a factor of r(11)?
False
Let h be 2/(0 + 8/172). Let q = h - 31. Is -20*-2*27/q a multiple of 16?
False
Let z(d) = -d**3 - 44*d**2 + 43*d - 70. Let i be z(-45). Let m be 4/14 - (-33)/7. Is 12*(i/m - -2) a multiple of 12?
True
Let j = 80 - 76. Suppose j*o = -5*k + 524, -9*o + 4*k = -6*o - 362. Suppose l - o = 69. Is l a multiple of 39?
True
Suppose r = -4, 3*w - 19*r - 18970 = -15*r. Does 78 divide w?
True
Let j = 721 - 281. Suppose j = 4*a - 216. Let r = 304 - a. Is r a multiple of 35?
True
Let h(c) = -c**3 + 28*c**2 - 23*c - 12. Let t be h(27). Let j = 2 - -10. Let v = t + j. Does 27 divide v?
True
Suppose -2*k + 2801 = 2*b - 6463, -4*k + 18536 = 2*b. Is k a multiple of 19?
True
Does 78 divide (((-27)/180)/(5/(-120)))/((-3)/(-4030))?
True
Let a(i) = -12*i**3 - 7*i**2 + 38*i + 27. Is a(-9) a multiple of 46?
True
Let l be (2172/15)/((-16)/(-880)). Suppose 48*z - 59*z + l = 0. Is 48 a factor of z?
False
Is ((-24)/5)/(1/(-355)*918/9792) a multiple of 77?
False
Let w = 26 + 18. Suppose -2*p - 2*t = -w, -5*p + 2*t + 0*t + 145 = 0. Does 25 divide (p/(-6))/(1 - 129/126)?
False
Let i be -2 - (-4 - -4 - 2). Suppose i = 2*y - 0*m - 4*m - 58, 3*y = -3*m + 60. Is (-51)/(-17) + 0 + y a multiple of 13?
True
Let q be 4/14 - 4/14. Suppose -5*h + 26 + 4 = q. Suppose h*r - 65 = 1. Is 8 a factor of r?
False
Let n(l) = l**2 + l. Let c(a) = -7*a**2 - 2*a + 61. Let i(o) = -c(o) - 5*n(o). Let v be i(9). Let w = -65 + v. Is w a multiple of 9?
True
Let j(y) = -4*y**3 + 19*y**2 + 27*y - 50. Is j(-9) a multiple of 7?
False
Suppose 4 - 36 = -2*p - 4*k, 2*p = 3*k + 53. Suppose 129 = -p*b + 25*b. Suppose -l = -b - 100. Is 13 a factor of l?
True
Let l = 8592 - 6356. Is 43 a factor of l?
True
Let s(l) = 55*l**2 - 4*l + 3. Let r be s(1). Let g(k) = 24*k**2 + k. Let c be g(-1). Suppose -c*d = -25*d + r. Is 11 a factor of d?
False
Suppose 0 = -7*i + 12797 - 1324. Suppose -5*f - 2*v = -i - 255, -4*v = 3*f - 1142. Does 7 divide f?
True
Let h be (2/(-1))/(-2) + 2. Suppose -5*d + 97 = y - 98, -4*y + 831 = h*d. Is 6 a factor of y?
True
Suppose 1248*h - 1253*h = 24556 - 155896. Is h a multiple of 22?
True
Let b be (((-33)/6)/1)/((-6)/12). Suppose -215 - 3250 = -b*u. Is 35 a factor of u?
True
Let v(f) = 14*f + 13. Let g be v(0). Suppose 19*p = g*p + 2880. Is 30 a factor of p?
True
Let s(d) = 6175*d + 3730. Is s(4) a multiple of 13?
False
Let i(c) = -3*c + 23. Let l be i(7). Suppose -l*a = -3*w + 91, -a - 3*w - 49 = -w. Let o = a - -91. Does 12 divide o?
False
Suppose -4*o + 81 + 96 = l, 0 = -o - 4*l + 48. Suppose -745 = 39*g - o*g. Does 6 divide g?
False
Suppose 4*k = -w + 16292, -5*k + 16298 = w - 4*k. Is w a multiple of 25?
True
Let l(z) = -85*z**3 + 22*z**2 + 45*z + 7. Is l(-2) a multiple of 54?
False
Suppose 23*a - 372 = 25*a. Does 47 divide (2 - a)/(6/3)?
True
Let k(c) = 3730*c**2 - 16*c + 6. Is 30 a factor of k(1)?
True
Let y(z) = 19*z**2 + z - 2. Let x be y(1). Is x/21 + (-5856)/(-28) a multiple of 35?
True
Let g = -2555 - -2913. Is g a multiple of 47?
False
Let b(k) be the first derivative of k**4/4 - 10*k**3/3 + 5*k**2/2 + 13*k + 1. Let u(r) = -r**3 + 3*r**2 + 2*r + 4. Let l be u(3). Does 26 divide b(l)?
False
Let x(q) = q**3 - 35*q**2 + 50*q - 568. Is 118 a factor of x(38)?
True
Let f = 79520 + -46802. Is 123 a factor of f?
True
Suppose -4*o + 15208 = 3*z, 2*z - 109*o = -111*o + 10138. Does 28 divide z?
True
Let l(x) = x**3 + 4*x**2 - 18*x + 27. Let y(w) = 9*w**3 + 5*w**2 - 5*w - 1. Let t be y(1). Does 39 divide l(t)?
False
Let d(x) = 12*x**2 + 8*x - 64. Does 13 divide d(6)?
True
Let b(v) = 4*v**2 - 28*v - 31. Let h be b(13). Suppose 0 = o - 5*f + 13 + 32, 3*f + h = -5*o. Let w = o - -97. Does 21 divide w?
True
Suppose -69*w = -821021 - 358615 - 130536. Does 94 divide w?
True
Suppose -16 = 5*n + 9. Let s be ((7 + -4)/(-3))/(1/n). Suppose -5*t + 6*t - 788 = -5*k, -s*k + 786 = 2*t. Is 21 a factor of k?
False
Let w be (-1792)/14 + -5 + 4/2. Let v = -50 - w. Does 18 divide 13140/v + 2/(-9)?
True
Let z(l) = -20*l - 4*l**3 - l**2 + 2*l**3 - 6*l + 7*l + 10. Is 65 a factor of z(-7)?
True
Suppose -6*v + 1040 = -v - 2*p, 3*v - 2*p - 628 = 0. Suppose s + v = w, 6*w = 4*w - 4*s + 400. Is w a multiple of 17?
True
Let q(z) = 5*z**3 + 2*z**2 - 3*z + 2. Let y(a) = -a - 9. Let g be y(-10). Let u be q(g). Suppose -u*f + 474 = -84. Is 7 a factor of f?
False
Does 87 divide -2*(-41017)/8 + 270/360?
False
Let t(k) = -218*k - 209. Let s be t(-14). Suppose -2*i + 1456 = 3*c, -5*c + s - 411 = -2*i. Does 63 divide c?
False
Let n = 2562 - 1122. Suppose 1827*q + n = 1829*q. Is q a multiple of 49?
False
Let j(x) = -2*x**3 + 11*x + 10 - 9*x**2 + 3*x**3 - 2*x**3 + 0*x**3. Let u be j(-10). Let a(f) = f**3 - f**2 + f + 3. Is 2 a factor of a(u)?
False
Is 82 - 84 - 499*-6 a multiple of 14?
False
Let g be (-30)/(-105) + (-11084)/(-14). Suppose -2*u = -3*j + g + 161, -2*j = 4*u - 630. Let f = 473 - j. Does 16 divide f?
False
Let s be (-8 - -212)*(-2)/(-6). Suppose -o - s = o. Let x = o - -74. Is x a multiple of 24?
False
Let f(n) = -n**3 + 11*n**2 - 11*n + 12. Let v be f(10). Let i be (-1)/v - (-3788)/8. Let b = i - 297. Is b a multiple of 16?
True
Let f(d) = -12*d**3 + 837*d**2 + 229*d + 123. Does 3 divide f(70)?
False
Suppose -4 = 3*i - 5*v, -7 + 5 = -4*i + 3*v. Suppose -5*c = 10, -3*c - 4 = -i*l + 308. Does 9 divide l?
True
Let j = 6138 - 1484. Does 13 divide j?
True
Let x(q) = -q**2 - 17*q + 21. Let i be x(-18). Suppose 4*o - 2*p = 1008, i*o + o - 4*p - 1000 = 0. Is o a multiple of 26?
False
Does 22 divide (-3)/(-2)*250360/30?
True
Let r = -9668 - -19228. Is 4 a factor of r?
True
Let y be (-906)/12 - (-4)/(-8). Is 22 a factor of ((-4)/(-6) - 2)*6270/y?
True
Let d(x) = 4*x - 10. Suppose 0 = 5*l - 26 + 11. Let j be d(l). Does 20 divide 60/((-2)/(-6)*j/1)?
False
Suppose 0 = 5*c - 3*v - 3318, -16 = -6*v + 2*v. Does 39 divide c?
False
Suppose 0 = 5*g - r - 17504, 2*g = 253*r - 248*r + 7020. Is g a multiple of 10?
True
Let x be 0/((-12)/(-3) - -1). Suppose x*m - 95 = -m - 3*f, -4*m - 5*f = -366. Is 10 a factor of m?
False
Let x(p) = p**3 - 9*p**2 + 5*p + 2. Let t be (1 - (-23)/(-3))/((-18)/27). Let b be x(t). Suppose 0 = 4*w + 4*w - b. Is 5 a factor of w?
False
Suppose -k = 3*m - 51335, 5*k - 3*m = 2*m + 256575. Is k a multiple of 20?
True
Let y(b) = 19*b + 3. Let c(r) = r + 1. Let t be c(3). Suppose -3*m - 31 = -4*i, 0 = -3*i + 8*i + t*m - 62. Is 24 a factor of y(i)?
False
Suppose -12*w - 30*w = -31861 - 169235. Is w a multiple of 18?
True
Suppose 0 = -4*c - 3*z + 489, z = -4*c + 560 - 69. Let r be 10/(-3)*(24 - c). Let g = -94 + r. Is g a multiple of 15?
False
Suppose 812 - 56 = -6*r. Is 14 a factor of 28/r - (-18528)/27?
True
Let r = -26 + 56. Let u be r/50*(2 - -8). Suppose u*x = -4*x + 1870. Is x a multiple of 32?
False
Suppose 14*w - 4*w = -7*w + 41412. Is w a multiple of 203?
True
Let k(u) = -1 - 14*u - 20*u**2 + 6*u**3 + 10 + 28*u**2 - 7*u**3. Does 9 divide k(4)?
False
Let c be (-1 + -2)*(1/(-1))/1. Suppose 2*j + f = 184, -j - c*f + 180 = j. Does 3 divide j?
True
Let y(c) = 409*c - 1798. Is y(12) a multiple of 96?
False
Let p(v) = -4*v**2 + 6 + 0 - v**3 - 2 + 6*v + 2. Let x be p(-5). Let h(j) = 46*j**3 - 2*j**2 + j. Does 8 divide h(x)?
False
Let a(j) = -j**2 + 10*j - 9. Let h be a(9). Suppose 0*z + z + 1854 = h. Does 22 divide (-8)/28 + z/(-21)?
True
Suppose 0 = -4*f + 5*w + 226, 2*f + 3*f - 4*w = 287. Let t = f + 21. Suppose -t = 4*m - 188. Does 9 divide m?
True
Let m be (-2 - -4)/8 - 10572/48. Let t be (-84)/(-2)*m/12. Is t/33*(-3)/2 a multiple of 2?
False
Let s = -54 + 49. Let z = s + 12. Suppose -12*j = -z*j - 480. Does 16 divide j?
True
Suppose -17 = -17*g, 3*b = 4*b - 5*g - 5618. Does 20 divide b?
False
Suppose 1486*h - 1482*h + 24 = 0. Is (6 - -15)/(h/(-194)) a multiple of 12?
False
Let z = -355 + 173. Let f = 40 - z. Does 6 divide f?
True
Let s = 20 - 13. Suppose 0 = 9*k - s*k - 8. Suppose k*h - 3*y = 780, 0 = 5*y + 5 + 15. Is h a multiple of 44?
False
Suppose -10*g + 748 + 42 = 0. Suppose 