
Suppose -119 = -2*v - 35.  Suppose -1632 = 40*s - v*s.  Is 12 a factor of s? 
True
Let y = -6279 + 6228.  Let j = 314 - 214.  Let l = y + j. Is 6 a factor of l? 
False
Suppose -2812 = -40*y + 36*y.  Let v = y - 383.  Is 20 a factor of v? 
True
Let k(u) = -33*u**2 + 4*u - 20.  Let c be k(-5).  Let z = c + 1523.  Is 47 a factor of z? 
True
Suppose 1192711 = -211*z + 9869031.  Does 20 divide z? 
True
Suppose -5*i + 28827 = -x + 3104, 4*i - 2*x - 20582 = 0.  Does 11 divide (-16)/(-72) + i/18? 
True
Suppose 5*a - o - 20859 = 0, -a + 38*o = 40*o - 4174.  Is 28 a factor of a? 
True
Let p(b) be the second derivative of 11*b**4/12 + 11*b**3/6 - 6*b**2 + 20*b.  Let i be p(-6).  Suppose 6*g - i = -0*g.  Is g a multiple of 13? 
False
Suppose 3*g + 184 = 4*w - 3*w, 66 = -g + 5*w.  Let v = 80 + g. Suppose 0 = 4*r - 33 - v. Does 13 divide r? 
True
Suppose -4*g = 4*b - 1632, -195 = -2*g + 5*b + 600.  Let a = g + 4.  Does 66 divide a? 
False
Let c(j) = 500*j + 2993.  Does 7 divide c(-4)? 
False
Let p be 1442/(-3)*69/(-23).  Let d = p - 868.  Is 14 a factor of d? 
True
Suppose -16*i + 204 = -1828.  Suppose 13*b - c + 125 = 15*b, -2*b + i = 3*c.  Is b a multiple of 31? 
True
Does 6 divide 128/(-2496) - 92200/(-78)? 
True
Let h(a) = 33*a**3 + 32 + 2*a**3 - 5*a + 4*a**2 - 29 + 0*a.  Is 5 a factor of h(1)? 
False
Let m = -5 + 62.  Let q(z) = 4*z + 177.  Let j be q(-43).  Suppose -9 + 4 = -5*d, j*w - 3*d - m = 0.  Is w a multiple of 5? 
False
Does 6 divide (0 + 913 + 1)*(-21)/(-6)? 
False
Let r = -168 + 172.  Suppose 0 = -5*a - r*a + 2187.  Does 9 divide a? 
True
Suppose -84*z + 647919 = -27*z.  Is z a multiple of 9? 
True
Suppose -d = n - 2929 - 5278, 2*d - 16390 = 6*n.  Does 116 divide d? 
False
Let p(g) = -28*g - 39.  Is 73 a factor of p(-4)? 
True
Suppose 115*b + 21*b - 130842 - 268862 = 0.  Is b a multiple of 226? 
False
Let a(i) = 227*i + 180.  Is a(1) a multiple of 11? 
True
Suppose -48 = -74*h + 70*h.  Is (-1)/((-15)/20) - (-8720)/h a multiple of 14? 
True
Let a be 160/26 - -7*2/(-91).  Is 16 a factor of (163/a)/((-9)/(-54))? 
False
Suppose -72 = -502*o + 498*o.  Suppose t = 3*w + 253, -14*t = -o*t - 4*w + 964.  Is 61 a factor of t? 
True
Let t = -152 + 52.  Let m = 34 - t. Does 25 divide m? 
False
Suppose -159313 = 54*k - 837445.  Does 23 divide k? 
True
Let u(i) = 6*i + 54.  Let c be u(-8).  Suppose -c*p + 330 = 5*p.  Is 3 a factor of p? 
True
Let w(z) = 7*z + 36.  Let k(c) = -c.  Let g(a) = 6*k(a) + w(a).  Let t(i) = -10*i - 139.  Let n be t(-13).  Is g(n) a multiple of 3? 
True
Let k(t) = t**3 - 5*t**2 + t. Let r be k(3).  Let f be (-1 + 7)/(((-57)/361)/(-3)).  Let a = f - r. Is 19 a factor of a? 
False
Suppose -12*a + a = -6996.  Suppose 420 = 2*o - f, -3*o + a = f - 4*f.  Let d = o - 123.  Is d a multiple of 11? 
False
Let q(x) = -x**2 + 4*x + 6.  Let k(d) = -d**3 - 2*d**2 - 3.  Let j be k(-3).  Let n be q(j).  Does 3 divide 2/n + 258/18? 
False
Suppose 0 = -2*b - 12, -107*p = -105*p + 5*b - 12208.  Is 2 a factor of p? 
False
Let p(s) = -106*s + 4.  Let c(d) = -d - 5.  Let m be c(-3).  Let l be p(m).  Suppose -92 - 16 = -k + 5*v, -l = -2*k - 4*v.  Is k a multiple of 18? 
True
Let m = 20435 - 19031.  Is m a multiple of 13? 
True
Suppose s = 5*b + 350, 5*b = 2*s + 8*b - 713.  Let g = 237 - s. Let i = g + 139.  Does 3 divide i? 
True
Suppose 10*r - 4*r = 30.  Suppose -5*o - 1154 = -2*a, r*o + 2870 = -2*a + 7*a.  Does 22 divide a? 
True
Let j = -4636 + 6739.  Suppose 7*t - j = -5*b + 8*t, 4*b = -4*t + 1668.  Does 12 divide b? 
True
Suppose 22*v - 760956 - 415158 = 255844.  Does 31 divide v? 
False
Suppose -2*t = 53*d - 54*d - 133429, -5*t = 4*d - 333540.  Is t a multiple of 66? 
False
Suppose 2 = -3*m + 2.  Suppose -5*o + 2*o - 4*h + 72 = 0, m = -4*o - h + 96.  Suppose 26 = 4*x + 2*f, 0*f = -x + 3*f + o. Is x a multiple of 3? 
True
Let m(x) = 4*x**2 - 95*x - 17.  Let w be m(24).  Does 3 divide (w - 1104/(-40)) + 6/(-10)? 
False
Suppose 9*q - 37*q = 0.  Suppose -2034 = -3*p + 3*r, -5*r + 2694 = 4*p - q*p.  Is 54 a factor of p? 
False
Let q(s) = 272*s**2 - s - 273*s**2 - s**3 + 2 - 2.  Let r be q(0).  Suppose p - 2*z = -r*p + 28, p + 3*z = 53.  Is p a multiple of 12? 
False
Is (3112/(-20))/((-6)/(-25))*-3 a multiple of 8? 
False
Let b(l) = -7*l + 19.  Let i be b(1).  Suppose r - 119 = i. Is r a multiple of 22? 
False
Suppose -3*p = 2*i - 20628, -3*p = -81*i + 80*i + 10332.  Is i a multiple of 20? 
True
Let v be ((-19)/7 - -3)*7.  Let s be 138/42 - v/7.  Suppose -6*g + 1242 = s*g.  Is g a multiple of 18? 
False
Suppose -38*n - l = -40*n + 22550, -n + 11274 = -l.  Is n a multiple of 48? 
False
Let o be (-30)/(-6) + (-2)/(-1).  Let b = o + 51.  Suppose 32 + b = 3*z.  Is 30 a factor of z? 
True
Does 46 divide ((-23)/2)/(60/(-76080))? 
True
Let u(v) be the second derivative of -v**5/10 - 5*v**4/12 + 13*v**3/6 - v**2 + 17*v.  Let p(c) = c**3 - 10*c**2 - 13*c + 16.  Let f be p(11).  Does 21 divide u(f)? 
False
Let u(p) = -p**3 + p**2 - p + 4.  Let w be u(0).  Suppose -5*x + 10 = -z, -w*z + 0*x = -3*x + 6.  Suppose z = 5*n - 78 - 222.  Is 10 a factor of n? 
True
Let w(p) = -p**3 - 16*p**2 - 11*p - 25.  Let n(a) = 2*a**3 + 18*a**2 + 12*a + 27.  Let b(d) = 4*n(d) + 5*w(d).  Is b(5) a multiple of 5? 
False
Let t be (-4)/22 - 101/(-11).  Let f be 4/6 - 474/t. Let x = f + 70.  Does 6 divide x? 
True
Suppose -n + 13 - 29 = -4*j, -3*j - 2*n + 1 = 0.  Suppose j*z = 3168 - 1152.  Suppose 0 = 3*r + 4*r - z. Is r a multiple of 9? 
False
Let s(d) = -5*d + 36.  Suppose -3*q = 3*c - 24, 20 = -5*c - 5.  Suppose 0 = -q*z + 6*z.  Is 6 a factor of s(z)? 
True
Suppose -2*w = 15*w + 11968.  Let t = w + 1368.  Is 62 a factor of t? 
False
Suppose -509 = b + 5*y, 4*y - 2116 + 56 = 4*b.  Let t = b + 671.  Is t even? 
False
Let j = 4479 - 3981.  Is 14 a factor of j? 
False
Let o(q) = q**3 + 18*q**2 + 18*q + 14.  Let l be o(-17).  Let a be l + 0 + (-1 - -50) + -3.  Does 10 divide a/(-15) + 4/(-30) - -113? 
True
Suppose -2*f = 4, -x + 2*f = -2 - 9.  Suppose x*c - 2*c = -10.  Is 11 a factor of 51 - 2/1*c? 
True
Let c = 737 - 734.  Suppose 4*y - c*y = -4*j + 2157, -3*y = j - 553.  Is 27 a factor of j? 
False
Let s be (2/6)/(-4 - (-218)/54).  Let x be 2 - s/(-6)*122.  Suppose 5*g - 2*u = 3*u + x, 0 = 3*g - 2*u - 114.  Is 40 a factor of g? 
True
Suppose 5*n - o = 9705, -42*n - 3874 = -44*n + 2*o.  Does 40 divide n? 
False
Suppose 21 = 3*z + 12.  Let c be z + 2 + -8 + -10.  Let d = c - -48.  Is 10 a factor of d? 
False
Suppose -251*j + 30235 + 5468 = -44366.  Is 11 a factor of j? 
True
Is ((-1 - 0)*41)/(99568/6224 - 16) a multiple of 16? 
False
Let y(z) = z**3 + 13*z**2 - 14*z - 32.  Let o be y(-10).  Let t = o - 223.  Is t a multiple of 37? 
True
Suppose 3*w - 11 = 4.  Suppose -w*y + 17 = -4*o, -2*y - y = 3*o - 21.  Suppose o*a - 3*z - 90 = 0, -3*a + a + 94 = -4*z.  Does 13 divide a? 
True
Let v(d) = d**2 - 10*d + 62.  Let m(q) = 2*q - 16.  Let z = 101 - 87.  Let x be m(z).  Is v(x) a multiple of 4? 
False
Suppose 8642 = -118*n + 19*n + 96158.  Is n a multiple of 15? 
False
Suppose -3*z + n = 2*n + 1017, 0 = 4*z + n + 1357.  Let r = -331 - z. Is 2 a factor of r? 
False
Suppose 10*c = 3*f + 8*c - 686, 5*f + c = 1165.  Let o = f - 22.  Is o a multiple of 35? 
True
Suppose -3*p = -190406 - 14875.  Is p a multiple of 199? 
False
Is -8 + 7 - (261168/120)/(1/(-5)) a multiple of 50? 
False
Let c be -39*(3 - 48/18) + -2.  Is -162*(-6)/c*20/(-12) a multiple of 18? 
True
Let b = -12429 - -15710.  Is b a multiple of 21? 
False
Let i(q) = 32*q - 68.  Let r be i(-6).  Let n = 219 - r. Is n a multiple of 33? 
False
Let k(s) = -s**2 - s + 4.  Let z be k(6).  Let b be 60*((-70)/(-28))/(10/4).  Let f = b + z. Is 5 a factor of f? 
False
Let g = -3488 + 10322.  Does 16 divide g? 
False
Suppose -35*f + 286272 = 7*f.  Is f a multiple of 12? 
True
Suppose 3*z + 4*s - 13960 = -5311, -z + 2883 = 2*s.  Is 31 a factor of z? 
True
Suppose 0 = -5*a + 2*u + 9326 + 7647, a - 2*u = 3401.  Suppose 0 = -807*p + 794*p + a. Does 12 divide p? 
False
Suppose 54*p - 87898 + 15065 = -119*p.  Does 200 divide p? 
False
Let p(c) = 16*c + 11 + 7*c + 16 - 19.  Is 3 a factor of p(5)? 
True
Let r(j) = -2*j**2 + 38*j + 19.  Let l be r(19).  Suppose 12 = l*p - 83.  Suppose -p*i + 2*y = -938, -5*y = -3*i - 0*y + 559.  Is i a multiple of 11? 
False
Let n = -12 - 33.  Let d = n - -48.  Suppose g - 54 = -5*p, -d*p - 136 = -3*g - 28.  Is 20 a factor of g? 
False
Suppose -3*h + 13 - 7 = 0.  Let r(s) = 191*s + 16.  Is 33 a factor of r(h)? 
False
Let o be -4 + 3 - ((-4)/(-2) + 247).  Is 14 a facto