-6*z + 10 + 8 = b. Suppose -z*v + 193 = -23.  Does 6 divide v? 
True
Let j = 623 - 344.  Let v = j - 168.  Is 9 a factor of v? 
False
Is 41 a factor of (7749/15)/((-49)/(-735))? 
True
Suppose -5*v + 338528 = 2*o, 17*o + 203070 = 3*v + 13*o.  Does 162 divide v? 
False
Let m(x) = 2*x**2 - 48*x - 244.  Is 12 a factor of m(59)? 
False
Suppose 0 = 34*s - 27*s - 182.  Suppose 0 = -2*i - 3*w - 14, -2*w = -3*w.  Let x = i + s. Is 5 a factor of x? 
False
Suppose 5*o = 5*m + 223 + 632, -3*m - 508 = 2*o.  Let p = -13 - m. Is 13 a factor of p? 
False
Let z be (1 - 5) + (58 - 56)/(1/(-3)).  Suppose -83 = 5*o - 4*n + 56, -4*n + 58 = -2*o.  Let g = z - o. Is g a multiple of 2? 
False
Let z = 2782 + -1832.  Does 50 divide z? 
True
Suppose 4*w = -3*x + 110, -2*x - 6*w = -3*w - 72.  Suppose 42 = -x*h + 44*h.  Is 21 a factor of h? 
True
Let t(i) = -10*i**2 - 3*i + 3.  Let u(m) = 9*m**2 + 3*m - 3.  Let k(w) = -3*t(w) - 4*u(w).  Let v be k(2).  Let o = 87 + v. Is 20 a factor of o? 
True
Let l = 45663 + -31300.  Does 271 divide l? 
True
Let a be 8 + -10 - (-56)/2.  Let y(c) = c**2 - 25*c - 21.  Let x be y(a).  Suppose -5*j = -x*l + 4*l + 80, 5*l + 4*j = 400.  Is l a multiple of 20? 
True
Suppose -8*d = -i - 25*d + 6170, -d = -i + 6206.  Is i a multiple of 132? 
True
Let n(x) = -x**3 + 9*x + 4*x**3 + 208*x**2 - 5 - 206*x**2.  Is n(3) a multiple of 8? 
False
Let a(j) = -7*j**3 - 17*j**2 + 2*j - 28.  Let n(z) = 16*z**3 + 35*z**2 - 5*z + 56.  Let s(y) = 7*a(y) + 3*n(y).  Does 15 divide s(-15)? 
False
Suppose 19*r + 75 - 170 = 0.  Suppose r*z - 1450 = -w + 336, -3*w - z = -5414.  Does 19 divide w? 
False
Suppose 160 = -3*i - m, 5*i + m + 62 = -206.  Is 10 a factor of -1 - 5354/(-38) - i/513? 
True
Let d = 10351 + -6151.  Does 105 divide d? 
True
Suppose -523*q + 31232 = -507*q.  Is 16 a factor of q? 
True
Let q(x) be the first derivative of 5/2*x**2 - x + 9.  Does 7 divide q(3)? 
True
Let f(h) = 117*h**2 + 193*h + 1797.  Is 7 a factor of f(-9)? 
False
Suppose 0 = -29*x - 6*x - 19*x + 530550.  Is 75 a factor of x? 
True
Let o = 16694 - 5719.  Is o a multiple of 10? 
False
Let t = 25870 - 8350.  Is 40 a factor of t? 
True
Let j be (6 - (-216)/(-40))/(1/45).  Let c = 176 - -1084.  Suppose c = 33*o - j*o.  Does 27 divide o? 
False
Suppose 5*v + 15 = 0, -20*v + 24 = -5*f - 18*v.  Does 93 divide ((-3152)/f)/((-18)/(-54))? 
False
Let b(q) = q + 64.  Let d be b(9).  Suppose 4*a = -d - 47.  Let m = a + 98.  Is 24 a factor of m? 
False
Let t(k) = -25*k + 21*k - 3*k**3 - 12 + 6*k**3 - 17*k**2.  Let q be t(6).  Suppose -78 + 1 = -5*p - c, 2*p + 3*c - 23 = q. Does 3 divide p? 
False
Suppose -8 = -0*u - 4*u, -3*u + 21 = 3*r.  Suppose r*w - 3465 = 5*d, 0 = 9*w - 12*w - 3*d + 2049.  Is w a multiple of 13? 
False
Let j = -76 - -78.  Does 14 divide (136/j)/(6 - (-200)/(-35))? 
True
Let r(t) = -6*t**3 + 6*t**2 + 20*t - 14.  Let l be r(-9).  Suppose 16*o = l + 1702.  Is o a multiple of 36? 
False
Does 87 divide ((-135)/6)/((-7)/406)? 
True
Let y(x) = 4307*x + 9922.  Does 288 divide y(10)? 
True
Suppose -m - 520 = -2*m.  Let w = 771 - m. Suppose -2*y + 82 + 96 = 2*s, -3*s + y = -w.  Does 26 divide s? 
False
Suppose 0 = -5*h - 120 + 135.  Suppose -t = 5*y - 4 + 14, -h*y = -3*t + 6.  Suppose -2*k - k - 2*v + 581 = t, 2*v + 784 = 4*k.  Does 15 divide k? 
True
Suppose 13*y + 2123 = 485.  Is (y/105)/((-9)/870) a multiple of 7? 
False
Let p = 40 - 91.  Let m = -42 - p. Is 6/m - (76/(-3) + 0) a multiple of 2? 
True
Let h = -746 + 13226.  Does 4 divide h? 
True
Let r = -2000 - -50557.  Does 390 divide r? 
False
Suppose -83*g = -57*g - 394186.  Is 86 a factor of g? 
False
Suppose 25 + 2 = p + 5*x, 4*x = p + 18.  Is 12 a factor of -2 + 1 + (p - -1*460)? 
False
Let t be 4*-1 - (5 - 7).  Let r be t/3 + (-3)/((-18)/4).  Let i(y) = -y**3 + y**2 + 2*y + 78.  Is 13 a factor of i(r)? 
True
Let r(v) be the first derivative of 4*v**2 - 19*v + 53.  Is 5 a factor of r(13)? 
True
Suppose 33*n + 89 = -241.  Is 16 a factor of (-36)/(-30) - 788/n? 
True
Let m(k) = 2*k**3 - 8*k**2 + 25*k + 18.  Is m(11) a multiple of 59? 
False
Let t(l) = l**3 + 10*l**2 - 7*l - 62.  Suppose -m + 2*m + 4*h + 5 = 0, 0 = -3*m - 2*h - 25.  Is 4 a factor of t(m)? 
False
Suppose 4*z = 3*z - 5*k + 9, 4*k = -2*z - 12.  Let b(f) = -f**2 - 30*f - 14.  Is b(z) a multiple of 14? 
True
Let d be (-2)/(-3) - 14/(-6).  Suppose 9*a - d = 33.  Suppose -a*n - 3*m + 503 = 27, 3*n - 357 = m. Is 7 a factor of n? 
True
Is 28 a factor of (6475 - -5)/(-3)*((-588)/30)/7? 
True
Let r be 0 - (4 - (1 - 3)).  Let y(s) = -s**2 - 11*s + 18.  Let i be y(r).  Let p = -22 + i. Is 25 a factor of p? 
False
Let q(c) = -c**2 - 6*c - 15.  Let f be q(-8).  Let i = f - -63.  Suppose 8*s - i = 7*s.  Is s a multiple of 22? 
False
Let b = 827 + 5235.  Does 3 divide b? 
False
Let x(a) = -45*a**3 + 8*a**2 - 25*a + 3.  Let b(h) = 14*h**3 - 3*h**2 + 8*h - 1.  Let w(g) = 7*b(g) + 2*x(g).  Is 27 a factor of w(3)? 
False
Suppose 0 = -3*r + 3*q + 210, -2*q - 199 - 73 = -4*r.  Let g = -63 + r. Suppose 5*z + 5*i = 35, 33 = 4*z - z - g*i.  Does 9 divide z? 
True
Is 19 a factor of (-190)/4*((-59384)/130 - -18)? 
True
Let p(d) = d**3 + 5*d**2 - 26*d - 23.  Let l be p(-8).  Does 58 divide (39/(-6) - l)*812? 
True
Let q be 2 + 1 - (-108 - -105).  Does 23 divide (752/(-40))/(q/(-15)) - 1? 
True
Suppose -11*x - 287 = 109.  Is 47 a factor of x/(-54) - 1688/(-6)? 
True
Suppose 0 = 9*w + 2434 - 5836.  Let z = 345 + w. Does 13 divide z? 
False
Suppose 3*v = 3*u - 237, u - 3*v - 71 = -4*v.  Suppose 54*c - 39*c = u. Is 5 a factor of c? 
True
Let o be -1 - (-1*101 - 0).  Let b = -1614 - -1614.  Suppose -m - r + 106 = b, -7*r + 2*r - o = -m.  Is 21 a factor of m? 
True
Let s be 1*314*(-65)/(-26).  Let i = -411 + s. Is 34 a factor of i? 
True
Let k(i) = 18209*i**2 - 2*i - 1.  Let u be k(-1).  Suppose -13*s + 6555 = -u.  Is 15 a factor of s? 
True
Let b be (-1)/(2*(2 - 71/36)).  Is (b/(-4))/((-15)/(-810)) a multiple of 8? 
False
Let v be ((-15)/2)/(4/(-432)).  Suppose 5*a - v = -5*m + 145, -2*a - 3*m = -386.  Is 17 a factor of a? 
True
Let c = -22 - -18.  Let y be -14*1/c*(-24)/(-14).  Is 0 + 951/y + (-3)/(-2) a multiple of 40? 
True
Suppose 0 = 7*h - 19*h - 252.  Let k = h + 21.  Suppose -3*j - y = j - 589, -j - 4*y + 136 = k. Is 37 a factor of j? 
True
Let z(s) = 165*s**2 + 79*s + 1199.  Does 39 divide z(-12)? 
False
Let x = -16845 + 17491.  Is 2 a factor of x? 
True
Let n(f) = -156*f - 23.  Is n(-1) a multiple of 2? 
False
Let k(h) be the third derivative of h**5/60 + 13*h**4/24 + 6*h**3 - 17*h**2 - 2*h.  Is 12 a factor of k(0)? 
True
Let r(d) = 66*d + 239.  Let h(y) = -y**2 - 22*y - 89.  Let k be h(-6).  Does 55 divide r(k)? 
False
Suppose -5*y = 4*l - 7959 - 1578, -3*y - l + 5718 = 0.  Suppose y = 6*u + 33.  Does 8 divide u? 
True
Suppose 35*d - 457857 + 334183 - 374901 = 0.  Is 11 a factor of d? 
True
Let k(j) = -8 - 12*j + 26*j + 19*j - 13.  Does 9 divide k(5)? 
True
Let r = 8577 - 5715.  Is 9 a factor of r? 
True
Let j(l) = 99*l**2 + 6*l + 7.  Suppose -26 = 17*k - 4*k.  Is j(k) a multiple of 23? 
True
Suppose 8*i = i + 56.  Suppose 12 = -10*g + i*g.  Is 8 a factor of (-18)/(-12)*(-68)/g? 
False
Let b = -400 + 570.  Is 17 a factor of (494/(-95))/((-2)/b)? 
True
Suppose -192*c - 2*j = -197*c + 5976, 3*c = -j + 3590.  Is c a multiple of 10? 
False
Let g = -1452 + 2497.  Suppose -4*b + g = 3*q, -351 = -2*q + q - 4*b.  Is 13 a factor of (-1)/((-2)/q) - (-165)/(-110)? 
False
Let b = -202 + 215.  Let h(n) = 6*n**2 - 3 - n**3 + 50*n + 5*n**2 - 23 - 16*n.  Does 20 divide h(b)? 
False
Let r = 48 + -9.  Let y(j) = -j**2 + 11*j + 39 - 70 + r. Is y(9) a multiple of 16? 
False
Suppose 2*w = 5*h - 6 + 35, 3*w = -2*h - 4.  Does 4 divide h + (21/(-9))/((-1)/39)? 
False
Is ((-405)/540)/(((-437)/(-218) + -2)/(-2)) even? 
False
Let q = -1998 - -5891.  Is q a multiple of 17? 
True
Let a(p) = 2619*p**2 - 447*p - 1351.  Is a(-3) a multiple of 32? 
False
Let f = -401 - -396.  Let t(p) = -8*p**3 + p**2 + 5*p - 30.  Is t(f) a multiple of 31? 
False
Suppose -11*x = -12*x - 4*p + 1130, 3*x + 2*p - 3400 = 0.  Is 7 a factor of x? 
True
Let l(h) = h**2 - 10*h + 15.  Let i be l(9).  Suppose -5*r + 3*b + 12 = 2*b, -2*b = -i.  Suppose -r*m = -4*m + 9.  Does 5 divide m? 
False
Suppose 3*t - 5 = -20.  Let m(p) = 12*p - 39.  Let q(s) = 1.  Let f(b) = t*q(b) - m(b).  Does 10 divide f(-8)? 
True
Suppose 0 = -43*i + 39*i + 8.  Is 6 a factor of (i - (-14)/(-6))*(-463 - -49)? 
True
Let m(s) = -465*s**3 + 16*s**2 + 12*s - 3.  Let a(d) = -232*d**3 + 7*d**2 + 5*d - 2.  Let