 be (7/(-2))/(9/18).  Let p be n/(-7)*(25 + -2).  Is 3 + 3/3 + p a multiple of 13? 
False
Let h = 226 + -68.  Is 21 a factor of h? 
False
Suppose -539 = -o + 2*c, -5*o + 2*c - 218 = -2921.  Is o a multiple of 32? 
False
Let a = -105 - -105.  Is (3 + -1 + 12)/(1 - a) a multiple of 6? 
False
Suppose -2*s - 3*u - 4 = 5, -5*u = -2*s - 49.  Let i(w) = -9*w - 19.  Let a(m) = 22*m + 48.  Let k(g) = s*i(g) - 5*a(g).  Is k(-8) a multiple of 3? 
False
Let j = 168 - 0.  Suppose s + 4*o = 112, 2*o = -4*s + 336 + j. Is 16 a factor of s? 
True
Suppose -124800 = 59*k - 84*k.  Does 13 divide k? 
True
Suppose 6*k - k - 10 = 2*b, -2 = -k + 3*b.  Suppose 2*a - 81 = -k*a + v, -5*a - 2*v + 98 = 0.  Is 20 a factor of a? 
True
Let n = -119 + 150.  Is n a multiple of 8? 
False
Let w(p) = 3*p**2 - 8*p + 8.  Let j(z) = -4*z**2 + 9*z - 9.  Let n(q) = -2*j(q) - 3*w(q).  Suppose -2*g + 5*a = -13, -a - 3 = 2*a.  Is n(g) even? 
True
Suppose -10 = -2*q - o, -3*q = 2*q - o - 25.  Let g(n) = 9*n**2 - 8*n + 13.  Is 18 a factor of g(q)? 
True
Suppose 215 = 5*s - 10.  Suppose s = 5*x + 5*n, -n + 3 = 5.  Suppose 4*z + r - x + 2 = 0, -5*z = -5*r - 30.  Does 3 divide z? 
True
Suppose -197 + 85 = c. Is 12 a factor of (-1 - 26/(-14))/((-1)/c)? 
True
Let k(t) = -19 + 37 + 13*t + 21*t**2 - t**3 - 8.  Let l be k(21).  Suppose 3*s = -5*y + l, -2 + 3 = s. Is y a multiple of 30? 
False
Suppose 0 = -d + 3*u + 28, -87 = -2*d + 4*u - 23.  Does 7 divide d + ((0 - -1) + 1 - 3)? 
False
Let o = 31 - 27.  Let w = o - -2.  Does 3 divide w? 
True
Let i(d) = 2*d**3 - d**2 + 2*d + 2.  Let k(u) = 5*u**3 - 2*u**2 + 5*u + 5.  Let x(w) = 7*i(w) - 3*k(w).  Let z be x(0).  Does 10 divide 74/((-2 - 0)*z)? 
False
Suppose -2584 = -2*x + 4*t + 264, 3*x + 4*t = 4302.  Is x a multiple of 55? 
True
Suppose 0 = -a - 5*n + 25, -5*n = -2*a - n - 6.  Suppose -a*l + 2*l = -369.  Does 26 divide l? 
False
Let n be 20/(-90) + (-40)/(-18).  Is 22 a factor of (n*76 - -3) + -4? 
False
Let w(n) = -35*n - 7.  Is w(-4) a multiple of 3? 
False
Let b be (-1 + -2 + 8)/1.  Let i(o) = 7*o**2 + 22*o - 30.  Let k(y) = -3*y**2 - 11*y + 15.  Let a(s) = b*k(s) + 2*i(s).  Is 2 a factor of a(-11)? 
False
Suppose 11*u - 2784 = -5*u.  Does 29 divide u? 
True
Suppose 8*x - 1245 + 357 = 0.  Does 27 divide x? 
False
Suppose 55*h = 133461 - 32481.  Is h a multiple of 17? 
True
Let z(t) = t**3 - t**2 + 10*t - 8.  Is 40 a factor of z(3)? 
True
Let m(u) = -u**3 - 7*u**2 + 3.  Let y be m(-3).  Let a(q) = -10*q - 38.  Let f be a(-5).  Let t = f - y. Is 8 a factor of t? 
False
Let m = -61 - -44.  Let c = m + 51.  Does 5 divide c? 
False
Suppose -2*z + 80 = 8*z.  Let h(r) = r**3 - 8*r**2 - r + 19.  Is 11 a factor of h(z)? 
True
Suppose 20*v - 1589 = 1351.  Is 49 a factor of v? 
True
Let r be 19 - (-1)/(3/6).  Let w = -6 + r. Is 14 a factor of (42/5)/(w/75)? 
True
Let g = -1925 - -2702.  Is 21 a factor of g? 
True
Let d = -32 - -32.  Suppose d = 5*i - 614 + 14.  Does 40 divide i? 
True
Suppose -3*a + 1 = 4*x - 420, 5*x = a - 134.  Let w = -72 + a. Does 8 divide w? 
False
Is 59 a factor of (-2481)/(-21) + 11/(-77)? 
True
Let q be ((-2)/(20/(-15)))/(3/4).  Suppose -2*x + 536 = 5*g, q*x = -g + 7*x + 118.  Is g a multiple of 18? 
True
Let h = 185 + -130.  Let a = 139 - h. Does 14 divide a? 
True
Let i = -2373 + 3381.  Is i a multiple of 56? 
True
Is 144 - ((-6)/(-10) - (-170)/50) a multiple of 14? 
True
Let d = -195 - -326.  Suppose -3*w = 2*u - d, -4 + 57 = w - 4*u.  Does 8 divide w? 
False
Suppose -2*s = -j - 238 - 21, 2*s + 5*j - 265 = 0.  Is 7 a factor of s? 
False
Suppose 306 = -6*n + 7*n.  Let w = n + -124.  Suppose 43 = 5*i - w. Is i a multiple of 15? 
True
Let a be (-3078)/(-12)*(0 + (3 - 1)).  Suppose -623 = -4*g + a. Is g a multiple of 36? 
False
Suppose -23*x + 15714 = 3156.  Does 14 divide x? 
True
Suppose 2*q = -5*v - 0*v + 108, 0 = 5*v + 10.  Let m = -12 + 13.  Is 6 a factor of m/(2 - q/30)? 
True
Does 10 divide (-3 + (-1)/(-2))*-92? 
True
Let b(v) = -v**3 - v**2 + 2*v - 9.  Let p be b(0).  Suppose 4*w = 3*o + 29, -2*o + 2 = w + 3.  Let x = o - p. Is x a multiple of 3? 
True
Let i = -3 + 13.  Let n(o) = o**2 - 10*o + 14.  Is n(i) a multiple of 10? 
False
Suppose 4*r - 6345 = 13*w - 8*w, 3*r - 4760 = 4*w.  Is r a multiple of 79? 
True
Let g(a) = 27*a + 27.  Let k(r) = 176*r + 176.  Let h(n) = 32*g(n) - 5*k(n).  Does 26 divide h(-5)? 
False
Let k be (6/8)/(10/160).  Suppose -4*u = -2*p + 6, -5*p + 3 = -5*u - k. Suppose 0 = -4*z - 5*q - 13, 0 = -z - p*z - q + 7.  Does 2 divide z? 
False
Let u(m) = -m + 1.  Let a be u(-4).  Let c be (1 - 114)*3/(-3).  Suppose -255 = -5*j - a*q, 5*j - 3*q = c + 118.  Is j a multiple of 16? 
True
Suppose a + 2*a = 9.  Let t be ((-18)/12)/(a/(-8)).  Suppose -3*n + t*l = -258, 4*n - 63 = 2*l + 281.  Is n a multiple of 21? 
False
Suppose 2*t = a + 299, -3*t = -0*a + 4*a - 454.  Suppose 4*w + 2*m = 312, -8*m + t = 2*w - 10*m.  Is 5 a factor of w? 
False
Is 13 a factor of (-5)/(40/(-13312)) + -3? 
False
Suppose -2*w = -4*d - 4, 2*d - 1 + 3 = 5*w.  Is 58 + w + 10 + -11 a multiple of 19? 
True
Does 9 divide 68 - (2 - 3) - 6? 
True
Let n(f) = -3*f**2 + 31*f - 20.  Is n(8) a multiple of 2? 
True
Is 10/(-8) - 2694/(-24) a multiple of 13? 
False
Let g = 34 + -32.  Is 32 a factor of (-1)/((g - 510/254)*1)? 
False
Let j(d) = 3*d**2 - 2*d - 2.  Does 29 divide j(12)? 
True
Let m = 149 - 55.  Let p = -353 - -607.  Suppose 0 = -5*q + p - m. Is q a multiple of 12? 
False
Let f be 0 + 115 - (4 + -6).  Is f + (2 - (-4)/(-4)) a multiple of 32? 
False
Does 2 divide 8/(2 + 6) - 2*-26? 
False
Let r(i) = -i**3 - 8*i**2 + 11*i + 22.  Let x be r(-9).  Suppose -x*o + 5*u + 195 = 0, -3 + 7 = 4*u.  Is 26 a factor of o? 
False
Let z be (0 + -1 - -2) + 4.  Suppose -2*n - 16 = -3*v - v, 3*n + 21 = z*v.  Is n/(8/(-6))*6 a multiple of 5? 
False
Let m(d) = 18*d**2 + 3*d - 2.  Suppose 4*k - 2*k = -3*h + 19, -2*h + 2 = -4*k.  Does 38 divide m(k)? 
True
Let u(g) = 80*g**2 - 47*g + 2.  Is u(-2) a multiple of 17? 
False
Suppose 5*d = -6 + 16.  Is 10 a factor of 12*(10 - d - 3)? 
True
Let q(i) = i**2 - 5*i - 17.  Let h be q(7).  Let g(d) = -3*d**3 - 4*d**2 - 4*d - 10.  Is 16 a factor of g(h)? 
False
Let l = -7 - 9.  Let t be (-4)/(l/10)*2.  Suppose 2*o = s + 10, s - 8 = t*s.  Does 4 divide o? 
True
Suppose 53*p - 22*p - 25637 = 0.  Is 7 a factor of p? 
False
Let m(i) = -2*i + 0*i + 1 - 3 - i**2 + 2*i**2.  Suppose -2*v + z = -10, 0 = 5*v - 5*z - 8 - 22.  Is m(v) even? 
True
Suppose 3*f + 188 = 5*i, -7*i + 2*f = -3*i - 150.  Let u = 28 - 49.  Let x = u + i. Is 8 a factor of x? 
True
Suppose 0 = 2*s + 4*l - 2000, -s - l = -1238 + 238.  Is s a multiple of 11? 
False
Let k be -3 + (2 + -1 - -171) - 1.  Suppose -8*l + 6*l = -k.  Is l a multiple of 12? 
True
Suppose 5*j - 2*g - 4530 = 0, 2*j - 17*g - 1818 = -15*g.  Does 34 divide j? 
False
Let s(f) = 145*f + 11.  Let c be s(1).  Suppose -30 = -q + c. Is 18 a factor of q? 
False
Suppose -2*p = 4 - 8.  Let o be 4*(-1 - 7)*-1.  Suppose o = 4*g - p*g.  Does 8 divide g? 
True
Suppose -20 = -5*m, -2851 = 187*p - 188*p + 4*m.  Does 32 divide p? 
False
Suppose 8 + 1 = 3*x.  Let r(t) = t**3 + t. Let p(q) = -2*q**3 - 7*q**2 + q - 2.  Let y(l) = -p(l) - 3*r(l).  Is 11 a factor of y(x)? 
False
Let a(c) = -c**3 - 9*c**2 - c - 13.  Let h be a(-9).  Let l(m) = -2*m**3 - 4*m**2 - m + 4.  Is 24 a factor of l(h)? 
True
Suppose 0 = 11*h - 3*h + 720.  Let j = 178 + h. Is j a multiple of 32? 
False
Suppose 7*k - 12*k = -a + 17, -4*k - 4 = 4*a.  Suppose -525 = -17*b + a*b.  Is 5 a factor of b? 
True
Suppose y = w + 6, -8 = -y + 4*w + 4.  Let h = y - 5.  Is h/4*-4 - -7 a multiple of 8? 
True
Suppose 16*p - 14*p = 3*s + 557, 4*p = -2*s + 1154.  Does 4 divide p? 
False
Let l(o) = o**2 + 10*o + 19.  Let j be l(-8).  Suppose j*w + 842 = 8*w - y, -10 = 5*y.  Does 56 divide w? 
True
Let x(v) = -18*v + 659.  Is x(-45) a multiple of 18? 
False
Suppose 3*z - l = -3, -2*z - 3*l + 9 = -0*l.  Suppose 2*r - 124 - 236 = 0.  Suppose 5*b - r - 20 = z. Is 8 a factor of b? 
True
Let r(y) be the second derivative of 6*y**5/5 + y**4/6 - y**3/6 + 10*y.  Is 6 a factor of r(1)? 
False
Let n(y) = -163*y - 3.  Let h be n(1).  Let k = -98 - h. Is 25 a factor of k? 
False
Let l be (2/(-6))/((-13)/975).  Let z = 37 - l. Does 3 divide z? 
True
Does 6 divide (1359/(-4))/(30/(-40))? 
False
Let s(m) = -m**2 - 15*m + 24.  Let g(n) = -n - 20.  Let o be g(-7).  Is s(o) a multiple of 13? 
False
Let y be 122/(-10) - (-45)/225.  Let p(q) = -5*q**2 - 16*q - 18.  Let a(n) = n**2.  Let o(u) = 4*a(u) + p(u).  Is o(y) a m