 the first derivative of 219*f**4/4 + f**3/3 - f**2 + 2*f + 15.  Is s(1) a multiple of 22? 
True
Let w = 95836 + -60601.  Is 29 a factor of w? 
True
Suppose 34 = j - i - 2*i, 0 = -3*j + 3*i + 72.  Suppose 4165 = j*t - 14*t.  Suppose f + 6*f = t. Is f a multiple of 26? 
False
Suppose -27618 = -3*r + 4*g, -3*r - 4*g = -5*r + 18420.  Is 42 a factor of r? 
True
Let c(p) = p**3 - 4*p**2 - 5*p + 5.  Let k be c(5).  Let q = 332 - 331.  Does 3 divide q/(-2)*(-34 + k + 3)? 
False
Suppose 35*d - 23136 = 23*d.  Is 25 a factor of d? 
False
Let a(q) = -q**3 - 2*q**2 + 10*q + 25.  Let u be a(0).  Let v = 6 + -13.  Let t = u + v. Does 9 divide t? 
True
Suppose 2*p = -0*p - 420.  Let w(d) = 221*d - 96.  Let r be w(2).  Let y = p + r. Does 17 divide y? 
True
Is 3 a factor of (21/(-70))/3 + (-23891)/(-10)? 
False
Let l be ((-12)/(-10) - 12/(-15))*1.  Suppose -4*x - 5*t = -536, 3*x - 105 - 297 = l*t.  Is x a multiple of 67? 
True
Let c be 60/(-10) + -4 + (7052 - 4).  Suppose -31*l - c = -65*l.  Does 9 divide l? 
True
Suppose -4*w + 5188 = 4*p - 2*p, -4*p + 10355 = 5*w.  Is p a multiple of 10? 
True
Suppose 14854 = w + 3*z - 7511, 2*z = 30*w - 671318.  Does 157 divide w? 
False
Let y = -258 + 222.  Let b(k) = -k**3 - 3*k**2 + k. Let j be b(-5).  Let w = j + y. Is w a multiple of 9? 
True
Let c = -11631 - -48885.  Is c a multiple of 23? 
False
Suppose -u + 3*s - 272 = -1873, 3207 = 2*u - 5*s.  Does 4 divide u? 
True
Suppose 2*q + 0 - 10 = 0.  Let p(r) = r + 2*r**2 + r + 15*r + 6 + q*r.  Does 20 divide p(-14)? 
False
Suppose 4*q = 3*r + 923, 41*q - 40*q - 221 = 4*r.  Let j = q - 73.  Is j a multiple of 4? 
True
Suppose -9*b + 31*b = 1364.  Let i = b - -377.  Is 36 a factor of i? 
False
Let q be (2 + 0 - -1)/(21/28).  Let d = q - 22.  Let j = d + 63.  Is 45 a factor of j? 
True
Let h = -6683 - -12708.  Does 33 divide h? 
False
Let c be 24/10*(-880)/(-132).  Suppose 4*a = -c, 0 = n - 6*n - 5*a + 3775.  Is 23 a factor of n? 
True
Let l = 5646 + 913.  Is l a multiple of 16? 
False
Let g be 14344/12*36/24.  Suppose -g = 14*r - 14407.  Is 17 a factor of r? 
True
Suppose -119*t + 115*t + 38 = d, d = -5*t + 43.  Let h(a) = -31*a - 10.  Let p be h(8).  Let z = d - p. Does 46 divide z? 
True
Suppose -15*q + 373 = -302.  Suppose q*d - 5365 - 27305 = 0.  Is d a multiple of 12? 
False
Let k be (-7230)/(-70) + (-2)/7.  Suppose -336 = -4*m - 2*i, m - 4*i - k = -10.  Is 3/(-5) - (-8551)/m a multiple of 25? 
True
Let o(n) = -22*n - 39.  Let c(d) = -21*d - 39.  Let r(w) = 5*c(w) - 4*o(w).  Is r(-7) a multiple of 21? 
False
Let z = -239 - -747.  Is 10 a factor of z? 
False
Let h = -5386 + 12033.  Is h a multiple of 103? 
False
Let x = 130 + -111.  Let n = x - -380.  Does 14 divide n? 
False
Suppose -3*v = 2*b - 9759 - 11799, -4*v - 4*b + 28748 = 0.  Is 16 a factor of v? 
True
Let a be (-94)/22 - (-2)/(-22)*-3.  Suppose 3*q = -5*x - 18, q - 3*x + 6 = -0*q.  Is (-591)/(-9) + 4 - a/q a multiple of 23? 
True
Let i be (-7 + 8)/((-2)/(-14)).  Suppose j + h = i, 3 = -5*j + 2*j + 3*h.  Suppose -15 = -0*m + j*m, -295 = -5*p + 3*m.  Does 7 divide p? 
True
Suppose 5*t = -4*t.  Suppose -2*i + r + t - 9 = 0, -3 = 4*i + 3*r.  Does 14 divide (16 + -2)/((1 + i)/(-2))? 
True
Let u(k) = -2*k + 20.  Let p be u(10).  Does 5 divide p + (-128)/(-9) - 70/315? 
False
Suppose 2*n = 4*x + 30, 2*n + 5*x = 3*x + 6.  Let g(j) be the third derivative of j**6/120 - 7*j**5/60 + j**4/12 + 7*j**3/2 - 13*j**2.  Is g(n) a multiple of 17? 
False
Suppose -18*b - 76791 = 39*b - 478014.  Does 117 divide b? 
False
Suppose 0 = 4*m + g + 103 - 15, 4*m + 5*g + 88 = 0.  Does 11 divide (-7931)/m + (-9)/6? 
False
Let s = -17 - -17.  Suppose s = -w - 0 + 2.  Suppose 0 = -3*y + w*r - 315 + 874, 746 = 4*y - 2*r.  Does 17 divide y? 
True
Let y(z) = -11*z + 17.  Let h(d) be the second derivative of -23*d**3/6 + 35*d**2/2 - 27*d.  Let v(x) = -4*h(x) + 9*y(x).  Is 12 a factor of v(-7)? 
False
Let z = -2536 + 9916.  Is z a multiple of 60? 
True
Let d(b) = -1505*b + 108.  Is 201 a factor of d(-3)? 
True
Let y(z) = z**3 + 6*z**2 - 5*z - 8.  Let c be y(-5).  Let m = -46 + c. Is 2 a factor of (m/(-8) - (-174)/4)/2? 
True
Let i(a) = a**3 + 9*a**2 + 6*a + 11.  Is i(-7) a multiple of 12? 
False
Let k(x) = 6*x + 67.  Let u be k(-8).  Let j = 191 + u. Is 30 a factor of j? 
True
Suppose 3*l - 2*g + 0*g - 22 = 0, -l - 2*g - 6 = 0.  Suppose -l*a + 5*v - 106 = -a, -5*a + 4*v - 155 = 0.  Let r = a + 45.  Does 3 divide r? 
True
Suppose 56*x = 13*x - 10*x + 869518.  Is 71 a factor of x? 
False
Suppose -4*l + 23 = -9.  Let i be (-2)/l + 9/4.  Suppose -i*b = -b - 265.  Does 58 divide b? 
False
Let l(n) = -244*n + 312.  Let f be l(5).  Let z = f - -1235.  Is 9 a factor of z? 
False
Let b(q) = q**2 + 5*q + 2.  Let m be b(-5).  Let c(a) = -a**m - 8 + a**3 + 35*a + 11*a**2 - 54*a + 2*a**2.  Is c(-13) a multiple of 7? 
True
Does 11 divide (162/(-12))/(-9)*(-3)/((-36)/47080)? 
True
Let m = 102 + -109.  Let h(y) = 430*y**2 + 3*y.  Let z be h(m).  Is (-4)/(-34) - z/(-119) a multiple of 37? 
False
Let m be (5 - (-27)/(-6))/((-2)/(-56)).  Let u = 68 - m. Is 9 a factor of (-6*3/6)/((-2)/u)? 
True
Suppose 991*u - 998*u = -1624.  Is 7 a factor of -3 + 9 + u + 7? 
True
Let p = 23 - 18.  Suppose -3*h - p*r - 38 = 10, -2*r = 0.  Does 27 divide (108/h)/((-1)/(20/1))? 
True
Does 27 divide (17800/(-6) - 2)/((-3)/9)? 
False
Let o = 7765 - -1163.  Is 16 a factor of o? 
True
Let p(k) = -55*k**3 + 8*k**2 + 75*k + 249.  Is 69 a factor of p(-7)? 
False
Let a(w) = 5*w**3 - 13*w**2 - 28*w + 24.  Let q be a(-11).  Let y be q/(-52) + (-4)/(-26).  Let k = y - -45.  Does 50 divide k? 
False
Suppose 20*k + 9769 = -1431.  Let s = k - -2072.  Does 63 divide s? 
True
Let b(u) = 109*u**3 - 2*u**2 + u - 37.  Is 15 a factor of b(5)? 
False
Let m(w) = w**3 + 7*w**2 + 12*w + 255.  Let g be m(-9).  Let z = -72 - -34.  Let n = g - z. Is n a multiple of 12? 
False
Suppose 17 = 4*x + 5*l, -3*x - 2 = 4*l - 14.  Suppose -13*b = -x*b + 20.  Is 2*(82*b)/(-4) a multiple of 27? 
False
Is 22 a factor of (37674/552)/(3/88)? 
True
Suppose -2*s = -6*s + 212.  Suppose -18 = -3*m - 9.  Suppose m*a - 61 - s = 0.  Is a a multiple of 19? 
True
Let p(h) be the first derivative of -h**4/2 + 19*h**3 + 35*h**2/2 - 41*h + 75.  Is p(29) a multiple of 19? 
True
Suppose -3*h = 2*k + 34 + 49, h - 145 = 4*k.  Let z(u) = -13*u + 48.  Let s be z(-6).  Let j = s + k. Is j a multiple of 12? 
False
Does 45 divide 3715/(-15*18/(-54))? 
False
Let h(v) = -7 + 1665*v**2 + 5*v - 5*v - 1652*v**2.  Is h(-5) a multiple of 24? 
False
Suppose p = 4*j - 12, -5*p + 4 = -3*j - p. Let x(w) = 30 - 14*w**2 - 6 + 15*w**2 - 5*w.  Is 4 a factor of x(j)? 
True
Let b(l) = l**3 - l**2 + 7.  Let c be b(0).  Suppose 8*u + 2 = c*u.  Does 18 divide (-1)/(-1) + 19 + u? 
True
Let c(l) = l**2 - 3*l - 13.  Let j be c(5).  Let m(q) = 40*q**2 + 17*q + 38.  Is m(j) a multiple of 5? 
False
Let b(f) = f**3 - 12*f**2 + 23*f - 24.  Suppose 20*h = 215 + 5.  Is b(h) a multiple of 6? 
True
Does 27 divide -137 + 130 + (-1)/1*-6 + 13150? 
True
Suppose 15*y - 13*y = 128.  Does 21 divide 4/2*7584/y? 
False
Suppose 4*i + 5*w - 63938 = 0, 2*w - w = 4*i - 63950.  Is i a multiple of 65? 
False
Suppose 5*n = 2*t - 451, -6*n + 15 = -n.  Let o = t - 144.  Is 6 a factor of o? 
False
Let y = -340 + 372.  Suppose y*d = 34648 - 1272.  Is 45 a factor of d? 
False
Suppose -4*p + 11498 = -5*w, -3*p - 1286 = 4*w - 9894.  Is 67 a factor of p? 
False
Let c = 0 - 11.  Let y(p) = -5*p - 60.  Let a be y(c).  Let q(b) = -b**3 - 5*b**2 - 6*b - 7.  Is q(a) a multiple of 20? 
False
Suppose -19*k + 4767 + 7004 = 2271.  Does 9 divide k? 
False
Suppose 0 = -29*h + 28*h - 682.  Let u = -419 - h. Is u a multiple of 5? 
False
Let k be (-3 - (-4 + 0)) + 5 + -66.  Let t = 74 + k. Is (-144)/t*14/(-3) a multiple of 6? 
True
Let g be -14*(32/(-63) - 4/(-18)).  Let f be 110/33*(-6)/g.  Is (-218)/f + 4 - (-3)/(-5) a multiple of 12? 
False
Let k(x) = -x**3 + 15*x**2 + 2*x - 54.  Let s be k(15).  Is 12 a factor of (-32)/s*(-3156)/(-8)? 
False
Let p = 46 - 45.  Suppose -f = 3 - p. Is 21 - (f - (2 - 1)) a multiple of 3? 
True
Let z(n) = n**3 + 7*n**2 + 7.  Suppose 49 = -4*f - 3*f.  Let s be z(f).  Suppose -s*p + 20*p = 1742.  Is p a multiple of 11? 
False
Let t be 0 + (-16)/(-4) - 70.  Let r = 71 + t. Suppose -29 = -p + 2*g, -5*p - r*g + 0*g = -205.  Does 20 divide p? 
False
Suppose 6*b - 906 = 1938.  Suppose 0 = -t, -o + 4*t - b = -4*o.  Does 7 divide o? 
False
Suppose -4*f + 8*y = -448, -9*f = -7*f - 3*y - 224.  Does 7 divide f? 
True
Suppose 2*l - 4