 r(q) be the first derivative of -q**4/4 - 7*q**3/3 - 7*q**2/2 - q + 59.  Suppose 0 = i + 5 + 2.  Is r(i) a multiple of 12? 
True
Suppose 4*t - 36 = 5*t.  Suppose 2*b - m + 6*m = 102, -221 = -5*b - 4*m.  Let i = b + t. Is 4 a factor of i? 
False
Let x(i) = -58*i + 114.  Is x(-6) a multiple of 77? 
True
Let p(z) = z**3 - 5*z**2 + 6*z - 5.  Let t be p(4).  Is 14 a factor of 2 + 180 - (t - 5)? 
False
Is 12 a factor of 2*(1 - (201/(-6) - -4))? 
False
Is (5/4)/(14/(-56))*-11 a multiple of 3? 
False
Let g be 6/((-6)/(-3) - 0).  Suppose g*h + 7 = -65.  Let y = 56 + h. Is 16 a factor of y? 
True
Suppose 6*s - 15596 = s - 2*j, -3*s + 2*j + 9364 = 0.  Is s a multiple of 20? 
True
Let i(o) = 7*o + 163.  Does 44 divide i(27)? 
True
Let j(f) = -160*f + 8.  Does 8 divide j(-3)? 
True
Let q(t) = -t + 3.  Let k = 24 - 21.  Suppose -l = -k*l - 8.  Is q(l) even? 
False
Suppose -5374 - 2050 = -58*s.  Does 12 divide s? 
False
Suppose -23*i - 7*i + 18000 = 0.  Is 15 a factor of i? 
True
Is 14 a factor of (-31174)/(-242) + 2/11? 
False
Suppose -7*p + a + 291 = -5*p, 0 = -p - 4*a + 159.  Is p even? 
False
Suppose 4*w - 14 = -2*j, j = 5*j + 2*w - 16.  Suppose -210 = -5*p - 2*k - 3*k, -j*p + 5*k + 142 = 0.  Is p a multiple of 10? 
False
Let s = 915 - 907.  Let h(g) = -1 - 7*g**2 - 4*g**3 - 2*g + g**3 + 4*g**3.  Is h(s) a multiple of 15? 
False
Let u(c) = c**2 - 8*c + 4.  Let f(h) = -h**2 + 9*h - 3.  Let m(r) = -3*f(r) - 2*u(r).  Suppose -q - 3*q = -2*n - 42, -12 = -4*n.  Is m(q) a multiple of 5? 
False
Let m = -91 - -91.  Suppose -4*u + 4*v + 252 = m, 0 = -3*u + 5*v + 100 + 89.  Does 12 divide u? 
False
Let a = -40 - -24.  Let w be (16/32)/((-1)/(-40)).  Let x = w + a. Does 3 divide x? 
False
Let l = 47 + 33.  Let b be ((-80)/100)/(2/130).  Let z = b + l. Is z a multiple of 12? 
False
Suppose 0*q + 3888 = 8*q.  Does 54 divide q? 
True
Let d(o) = 2*o**3 - 10*o**2 + 3*o - 17.  Is d(9) a multiple of 14? 
True
Let l be 614/14 + (-4)/(-28).  Let i = l + -5.  Does 13 divide i? 
True
Is 85 a factor of (-9)/((-54)/12244) + 10/(-15)? 
True
Let m(o) = -o**2 + 13*o - 12.  Let z be (2/(1*8))/((-18)/(-504)).  Is m(z) a multiple of 30? 
True
Let m(b) = b**3 + 14*b**2 + 10*b - 15.  Let w be m(-13).  Suppose v + w = 94.  Is 10 a factor of v? 
True
Let d(a) = 7*a**2 + 45*a + 16.  Is d(-9) a multiple of 4? 
False
Suppose g - 29 = 138.  Suppose 285 = 4*p - g. Does 19 divide p? 
False
Let g be (-24)/(-9)*(-18)/(-4).  Suppose g - 3 = m. Suppose n = m + 19.  Does 7 divide n? 
True
Suppose -150*l + 920 = -145*l.  Is 16 a factor of l? 
False
Let p(d) = d**3 + 5*d**2 + 4*d + 5.  Let l be p(-4).  Suppose 53 = 2*v - u, 3*v - l*u - 45 = 38.  Is v a multiple of 26? 
True
Let v(x) = 31*x**2 + 3*x + 56.  Is 42 a factor of v(7)? 
True
Suppose 0 = 4*h - 3*k - 120, 2*h - 30 = h - 3*k.  Is 6 a factor of h? 
True
Let d(j) = -j**2 + 8*j - 8.  Let f be d(6).  Let m(b) = b**3 - b**2 + 5*b + 3.  Is 20 a factor of m(f)? 
False
Let s = 340 - 240.  Suppose -z + 73 = -3*q, 2*q = 3*z + 3*q - 199.  Let o = s - z. Does 11 divide o? 
True
Suppose 3*x - 5*x + 458 = -4*c, 4*x - 2*c - 904 = 0.  Is 21 a factor of x? 
False
Let v(d) = d**2 - 19*d - 30.  Does 20 divide v(25)? 
True
Let i(f) = -2*f**3 - f**2 - 3*f - 6.  Let o be i(-3).  Let p = 19 + o. Is 14 a factor of p? 
False
Suppose 3*r + 0*r = -12, 2*w + 3*r = 612.  Is w a multiple of 18? 
False
Let z(p) = -1 - p**3 + 2*p**3 - 1 + p + 1.  Let t(y) = -2*y**3 - 10*y**2 - 2*y + 11.  Let s(l) = t(l) + z(l).  Does 10 divide s(-10)? 
True
Let b = 887 + -412.  Is b a multiple of 9? 
False
Let s be (-52)/(-20) + 4/10.  Suppose s*p = -5*c - 16, -6*c = -4*p - 2*c + 32.  Suppose -4*z = -x - 1, 4*x = -0*x - p*z + 72.  Does 13 divide x? 
False
Suppose -5621 - 99 = -5*t.  Does 46 divide t? 
False
Let p(q) = -q**2 + 22*q - 12.  Let b be (-12)/((4/10)/(2/(-10))).  Is 17 a factor of p(b)? 
False
Let c(q) = 8*q**2 - 3*q + 5.  Is c(-5) a multiple of 12? 
False
Let l be (49/(-2))/(-1) + (-1)/(-2).  Is 16 a factor of (-4 + 110/l)*80? 
True
Suppose -x + 3*y = 4 - 2, -y = -3*x + 26.  Let b be 20/(-50) - (-24)/x.  Suppose -4*d + 206 = 5*w, w = b*w + 2.  Is d a multiple of 6? 
True
Let r(a) = 8*a**2 - a + 29.  Let w(p) = 3*p**2 + 10.  Let n(t) = -4*r(t) + 11*w(t).  Let v be n(-5).  Is -5 - 2/v - -37 a multiple of 16? 
False
Let b be ((-16)/(-12))/((-2)/(-9) + 0).  Suppose 0 = 5*l - b*l + 90.  Is 30 a factor of l? 
True
Let w be (-1)/(-3) + 322/6.  Suppose -m = -4*f - 29 - w, -5*f - 242 = -3*m.  Suppose -3*b = r - m, r - b + 3*b - 77 = 0.  Is r a multiple of 22? 
False
Suppose 5*v + 10 = a, -4*a - 3*v + 21 = 96.  Let q be (-2)/(-2) - (8 - -1).  Let g = q - a. Is g a multiple of 7? 
True
Let z(v) = -v**3 + 8*v**2 - v + 8.  Let j be z(8).  Let n = 2 - j. Suppose 2*s - n*o = -0*o + 52, 2*o = 4*s - 110.  Is s a multiple of 12? 
False
Let k(g) = g. Let p be k(5).  Suppose 3*y - p*y + 380 = 0.  Is 8 a factor of y/6 + (-4)/(-12)? 
True
Does 29 divide (24003/14 + (-10 - -7))*2? 
False
Let d(q) be the first derivative of q**3/3 + 7*q**2/2 + 13*q - 5.  Let v be (-6)/((-6)/(-5)) + -1.  Is d(v) even? 
False
Is 5828/24 + (-2)/(-12) a multiple of 27? 
True
Suppose c = -14 + 4.  Suppose -b = 22*b + 207.  Is -3 - c*b/(-6) a multiple of 6? 
True
Suppose -4*c - 4948 = -4*i, -i = i + 4*c - 2468.  Is 12 a factor of i? 
True
Suppose 11 = 2*t + 3, 0 = y + t - 8.  Suppose 2*b = -3*x + y*b + 64, -4*x + 74 = 3*b.  Is 13 a factor of x? 
False
Let j(t) = 2*t**2 + 7*t**2 - 4*t**2 - 1 + t**3 - 7*t.  Let x be j(-6).  Suppose 0 = 5*f - x*p - 125, f + 6*p - 31 = 4*p.  Is f a multiple of 27? 
True
Suppose 4*r + 4 = 28.  Suppose 3*x + 3*i - r*i - 15 = 0, 0 = -4*x + 2*i + 16.  Is x a multiple of 2? 
False
Let k(g) = g - 1.  Let r be k(5).  Let i be -1 + r + -6 + -5.  Let q(u) = 2*u**2 + 13*u + 12.  Is q(i) a multiple of 12? 
True
Let r be 18*(3 - (-39)/9).  Suppose 36 = -3*a + r. Does 9 divide a? 
False
Is (-10)/(6/21 - 3/7) a multiple of 10? 
True
Let s = 16 + -16.  Let r be 1*(s - -1) + 3.  Suppose r*x = 91 - 27.  Does 12 divide x? 
False
Let s(o) = 4*o**2 + 11*o - 21.  Is s(3) a multiple of 16? 
True
Suppose -1976 = -5*m + 2024.  Suppose m = 12*p - 2*p.  Is p a multiple of 16? 
True
Let w(m) = 54*m - 20.  Is w(1) a multiple of 2? 
True
Let k be 29/(-1) - (5 - -1).  Suppose -2*o = -7*o + 4*z - 135, -5*o - 5*z - 90 = 0.  Let b = o - k. Is 12 a factor of b? 
True
Suppose -2*x - 5*g - 10 = 3*x, 4*g + 8 = -2*x.  Suppose x = -3*v, j - v = -6*v + 46.  Is 20 a factor of j? 
False
Let a(s) = -s + 6.  Let h be a(3).  Suppose w = -3*w - 5*r + 128, h*w + 5*r - 101 = 0.  Is w a multiple of 8? 
False
Suppose -3 - 7 = s. Does 13 divide (2 - (-85)/s)*-10? 
True
Let o(z) = 195*z**3 - 2*z - 5*z + z**2 + 4*z + 2 + 0*z.  Does 23 divide o(1)? 
False
Suppose 3*c - 369 = -4*m - 56, -4*m = -c - 301.  Is m a multiple of 27? 
False
Let b(s) = -s**3 - 3*s**2 + 2*s - 4.  Let h be b(-4).  Suppose 3*g + 111 = -h*c + 309, c = -g + 67.  Does 35 divide g? 
True
Let j(u) = u**3 + 8*u**2 + 3*u + 6.  Let m be j(-8).  Let i = m - -35.  Is i a multiple of 3? 
False
Let t(s) = -s**3 + 24*s**2 + 21*s + 23.  Is t(22) a multiple of 47? 
False
Let s(g) = -g**3 + 18*g**2 + g + 64.  Is s(13) a multiple of 12? 
False
Let u be (-1 + (-39)/9)/((-2)/6).  Is ((-60)/u)/((-15)/160) a multiple of 40? 
True
Let k(r) = 25*r - 20.  Let s be k(14).  Let x be 2/(-3) - s/(-9).  Is 2836/x + 2/9 a multiple of 13? 
False
Let d = -369 + 1435.  Is d a multiple of 41? 
True
Is 14/(-280)*-45*2*52 a multiple of 9? 
True
Let f be (-15)/2*(-28)/3.  Is 18 a factor of (f/(-21))/(4/(-78))? 
False
Suppose -16*b = -23*b + 22456.  Is 91 a factor of b? 
False
Suppose 0 = -0*a + 5*a - 10.  Suppose -344*g + 341*g = -120.  Suppose -106 + g = -a*s.  Is s a multiple of 11? 
True
Let l be ((-11)/(-22))/((-1)/274).  Is 16 a factor of 2 + (4 - l) + 1? 
True
Let r = -1 + 1.  Let o(x) = 4*x + 79.  Let i(k) = k + 19.  Let l(b) = 9*i(b) - 2*o(b).  Does 12 divide l(r)? 
False
Let o(b) = -34*b**2 + 2*b + 2.  Let f be o(-1).  Let z = 84 + f. Is z a multiple of 27? 
False
Suppose 4*b - 5 = -q, 4*q - 31 + 11 = 5*b.  Suppose 1 = 2*z + k - 1, q*z = k - 9.  Does 28 divide z/((2/(-55))/2)? 
False
Let h = -50 - -55.  Suppose h*g + 4*o - 70 = 4*g, -5*g = 5*o - 380.  Is g a multiple of 14? 
False
Let k = 1632 + -12.  Does 15 divide k? 
True
Suppose 3*x + l - 310 = 0, -x = -2*l - 83 - 25.  Does 5 divide x? 
False
Let b(p) = 154*p - 13.  Is b(2) a multiple of 14? 
False
Let j(d) = -3*d**2 + 10*d - 8.  Let m(b) = b**2 - 5*b + 4.  Let n(r) = -2*j(r) - 5*m(r).  Is n(-6)