+ 12, -3*x - 5*f + 11 = 2.  Suppose x*j - j + 72 = 3*v, -2*j + 60 = 3*v.  Let u = v + 50.  Is u a multiple of 17? 
False
Suppose -3*r + 70 = -5*i, -3*r - 2*i = -i - 40.  Suppose -20*k = -r*k - 770.  Is 11 a factor of k? 
True
Let x = -150 - -708.  Suppose -17*k + x = -8*k.  Let q = k + -3.  Is q a multiple of 6? 
False
Suppose 32*u - 59 = 37.  Suppose d - s = 261 + 44, -d = -u*s - 305.  Is 5 a factor of d? 
True
Is ((-312)/(-84))/13*7924 a multiple of 21? 
False
Let u = -1945 + 7905.  Is u a multiple of 14? 
False
Let y(i) = -34*i**3 - 2*i**2 - 55*i - 159.  Is 10 a factor of y(-5)? 
False
Is -19 - ((-7 - 13) + -2651) a multiple of 68? 
True
Let i = 51 + -53.  Let m be 1/((-1)/(-3)) + i. Is 4 - 1*(-23)/m a multiple of 27? 
True
Suppose 22*a - 602778 = -29*a - 217473.  Is 20 a factor of a? 
False
Let x(z) = -z**2 - 29*z + 20.  Let s be x(-10).  Let g = s - 116.  Suppose 4*h + g = -2*d + 430, 0 = -h - d + 83.  Does 17 divide h? 
True
Suppose 8*f + 10 = 10*f + 3*g, -25 = -3*f - 2*g.  Suppose -f*i = -5205 + 1597.  Is 18 a factor of i? 
False
Suppose -5*h - 308786 = -96*h + 128469.  Does 43 divide h? 
False
Let r be (((-12)/(-16))/3)/((-4)/(-48)).  Let n(g) = 6*g + 2 + 11*g**2 - 2*g**r - 2*g - 4*g**2 - 4*g**2.  Is n(-2) a multiple of 22? 
True
Is 84/437 + (-6)/69 + 265996/38 a multiple of 29? 
False
Let m(n) = -19*n**3 - 3*n**2 + 3*n - 1.  Let h be m(2).  Suppose -59*s - 17413 = 6954.  Let j = h - s. Is 16 a factor of j? 
False
Let j(z) = -6228*z + 2736.  Is 12 a factor of j(-3)? 
True
Suppose 0 = -4*w + 4*h - h + 207, -5*w + 258 = -4*h.  Let m be (-52)/(-32) - 3/(-8).  Suppose 11*g = 12*g - m*s - w, -96 = -2*g + s. Does 10 divide g? 
False
Let s = 577 - 782.  Let m = s - -249.  Does 4 divide m? 
True
Let g(q) = 30*q**2 + q**3 - 47 - 2*q**3 + 3*q**3 + 28*q + 36.  Is g(-9) a multiple of 76? 
False
Let i = 15756 - 5886.  Suppose 168*j - 147*j - i = 0.  Is 7 a factor of j? 
False
Suppose -95 = -2*m + 5*a, 4*a + 46 = -5*m + 234.  Is (-4)/(-10) + (5144/m - 11) a multiple of 35? 
False
Suppose j - 473 = 30*f - 34*f, 5*j = -2*f + 2311.  Suppose 6*u - 5*o = u - 1535, -u - 3*o - 299 = 0.  Let b = j + u. Is b a multiple of 26? 
True
Suppose -18*f = -4*z - 16*f + 2246, -3*f + 2261 = 4*z.  Let u = z + -221.  Does 8 divide u? 
False
Let d = 19670 - -8430.  Does 281 divide d? 
True
Let v = -88 - -64.  Let o(z) = -z**3 - 8*z**2 - 13*z - 9.  Let b be o(-7).  Let s = v + b. Is s a multiple of 3? 
True
Suppose m + 8685 = 5*b, -6972 = -4*b - 402*m + 398*m.  Does 7 divide b? 
False
Let a = -59 - -61.  Let w(q) = -4*q + 2*q**2 - q**a + 25*q**2 - 2.  Is w(-1) a multiple of 7? 
True
Let y = -58 - -10.  Is 7 a factor of (-9104)/y + 6/(-9)? 
True
Let u(x) = 61*x**3 + x**2 - 45*x + 180.  Is 15 a factor of u(5)? 
True
Let s = 30222 + -20929.  Does 154 divide s? 
False
Let k(u) = 2*u**3 - 4*u**2 + 168*u - 32.  Does 116 divide k(10)? 
True
Let q(a) = -98*a + 7.  Let g be q(-1).  Does 10 divide 48795/g + (-2)/(-7)? 
False
Does 4 divide -3 - -1 - 2 - (-6 - (-2 - -2644))? 
True
Let m = 15313 + -14590.  Does 63 divide m? 
False
Suppose 2*y - 11898 = -2*b, -23797 = -4*y - 135*b + 132*b.  Does 50 divide y? 
True
Suppose 27*p - 22*p = 30.  Suppose 4*n - t - 829 = 0, -2*n + 2*t + 428 = p*t.  Is n a multiple of 16? 
True
Suppose -564*h + 548*h = -1536.  Does 4 divide h? 
True
Is (-5 - (-2071 + 8)) + 6 a multiple of 11? 
False
Suppose -4*f + 2*k = 11 + 23, 4*f + 38 = -2*k.  Let w(x) = -4*x - 25 + 8 - x + 14.  Does 21 divide w(f)? 
True
Let r = -85 - -151.  Suppose 0 = 54*b - r*b + 5376.  Is 16 a factor of b? 
True
Let p = 77 + -69.  Suppose 9*m - 119 = p*m.  Suppose m = -4*d + 879.  Is 19 a factor of d? 
True
Suppose -7099 - 3503 = -18*a.  Suppose a + 4931 = 8*t.  Is t a multiple of 10? 
True
Let y = 4933 + 2454.  Is y a multiple of 5? 
False
Let w = -5057 + 5303.  Does 9 divide w? 
False
Let r(t) = -2*t**3 - 3*t**2 + 10*t - 24.  Let z be r(4).  Let v = z - -165.  Is 5 a factor of v? 
True
Let w = -29 + 204.  Suppose w = -6*a + 661.  Does 7 divide a? 
False
Suppose -40*m = -45*m - 5*u + 13480, m - 2681 = 4*u.  Does 5 divide m? 
False
Let a be (-485 + 1 - 0)/(42/(-84)).  Suppose 0 = -3*l - k + a, 2*l = 6*l - k - 1286.  Does 7 divide l? 
True
Suppose -t + 709 = -3441.  Is 83 a factor of t? 
True
Suppose 3 + 22 = 5*z, 35 = 5*s + 4*z.  Suppose a = -s*q - 420 + 2874, 2*a = -2*q + 1632.  Does 21 divide q? 
True
Suppose 602*q = 607*q + 150.  Let v(u) = -16*u - 2.  Is 23 a factor of v(q)? 
False
Suppose -4*c = -2*s - 2, 0 = -0*c - c + 3.  Suppose -s*d + 4*i + 736 = 80, -5*i = d - 108.  Is d a multiple of 16? 
True
Is (5 - -8128)*(8 + 184/(-24)) a multiple of 62? 
False
Let s = -49 + 24.  Let b = s - -28.  Suppose -b*q + q + 44 = 0.  Does 2 divide q? 
True
Suppose -92*a + 88*a - 2*z + 117964 = 0, -z = 2.  Does 249 divide a? 
False
Let x(t) = -3*t + 19.  Let p be x(5).  Suppose 5*z + 11*n = 8*n + 931, 4*n + 732 = p*z.  Does 37 divide z? 
True
Is 17 a factor of (55/132*3)/((-3)/(-9996))? 
True
Let n(r) = -64*r - 900.  Is 5 a factor of n(-15)? 
True
Let o(v) = 11*v + 25.  Let p(u) = u**3 - 3.  Let s be p(2).  Is o(s) a multiple of 8? 
True
Let h(p) = 2*p**2 + 7*p - 51.  Let a = -163 + 170.  Is h(a) a multiple of 12? 
True
Let y(o) = -11*o + 142.  Let f be y(5).  Suppose f*h - 1520 = 83*h.  Is 44 a factor of h? 
False
Suppose -114*n + 66*n = -75*n + 486.  Does 3 divide n? 
True
Suppose -112*u = 132*u - 278*u + 777546.  Does 139 divide u? 
False
Suppose 0 = 3*n - 3*f + 5*f - 50423, 3*f + 16815 = n. Does 39 divide n? 
True
Let d be ((-1568)/(-10))/((-348)/60 - -6).  Suppose d = 3*a + m, -16*a - 5*m + 764 = -13*a.  Is a a multiple of 20? 
False
Suppose 2*b - 8*t - 352 = -6*t, 2*t + 180 = b. Let v = 125 + b. Does 28 divide v? 
False
Let y(g) = -2 - 1 + 5 - 38*g - 14.  Let h be y(-10).  Suppose h = 5*z - 167.  Is z a multiple of 34? 
False
Is (-54614)/(-4) - (45/54)/(30/(-54)) a multiple of 381? 
False
Suppose -4*i = -2*o - 20, -3*i + 7*i + 4*o - 8 = 0.  Suppose -i*f + 8*a + 12 = 3*a, 24 = -4*f - 4*a.  Is f/(-10) - 1598*5/(-50) a multiple of 8? 
True
Is (-46202)/(-2)*1 - (-614 + 609) a multiple of 98? 
False
Let r(h) = -h**2 + 37*h - 274.  Let n be r(10).  Let a(s) be the second derivative of 5*s**3/6 + 25*s**2/2 - s. Is a(n) a multiple of 4? 
False
Suppose -72*a + 22*a = -3170000.  Is a a multiple of 20? 
True
Let w(a) = -3*a - 1.  Let k be w(-2).  Suppose -l + 2*q = -22, -2*l + 0*l + 49 = -k*q.  Let m(g) = g**2 - 10*g - 6.  Does 6 divide m(l)? 
True
Let m(z) = 2*z**3 - 257*z**2 + 876*z + 78.  Let f be m(125).  Suppose -3*k + 187 = -116.  Suppose k = 4*n - f. Is 15 a factor of n? 
False
Let k = -50253 - -76991.  Does 58 divide k? 
True
Suppose -650*o - 3488400 = -802*o.  Is 17 a factor of o? 
True
Let z(c) = c**2 + c + 230.  Let r be z(0).  Suppose -18*s + 662 = r. Is s a multiple of 3? 
True
Suppose -3*x - 4*i - 14 = -2*i, i = 3*x + 11.  Let w be (54/x)/(6/12).  Does 5 divide (-3 + w)/(-1 + 3/12)? 
True
Is 132 a factor of 7 - -39716 - ((-5)/(-20) - 74/8)? 
True
Is 15 a factor of 605/(-847) - (-28775)/7? 
True
Let u = -27 - -3.  Let h = 39 + u. Is 28 a factor of (-1864)/(-40) - 2*(-3)/h? 
False
Suppose 5*c = 2*y + 63608, -y = y + 8.  Is 53 a factor of c? 
True
Let o(c) be the first derivative of -4*c**4 - 2*c**3 - 3*c**2/2 + 9*c - 90.  Is 3 a factor of o(-2)? 
False
Let f = 203 - 210.  Let v(y) = -69*y - 48.  Is v(f) a multiple of 15? 
True
Suppose -4 - 21 = -5*a.  Suppose -6*s = -4*s - a*f - 770, -5*s + 1956 = 3*f.  Is s a multiple of 39? 
True
Let g(r) = 32*r**2 - 41*r + 146.  Does 26 divide g(3)? 
False
Let s = -32 - -34.  Suppose q + 2*k + 4 = -q, 0 = s*q - k - 8.  Suppose -q*c + 83 = -3*o, -o - 70 = -5*c + 131.  Is 4 a factor of c? 
True
Let o(j) = 1108*j - 841.  Is 27 a factor of o(4)? 
True
Let y(t) = t - 30*t - 3 + 11.  Suppose -3*x - 35 + 29 = 0.  Is 22 a factor of y(x)? 
True
Suppose -5*m - 38 = -3*u, u + 3*m - 8 = -0*m.  Suppose -u*w + 224 = -10*w.  Is 28 a factor of w? 
True
Let u(d) be the third derivative of -5*d**3 + 41*d**2 + 7/24*d**4 + 0 + 0*d.  Does 26 divide u(8)? 
True
Suppose 0 = -37*g + 1179215 - 36766.  Is 86 a factor of g? 
False
Let q be (32/10)/(150/375).  Suppose q*z = 10806 + 1202.  Is z a multiple of 79? 
True
Suppose 17359 = a - 12242 + 6674.  Does 180 divide a? 
False
Suppose -2*l - f + 6478 = 0, -2*f = 6*l - 4*l - 6476.  Is 20 a factor of l? 
True
Let x = -151 + 320.  Let r = 319 - x. Does 15 divide r? 
True
Let u(g) = -727*g - 3436.  Does 43 divide u(-18)? 
False
Is (347616/27 - (-16)/(-24))*(-3)/(-6) a mul