ird derivative of c**6/120 - c**5/20 - c**4/8 - c**3/3 + 46*c**2. Is 19 a factor of d(n)?
False
Let t = -23 + 27. Suppose -t = -8*a - 12. Is 8 a factor of a/(2/(-108)) + -1?
False
Suppose 1487 = 4*c - 2617. Suppose -684 = -2*b - 2*z, 0*b + c = 3*b - 3*z. Suppose 192 + b = 6*p. Is 17 a factor of p?
False
Suppose -31*u + 164860 + 199100 = -86098. Is 122 a factor of u?
True
Let h be ((-136)/(-16)*-1)/(2/(-12)). Suppose h*y - 60*y + 900 = 0. Is 49 a factor of y?
False
Let y = -76 + 79. Suppose -4*l - y*o = -307, 63 + 108 = 2*l + 5*o. Does 3 divide l?
False
Suppose 0 = 5*n - 0*k - 2*k - 16, 4*n = 2*k + 14. Does 3 divide (22 + n)*16/3?
False
Let l = -12230 - -15505. Is 2 a factor of l?
False
Suppose 2*q = 6, -2*s = 2*s - 3*q + 1. Suppose -84 = -s*a + 82. Is 6 a factor of a?
False
Let v(d) = 10*d - 43. Suppose -39 = -3*b + 3*g, 2*g + 3*g = 2*b - 41. Let y be v(b). Suppose -y*a + 483 = -30*a. Is a a multiple of 17?
False
Let a = 6310 + -2605. Is 39 a factor of a?
True
Let n(r) = r**2 - 36*r + 61. Let q be n(34). Is 4 a factor of ((-124)/14)/(1/q)?
False
Let z(p) = -9*p - 10. Let d be z(-3). Let g = -14 + d. Suppose 8 = -4*c, -g*k - 5*c + 26 = k. Is k a multiple of 9?
True
Let a = -84 - -28. Let q = 62 + a. Is 33/q*(0/5 - -4) a multiple of 13?
False
Let b be -241 - ((1 - 3) + -1). Let x = -175 - b. Is 9 a factor of x?
True
Let y(q) = q**3 - 2*q**2 - 6*q + 20. Let k be y(6). Let p = 104 - k. Let r = p - -94. Is r a multiple of 8?
False
Let s(t) = 164*t**2 - 81*t - 298. Does 5 divide s(6)?
True
Let n(g) be the third derivative of -1/6*g**3 + 1/24*g**4 + 0*g + g**2 + 0 + 2*g**5. Is n(1) a multiple of 22?
False
Let a(u) = u**3 + 126*u**2 - 615*u - 173. Is 183 a factor of a(-130)?
False
Let j(a) = -a**3 - 35*a**2 - 85*a - 46. Let w be j(-31). Let n = -663 - w. Is n a multiple of 13?
False
Let f be (-2)/19 - (7 + 5900/(-95)). Suppose 0 = -21*c + f + 1037. Does 13 divide c?
True
Does 21 divide 2920490/1995 + 2/21?
False
Let l(p) = -2*p + 5. Let z be l(4). Let o(q) = 4*q**2 - 2*q - 4 + 6*q**2 - 3 - 7*q + q**2. Does 6 divide o(z)?
False
Is 31/2*836/(20 - 9) a multiple of 6?
False
Suppose -4*b + 50055 = 5*m, 15103 = -4*m - 3*b + 55148. Is m a multiple of 60?
False
Suppose 0 = -2*h - 39 + 423. Let n be h/42 - (1 - 10/7). Suppose 7*y - 166 = n*y. Is 9 a factor of y?
False
Let z(s) = -s**3 - 9*s**2 - 3*s - 14. Let l be z(-9). Suppose -l*j + 16619 = -619. Is j a multiple of 27?
False
Suppose 2*b = -3*r + 12538, -3*b = -14*r + 15*r - 4177. Is 55 a factor of r?
True
Let a(k) = -16 - 832*k + 12 + 831*k. Let f(m) = 9*m - 1. Let q be f(-1). Does 2 divide a(q)?
True
Is 47 a factor of (3 + -1 - (-2824)/4)*2483/382?
False
Let t be (-122)/(-10) - (-43)/(-215). Let g be 2 - ((-12)/3)/(-2). Does 8 divide (g + t)/(-4)*-16?
True
Let t(w) = 115*w**2 - 99*w. Is 4 a factor of t(4)?
True
Let k(t) = t**3 + 12*t**2 + 12*t - 119. Let l be k(5). Suppose 4*y + 88 = 5*y. Suppose -2*v + l = y. Does 18 divide v?
False
Let s = -74 - -74. Suppose -3*u - 6*u + 279 = s. Suppose -u*h = -33*h + 470. Is h a multiple of 42?
False
Let r(b) = -105*b**2 - 66*b - 4. Let g be r(3). Let l = -576 - g. Is l a multiple of 9?
False
Let d be (-6 + -816)*((-5)/(-3) + -2). Let u be (-1)/2 - d/4. Let c = u - -94. Is c a multiple of 15?
False
Let u = -6 + 10. Let z(y) = 276*y + 714. Let s(l) = -11*l - 28. Let c(i) = -153*s(i) - 6*z(i). Is c(u) a multiple of 15?
False
Let w be (138/(-92))/(3*(-2)/8). Let m be (-1)/w - (-2709)/42. Let k = m - 52. Is 2 a factor of k?
True
Suppose -4*j + 710 = -v, j + 537 = 4*j - 3*v. Suppose j = 2*c - 263. Is c a multiple of 5?
True
Let v = 2953 + -1016. Let m = -1274 + v. Is 9 a factor of m?
False
Let v(i) = 120*i**3 - 5*i**2 - 5*i - 5. Let c(n) = -60*n**3 + 3*n**2 + 3*n + 3. Let g(d) = 5*c(d) + 3*v(d). Let q be g(-1). Does 9 divide (-1)/(-1) - (q + 1)?
False
Suppose -5*y + a = -45902, -y - 49*a + 48*a + 9178 = 0. Suppose 28*g - 43*g = -y. Is g a multiple of 17?
True
Is (-1288482)/(-30) - 30/75 a multiple of 30?
False
Let i = -18787 + 42321. Is 21 a factor of i?
False
Suppose 29 = -20*d + 89. Suppose -d*q = -3*c + 714, 3*c - q = -5*q + 693. Is c a multiple of 37?
False
Suppose 3*r - 9311 = -2*b, 3*b - 11*r + 13*r = 13954. Does 56 divide b?
True
Let j(d) = -29*d**3 + 4*d**2 + 2*d. Let p be j(2). Let x = -147 - p. Does 7 divide x?
False
Let m = -1174 - -395. Let p = -679 - m. Is 4 a factor of p?
True
Let q be 41 - (3 + 1) - -4. Let s(v) = q*v + 3*v - 23*v - v**2 - 6. Does 23 divide s(14)?
True
Let a(x) = -2*x**2 + 57*x - 81. Let m be a(27). Suppose 18*j - 5421 - 2787 = m. Does 38 divide j?
True
Suppose 0 = -4*m - 9 + 25, 3*m = 2*k - 338. Is k a multiple of 3?
False
Is 63/3 - -2079 - 10/1 a multiple of 95?
True
Let q(l) = -129*l - 12. Let y be q(-3). Let t be (y/(-10))/(2/(-8)). Suppose -6*j + 11*j = t. Is j a multiple of 15?
True
Suppose -g - 973 = -3*l, 5*g + 1 = -4. Suppose -58*f + 46*f + l = 0. Is f a multiple of 27?
True
Suppose 4*a + 42 = -2*c, -5*c + 5*a - 75 = -0*c. Let o(k) be the first derivative of -k**4/4 - 16*k**3/3 + 6*k**2 + 11*k + 7. Is o(c) a multiple of 6?
True
Suppose 22*b - 61785 - 7955 = 0. Does 27 divide b?
False
Let d be (5/4)/(1/((-32)/(-4))). Let q be (-5)/((-50)/4) - 1454/d. Let w = 209 + q. Is w a multiple of 4?
True
Let s = 38880 + -30663. Is 33 a factor of s?
True
Let v(d) = 32*d + 1. Let r be v(1). Suppose -36*m + r*m + 942 = 0. Suppose -3*q + 4*j = 5*j - m, 3*q - 5*j = 284. Is q a multiple of 18?
False
Suppose 0 = 2*k + 5*c - 290, 0 = 2*k + 3*k - 5*c - 655. Is 219492/k + (-9)/(540/(-8)) a multiple of 98?
False
Let z = 199 - 202. Is 3 a factor of z/((-24)/952) + (-1 - 1)?
True
Suppose -d + 108 = -4*r, 3*d + 0*d - 259 = -r. Let b be ((-5)/(-10))/((-1)/d). Let l = b - -149. Is 35 a factor of l?
True
Let f be (-140)/(-18) - (-4)/18. Let h(s) = 3*s - 1 - 8*s**3 - 8*s**2 + 4*s**3 + 5*s**3. Is h(f) a multiple of 23?
True
Suppose 0 = d - 4*v - 12, -v + 7 = 4*d + 10. Suppose d*r = 2*r - 2*i - 920, r - 454 = 3*i. Is 28 a factor of r?
False
Suppose 0 = 94*g - 91*g + 1413. Let d = -411 - g. Is 20 a factor of d?
True
Let w = 557 - 558. Let n(a) = 829*a**2 + 5*a + 8. Is n(w) a multiple of 32?
True
Let v(t) = t**3 + 16*t**2 - 17*t + 8. Let p be v(-17). Is 4 a factor of 200/(-150)*(-2)/(p/114)?
False
Suppose -71*z = -68*z - 3*k - 23532, 16 = -4*k. Is 49 a factor of z?
True
Suppose 3*z + 10 = -2*p, -5*p = 5*z - 5 + 20. Is 51 a factor of 17 + 33 + p/1?
True
Suppose -o = -54*x + 53*x + 58, -2*x = -5*o - 278. Let i = 176 + -310. Let r = o - i. Is r a multiple of 5?
True
Let a(o) = 286*o + 162. Is 2 a factor of a(10)?
True
Let c(g) = -g**2 - g. Let v(z) = -z**2. Let t(k) = 2*c(k) - 18*v(k). Let m = 4 - 1. Is 18 a factor of t(m)?
False
Let o be (-428)/(-18) - 12/(-54). Let q be (-1032)/(-64) + (-3)/o. Let s(v) = 2*v - 27. Is s(q) even?
False
Let x(w) = 9*w**3 + w**2 + 3*w + 3. Let y be x(-1). Let g(t) = -3*t - 21. Let h(d) = 4*d + 20. Let o(l) = -6*g(l) - 5*h(l). Is 14 a factor of o(y)?
True
Let l(v) = -v - 20. Let t = -61 - -39. Let r be l(t). Suppose r*f - 16 = -2*g, -7 = -4*f + g + 15. Does 3 divide f?
True
Let q be (-3)/3 + (-6)/(-12)*6. Let p(x) = -x + 0*x - q*x**2 + 63 - 35 - 3*x**3 - 33. Does 8 divide p(-3)?
False
Let b = -10750 + 16756. Does 173 divide b?
False
Let b(s) = -45*s**3 + 15*s**2 - 2*s - 11. Is 9 a factor of b(-6)?
False
Let g = 85 + 0. Let q = 223 - g. Suppose 2*w = 2*s + 92, 4*s + q = -0*w + 3*w. Does 23 divide w?
True
Let t be (130/4)/(14/28). Let v = -54 + t. Is 9 a factor of (v/22)/(2/36)?
True
Let f(p) = 10*p**3 - 29*p**2 + 71*p - 2. Is 32 a factor of f(15)?
True
Let a be 461 + (-3)/6*6. Suppose 4*w + 600 = 5*i + w, -4*i = 2*w - a. Does 8 divide i?
False
Suppose -b = 4*d - 14073 - 7289, -26694 = -5*d + 3*b. Is 30 a factor of d?
True
Let h(q) = 70*q**3 + 4*q**2 - 31*q - 1. Is h(5) a multiple of 46?
True
Suppose -86*z - 19432 = -88*z - 4*i, 3*z - 29071 = 5*i. Is 14 a factor of z?
True
Is -1 + 3561 + (-6*1)/(198/165) a multiple of 13?
False
Suppose -28*d - 3*k + 23903 = -23*d, 5*d - 3*k - 23897 = 0. Does 5 divide d?
True
Let c(o) = o**2 + 54*o + 158. Let m be c(-51). Let w(i) be the first derivative of i**4/2 - 2*i**3 + 3*i**2 - 4*i - 1. Does 21 divide w(m)?
True
Suppose -u - 4 = 3*j, -2*u + j + 3*j + 2 = 0. Let a(z) = -44*z**2 + z + 1. Let w be a(u