41.  Is q a multiple of 8? 
False
Let n(j) = 2*j**3 + 12*j**2 - 5*j - 4.  Let y be n(-6).  Suppose t + 5*w = 62, -5*t = -t + 4*w - 200.  Let q = t - y. Is q a multiple of 18? 
False
Let s be (12/10)/(6/15).  Let f = 57 + s. Is 30 a factor of f? 
True
Let a be (-4)/(-6)*(-9)/(-2).  Suppose 2*b + a*b = 10.  Is b even? 
True
Let m(n) = 8*n + 4.  Let r be m(6).  Suppose -5*c + 133 = -r.  Let l = c - 11.  Is l a multiple of 26? 
True
Let i(q) = 2*q**2 - 11*q + 7.  Is i(7) a multiple of 26? 
False
Suppose 0*i = -4*i.  Suppose 3*q + q - 44 = i. Does 2 divide q? 
False
Let o(k) = -41*k - 3.  Is 16 a factor of o(-3)? 
False
Let j be (-8)/(-6)*(-54)/12.  Let c be j*(16/(-6) - -2).  Suppose -2*m - c*k + 26 = 0, 5*m + 0*k + 3*k = 37.  Is m even? 
False
Does 6 divide 250/(-15)*(-6)/4? 
False
Is 19 a factor of -3*1 - (-6 + -16)? 
True
Suppose -3*q + 2*i = 3*i - 44, 0 = 2*q - i - 36.  Is 9 a factor of q? 
False
Suppose -4*h + 13 + 55 = 0.  Is 2 a factor of h? 
False
Suppose 0 = 4*x + 3 + 1.  Let n be (-2)/(-1) - (x + -7).  Suppose 5*k - 15 = n. Is k a multiple of 2? 
False
Let c(i) = 10*i**2 + 1.  Let z be c(2).  Suppose 0 = 3*k + 15, 4*t - 5*t + 83 = -2*k.  Let u = t - z. Does 13 divide u? 
False
Let q(l) = l**2 - 9*l + 20.  Does 14 divide q(11)? 
True
Suppose 13 = -x - 5*k, -12 = -0*k + 4*k.  Suppose -x*w + 6*w - 8 = 0.  Suppose 36 = w*b + 8.  Is b a multiple of 9? 
False
Suppose -4*d + 2*z + 84 = 0, d - z - 16 = -3*z.  Does 20 divide d? 
True
Let p(f) = f + 6.  Suppose 4*b - 15 = 13.  Does 13 divide p(b)? 
True
Suppose -k - 5*b = -3*k + 14, 4*b = k - 10.  Let h = k + 11.  Suppose h = 2*u + 3.  Is u even? 
False
Let m = 2 + 0.  Let j(g) = 2*g**2 + 4*g + g**2 - g - 2*g**m + 3.  Is j(-3) even? 
False
Let c(n) = -4*n**3 + n**2 + 2*n + 1.  Let h be c(-1).  Let j be (-13 + -2)/((-3)/h).  Is 25*1*32/j a multiple of 20? 
True
Suppose 3*s - 3 = -3*p, 1 = -3*s - 14.  Is 3 a factor of (p/(-10))/(13/(-195))? 
True
Let i = 169 - 55.  Is 19 a factor of i? 
True
Let o = -182 - -353.  Does 14 divide o/6 - (-2)/(-4)? 
True
Let d be ((-66)/(-8))/((-1)/4).  Let c = -19 - d. Is c a multiple of 8? 
False
Let l(g) = -g**2 + 13*g - 8.  Let r be l(12).  Suppose 0 = 2*d - r*f - 124, 5*d - f - 237 = 64.  Is 20 a factor of d? 
True
Suppose 2*q = -3*c + 357, -4*c + 357 = -c - 5*q.  Is 46 a factor of c? 
False
Let r = 31 + -26.  Does 5 divide r? 
True
Let y = -23 - -13.  Let b = 6 - 2.  Does 4 divide 38/b + 5/y? 
False
Suppose 3*w = -0*w.  Let b be (w/1)/(0 + 2).  Let j = b - -9.  Is 9 a factor of j? 
True
Let q(m) = m**3 + 9*m**2 + 5*m - 5.  Does 3 divide q(-8)? 
False
Suppose 2*o - 12 = 2.  Does 2 divide o? 
False
Is (-9 - -6) + 26 + 1 a multiple of 6? 
True
Suppose 2*c = 5*c.  Let a(g) = g + 45.  Is a(c) a multiple of 9? 
True
Suppose c + 4*c = 40.  Suppose -2 = 2*u - 8.  Let a = c - u. Is a a multiple of 2? 
False
Let k(q) = 0*q - 4 + 1 + 2*q.  Let h be (1/(-3))/((-2)/18).  Is k(h) a multiple of 3? 
True
Let b = 16 - 2.  Let u = b - 9.  Is u a multiple of 5? 
True
Let l(o) = 170*o**3 - o + 1.  Is 22 a factor of l(1)? 
False
Let k = 56 - 52.  Suppose 563 - 70 = 4*n - 3*x, 137 = n + 2*x.  Suppose -k*v + 5 = -n.  Is 9 a factor of v? 
False
Suppose 0 = u - 3*u.  Let d(j) = j**3 + j**2 - j + 5.  Let v be d(u).  Suppose k = -v*f + 23 + 4, k = 5*f + 37.  Is 26 a factor of k? 
False
Let l(o) = 3*o**2 + 11*o + 3.  Is 21 a factor of l(-9)? 
True
Let j = 132 - 62.  Is j a multiple of 14? 
True
Let y = 173 - 41.  Does 6 divide y? 
True
Let u = -9 + 9.  Suppose u = -0*o - o + 39.  Does 13 divide o? 
True
Let u(q) = 3*q**2 + 4*q**2 + 49 - q**2 - 5*q**2 + q. Let j(f) = -f - 1.  Let h be j(-1).  Is 14 a factor of u(h)? 
False
Let b = 0 + -7.  Let a(j) = -j**2 - 6*j + 7.  Let k be a(b).  Suppose -8 = -3*s - 4*t, k = -4*s - 3*t - 0 + 13.  Does 3 divide s? 
False
Suppose -4*d + 4 + 4 = 0.  Suppose -d*a = 3*a - 210.  Is a a multiple of 16? 
False
Is 72/(-21)*63/(-6) a multiple of 6? 
True
Let t(u) = -u**3 - u**2 + 2*u.  Let j be t(2).  Is 10 a factor of -33*(j/3 + 2)? 
False
Let c(k) = 2*k**2 + 2*k.  Suppose -4*r - t = -19 + 3, r = -3*t + 15.  Is c(r) a multiple of 8? 
True
Let g = 44 - 26.  Does 2 divide g? 
True
Let j(d) = -d**2 - 7*d - 6.  Let k be j(-6).  Suppose 180 = -p + 4*p.  Suppose 5*q + 5*s - p = k, 0*s - 1 = -s.  Does 11 divide q? 
True
Let b = -17 - -24.  Suppose 2*g - b*g - 33 = -2*q, 0 = q + 5*g - 24.  Does 9 divide q? 
False
Let z = 9 + -6.  Suppose -z*k = -k.  Suppose -2*o + o + 17 = k. Is 9 a factor of o? 
False
Let p = -4 + 3.  Let d(j) = 2*j**2 - 4*j - 1.  Let u be d(3).  Let r = p + u. Is 4 a factor of r? 
True
Let m(s) = -2*s**3 - 3*s**2 + s - 4.  Let a(p) be the second derivative of -p**4/12 - 3*p**2/2 - 2*p.  Let j be a(0).  Does 7 divide m(j)? 
False
Suppose -3*z = 2*z + 3*d - 258, -5*z + 254 = 4*d.  Is 9 a factor of z? 
True
Let u be (3/12 + 0)*-4.  Let p(f) = 3*f**2 + f. Let z be p(u).  Suppose 15 + 9 = z*d.  Is 6 a factor of d? 
True
Suppose 2*d - 112 = 2*b, 0 = -3*b - d - 237 + 57.  Is 4 a factor of (-2 - b)/3 + 0? 
False
Let p = 55 + -17.  Does 29 divide p? 
False
Suppose -40 = 6*o - 250.  Does 16 divide o? 
False
Let k(b) = -b**2 + 79.  Let j be k(0).  Suppose -4*x = x + s - j, -3*x + 45 = 3*s.  Is 7 a factor of x? 
False
Suppose 4*v = 54 - 14.  Let h = -5 + v. Let f = h + 5.  Does 5 divide f? 
True
Suppose -89 = -4*h + 11.  Does 14 divide h? 
False
Suppose -4*x + 183 = -x.  Suppose 119 + x = 4*h.  Is h a multiple of 20? 
False
Suppose 72*q - 73*q + 79 = 0.  Does 8 divide q? 
False
Let g = -188 + 440.  Is 36 a factor of g? 
True
Suppose -4*c - 27 = -4*f - c, 2*c + 32 = 5*f.  Let p(b) = b**2 - 3*b + 4.  Is p(f) a multiple of 11? 
True
Suppose 9 = 2*k + r, 2*k - r + 1 = -0*k.  Suppose -3*f + k = 2*q - 3*q, -5*q + f = -18.  Is 2 a factor of q? 
True
Suppose 3*p - 7*p = -240.  Does 16 divide p? 
False
Is 4 a factor of -1*(3 + (-11 - 1))? 
False
Let g = -22 - -4.  Let q = g + 23.  Does 5 divide q? 
True
Is 3 a factor of 1/(0 - (-3 + (-152)/(-52)))? 
False
Suppose 0*f - 132 = -4*f.  Let b be (f/(-12))/((-1)/4).  Let z = 31 - b. Is z a multiple of 9? 
False
Let w = -61 + 124.  Is w a multiple of 9? 
True
Let s = 2 + -1.  Is 15 a factor of (-2)/s + 0 - -19? 
False
Suppose 0 + 2 = v. Let t be 137/v - (-1)/2.  Suppose 3*l = -0*l + t. Does 7 divide l? 
False
Let t be (-1)/(-1)*(0 + -1).  Is (1 - t)*(-2 - -27) a multiple of 25? 
True
Let s = 18 + -11.  Suppose -s = 5*i - 132.  Does 14 divide i? 
False
Let c(r) = -3*r**3 + r**2 + 2*r.  Let n be -1 - (-4 + 1) - 0.  Suppose n*i + 2 = 8, -21 = 3*k - 5*i.  Does 8 divide c(k)? 
True
Suppose 2*h + 8 = 3*w - 6, 2*w = 5*h + 24.  Is 23 a factor of (-126)/(-7)*11/w? 
False
Let z be 3/(2 - 1) - 6.  Let f = 12 + z. Is f a multiple of 3? 
True
Suppose -a - 10 + 26 = 0.  Is 4 a factor of a? 
True
Suppose 5*n = 4*g + 671 - 4675, -2*g + 1988 = n. Suppose 4*s + g = s. Is 7 a factor of s/(-16) - (-2)/8? 
True
Let z = -21 - 25.  Let j = 71 + z. Is j a multiple of 9? 
False
Suppose -9*i = -0*i - 81.  Is 3 a factor of i? 
True
Suppose 0 = -4*k - 20 + 412.  Is k a multiple of 17? 
False
Let z(u) = u**2 + 7*u - 49.  Is 11 a factor of z(-12)? 
True
Suppose 5*i = -2*s - 59, 5*s - 5*i + 4 = -91.  Let r = s + 41.  Does 9 divide r? 
False
Suppose -5*u - 5*g + 10 = 0, 5*g = 4*u + u + 20.  Is 21 a factor of (0 - -21)*u/(-1)? 
True
Suppose 0 = -b - 5*z + 287, 0 = 4*b - 7*z + 10*z - 1131.  Does 48 divide b? 
False
Let s = 20 - -13.  Suppose -i + 13 = -s.  Is 23 a factor of i? 
True
Let k = -3 - -6.  Suppose 0 = 4*o - k*o - 13.  Is o a multiple of 11? 
False
Let m(c) = 2*c**2 + 4*c + 2.  Is 8 a factor of m(-5)? 
True
Suppose 0 = -10*a + 5*a + 1290.  Let r be (-2)/(3/(a/(-4))).  Suppose -r + 9 = -2*l.  Is 8 a factor of l? 
False
Let v = 167 + -119.  Suppose 0 = 3*u - u - v. Does 14 divide u? 
False
Let u(y) be the third derivative of y**6/120 - 7*y**5/60 - y**4/4 + y**3/3 - 3*y**2.  Is 11 a factor of u(8)? 
False
Is 0/(-6) + 0 + 5 a multiple of 3? 
False
Suppose h - 2*h = 0.  Suppose h = m + 2*m - 54.  Does 10 divide m? 
False
Let s(d) = d + 8.  Let f be s(-8).  Suppose -5*p + 15 = -f*p.  Suppose -x + p + 2 = 0.  Is 2 a factor of x? 
False
Let a = -44 + 102.  Is 5 a factor of a? 
False
Is 11 a factor of 1*(3 - (-144)/2) + 2? 
True
Let z = -9 + 14.  Suppose z*t + 43 = 153.  Suppose 0 = 2*w + j - 5*j - t, 3*j + 76 = 5*w.  Does 13 divide w? 
False
Suppose 5 = -w + 15.  Suppose -3*d + 8*d = w. Let s(y) = 12*y + 2.  Is s(d) a multiple of 9? 
False
Suppose -347 = -5*l + 2*m, 0 = 5*l - m - 157 - 194.  Does 8 divide l? 
False
Let y(b) = -b*