3. Let v(p) = p**3 - 7*p**2 + 11*p - 2. Let h be v(2). Let u be i(h). Is 24 a factor of ((-380)/15*u)/1?
False
Does 131 divide (-1)/3*(1 - 11398)?
True
Let a be 70/21 - (-5)/3. Suppose -294 = -q - 5*i, 5*i + 1045 = a*q - 545. Is q a multiple of 18?
False
Does 16 divide ((-5)/(100/(-1295)))/(9/216)?
False
Let h(r) = -1586*r - 5448. Does 16 divide h(-36)?
True
Let h(b) = -138*b + 212. Does 16 divide h(-22)?
True
Let s(m) = 35*m - 3*m**2 - m**3 - 16*m - 11*m + 3. Let b(o) = o**3 + 3*o**2 - 8*o - 2. Let y(t) = 3*b(t) + 4*s(t). Does 22 divide y(-6)?
True
Let t be ((-106)/(-4))/((4/(-8))/(-1)). Let y = t - 53. Suppose -4*f - 25 + 125 = y. Does 14 divide f?
False
Let w be ((-4704)/40)/(-14)*(-10)/(-4). Let j(b) = 10*b**2 - 2*b - 1. Let k be j(-3). Let o = k + w. Is o a multiple of 29?
True
Let r be (-4)/(-6) + (-50)/30. Let i(u) = -2*u**3 - 7*u**2. Let v(x) = x**3 + x**2 - x. Let l(a) = r*i(a) - v(a). Is l(3) a multiple of 12?
True
Suppose -543400 = 295*y - 345*y. Is y a multiple of 13?
True
Let f(w) = 2*w - 27. Let o be f(15). Suppose -3*m - 2*c + 275 = -322, -o*c - 188 = -m. Let j = m + -47. Does 16 divide j?
False
Suppose -13*x = -9*x + 668. Let f = x - -298. Is 11 a factor of f?
False
Let x be 3 + 1 + (-5)/(20/(-1784)). Let w be 4/10 + 563/5. Suppose q - 4*m - w = -3*m, 5*m + x = 4*q. Does 33 divide q?
False
Suppose 7*k = 6*k + 4. Suppose 4*f = w - 77, f + k*f - 392 = -4*w. Suppose -i = 3*r - 6*i - w, 0 = -r - i + 39. Is r a multiple of 12?
True
Let v be 1*2*(-380)/(-8). Let b = 328 + -148. Suppose -b = -5*p - 4*w, -p - 3*w = -3*p + v. Does 10 divide p?
True
Suppose 109*p = 41859 - 11448. Is 93 a factor of p?
True
Does 25 divide (4 + 2 + 18/6 + 16)*15?
True
Let q(h) = 6*h + 0*h**2 + 2 + 2*h + 3*h**2. Suppose 110*u - 108*u = -12. Is 21 a factor of q(u)?
False
Let w = -50 - -50. Let s be (-7)/(-7) - 0 - (w + -1). Suppose 2*m + 2*z - z = 67, -55 = -s*m - 5*z. Is 7 a factor of m?
True
Let c(l) = -l**3 + 45*l**2 + 370*l + 33. Is 5 a factor of c(52)?
True
Let m = 141 + -128. Suppose -2*z + 10 = -2*p, 10*p - 11 = -2*z + m*p. Suppose -5*v + 4*o + 65 = -o, -v + 28 = -z*o. Is 2 a factor of v?
True
Let p = -331 + 329. Let f(z) = -177*z + 17. Is f(p) a multiple of 27?
False
Suppose -32*r = -41*r + 22572 + 3672. Is 6 a factor of r?
True
Let m = 178 + -208. Does 55 divide (m/6 - -447) + -1?
False
Suppose -m - 1 = -2*m. Let b = -1310 - -1311. Is (m/b*-1)/(-1)*2 even?
True
Does 11 divide ((-2736)/21)/(3 - (-43)/(-14))?
False
Suppose v - 5*v + 20 = 0, -2*v = -3*l + 140. Suppose -54*h + 404 = -l*h. Is h a multiple of 14?
False
Let x(h) be the second derivative of 11*h**5/4 - h**4/4 + 7*h**3/6 - 5*h**2/2 - 22*h + 2. Is x(2) a multiple of 19?
True
Suppose -4*i - 4*w = -6*w - 246, 20 = -4*w. Let z be (-2)/(-11) + 8/(-44). Suppose 0 = -5*g - 5*l + 335, -l - i = -g - z*l. Is g a multiple of 12?
False
Suppose 129*r - 882487 + 141253 = 0. Does 11 divide r?
False
Suppose d = 2*z + 15493, -97*z + 5 = -92*z. Is d a multiple of 39?
False
Let t be 9*4/(-12)*-1. Suppose 820 = 2*z + 4*b, -7*z - t*b + 823 = -5*z. Is 13 a factor of z?
True
Suppose -5*m - 25 = -v - 0*v, -v - 3*m = -1. Suppose v*x + 450 = 4860. Is 75 a factor of x?
False
Let t(i) = -11*i**2 - 24*i - 4. Let u be t(-2). Let d(w) = w**2 - 2*w + 33. Let m(f) = f**2 - 3*f + 34. Let n(l) = 4*d(l) - 3*m(l). Is 7 a factor of n(u)?
False
Suppose 6861*u + 50100 = 6871*u. Is u a multiple of 52?
False
Let i(w) = w - 4*w - 48*w**2 + 68*w**2 + 1. Is 46 a factor of i(-5)?
False
Let n = -3112 + 3313. Is 6 a factor of n?
False
Let b be 6964/6 + 54/(-81). Suppose -4*u - 4*w = -w - 2338, 2*u - 3*w = b. Is u a multiple of 62?
False
Let d(k) be the second derivative of 125*k**4 - 10*k**3/3 - 11*k**2 + k + 14. Does 37 divide d(-1)?
False
Let f = 202 - -103. Let x = -162 + f. Is 13 a factor of x?
True
Let a(v) = 3*v**3 - 9*v**2 - v + 12. Let j be a(4). Does 48 divide 20/70 + 4/(j/13870)?
False
Let p(m) = -4*m - 56. Let w be p(-19). Suppose k + 2*u = w, -6 = 4*u - 26. Is 5 a factor of k?
True
Suppose 754*m = 757*m - 6009. Is m a multiple of 7?
False
Let c(d) = 76*d - 24. Let o be c(9). Suppose -o = -3*y - 5*r + 578, 2*r - 1632 = -4*y. Is y a multiple of 7?
True
Suppose -2*b - 5*q = -2107, -41*q - 3193 = -3*b - 42*q. Is b a multiple of 8?
False
Does 14 divide 18/60 - (-5974)/20?
False
Suppose -2*v - 216 = -n, n + 780*v - 224 = 784*v. Suppose 3*d + 0*t + t - 3 = 0, 2*d - 7 = t. Suppose -u - 497 = -5*m + 50, 4*u + n = d*m. Does 18 divide m?
False
Suppose -1170715 = -396*i + 3204689. Is i a multiple of 29?
True
Suppose -89*p + 39*p = -239450. Is p a multiple of 21?
False
Let l(q) = 4*q**2 + 4*q + 4. Let s be l(-2). Suppose 3*n - 2223 = -4*f, -4*f - 8*n = -s*n - 2244. Does 60 divide f?
False
Let y be (-5 - -2)*(-160)/(-3). Let x(i) = i**3 - 5*i**2 - 6*i - 14. Let c be x(9). Let k = y + c. Is 12 a factor of k?
True
Let c(m) be the third derivative of 197*m**6/120 + m**5/30 - m**4/12 + m**3/3 - 37*m**2. Is 10 a factor of c(1)?
False
Let t(n) = 244*n**2 - 5*n - 16. Is t(-5) a multiple of 5?
False
Suppose r = 0, 80*d - 82*d + 5*r = -1800. Is d a multiple of 36?
True
Suppose 15*b - 13*b = 4620. Suppose -38*j = -6566 + b. Is 5 a factor of j?
False
Suppose 0 = 5*j - g - 3781, 2*j + 653 - 2155 = 3*g. Does 38 divide j?
False
Let h(v) = -v**3 + 4*v**2 - 4*v + 7. Let u be h(3). Suppose u*k + 0*k = 4*w - 128, -3*w - 3*k = -120. Is 3 a factor of (5/((-75)/w))/(10/(-75))?
True
Let p(r) = 3*r**3 - 14*r**2 + 5*r + 4. Let u be p(3). Is u/(-3)*(-2943)/(-18) a multiple of 64?
False
Let z(k) = -k**3 + 7*k**2 + 17*k + 15. Suppose -o + 6*o = 3*t - 7, 2*o + 28 = 4*t. Let f be z(t). Suppose -396 = -f*n + 2*n. Is n a multiple of 11?
True
Suppose 1098*t - 1218*t = -3931440. Does 6 divide t?
False
Is 1408 + 2 - 0/(7 - 10) a multiple of 10?
True
Suppose -4*d = 5*p + 190, -190 = p + 4*p + d. Suppose 2*a - a - 73 = -u, -u = -2. Let q = a + p. Does 33 divide q?
True
Let j(g) = g**2 - 6*g - 4. Let a be j(4). Let o(m) = -10*m**2 - 54*m - 261. Let t(n) = 2*n**2 + 11*n + 52. Let u(v) = 2*o(v) + 11*t(v). Does 27 divide u(a)?
False
Let u(k) = 193*k + 18080. Is u(15) a multiple of 25?
True
Let i = -5709 + 7429. Is 55 a factor of i?
False
Let i(f) = 2*f**3 - 79*f**2 + 595*f - 162. Is 122 a factor of i(35)?
True
Suppose -4*k + 3*o = -10185, 2824 + 4793 = 3*k + 5*o. Does 24 divide k?
True
Let m(b) = 74*b**2 + 92*b - 1552. Is 14 a factor of m(15)?
True
Let s(l) = 3*l**3 + 4*l + 5. Suppose -8 = 5*h - 3. Let d(n) = -n**3 + n. Let b(j) = h*s(j) - 2*d(j). Is 27 a factor of b(-5)?
False
Let c(v) = 33*v - 24. Let m(i) = -2*i + 1. Let u(h) = c(h) + 15*m(h). Let l be u(3). Suppose -636 = -l*f - 6*f. Is f a multiple of 16?
False
Suppose 9*b - 8*b + 150 = 0. Let y = -61 - b. Is 8 a factor of y?
False
Let f be (-20)/(5/(5/(-2))). Suppose 4004 = f*s - 316. Does 46 divide s?
False
Let q(z) = z**3 - 31*z**2 + 89*z + 67. Is 14 a factor of q(39)?
False
Let k(y) = -11*y - 101. Let d be k(-9). Let l(n) = -50*n**3 - 5*n - 8. Is 67 a factor of l(d)?
True
Let n be (10/20)/((-1)/118). Let v = -59 - n. Is (1 + v - 0)*126/7 a multiple of 7?
False
Let r = -12 + 16. Suppose 3*l = s + 3*s + 5, l + s = r. Does 9 divide 104/(-39)*l/(-2) - -104?
True
Let d = -52 - 32. Is 5 a factor of d/24*7/((-49)/500)?
True
Suppose 0 = -4*y + 7*z - 6*z + 4932, -5*z = 20. Is y a multiple of 56?
True
Is 73 a factor of 4011 - ((-4)/6)/(18/108)?
True
Let u(m) be the third derivative of -m**6/120 + 7*m**5/30 - 11*m**4/24 + 5*m**3/6 - 72*m**2. Does 23 divide u(12)?
True
Let n(z) = 30*z**2 - 10*z + 20 - 55*z**2 + 26*z**2. Let t be n(8). Suppose -t*q + 185 = q. Is q a multiple of 6?
False
Suppose 0 = -11*d - 297 + 1375. Let a(z) = 50*z**2 - z + 4 - 3 + 0*z + d*z**2. Does 6 divide a(-1)?
True
Let i(x) be the second derivative of 5*x**3/6 - 17*x**2/2 - 3*x. Let c be i(4). Suppose -t + 12 = -c*q, 2*q + 125 = 2*t + 3*t. Is t a multiple of 10?
False
Let i(u) = 2*u**2 - 11*u + 17. Let k be i(-11). Let h = -228 + k. Does 28 divide h?
False
Suppose 8775 = -27*v + 36*v. Suppose -1161 = -12*r + v. Is 5 a factor of r?
False
Let u(o) = -o**3 + 10*o**2 - 7*o + 10. Let r be u(8). Let k = r + -87. Let y(z) = -6*z - 8. Is y(k) a multiple of 22?
True
Let z = -22126 - -41871. Is z a multiple of 21?
False
Let y(z) be the first derivative of -z**5/2 -