factor of o? 
True
Let h be ((-9)/(-12))/((-4)/(-96)).  Let g be (27/6)/3*h.  Is ((-9)/g)/((-2)/84) a multiple of 14? 
True
Let c(d) = d**3 - 5*d**2 + 2*d.  Let f be c(5).  Suppose -459 = -7*g + f. Is 18 a factor of g? 
False
Let t = -5 - 10.  Let a = t - 3.  Is -4*1/6*a a multiple of 4? 
True
Let a = 41 + -38.  Suppose 0 = 5*n + a*k - 64, -2*n + 2*k + 60 = 2*n.  Let r = n - -34.  Does 24 divide r? 
True
Suppose -2*p + 3 - 11 = 0.  Let s be ((-2)/3)/(p/24).  Suppose -6*q + s*q + 70 = 0.  Is 8 a factor of q? 
False
Suppose -5*x + 5*d - 47 - 38 = 0, 5*x + 97 = d. Let p = 72 - 73.  Does 16 divide p - (x + 3 - 2)? 
False
Let j be -2 + (0 - 1) + -3.  Let o(w) be the second derivative of w**5/20 + 7*w**4/12 + 2*w**3/3 + 9*w**2/2 - 2*w.  Does 13 divide o(j)? 
False
Let b(s) = s**3 - 5*s**2 - 11*s - 6.  Let h be b(7).  Suppose 1022 = -h*x + 3062.  Is x a multiple of 17? 
True
Let k(j) = 1497*j**3 - 4*j**2 + 9*j - 5.  Is k(1) a multiple of 55? 
False
Let t(w) = w**2 - 5.  Let l be (-7*4)/(-4) - 4.  Let x be t(l).  Is 13 a factor of ((-1036)/(-70))/(x/10)? 
False
Let m = -654 + 1588.  Does 34 divide m? 
False
Let p(c) = -7*c + 4.  Let j be p(-8).  Suppose -4*k + 4*l + j = -60, -3*k - 3*l + 60 = 0.  Is k a multiple of 3? 
False
Let r(j) be the third derivative of j**5/60 - j**4/2 - 13*j**3/3 + 13*j**2.  Is 5 a factor of r(15)? 
False
Suppose 2*k - 1782 = -4*f, 2*f + 10 - 889 = 3*k.  Is f a multiple of 12? 
True
Let n = -76 + 273.  Let j = 365 - n. Is j a multiple of 15? 
False
Suppose 0 = 2*u + 5*n - 9, -31 + 136 = 5*u - 4*n.  Suppose -50 + 2 = -4*k - 2*i, 5*k = -i + 63.  Let w = u - k. Does 4 divide w? 
True
Suppose -2*b - 2 = -4*c, -3*b + 5*b + 2*c + 8 = 0.  Is 10 a factor of (-5)/((-60)/(-148))*b? 
False
Let l be 5/(-5) - -1*3.  Suppose x + 5 + 2 = -2*n, x - l*n - 13 = 0.  Let w(m) = 5*m**2 - 3.  Is 8 a factor of w(x)? 
False
Suppose 22*s = 21*s.  Suppose 2*f + 10 = -s*f, 4*f = 5*w - 225.  Is 8 a factor of w? 
False
Suppose 3*n - g = 104, 28 - 99 = -2*n - g. Let w = 115 - n. Does 16 divide w? 
True
Let a(s) = s**3 + 8*s**2 + 8*s - 2.  Let r be (-6)/(0 + 3) - -2.  Suppose -9*m + 5*m - 24 = r. Does 20 divide a(m)? 
False
Suppose -5*f = 5*w - 3*f - 3248, -2596 = -4*w - f. Does 6 divide w? 
True
Let w(r) = -r**3 - 7*r**2 - 7*r - 2.  Suppose -33 = 5*k - 3.  Let a be w(k).  Suppose 0*p - a*p = -32.  Is 8 a factor of p? 
True
Let a = -12 - -7.  Let w = a - -8.  Is w even? 
False
Let w(q) = -q**2 - 3*q + 26.  Let r be w(-11).  Let g = -33 - r. Is g a multiple of 29? 
True
Suppose 7 = -m + 3*r, 0*r - 3*r + 3 = -3*m.  Suppose 0 = -m*j - 1 + 9.  Let l = j - -7.  Is 5 a factor of l? 
False
Suppose -2*u = -7*u - 230.  Let g = -7 - u. Is 13 a factor of g? 
True
Suppose 3*g + 2*a + 44 = 0, -2*g + 0*a + 3*a = 25.  Let t = -8 - g. Is t a multiple of 4? 
False
Does 49 divide (-9)/((-63)/31157) + 2? 
False
Suppose 2*k - 84 = 3*k.  Suppose 0 = -d - 4*d - 285.  Let f = d - k. Does 27 divide f? 
True
Let w = -367 + 565.  Does 11 divide w? 
True
Let g(x) = -x**3 + 15*x**2 + 16*x + 18.  Let f be g(16).  Let j(w) = -w**3 + 17*w**2 + 19*w - 12.  Is j(f) a multiple of 6? 
True
Let i = -155 - -247.  Suppose -26 = 4*x - 4*l - 154, 3*x - 2*l = i. Is 19 a factor of x? 
False
Suppose -2*x - 2*j = 5 - 1, 0 = -x - 5*j - 22.  Suppose x*v + 235 = 5*q + v, -3*v = 0.  Suppose -4*o = 2*w - 60, 0*o - 3*o - w = -q.  Is o a multiple of 15? 
False
Let r = -20 - -28.  Let l(u) = 4*u**2 - 4*u + 10.  Let o be l(r).  Suppose 9*h - o = 3*h.  Is 17 a factor of h? 
False
Let j(k) = 36*k - 1.  Let w = 6 - -2.  Let m be (w/12)/(4/6).  Is j(m) a multiple of 9? 
False
Let q(h) = -1 - 20*h + 4 + 3 + 22*h.  Is 22 a factor of q(8)? 
True
Let m = -12455 + 7095.  Let x be m/(-44) + (-4)/(-22).  Suppose -3*l = -3*u - u - x, -3*u = -3*l + 117.  Is l a multiple of 18? 
False
Suppose 0 = 6*z - 3*z + 309.  Let j = 154 + z. Is j a multiple of 10? 
False
Suppose -5*p + 3*n - 2 = -4*p, -6 = -3*p + 3*n.  Suppose p*h = 2*h + 6, 4*b = -2*h + 26.  Suppose -2*a = -b*a - 2*y + 117, -4*y = -3*a + 99.  Is 10 a factor of a? 
False
Let b(y) = 3*y**3 - 40*y**2 + 18*y + 5.  Does 70 divide b(15)? 
True
Let x = -37 + 48.  Let y(i) = i**2 - 8*i - 16.  Is 3 a factor of y(x)? 
False
Suppose -9*v + 14*v = -185.  Let q = 79 + v. Is 16 a factor of q? 
False
Let l = 194 + -106.  Suppose 42*q = 43*q - l. Is q a multiple of 11? 
True
Suppose -5*m - 20 = -m.  Let f(b) = -7*b**2 - 7*b + 5.  Let t be f(m).  Let y = t + 198.  Is y a multiple of 11? 
False
Let l(o) = -73*o + 5.  Let v(k) = k**2 - k - 2.  Let g be v(1).  Is l(g) a multiple of 11? 
False
Is 7 + -4 + (-3 - (1 - 93)) a multiple of 3? 
False
Let h = 33 - 15.  Let b = h - 8.  Is 1/3*990/b a multiple of 11? 
True
Suppose 78*l - 1422 = 76*l.  Is l a multiple of 71? 
False
Let f(s) = s**3 + 13*s**2 - 17*s - 15.  Let o be f(-14).  Suppose 2 = o*c - 25*c.  Suppose -2*y = -c - 29.  Does 3 divide y? 
True
Suppose 5*k = 3*k + 36.  Suppose 0 = -4*u + 94 - k. Suppose -y = -14 - u. Is y a multiple of 9? 
False
Let l = -11 - -9.  Let m = -14 + l. Let p = m + 24.  Does 3 divide p? 
False
Let s = -19 - -19.  Suppose 0 = -5*i + 2*w + 168, s = -2*i - w - 1 + 61.  Is i a multiple of 5? 
False
Let j = 9 - 6.  Suppose 4 = -4*b - 8*s + j*s, -b + 24 = -5*s.  Suppose -p - 2*i = -19, 4*p = -0*i - b*i + 72.  Does 6 divide p? 
False
Let n = -3047 - -4910.  Is 27 a factor of n? 
True
Suppose -4*h + 852 = 180.  Is 12 a factor of h? 
True
Let j be 3 - 14*(-3)/6.  Let v = -8 + j. Suppose v*w = -w + 168.  Does 14 divide w? 
True
Let b(s) = -s**2 - 12*s - 2.  Let r be 0/(-4 + (1 - -2)).  Let i be -11 + 5 + 1 + r. Is 13 a factor of b(i)? 
False
Suppose 0 = 5*r + 5*s - 165, 2*r + 0*s = -5*s + 75.  Let h be (0 - 0) + r - -4.  Let i = 8 + h. Is i a multiple of 6? 
True
Let x(r) = 3*r + 2.  Let c(n) = -n + 1.  Let f(z) = -2*c(z) - x(z).  Let i be f(-3).  Is -1*((i - 1) + -51) a multiple of 16? 
False
Let y = -232 - -623.  Is y a multiple of 9? 
False
Is (191 + 0)/(25/425) a multiple of 7? 
False
Let c = -20 + 18.  Let q(o) = o**3 + 2*o**2 - 3*o - 3.  Let r be q(c).  Suppose -i - r*i = -16.  Is i a multiple of 4? 
True
Let h(g) = g**2 - 5*g + 3.  Let l be h(5).  Suppose -7 = j - 5*w + 6, 2*j - l*w - 2 = 0.  Suppose -j - 182 = -7*b.  Does 9 divide b? 
True
Suppose j + 4 = c - 0*j, c + j = 8.  Let y = c - 7.  Let q(x) = 21*x**2 + 2*x + 1.  Is 20 a factor of q(y)? 
True
Let m = 1184 - 877.  Does 54 divide m? 
False
Let u = -120 - -116.  Does 8 divide 4*448/(-21)*6/u? 
True
Let r = -91 - -843.  Is 18 a factor of r? 
False
Let h(i) = 10*i**2 - 18.  Is 18 a factor of h(-7)? 
False
Let g = 680 - -74.  Does 58 divide g? 
True
Let h(v) = v**3 + 13*v**2 - v - 11.  Let r be h(-13).  Let o(s) = 40*s - 9.  Let n be o(6).  Suppose 5*y = -r*y + n. Does 14 divide y? 
False
Let a(u) = 2*u**3 - 3*u**2 + 5*u + 3.  Does 7 divide a(5)? 
True
Let u be 2/(-13) + 656/208.  Suppose -7*f - u*r = -5*f - 621, 4*r = f - 305.  Is f a multiple of 26? 
False
Let c = -524 + 1385.  Does 6 divide c? 
False
Suppose l + 35 = -0*l + 3*g, 3*g = -5*l - 211.  Let n = 91 + l. Let r = -32 + n. Is r a multiple of 9? 
True
Suppose 5*m - 6 = 3*m.  Let o(v) = v**2 - 3*v + 2.  Let r be o(m).  Suppose 0 = 3*j + 15, j = -2*b - r*j + 19.  Is 4 a factor of b? 
False
Let s be (1 - 7)/((-9)/12).  Let i = 6 - s. Is (i - (-21)/6)*4 a multiple of 6? 
True
Let c be 1 - -1 - (0 - 8).  Let b = -7 + c. Suppose -3*u - 12 = 0, 2*y - 3*u - 307 = -b*y.  Is y a multiple of 12? 
False
Let d = 37 + -100.  Does 10 divide d/(-14)*(-14)/(-3)? 
False
Suppose 5*m - 3*a = 20, 3*a - 10 = -5*m + 10.  Suppose -2*h = m*h - 48.  Is h a multiple of 4? 
True
Suppose -5*u + 3*z = -0*u + 14, -4*z = -2*u.  Let i(g) = 4*g + 5*g + 5*g**2 - 5*g - 8.  Is 12 a factor of i(u)? 
False
Is 68 a factor of 445 - 0/(-12 - -10)? 
False
Suppose 6*y = 2*y + 20.  Let v be (-14 - -15)*(y - 0).  Suppose -v*i + 64 = -i.  Does 6 divide i? 
False
Let v(k) = k**3 + 23*k**2 + k + 23.  Let x be v(-23).  Suppose x = -6*z + 248 - 8.  Does 12 divide z? 
False
Let v = 118 - 66.  Suppose -s = -v - 80.  Does 24 divide s? 
False
Does 7 divide (-2)/12 - (-5 + 13/(-6))? 
True
Let x(i) = i**3 + 22*i**2 - 29*i - 179.  Is 11 a factor of x(-18)? 
True
Let b be (-2)/8 + 12/(-16).  Is (6 - 678/6)*(0 + b) a multiple of 9? 
False
Is 7 a factor of 8 - (-1)/(-3)*(-2 - -5)? 
True
Let t = 37 + -34.  Suppose 4*g + 3*k = 48, 36 = t*g + 4*k - 2*k.  Is 3 a factor of g? 
True
Suppose -2 + 7 = -q, -4*q - 100 = -4*i.  Is (2/((-8)/(-58)))/(i/80) a multiple of 29? 
True
Let l(w) = -w**2 - 9*w + 5.  Suppos