 c? 
False
Let a be (1416/32 - 7)*8/1.  Let h = a + -213.  Suppose 0 = -2*q - 2, -4*m - q - 2*q = -h.  Does 22 divide m? 
True
Let p be 1/((-1)/(-38)*(-16)/(-568)).  Suppose p = 5*v - 186.  Is v a multiple of 24? 
False
Let n = -6796 + 10612.  Suppose -3*k + 7632 = 4*y - 0*k, 2*y = 5*k + n. Is 26 a factor of y? 
False
Let u = -39 - -492.  Let z = u + -107.  Does 26 divide z? 
False
Let n = 14627 - 3035.  Suppose 64*v = 50*v + n. Does 18 divide v? 
True
Suppose 0 = -2*o - 76*w + 81*w + 4247, 0 = -w - 3.  Does 7 divide o? 
False
Suppose -25*s = -24*s.  Suppose s = -5*h - 0 - 25, 2870 = 5*w - 2*h.  Is 17 a factor of w? 
False
Let d(c) = -5*c + 49.  Let v be d(14).  Let p be (-22 - v)/((-1)/(-114)).  Let x = p - -198.  Is 24 a factor of x? 
False
Suppose -3*h + 45 - 6 = 0.  Is 53 a factor of 1/9 - h/(-9)*110? 
True
Let i(v) = v**3 - 10*v**2 - 6*v + 15.  Let t be i(10).  Let b = 48 + t. Is (3 + -2)*1 + b a multiple of 4? 
True
Let g(a) = 12*a**2 + 69*a - 58.  Is g(5) a multiple of 4? 
False
Let o = -73 - -30.  Let n = o + 60.  Suppose f - s - 156 = 0, n - 5 = 3*s.  Does 14 divide f? 
False
Let g(n) = -58*n + 14.  Let c be g(5).  Let p = 524 + c. Suppose -p = -10*k + 262.  Is k a multiple of 8? 
False
Suppose -c + 4*f = -12786, -101*c - f = -100*c - 12741.  Does 15 divide c? 
True
Suppose 3*r = 4*r + 4*i + 1, -2*r + 4*i + 10 = 0.  Suppose 5*p - 217 = -r*d, -5*d + 7*p + 349 = 9*p.  Is 10 a factor of d? 
False
Let o = 497 + -422.  Suppose o*z - 71*z = 1764.  Does 63 divide z? 
True
Let q(n) = 5*n**2 - 291*n + 2434.  Is q(-77) a multiple of 32? 
False
Let c(y) = 19*y**2 - 56*y + 596.  Does 37 divide c(10)? 
False
Does 173 divide (270/18 - 16)*-6515? 
False
Let w be 21/105 + (-3292)/10.  Let f = 581 + w. Does 9 divide f? 
True
Suppose -44 = 2*o - 42.  Let r(n) = -2*n - 2.  Let b be r(o).  Suppose 5 = i, 45 = 2*u - b*u + 5*i.  Is u even? 
True
Suppose 0 = -3*j - d - 1, 5*j - 2*j + 4*d + 13 = 0.  Let w(r) be the first derivative of 55*r**2 - 3*r + 6.  Is w(j) a multiple of 6? 
False
Let x = -19690 + 39256.  Does 18 divide x? 
True
Suppose -186023 = -190*g + 174597.  Does 26 divide g? 
True
Is 52 a factor of (360/(-70))/(-4 + (-159523)/(-39886))? 
False
Is (-1)/(4 + 1 - (-225)/(-44))*780 a multiple of 52? 
True
Let b(d) = -6*d**3 - 13*d**2 - d. Let w be b(-4).  Suppose 5*i - 41 = -3*c, 2*i - 5*i + 36 = -2*c.  Suppose 0 = -i*p - w + 620.  Does 11 divide p? 
True
Let q = 5713 + -164.  Is q a multiple of 31? 
True
Suppose -2*a = 1202*i - 1197*i - 163084, -4*i - 4*a + 130448 = 0.  Does 70 divide i? 
True
Let p be 235/(-2)*(-16)/10.  Suppose -759 + p = -4*b + 5*r, -5*r = -b + 154.  Suppose -4*k - 16 = 0, 575 - b = 3*g - 4*k.  Is 14 a factor of g? 
True
Suppose -4*o - 5*g + 126675 = -808, 0 = -7*o - 2*g + 223048.  Is 208 a factor of o? 
False
Let g(c) = -c**3 + 87*c**2 - 64*c - 3524.  Is 16 a factor of g(78)? 
True
Let y be (-2)/4 + 70/4.  Let q(i) = i**3 - 132*i**2 - 148*i + 1995.  Let a be q(133).  Let h = y - a. Does 17 divide h? 
True
Let l(b) = -4*b - 71.  Let s be l(-17).  Is 24 a factor of ((-57)/(-76))/((s/1548)/(-1))? 
False
Suppose -18 = -4*d + 2*d.  Suppose d*t = -345 - 168.  Is 27 a factor of -4 + (t/2)/(3/(-4))? 
False
Suppose 45 - 24377 = -5*u + u. Is u a multiple of 79? 
True
Is 133 a factor of (-157768)/(-24)*-3*(-1)/1? 
False
Let w = -187 + 200.  Suppose 6*a = w*a - 1183.  Does 20 divide a? 
False
Does 20 divide 16*9730/(-392)*-7? 
True
Let o be (8 + -9)/(2/(-8)).  Suppose -3 = 3*l, 3*m - o*m - l = 82.  Is -2 + m/(-3) + -1 a multiple of 6? 
True
Suppose 116 = 13*g + 16*g.  Suppose l - f = 912, -10*f + 15*f = g*l - 3650.  Is l a multiple of 65? 
True
Suppose -l = -4, -2*g + 5*l + 37921 + 8049 = 0.  Is 45 a factor of g? 
True
Suppose -31*l - 60 = -28*l.  Does 53 divide (l/(-3))/(86/6837)? 
True
Let g = -706 + 706.  Suppose g = -13*a + 61*a - 88800.  Does 13 divide a? 
False
Suppose 3*m - 1313 = -4*i - 20, -3*m = 3*i - 966.  Let y = i + -20.  Is y a multiple of 11? 
False
Let n = 12243 + -3974.  Is 98 a factor of n? 
False
Let s be 9/6 - (-9)/6.  Suppose -60 + 18 = s*h.  Let b = h + 91.  Is b a multiple of 20? 
False
Let h be (-2)/10*6*10/(-6).  Suppose h*s - 20 = -5*d, 4*d - s + 3 - 6 = 0.  Is 34 a factor of 523/3 - d/(-3)? 
False
Let v(s) = -7*s - 23.  Let m(u) = -u.  Let l(r) = -6*m(r) + v(r).  Let i be l(-15).  Is (-124)/i*(0 - -2) a multiple of 14? 
False
Let i(v) = -v**2 - 13*v + 4.  Let d be i(-10).  Suppose -3*y - 4*r = -36, -r + d = 4*y - 14.  Is y/8 + (-985)/(-10) a multiple of 25? 
True
Let o(c) = -c**2 + c + 32.  Let m be o(-5).  Let x be (-5 - 23)/(1*m).  Is x*(-9*(-8)/(-4) + 3) a multiple of 15? 
True
Let b be (14/8 + -2)*0.  Suppose -r + 3*z + b*z + 15 = 0, -z = 2*r - 58.  Is 7 a factor of 1 + r/(-33) - 304/(-22)? 
True
Let l = -276 + 668.  Is l a multiple of 5? 
False
Suppose 0 = 4*x - 15*x + 4661 - 1317.  Does 12 divide x? 
False
Let g be (-3288)/126 + 2/21.  Let u = g + 247.  Does 13 divide u? 
True
Suppose -3*q + 0 + 15 = 0.  Suppose -q*g - 3*x = -61, -g + 3*x + 3 = -2.  Let b = 0 + g. Does 3 divide b? 
False
Is 21 a factor of (-69)/(-345) - (2/(-12) + (-760898)/60)? 
False
Let l be (-10)/4*(15 - -1)/(-4).  Suppose l*b = -b.  Suppose -2*a = -4*i + 370, b = 2*i + a + a - 188.  Is i a multiple of 13? 
False
Suppose -4*v + 6 = -14.  Suppose w + 2*c - 83 = -20, 2*c + 267 = v*w.  Let b = 17 + w. Is b a multiple of 18? 
True
Suppose 2*l + 9 = -8*j + 3*j, l = 2*j + 9.  Suppose l*a + 5*u - 188 = 3*u, -164 = -3*a + 4*u.  Does 10 divide a? 
True
Suppose 5580 = -29*z - 4570.  Is 8 a factor of (-285*28/z)/(4/70)? 
False
Suppose 0 = -8*c - 2*z + 255302, -4*z - 46708 = -4*c + 80968.  Is c a multiple of 69? 
False
Let c be (-480)/144*2/(-8)*-6.  Is 9 a factor of 4*c/10 - -443? 
True
Let q = -313 - -101.  Let k = q + 481.  Is k a multiple of 50? 
False
Let z(l) = -42*l - 318.  Let p be z(-8).  Suppose 8*u - p*u = -2820.  Does 47 divide u? 
True
Let o = 4 + 298.  Let k = 466 - o. Is k a multiple of 41? 
True
Let z = -243 - -53811.  Does 64 divide z? 
True
Let s(f) = -3*f + 5.  Let w be s(-5).  Suppose 0 = b - 3*t - 13, -t - 1 = 2*b + 2*t.  Suppose -l + w = b*l.  Is l a multiple of 4? 
True
Is 6 a factor of ((-2)/(-12)*(-10 - 6))/((-61)/47214)? 
True
Let s be -145 + -3 + -3 + 3 + 3.  Let g(z) = -z**3 + z**2 + 7*z - 1.  Let q be g(5).  Let f = q - s. Is 7 a factor of f? 
False
Suppose -29*a = -18*a - 5588.  Is 21 a factor of a? 
False
Let t be (9/(-4))/(7/(-28)).  Suppose -13 = -8*i + t*i.  Is 10 a factor of (i/(-3))/(18/270)? 
False
Let p(b) = -19*b - 5.  Suppose -2*c + 9 = 21.  Does 3 divide p(c)? 
False
Suppose -7*v + 8*v + h - 2211 = 0, 4*h + 6612 = 3*v.  Does 32 divide v? 
True
Suppose -3*l = -5*v + 37 + 73, 5*v - 5*l - 120 = 0.  Suppose -9042 - 6348 = -v*j.  Is 15 a factor of j? 
True
Let o(n) = -3*n**2 - 22*n + 2.  Let x be o(-7).  Let u(v) = 5 - 2 - 26 - x*v - 8*v.  Is u(-4) a multiple of 5? 
True
Let w = 90 - 67.  Let q(t) = 8*t - 76.  Does 6 divide q(w)? 
True
Suppose -13*a + 6 = -20.  Suppose 0 = 4*h + a*h - 4902.  Is h a multiple of 19? 
True
Suppose 7*u - 10*u + 2*j + 14 = 0, 2*u + 2*j = 6.  Suppose u*s + 0*k + 61 = k, 78 = -5*s + 3*k.  Is s - -23 - (1 - 4) even? 
False
Let r = -1180 + 1570.  Is 39 a factor of r? 
True
Let g(s) be the third derivative of s**4/8 + s**3/6 + 14*s**2.  Let k be g(-2).  Let m(v) = v**3 + 4*v**2 - 8*v - 5.  Does 2 divide m(k)? 
True
Suppose 170*v - 1645425 - 362735 = 16*v.  Is 163 a factor of v? 
True
Let v(y) = -2*y + 7.  Let a be v(6).  Let g = a + 16.  Let m(p) = -p**3 + 11*p**2 + p - 7.  Is 2 a factor of m(g)? 
True
Let o be (-256)/2*(27 + -28).  Let j = 200 - o. Does 9 divide j? 
True
Suppose 291 = c + 51.  Suppose 4*z = -6*z + c. Suppose d = t + z, -82 = -3*d - 0*d + 5*t.  Is 7 a factor of d? 
False
Suppose y = 3*t + 4*y - 54, 4*y = 2*t - 6.  Suppose -1684 = -t*f + 9*f.  Is 73 a factor of f? 
False
Suppose 61*b - 550188 = -26*b.  Does 12 divide b? 
True
Let u(f) = 3*f**2 - 97*f + 306.  Is u(-34) a multiple of 52? 
True
Let x be (2 - -41)*2 - 12/(-3).  Suppose m = x + 16.  Is 48 a factor of m? 
False
Let w = 158 - 368.  Let r = -54 - w. Is 12 a factor of r? 
True
Let x(p) = 3*p**3 + 149*p**2 + 434*p + 54.  Does 11 divide x(-46)? 
True
Suppose 79*l - 71*l = 24.  Suppose -3*m + 3*n = -1846 - 122, 0 = l*m + 2*n - 1983.  Does 7 divide m? 
False
Let m(j) = 8*j**3 - 2*j**2 - 34*j + 232.  Is m(7) a multiple of 71? 
False
Let l = -48 - -52.  Suppose -l*f - 304 = -4*j, 3*j - 2*f - 3*f = 220.  Does 14 divide (144/(-60))/((-6)/j)? 
False
Let q = 4819 - 4740.  D