 187.  Suppose -421 = -3*k + z. Is 10 a factor of k? 
False
Let g = -3038 + 5173.  Suppose -2 = -u, 0 = s + 2*s + u - g. Suppose -s - 409 = -5*f.  Is 32 a factor of f? 
True
Let j = 297 - 187.  Let n be (-1)/5 + 722472/(-40).  Is 2*2/(-20) - n/j a multiple of 15? 
False
Let w(x) = x**3 + 20.  Let p be w(7).  Let j = p - 107.  Does 19 divide j? 
False
Let u(x) = 569*x**2 + 22*x + 10.  Is 89 a factor of u(-1)? 
False
Suppose 3*r - 41 = -4*a, -a - 5*r + 6 - 17 = 0.  Suppose 2*u - a*t = -12*t + 66, -t = -2*u + 67.  Does 14 divide u? 
False
Let n = -52 - -55.  Does 18 divide 1046/n + 28/(-42)? 
False
Let p(t) = t**2 + 4079*t + 19 - 8167*t + t**3 + 4087*t.  Suppose -5*g + o + o + 8 = 0, 0 = -g + 3*o + 12.  Is 4 a factor of p(g)? 
False
Suppose -2*y = -k - 222, 0 = 3*k + 7*y - 8*y + 661.  Is (k/130)/(-11) + 4156/26 a multiple of 10? 
True
Let n(h) = -2*h**2 + 2*h - 13.  Let p be n(-9).  Suppose -5*r + 2*r = 237.  Let d = r - p. Is d a multiple of 19? 
True
Let x(h) = -10*h - 66.  Let k be x(-7).  Let l(a) = 28*a**2 - 4*a + 9.  Is 63 a factor of l(k)? 
True
Let v(u) be the second derivative of -2*u**5/5 - u**4/6 - 8*u**2 - 147*u.  Is v(-4) a multiple of 58? 
True
Suppose 28 = -8*b + 52.  Suppose 4*y + 129 = s, 5*s - b*y = 2*s + 423.  Does 19 divide s? 
False
Does 115 divide (1/((-1617)/(-805) + -2))/((-1)/(-22))? 
True
Suppose 0 = 5*f - 5*c + 1510, 0 = 3*f + 4*c - 2*c + 901.  Does 38 divide f/(-1) + (-15)/(-5)? 
True
Let a be 74/(-12) - 1/(-6).  Let i(u) be the second derivative of -u**5/20 - u**4/2 - 5*u**3/6 + 13*u**2/2 - 2*u.  Does 4 divide i(a)? 
False
Suppose -356 = -3*n + n - 2*u, 5*n - 902 = -2*u.  Suppose -4*x = -194 - n. Let t = x - 49.  Does 12 divide t? 
False
Suppose 0 = -2*i - 0*u + 2*u - 1358, 2718 = -4*i + 2*u.  Let k = -220 - i. Suppose 76 = -8*l + k. Does 33 divide l? 
False
Let d(c) = c**3 - 4*c**2 - 3*c - 12.  Let p be d(5).  Let t = p - -265.  Let w = t + -175.  Is 8 a factor of w? 
True
Let k be 6/(-4)*(-7)/((-84)/(-16)).  Suppose h + k*i = -7, -2*h - 3 + 4 = i. Suppose 4*v - 2*q - h*q = 95, -3*v + 48 = 4*q.  Is v a multiple of 20? 
True
Let v be -3 - (24/(-28))/((-4)/(-28)).  Suppose 340 = -4*q + 4*m + 1264, 687 = 3*q + v*m.  Is 11 a factor of q? 
False
Suppose 5*n - 4*n - 12 = -3*u, -5*n - 2*u = -21.  Suppose -n*y + y + 2*s = -510, 0 = -5*y - 4*s + 1293.  Does 34 divide y? 
False
Let q(x) = x**3 - 14*x**2 + 5*x - 116.  Let w be q(15).  Does 16 divide (-31 + -1)*(-23)/(w/48)? 
True
Let l = 15 + 2.  Let g(i) = -i + 29.  Let z be g(l).  Is 1622/z + 4/(-24) a multiple of 27? 
True
Let s be (0/5)/(6 - 7).  Suppose -32*f + 5*f + 11340 = s. Does 12 divide f? 
True
Suppose 82 = 3*v + 10.  Let l = -19 + v. Suppose -2*y + 93 = x, -l*x + 495 - 55 = 5*y.  Is 14 a factor of x? 
False
Suppose -8*a + 6737 + 109945 = -2*m, -3*m = 4*a - 58353.  Is a a multiple of 66? 
True
Let j = 52 + -50.  Suppose j*g + 251 = 703.  Suppose 2*s - g = -5*p - 36, 3*s = -5*p + 290.  Is 5 a factor of s? 
True
Let o(t) be the second derivative of t**4/12 + 4*t**3/3 - t**2 + t. Let r be o(-8).  Is 69 + (3 - 0) + r a multiple of 7? 
True
Suppose 10*y - 6*y + 36 = 0.  Let k be 3/9 + (-861)/y.  Suppose -5*d = 4*w - 592, 3*w + 390 = 4*d - k. Does 19 divide d? 
False
Let s(r) be the second derivative of -r**5/20 - 3*r**4/2 + 29*r**3/6 + 31*r**2/2 - 2*r - 1.  Is 72 a factor of s(-21)? 
False
Suppose -66849 = -d - s, 2*d - 9*s = -7*s + 133686.  Is d a multiple of 114? 
False
Let z(x) = -4413 - 12*x + 4409 - 11*x**2 + 26*x**2 - x**3.  Is 47 a factor of z(10)? 
True
Let g(l) = -13*l**3 + l**2 + 38*l + 78.  Let p be g(-2).  Let y(s) = s**3 - 7*s**2 + 7*s - 7.  Let w be y(6).  Is 11 a factor of w/(1/p*(-4 + 2))? 
True
Suppose 1385 + 1560 = 5*f.  Does 8 divide f? 
False
Does 11 divide 25438 + (13 - (-15 + 19))? 
False
Let d(j) = j**3 - 7*j**2 + 8*j - 5.  Suppose -22*w + 18 = -19*w.  Let g be d(w).  Does 5 divide g/(2*(-3)/(-54))? 
False
Let v be (-17 - -14)*(-286)/6.  Suppose 148*q - 780 = v*q.  Is 9 a factor of q? 
False
Let r(s) = -s**3 - 20*s**2 + 24*s + 64.  Let v be r(-21).  Is 21710/26 + -5*v a multiple of 63? 
False
Suppose 88 = 33*x - 44.  Suppose -2073 = -x*h - 40*z + 35*z, 3*z = -9.  Is h a multiple of 30? 
False
Suppose 0*o - 3*o = 6.  Let d be -2 - (2 - o) - -1.  Let n = d + 22.  Does 3 divide n? 
False
Let q = 19 + -62.  Let o = 46 + q. Is 13 a factor of (6 - o) + 30/3? 
True
Suppose 9*p - 141467 = 67072.  Does 154 divide p? 
False
Let r(z) be the first derivative of -z**4/4 - 5*z**3 + 5*z**2/2 - 15*z + 4.  Let x(f) = 5*f + 29.  Let y be x(-9).  Is 20 a factor of r(y)? 
False
Let j(s) = 30*s.  Let o be j(2).  Let z = 570 + -489.  Let x = z - o. Is x a multiple of 17? 
False
Suppose -1275 = -5*c + 5*i, 0 = c + i - 3*i - 250.  Suppose -12*d = -8476 - c. Is 104 a factor of d? 
True
Suppose 30*z - 160 = 25*z.  Suppose 5*j - 5*d = 130, -j - 6*d + z = -5*d.  Is j a multiple of 10? 
False
Let t = 4597 + -2203.  Is t a multiple of 9? 
True
Suppose 15 = 7*p + 1.  Let j(y) = -5 + 5*y**p - 3*y - 2*y - y**2 + 1.  Is 5 a factor of j(4)? 
True
Let u = 17891 - 5307.  Does 84 divide u? 
False
Let t(z) be the second derivative of 85*z**4/12 - z**3 - 3*z**2/2 - 27*z - 2.  Is 8 a factor of t(-1)? 
True
Suppose -2*u + 48 = -3*p, -4*p - 3*u - 3 - 61 = 0.  Let d(b) be the third derivative of -b**6/120 - b**5/4 + 5*b**4/12 + 5*b**3/2 + 2*b**2.  Does 37 divide d(p)? 
True
Let k(u) = u + 22.  Let w be k(-20).  Let q(v) = 7*v**w - 12 + 1 + v**3 + 8 + 3*v.  Does 17 divide q(-4)? 
False
Let v = -939 - -2907.  Suppose -22*u + 18*u = -v.  Suppose 5*g - u - 83 = 0.  Is 23 a factor of g? 
True
Let o(v) = 10*v - 1190.  Let a be (1 + -1)/(0 - 1).  Let s be o(a).  Is 15 a factor of (s/15 + (-4)/6)/(-1)? 
False
Let r(d) = 1120*d - 71.  Is 27 a factor of r(2)? 
False
Let r(b) = 2*b**3 + 36*b**2 + 6*b - 221.  Is r(-17) a multiple of 14? 
False
Suppose 17437 = 42*v - 47285.  Is 5 a factor of v? 
False
Let o be 1/(-2) + 20/8.  Suppose v = o*v - 13.  Is 18 + -16 - -1*v a multiple of 5? 
True
Suppose f - 7 = 0, 3*n - 43207 = 2*f + 606.  Does 6 divide n? 
False
Suppose -9*m + 21*m - 744 = 0.  Suppose 0 = 61*z - m*z + 10.  Suppose 1466 = z*l + 106.  Does 22 divide l? 
False
Does 8 divide 0 + 1 + 0 + 27/108*572? 
True
Let w(a) = -2*a**3 + 12*a**2 - 7*a - 12.  Let s be w(5).  Suppose s*m - 2*n + 70 = 0, 2*m + n = -m - 82.  Let l = 130 + m. Is 19 a factor of l? 
False
Let d be 1/(3/(-84)) - 12/(-3).  Let b = d - -152.  Is b a multiple of 16? 
True
Suppose 0 = 243*d - 233*d - 30.  Let y(z) = 28*z**3 - 6*z**2 + 12*z - 10.  Does 26 divide y(d)? 
True
Let o(s) = 11*s**2 - 49*s + 620.  Is 8 a factor of o(23)? 
True
Let z = -1151 + 930.  Let i = 684 + z. Is i a multiple of 32? 
False
Let x be (-21)/(-12) + -2 + 66/8.  Does 74 divide 148/(-6)*(-168)/x? 
True
Let f = 72 + -53.  Suppose -5*b + 4*w = -3*b - 2, -5*b + 3*w + f = 0.  Is (66/(-8))/(b/(-80)) a multiple of 26? 
False
Let a be 135/(-6)*(-56)/252.  Suppose a*f = -4*i + 4052, 11*f + i - 4043 = 6*f.  Is 8 a factor of f? 
True
Let c(w) = -w**3 - 13*w**2 - 65*w - 435.  Is c(-12) a multiple of 26? 
False
Suppose 41*t - 300560 = 741414.  Is 212 a factor of t? 
False
Suppose 4*f - 967 = f - 4*h, -5*f = -5*h - 1565.  Let m = 346 - 197.  Let w = f - m. Is w a multiple of 24? 
True
Let i be ((-12)/9)/(4/12).  Let d be 1*(-12)/i - -35.  Suppose 3*p - 97 = 4*b + d, 0 = 2*p + 2*b - 104.  Is p a multiple of 7? 
True
Let o(w) = w + 439.  Let g be o(52).  Let i = 546 - g. Is i a multiple of 5? 
True
Let o(n) = 3*n**3 - 317*n**2 + 229*n - 180.  Is 14 a factor of o(105)? 
False
Let n = -128 - -262.  Let r = -2 + n. Is 47 a factor of (-810)/(-7) + (5 - r/28)? 
False
Let i = 431 + -1297.  Let x = i - -1288.  Does 55 divide x? 
False
Let y = 427 - 428.  Is y*(-6 - -7)*(-936 - 1) a multiple of 44? 
False
Let d(o) = -5*o**3 - 7*o**2 - 7*o - 63.  Let s(v) = -2*v**3 - 3*v**2 - 3*v - 31.  Let y(f) = 3*d(f) - 7*s(f).  Let j be 1*-7 + 4 + 8 + -5.  Does 3 divide y(j)? 
False
Suppose 11*y + 9 - 9 = 0.  Suppose 6*z - 166 - 608 = y. Suppose 3*d + 5*x = 44 + 315, d - z = 3*x.  Does 22 divide d? 
False
Let y(g) = -169*g**3 + 9*g**2 + 260*g + 1250.  Is 20 a factor of y(-5)? 
True
Let x(h) be the first derivative of h**4/4 + 2*h**3/3 - 2*h**2 - 6*h - 10.  Let z be x(-3).  Let w(f) = 10*f**2 + 5*f + 6.  Is w(z) a multiple of 41? 
False
Let x be (104/12)/(18/189).  Is (-2)/14 - (-52156)/x a multiple of 81? 
False
Suppose 60 = -5*s + 680.  Let y = 356 - s. Is 43 a factor of y? 
False
Let m be (92/8)/((-11)/(-418)).  Let h = -173