.  Let n(b) = f*b - 4 + 0 + 2*b.  Is 3 a factor of n(5)? 
True
Suppose 0 = -4*z + 9 - 37.  Let u(y) = -3*y - 6.  Is 5 a factor of u(z)? 
True
Suppose -18 = -4*s - 2.  Is 27/2*s/3 a multiple of 10? 
False
Suppose 3*x - 14 = l, 10 - 32 = x + 5*l.  Let w(b) = 2*b + x*b - 3 - 2.  Is w(5) a multiple of 12? 
False
Suppose -5*s + v + 230 = 0, 0*s = 2*s - 2*v - 84.  Let q = 69 - s. Is (5 + -4)/(1/q) a multiple of 22? 
True
Suppose -4*z + 4*y + 26 = y, 5*y + 5 = -z.  Let s(o) = 3*o + 0*o**2 + 3*o**2 - 2*o - o**3 + 2*o**2.  Is 5 a factor of s(z)? 
True
Let x be ((-4)/(-6))/((-2)/(-18)).  Let w = x - -4.  Is 11 a factor of ((-25)/w)/((-1)/8)? 
False
Let x(v) = 5*v**2 - 6*v + 1.  Does 19 divide x(4)? 
True
Suppose 0 = -2*d + k + 6 + 15, -5*d - 4*k = -20.  Does 3 divide d? 
False
Let v be (80/(-6))/(-2)*-3.  Let n = -28 - v. Let k = 24 + n. Is k a multiple of 8? 
True
Suppose 0 = b - 22 - 54.  Does 38 divide b? 
True
Let o(t) = 12*t**2 + t. Is o(-1) even? 
False
Let u be -1 - (2*-8 + -1).  Suppose -4*l = -0*l - u, -5*l = 2*v - 32.  Does 4 divide v? 
False
Suppose -d = 2*q - 15, 4*q + 33 = -2*d + 7*d.  Is d a multiple of 6? 
False
Let n(h) = -4*h - 5.  Is 2 a factor of n(-7)? 
False
Let f be 1 - (57 + 0 + -2).  Let h = -33 - f. Is 7 a factor of h? 
True
Suppose 0 = -3*u - 0*u.  Suppose -2*p - 3*d = -12, 2*p = -u*p + 2*d + 32.  Does 12 divide p? 
True
Let h(z) = -4*z**2 - 2*z**3 - 3*z - 6 + 2 - 2*z**2.  Let s be 18/(-5) + 4/(-10).  Is 13 a factor of h(s)? 
False
Let g = 0 + 14.  Is 4 a factor of g? 
False
Let i(t) = -t**3 + 12*t**2 + t + 2.  Let y be i(12).  Suppose 3*u - 38 = -y.  Is u a multiple of 8? 
True
Let y(u) = 19*u + 1.  Is 20 a factor of y(4)? 
False
Let l = -42 - -104.  Is 14 a factor of l? 
False
Suppose 3*n - 4*n - 3*z = 11, -n - 11 = -3*z.  Suppose 3*p + 2*o = -6 + 14, -p + 3*o - 12 = 0.  Is 1 - (p + 1) - n a multiple of 5? 
False
Let b = -7 - -3.  Let h(i) be the third derivative of -i**4/12 - 2*i**3/3 - i**2.  Does 2 divide h(b)? 
True
Does 5 divide (-16 + (-12)/3)/(-2)? 
True
Let f(i) be the second derivative of i**5/20 + i**4/2 + i**2 + 4*i.  Is f(-6) even? 
True
Let r be (-16)/(-12) - 1/3.  Let x = 17 + r. Is 18 a factor of x? 
True
Let j(d) = -d + 7.  Suppose -3*p = -6*p + 12.  Let c be j(p).  Suppose 0*l + 53 = 4*l - c*t, t = 3*l - 41.  Is 12 a factor of l? 
False
Suppose -o - 5*l = 2, 6 = -5*l - 4.  Is o a multiple of 4? 
True
Suppose 0 = v + 2*v.  Let h(f) = -f**3 + f**2 + 4.  Let y be h(0).  Suppose 0 = 5*s + 3*q - 105, y*q - 4 + 24 = v. Is 12 a factor of s? 
True
Suppose 0 = -5*q + 20, t = -4*q + 16 + 15.  Let p = 4 - t. Let o = p - -18.  Is 7 a factor of o? 
True
Suppose a = -2*o - 2 + 1, -4*a = 2*o + 16.  Let p = 10 + a. Does 5 divide p? 
True
Let y(c) = 52*c**3 + 2*c**2 - 2*c + 1.  Is y(1) a multiple of 5? 
False
Let c(g) be the third derivative of -g**3 + g**2 + 0 - 1/15*g**5 + 0*g - 1/120*g**6 - 1/8*g**4.  Does 5 divide c(-4)? 
False
Suppose u - 6*u = -360.  Is 12 a factor of u? 
True
Let j be ((-6)/(-8))/((-3)/(-156)).  Let u = j + -19.  Does 10 divide u? 
True
Let m(d) = -2*d**2 + 14*d - 3.  Is 5 a factor of m(6)? 
False
Suppose -4*s - 9 + 1 = 0.  Let j = -1 - s. Is 9 a factor of 30/((-3)/j)*-1? 
False
Let k(a) = -a**3 - 3*a**2 - 2*a - 1.  Let l be k(-2).  Let p = -1 - l. Let t = p + 4.  Is t a multiple of 3? 
False
Suppose -110 = -r - r. Is 11 a factor of r? 
True
Is ((-2 - -3) + 0)*61 a multiple of 14? 
False
Let t(a) = a**2 + 5*a - 1.  Let s be t(-6).  Suppose -s*z + 0*z + 4*o = 10, 0 = o - 5.  Suppose v - 2 = z*r, 5*v - 18 - 4 = 4*r.  Does 3 divide v? 
True
Suppose 3*v + 15 = -2*v.  Let a = v - -8.  Is 3 a factor of a? 
False
Suppose 0 = -2*p - 2*a + 14, 0 = 2*p + 5*a - a - 22.  Suppose d = -p*d + 176.  Let u = d - 26.  Is 18 a factor of u? 
True
Let o = -615 - -879.  Is 22 a factor of o? 
True
Suppose b + 6 = 3*b.  Let g(x) = 3*x - 4.  Let h be g(b).  Suppose -t + 2*i = 3*i - h, -3*t + 3*i + 9 = 0.  Is t a multiple of 2? 
True
Suppose a - 25 = -5.  Is a a multiple of 20? 
True
Let v(c) = -c**3 + 9*c**2 - 6*c + 14.  Does 38 divide v(7)? 
False
Suppose 5*f - 3*c = 45, -2*f - 15 = -2*c - 37.  Let j be (10 - f)/(4/18).  Suppose -4*t = -12, h = -4*t + j + 34.  Is 17 a factor of h? 
False
Let g = -5 - -5.  Suppose a - 18 + 5 = g. Does 13 divide a? 
True
Let g = 36 + -17.  Let b be g/5 - (-4)/20.  Suppose 0 = 5*j - 4*x - 64, 0*j + b*j + 4*x - 44 = 0.  Is j a multiple of 12? 
True
Let i be -6 - 1*6/2.  Suppose x = -5 - 1.  Let r = x - i. Is 2 a factor of r? 
False
Suppose 3*r - 4*r + 51 = 0.  Let t = r + -35.  Is 7 a factor of t? 
False
Suppose -48 = 21*v - 24*v.  Is v a multiple of 4? 
True
Let o(j) = j**2 - 5*j - 5.  Let p be o(-4).  Let b = p - 13.  Is 6 a factor of b? 
True
Let o(n) = n**3 - 6*n**2 - 1.  Is o(7) a multiple of 6? 
True
Let u(a) = a**3 - a**2 - a + 10.  Let m(d) = -d + 5.  Let f be m(5).  Let s be u(f).  Suppose g = -0*g + s. Is g a multiple of 10? 
True
Let r be (-24)/((-3)/((-18)/(-4))).  Suppose -4*q + 3*q = 4*p - 12, 3*q + p - r = 0.  Does 11 divide q? 
False
Let i = -47 - -61.  Is 9 a factor of i? 
False
Suppose 17*t - 18*t + 78 = 0.  Is t a multiple of 13? 
True
Suppose 4*o + 4*v - 28 = 3*o, -5*v = 0.  Does 8 divide o? 
False
Is 3/15 - 554/(-5) a multiple of 37? 
True
Suppose 3*t = 8 - 2.  Suppose j - t = -0.  Suppose -8 = -2*k + 2, j*i + 5*k - 47 = 0.  Is 11 a factor of i? 
True
Let u(y) = -y**2 + 7*y + 4.  Let k be u(7).  Let f = 6 - k. Suppose f*i = i + 23.  Does 23 divide i? 
True
Let l(y) = 2*y - 1.  Let m be l(2).  Suppose -m*w + 30 = -c + 120, 0 = 3*w + 3.  Is c a multiple of 23? 
False
Let m = 19 - 7.  Is 14 a factor of (-4)/3*(0 - m)? 
False
Suppose -2*o + 12 - 8 = 0.  Suppose -o*v + 4 + 46 = 0.  Is 14 a factor of v? 
False
Let a(s) = -7*s + 17.  Let v(i) = 4*i - 9.  Let h(k) = -6*a(k) - 11*v(k).  Is 3 a factor of h(-3)? 
True
Suppose -319 = -3*u + 2*u.  Is u a multiple of 18? 
False
Suppose -10 = 2*s, p = -2*s - 3*s + 100.  Is 25 a factor of p? 
True
Let a be (-136)/(-22) - (-16)/(-88).  Let o be -35*(a/(-2) + 2).  Let x = o - 11.  Is 11 a factor of x? 
False
Let f be ((-6)/(-4))/((-6)/152).  Let v = 23 + f. Does 5 divide ((-4)/(-5))/((-2)/v)? 
False
Suppose q + 4*q - 366 = -3*t, 5*q - 356 = 2*t.  Is q a multiple of 8? 
True
Let y be (-9)/(-6)*(-8)/6.  Let i be (1 + y)/((-1)/4).  Suppose m + 18 = -5*f, -3*m + i*m - 17 = 2*f.  Is m a multiple of 5? 
False
Let k(h) be the first derivative of h**4/4 - 2*h**3 - 3*h**2/2 - 8*h - 2.  Let c = 29 - 22.  Is k(c) a multiple of 7? 
False
Let f = -6 - -3.  Let v = f + 15.  Is 6 a factor of v? 
True
Suppose -2*h - 15 = 3*h, 0 = 2*n - 3*h - 13.  Let s = 8 - n. Is (s/9)/((-1)/(-15)) a multiple of 3? 
False
Is 2/6 + 356/12 a multiple of 10? 
True
Suppose a + 4 = 2*a.  Is a a multiple of 4? 
True
Let m(d) = -21*d - 1.  Let k be m(-1).  Does 8 divide 1/(2/k) - -2? 
False
Suppose 14 = -5*m - 2*b, b - 6 = 4*m - 0*m.  Is 0 + 14 + m + 3 a multiple of 13? 
False
Suppose c = 3*c - 18.  Suppose -3*x = -4*w + 86, 3*x - c = -w + 5.  Is 13 a factor of w? 
False
Suppose d = 5*n - 442, 3 = 3*d - 2*d.  Does 19 divide n? 
False
Let g = -66 + 103.  Is g a multiple of 11? 
False
Is 13 a factor of (-38)/((-1)/(2/4))? 
False
Is 18 a factor of (-6)/(-39)*599 + (-2)/13? 
False
Suppose -7*b = -0*b - 847.  Is b a multiple of 11? 
True
Let u be (-24)/(-3) + 3 + -2.  Let v = u - 4.  Is v a multiple of 3? 
False
Suppose 4*u - 27 = u. Suppose -4*s = -r + u + 2, r - 7 = 2*s.  Suppose -3*i = 4*g - 135, 52 = -r*g - i + 157.  Is g a multiple of 18? 
True
Suppose -9 = 3*z + 9.  Let r(x) = -2*x.  Is r(z) a multiple of 12? 
True
Suppose 0 = 5*v + 170 - 790.  Suppose -m - v = -5*a + 14, 2*a = -2*m + 60.  Does 9 divide a? 
False
Let f(s) = -s - 1.  Let h be f(0).  Let c be (h/(-2))/(1/4).  Suppose -2*n = c*b - 38, 5*b - 2*n - 135 = n. Is b a multiple of 12? 
True
Let f(n) = n**3 - 8*n**2 - 7*n - 8.  Is f(10) a multiple of 32? 
False
Suppose -20 - 130 = -5*h.  Is h a multiple of 10? 
True
Let m(l) be the third derivative of l**4/24 - 2*l**2.  Let v(d) = -3*d - 4.  Let h(t) = -2*m(t) - v(t).  Is 4 a factor of h(0)? 
True
Let r(f) be the second derivative of 13*f**3/6 + 3*f.  Suppose 0 = -5*m + 2*k + 4, 0*m - 5 = -4*m + k. Does 13 divide r(m)? 
True
Let y(m) = m**2 + 11*m - 13.  Is 31 a factor of y(-16)? 
False
Let s(z) = z**2 - 11*z - 24.  Is 6 a factor of s(15)? 
True
Let u be (-40)/(-12)*6/5.  Suppose -q - 12 = -2*r, -u*q - 4*r - 32 = q. Let a = q + 44.  Does 18 divide a? 
True
Let n(c) = -2*c + 12 + 8 + 8.  Does 28 divide n(0)? 
True
Let w be (-