t b(t) be the first derivative of -t**4/2 + 3*t**3 - 7*t**2/2 + 10*t + 5. Let k be b(4). Is 2 a factor of (-5)/30 + k/(24/(-182))?
False
Let x(w) = -15*w**3 - 2*w**2 + 1. Suppose -4*p - 4 = -2*k, 4*p - 3*k + 13 = 5. Let a be x(p). Is 26 a factor of (-2)/(-4)*-1*1696/a?
False
Let d(i) be the third derivative of 7*i**4/24 - 32*i**3/3 - i**2. Let l(q) = -6*q + 64. Let n(m) = 5*d(m) + 6*l(m). Is n(0) a multiple of 31?
False
Suppose 32*g - 23 = -x + 37*g, g = 2*x - 64. Suppose 4*w - 1830 = -5*u, -30*u + 5*w = -x*u + 1085. Is u a multiple of 18?
False
Let i(d) = 3*d**3 - 7*d**2 - d + 17. Let z be i(6). Let l = 233 - z. Is ((4 + -3)/((-3)/l))/1 a multiple of 16?
False
Let f(w) = 137*w**2 + 62*w - 116. Does 17 divide f(6)?
False
Let l(o) = 88 + 148*o - 76*o - 67*o. Let x = 8 - -14. Is 22 a factor of l(x)?
True
Let h(k) = 502*k - 1. Let s be h(-1). Suppose -8*i + 6984 = 1216. Let c = s + i. Is 20 a factor of c?
False
Suppose 4*h - 5540 = 4*m, -h - 80*m + 78*m + 1400 = 0. Is h a multiple of 10?
True
Let k(m) = 17*m - 187. Let y be k(11). Suppose y = 672*q - 678*q + 2604. Is 30 a factor of q?
False
Is ((-41628)/28*56/(-16))/((-3)/(-6)) a multiple of 31?
False
Let d(m) = m**3 - 8*m**2 + 14*m - 8. Let g be d(6). Suppose g*r + 4*s + 12 = -0*r, s = -4. Is (3 - r) + 1/((-2)/(-134)) a multiple of 19?
False
Suppose 81*x - 87*x - 36*x + 13524 = 0. Is 14 a factor of x?
True
Suppose -7*x = -2*x + 95. Let f be (2/((-8)/6))/(x/228). Suppose -7*r = -186 + f. Is r a multiple of 12?
True
Suppose 2*p + 2*h = 2054, 0 = 3*p - 0*p + 2*h - 3077. Let d be (5 + 4/(-1))/(3/p). Let q = d + -138. Does 23 divide q?
False
Suppose h - 3*r = 45, -5*r + 140 + 125 = 4*h. Let g(l) = -l**3 - 13*l**2 - 12*l + 3. Let i be g(-12). Suppose -i*a = -a - h. Is a a multiple of 15?
True
Let m(u) = 19*u**2 - 71*u + 836. Is 71 a factor of m(13)?
True
Suppose -4102 = -9*x + 12116. Is x a multiple of 17?
True
Let i be -14 - ((-40)/(-16) + (-1)/(-2)). Is 51 a factor of (-114)/(-6)*(-3 + 0)*i?
True
Suppose 589 = -61*t - 2583. Suppose 0*j + 172 = 2*j. Let f = t + j. Is f a multiple of 17?
True
Let z = 317 - -508. Suppose -538 = 7*n - z. Is n a multiple of 41?
True
Suppose 0 = -23*f + 52018 + 26872. Is f a multiple of 14?
True
Is 7/(-14)*-18 - -1137 a multiple of 74?
False
Let a = -341 + 360. Suppose 0 = -2*w + a + 19. Is w a multiple of 19?
True
Suppose -3*a + 6 = -a. Suppose 7*m - 8*m + a = 0. Does 11 divide (-22)/m*-9 - 0?
True
Let q(b) = 5*b + 34. Let j be q(-7). Let d(v) = -369*v**3 + v**2 + 2*v + 2. Does 37 divide d(j)?
True
Suppose -2*m - 2*j = -15502, -3*m + 4*j = 2*j - 23243. Suppose 47*r = 9 + 85. Is m/168 + r/(-16) a multiple of 23?
True
Suppose 108*p - 791144 - 573061 = 4320051. Is 18 a factor of p?
True
Let p be 481425/392 + 2/(-16). Let n(r) = -r**3 + 2*r + 1. Let v be n(-1). Suppose 1220 = 5*j + 5*q, 3*q + v*q - p = -5*j. Is j a multiple of 62?
True
Suppose 7*i + 281 = -4248. Let m = -374 - i. Does 21 divide m?
True
Let l(s) = 10*s**2 + 2*s - 2. Let g be l(2). Let f be ((-745)/(-4)*-2)/((-21)/g). Suppose -5*q + f - 156 = -p, 5*q - 2*p = 588. Does 13 divide q?
False
Let k(n) = -2064*n + 444. Does 94 divide k(-4)?
False
Suppose 0 = 3*p - 13862 + 2678. Is p a multiple of 66?
False
Let k(x) = 66*x**2 + 1515*x + 4. Does 130 divide k(-29)?
False
Let i be ((-88)/(-20) - 1) + (-2)/5. Let d(q) = 0*q + i - 10*q + 9*q. Is 2 a factor of d(-14)?
False
Let a = -3960 - -8416. Is 57 a factor of a?
False
Let i = 8486 - -3594. Does 16 divide i?
True
Let j be (165/10)/(-11) + -1 + (-245)/(-14). Let w be (1 + (-3)/5)*130. Suppose -j*r = -11*r - w. Is 12 a factor of r?
False
Let p(n) = 22*n + n**3 - 22*n + 2*n**2. Let d be p(-2). Suppose 7*y - 791 + 84 = d. Is y a multiple of 25?
False
Let w(o) = 22*o**2 + 10*o - 145. Does 4 divide w(8)?
False
Let q be 3/(9/4)*(-6)/(-2). Suppose -5*n = 2*x - 4*n - q, -n - 8 = -x. Suppose -3*w + x*a = 2*a - 43, 0 = -5*w + 3*a + 70. Does 3 divide w?
False
Suppose 41*k + 4312 = 63*k. Is k a multiple of 8?
False
Suppose 2*c + 3 - 171 = n, 5*n = -5*c + 405. Suppose 79*t - c*t + 2240 = 0. Is t a multiple of 35?
True
Let p = -40897 + 69725. Is p a multiple of 32?
False
Suppose -378*q + 2318158 = -4537250. Is 75 a factor of q?
False
Let d(u) be the first derivative of -u**2 - 2*u + 26. Let p = -5 + -5. Is d(p) a multiple of 13?
False
Let y(r) be the first derivative of r**4/2 - 2*r**3/3 - 3*r**2 - 5*r + 1. Suppose -2*c = 5*u - 6*u - 5, -2*c = -3*u + 1. Is y(c) a multiple of 33?
False
Is 0 + 13929 + (-16)/((-4)/(-1)) + 0 a multiple of 16?
False
Let z(q) = 2*q**2 + 3*q + 26976. Is 281 a factor of z(0)?
True
Suppose 0 = 181*a - 201*a + 102900. Is a a multiple of 49?
True
Let j = 5548 + -3810. Is j a multiple of 37?
False
Let r(p) be the first derivative of p**4/4 - 19*p**3/3 - 19*p**2 + 8*p - 21. Is r(21) a multiple of 46?
True
Let s(g) = -330*g - 2. Suppose 3*i + 9 = 3*k, -7 - 13 = 5*i. Let b be s(k). Let u = b + -232. Is u a multiple of 37?
False
Let x(l) = 480*l**2 - l + 38. Does 10 divide x(8)?
True
Let i(m) = 6*m**2 + 8*m - 1. Let x be i(-4). Let y = 65 - x. Is y/(-7) + 640/35 a multiple of 9?
True
Let k = -33 - -1059. Suppose k = -18*w + 21*w. Is 19 a factor of w?
True
Suppose 8*c + 12*c = 100. Suppose -c*f - 5*b + 4040 = 0, 0 = -3*f + 7*b - 9*b + 2429. Is f a multiple of 15?
False
Let i be -1088 + -2*(8 + -7). Let k = i - -1855. Is k a multiple of 17?
True
Let d be (0 + -1)/(7/1064*-4). Suppose -1340 - 2118 = -d*k. Does 5 divide k?
False
Suppose 2471*n + 2451*n + 483704 = 4935*n. Is 8 a factor of n?
True
Is 13 a factor of (-40)/48 - 2*(-24605)/84?
True
Suppose 5*d = 9 + 11, 4*k + 36 = -3*d. Let w(l) = -26*l + 101. Let v(a) = -13*a + 50. Let g(z) = 13*v(z) - 6*w(z). Does 19 divide g(k)?
False
Suppose -5*k = -h - 1240, -k - 3*k - 3*h + 973 = 0. Suppose k*y + 1620 = 256*y. Is y even?
True
Suppose -13*j + 2126 = 6572. Let a = 724 + j. Is a a multiple of 20?
False
Suppose 3*s = 2*s + 2. Let q(x) = 3*x - 5*x + 30*x - 2 + 15*x - 9. Is 33 a factor of q(s)?
False
Let y = 2103 + -1467. Let v = 1206 - y. Is v a multiple of 23?
False
Let i be (13 - 72/8) + 10. Let n(c) = -5 - 6 + 4*c + 30. Is 12 a factor of n(i)?
False
Let z(n) = 8*n**2 - 15*n - 457. Is z(-19) a multiple of 155?
False
Let n be (15 - -2)*(343 - -1). Suppose 16*g - 5800 - n = 0. Is 14 a factor of g?
True
Let t(v) = 180*v**2 + 21*v - 37. Let o be t(2). Let y = o + -644. Is y a multiple of 9?
True
Let r(j) = 4*j**2 - 113*j - 34. Is r(35) a multiple of 20?
False
Let d = -253 - -255. Suppose -3*j = 3*y - 0*j - 432, y - d*j - 135 = 0. Does 38 divide y?
False
Does 16 divide (52 - 57) + (6/(-2) - -1128)?
True
Let s = 52437 + -1927. Is s a multiple of 101?
False
Let g(o) be the first derivative of -o**4/4 + 8*o**3/3 + 5*o**2 + 2*o + 81. Let h be 17/2 - (-2)/4. Does 3 divide g(h)?
False
Suppose 8*d + 4*n = 13*d - 11100, -4*d = -2*n - 8880. Does 12 divide d?
True
Let u(n) = n**3 - 22*n**2 - 61*n + 534. Is 9 a factor of u(30)?
True
Let i(g) = 2*g**3 - 104*g**2 - 105*g - 107. Is i(54) a multiple of 29?
True
Suppose -29 + 19 = 2*v. Let c be ((-4)/v)/((-2)/940). Let y = c - -638. Is y a multiple of 31?
False
Let o(y) = 69*y**2 + 53*y**2 + 45*y**2 - 4*y**2 - 6 - 4*y. Does 27 divide o(-1)?
False
Suppose -543643 = -25*n - 35*n - 53*n. Is n a multiple of 13?
False
Let f be (-78)/(-15)*10/4. Suppose f*n = 12*n + 8. Suppose -7*o + n*o - 84 = 0. Is 14 a factor of o?
True
Suppose 29 = 3*j + y, j - 3*y - 23 = -0*j. Let w(m) = -9 + j - 2*m - 5*m. Is 4 a factor of w(-2)?
True
Let g(y) = 3*y + 6333. Is g(153) a multiple of 3?
True
Suppose 4995*f - 4963*f - 58944 = 0. Is f a multiple of 3?
True
Let s(t) = 18*t**3 + t**2 + 11*t - 3. Let a be s(3). Suppose -2*f + 3*l = l - 264, a = 4*f - 5*l. Is f a multiple of 15?
True
Suppose -d + p = -3 - 0, 0 = 4*d + p - 7. Is (-1416)/(-15) - d/5 a multiple of 9?
False
Let s = 495 + -436. Let k = 347 - s. Is 32 a factor of k?
True
Suppose -145*v = -134*v - 17270. Suppose -21*d + v = -446. Is 24 a factor of d?
True
Let d = 9034 + -4870. Does 7 divide d?
False
Let h(u) = -u**3 - u**2 - 3*u - 20. Let r be h(-3). Suppose -161 - 1113 = -r*k. Is 8 a factor of k?
False
Let l(f) be the third derivative of f**5/60 + f**4/2 + 71*f**3/6 - 17*f**2 - 1. Is l(-16) a multiple of 9?
True
Let m = -1703 - -2094. Is m a multiple of