actor of l?
False
Let x(y) be the first derivative of 31*y**3/3 + 7*y**2/2 + y + 136. Is 6 a factor of x(1)?
False
Let a be (-259 - -2)*(-5 + 7). Let c = -298 - a. Is c a multiple of 4?
True
Let c be ((-27)/(-15))/((-9)/(-120)*4). Suppose 0*s - c = 3*s - 3*l, 2*s - 4*l = -8. Suppose -48 = -s*z - 3*z. Is 10 a factor of z?
False
Suppose -4*k + 5*d = -10870, 4*k - 10856 = -140*d + 138*d. Is 8 a factor of k?
False
Let p(j) = j**2 + 106*j + 302. Is 23 a factor of p(45)?
False
Suppose -4193714 = -360*r + 2995690 + 4377396. Does 42 divide r?
True
Suppose -4*a = 4*k + 1520, -61*k = -64*k + 5*a - 1172. Let b = -360 - k. Is b a multiple of 6?
True
Let s(h) = 11*h**3 + h**2 + 53*h - 29. Let n(o) = -8*o**3 - 35*o + 19. Let v(u) = -7*n(u) - 5*s(u). Does 2 divide v(8)?
True
Is 4/(-18) + 10 + 1684564/153 a multiple of 155?
False
Let z(p) = p**3 - 2*p**3 + 9*p**2 + 7*p - 1 + 7*p**2 - p. Let d = -185 + 201. Is z(d) a multiple of 19?
True
Suppose 3*d = -3384 + 10779. Does 29 divide d?
True
Suppose -3*m - 5*z = -7*m + 1, 5*m + 1 = 4*z. Does 30 divide (4/(5 + m))/(1/383)?
False
Let a(h) = 17*h**2 + 16. Let i(v) = -v**2 + 10*v - 16. Let b be i(4). Does 80 divide a(b)?
False
Let w(m) = 6*m**2 - 39*m + 24. Is w(6) a multiple of 6?
True
Suppose 0 = -b - 3*b. Suppose -2*s - 3*r + 20 = b, 3 = -5*s + 4*r + 7. Suppose 5*z - 362 = 4*k, 0 = -z - s*k + 27 + 31. Is 8 a factor of z?
False
Let z(i) = i**3 + i**2 - 8*i - 6. Suppose -68 = -3*d + 4*p, 3*p - 7*p + 12 = 2*d. Suppose 37*x - 41*x = -d. Is 25 a factor of z(x)?
False
Let m(l) = -17*l + 2. Let j(v) = -v**2 + 2*v + 2. Let u be j(-5). Let h = u + 32. Is m(h) a multiple of 3?
False
Let d = -112 + 119. Suppose -388 = -d*w + 3*w. Suppose 102*h - w*h = 230. Is h a multiple of 46?
True
Let p = 52 - 121. Let j = 69 + p. Suppose j = 5*z - 24 - 36. Does 3 divide z?
True
Let g(o) = -58*o + 70. Let w be g(1). Suppose -w*t = 28*t - 4360. Is 9 a factor of t?
False
Let h = -2797 + 15409. Does 24 divide h?
False
Let l be (-54)/(-10) + (-8)/20. Let k(p) = 583*p**2 - 3*p + 5. Let f be k(1). Suppose u - 189 = h, l*u - 3*h = 360 + f. Does 13 divide u?
False
Suppose -533905 + 138182 = -86*d + 574701. Is d a multiple of 31?
True
Suppose 12*c - 118 = 2. Is 3 a factor of ((-11)/c + (-30)/(-50))*-6?
True
Let q = 30 - 30. Is (2/(-3) - q)/(5/(-1140)) a multiple of 9?
False
Let n = 2366 + -530. Suppose 6*z - 1356 - n = 0. Does 28 divide z?
True
Suppose 5*o = 3*t - 4*t + 527, 2*t = -6. Suppose -o = 10*r - 2706. Does 20 divide r?
True
Let p(b) = -13*b**2 - 3*b - 16. Let q be p(-6). Let k = -394 - q. Is 7 a factor of k?
False
Suppose 5*f - 4*w = 15, 3*w - 14 = -3*f - 5. Suppose -f*p = 5*j - 274, 5*j + 93 - 371 = -p. Suppose -11 = -c + j. Is c a multiple of 15?
False
Suppose 23*d - 45 = 14*d. Suppose 2185 = 5*i + d*f, 4*f = i + f - 445. Is i a multiple of 17?
False
Is 20 a factor of -3*(-6049 - -1*(-6)/(-18)*12)?
False
Is (-210)/21 - (-2505 + 0) a multiple of 9?
False
Let s(y) = -y**2 - 32*y + 10. Let a be s(-26). Let b = a - 5. Is b a multiple of 23?
True
Let j(o) = -6 - 14*o**2 + 441*o - 446*o + 80*o**2 - 16*o**2 + 98*o**2. Suppose w - 3*w - 2 = 0. Does 21 divide j(w)?
True
Suppose -4366 = 13*q - 15*q + i, -5*i = 4*q - 8760. Let j = -1547 + q. Is j a multiple of 58?
True
Let x be 135/(-36)*(-4)/(-6)*-22302. Does 46 divide (4/6)/(7/(x/10))?
False
Let z(b) = 11*b**3 - 2*b**2 + b - 4. Let g(p) = p + 11. Let n(i) = -5*i - 45. Let d(r) = 9*g(r) + 2*n(r). Let c be d(7). Is z(c) a multiple of 39?
True
Suppose a = -11*a + 2568. Let n = -73 + a. Does 10 divide n?
False
Let g(z) = -z**2 - 33*z + 118. Let t be g(-36). Does 11 divide (-218)/(-2) + t/(-10)?
False
Is (16/10)/(120/1650300) a multiple of 107?
False
Suppose -4187 = -8*i + 11309. Suppose 22*x - 5765 = -i. Does 58 divide x?
True
Let m(n) = -2*n**3 + 50*n**2 + 57*n + 96. Is 52 a factor of m(16)?
True
Suppose 2*s - 2943 = 5*m - 9601, 4*m = 2*s + 5328. Is 70 a factor of m?
True
Let v(i) be the second derivative of i**5/5 + i**4/2 + i**3/3 - 4*i**2 - 75*i - 1. Does 6 divide v(6)?
False
Is 118 a factor of (2/7)/((-4)/(-241192))?
True
Let t = -9010 + 11013. Does 21 divide t?
False
Let d = 61 + -63. Let u be 30/(-5)*d/6. Is (-4)/2*(u - 25) a multiple of 10?
False
Let l = 13007 - 9955. Is 158 a factor of l?
False
Suppose -16*q + 36 = -20*q. Let j(f) = -f**2 - 7*f + 12. Let r be j(q). Does 16 divide r/(-4)*1 - (-363)/6?
False
Let u = -1828 + 6872. Let t = u + -3349. Is t a multiple of 15?
True
Let g = 451 - 755. Let h = g - -339. Is h a multiple of 6?
False
Let g be (-1 + 2/4)*-4. Let l(w) be the first derivative of 13*w**3 + 3*w**2/2 + 3*w - 132. Does 21 divide l(g)?
False
Suppose -h + 3*t + 68 = 0, 2*t + 51 = -5*h + 323. Is 19 a factor of 1*(166/8)/(14/h)?
False
Let d = 251 - 248. Suppose d*l - 283 - 797 = 0. Is 45 a factor of l?
True
Let j(b) = 60*b**2 - 127*b - 2237. Does 8 divide j(-15)?
True
Let s = 5827 + 7473. Is 19 a factor of s?
True
Suppose -24248*m + 24241*m = -53375. Does 50 divide m?
False
Let i(r) = 75*r**3 + 8*r**2 + 13*r - 51. Is 41 a factor of i(4)?
False
Let i be 735/60 + 1/(-4). Suppose -7*r + 4*r = -i. Suppose -r*k - 4*u = -276, u - 121 = -3*k + 78. Does 14 divide k?
False
Let a = -41271 - -76908. Does 36 divide a?
False
Let j(o) = 4*o - 48. Let w be j(-18). Let u = 195 + w. Does 42 divide u?
False
Let u(p) = 12*p**2 - 64*p + 126. Does 23 divide u(2)?
True
Let u(r) = -4*r - 1. Let s be u(1). Let h(n) = 8*n + 4*n + 18 - 9*n - 11*n - 2*n**2. Does 8 divide h(s)?
True
Let i(v) = -v**2 + 11*v + 81. Let t be i(16). Let x(q) be the first derivative of 5*q**4 - q**3/3 - q**2/2 + 2*q + 2. Is 10 a factor of x(t)?
True
Let g = 1283 + 409. Is g a multiple of 14?
False
Let t = -127 - -141. Suppose 4*q = -2 - t, 0 = 4*g - 4*q - 108. Is 7 a factor of g?
False
Suppose 985*u = 988*u - 582. Suppose -2*t = -246 - u. Is 110 a factor of t?
True
Suppose 0 = 3*r - 10*r + 903. Let m = 239 - r. Is 10 a factor of m?
True
Let q = -342 + 341. Is 35 a factor of (120/(-70))/(q/245)?
True
Suppose 2*j + c - 62 = 0, -2*j - 3*c = -44 - 22. Suppose -3*v - 1704 = -5*m, j*v = 3*m + 29*v - 1020. Is 19 a factor of m?
False
Let h(g) be the second derivative of -g**7/2520 + 13*g**6/720 - 3*g**5/20 - 3*g**4/4 + 8*g. Let u(y) be the third derivative of h(y). Does 13 divide u(8)?
False
Let o = -41891 + 60275. Is o a multiple of 29?
False
Suppose -4*j + 5*m - 11 - 89 = 0, 0 = -j - 4*m - 46. Let q(f) = f**3 + 6*f**2 - 6*f - 5. Let p be q(-5). Let c = j + p. Is c a multiple of 4?
True
Suppose -29*y = -32*y - 2*k + 3514, k = -3*y + 3512. Does 9 divide y?
True
Let x = -18916 + 27157. Is 7 a factor of x?
False
Suppose -123*u + 152*u - 286839 = 0. Is u a multiple of 14?
False
Suppose 444951 = 77*l - 371788. Does 8 divide l?
False
Suppose -i + 4*m + 178 = i, 2*m = -4*i + 356. Suppose 807 = 8*f - i. Does 13 divide f?
False
Let z(v) = 17*v + 85. Suppose 26*x = 1 - 1. Is z(x) a multiple of 13?
False
Suppose 5317 = -97*s + 1611718 + 203231. Is s a multiple of 53?
True
Suppose -n + 4136 = 4*t + 2*n, -2*t + 2046 = -4*n. Suppose -2273 = -5*i + 2*q + t, -5*q = 3*i - 1970. Does 12 divide i?
True
Let g = 13823 - 12568. Does 114 divide g?
False
Suppose -79694 = -4*v + 9850. Suppose -v = -18*u - 8*u. Is 41 a factor of u?
True
Let t(j) = 49*j**2 - 459*j + 2. Is 15 a factor of t(14)?
True
Let v(q) = q**2 + 3*q - 14. Let s be v(11). Let z = s - 5. Is z a multiple of 27?
True
Let o(d) = 2*d**3 - 344*d + 32138. Is 16 a factor of o(0)?
False
Suppose 922 + 1588 = 5*g. Is 34 a factor of g - (1 + 1)/((-3)/(-6))?
False
Let b be (-5)/(-2)*(-36)/(-45). Let k = b - 3. Let y(v) = -30*v**3 - v**2 + 3*v + 4. Is y(k) a multiple of 6?
True
Suppose 2*o - 3*v - 50 = -8*v, 5*o - 125 = -3*v. Suppose j + o = -5*t, -3*t = j - 9 + 24. Suppose -p + 21 + 211 = j. Is 28 a factor of p?
False
Let j = -2203 - -2435. Is j a multiple of 5?
False
Let u be (-11 - -1)*35/(-70) + -3. Suppose -1 = o - 10. Suppose -u*a = -5*m + 63, -3*m - 4*a + 34 = -o. Is 2 a factor of m?
False
Suppose 58*g - 60*g - 6 = 0, -3*v + 6*g = -32643. Is 87 a factor of v?
True
Let h(b) = 38*b - 7. Let i be h(-3). Let a = i + 229. Let k = a - 87. Does 3 divide k?
True
Suppose -3*i + 7*i = t + 10, 5*t - 2*i - 4 = 0. Suppose -3*a + t*x = a - 186, 2*a = -x + 103. Does 9 divide a?
False
Suppose 4*x - 18 = 2*v - 3*