se -2*z = -4*f - 7316, z = 6*z - 4*f - 18284.  Is z a multiple of 119? 
False
Let q = 13 + -19.  Let u(p) be the second derivative of p**4/12 + 7*p**2/2 + 12*p - 2.  Is u(q) a multiple of 16? 
False
Suppose -146 = -u - 0*u.  Let w = u + -96.  Is 16 a factor of w? 
False
Let c(g) = -g**3 - 3*g**2 - 3*g - 2.  Let d be c(-2).  Suppose d = -4*m + 2*m + 56.  Is 19 a factor of 2618/m - 3/(-2)? 
True
Let u(n) be the second derivative of -n**4/12 + 2*n**3 + n**2 + 6*n.  Let j be u(12).  Let c(x) = -x**3 + 4*x**2 + 1.  Is c(j) a multiple of 6? 
False
Let y(p) = 830*p**2 - 2*p.  Is y(1) a multiple of 60? 
False
Suppose 214*y - 45144 = 195*y.  Is 24 a factor of y? 
True
Let w(s) = -2*s**2 - 41*s + 16.  Let q be w(-21).  Does 17 divide (-167)/q - (48/20)/(-4)? 
True
Let q(b) = b**2 + 5*b + 4.  Let s be q(-1).  Suppose s = -2*k - u + 9, -2*u + 3 = -u.  Suppose k*t = -0*t + 54.  Is 18 a factor of t? 
True
Let c(o) = -8*o + 7 - 4 + 11*o.  Is c(7) a multiple of 12? 
True
Let s(i) = -3*i**3 - 3*i**2 - 5*i + 4.  Let j be s(-8).  Suppose -6*d + j = -688.  Is 34 a factor of d? 
False
Let y(j) = -2*j**3 + 4*j**2 + j - 3.  Is 9 a factor of y(-2)? 
True
Suppose 13*z + 10470 = 5*d + 17*z, 0 = -2*d + 2*z + 4170.  Is 22 a factor of d? 
True
Let j be (8/6)/(2/6).  Suppose 22 = -3*t + j*b, 0 = 2*t - b + 15 + 3.  Is 228/t*(-90)/36 a multiple of 14? 
False
Suppose 7*j - 786 = 4*j.  Let c = j + -170.  Is 23 a factor of c? 
True
Let n = 73 - 87.  Is 21 a factor of (n/(-4))/((-13)/(-312))? 
True
Let r = 207 + -51.  Let q = r + -82.  Is 37 a factor of q? 
True
Suppose 0*p - 6995 = -3*p + 2*n, -2*p + 4674 = 4*n.  Does 21 divide p? 
False
Let u = 1198 - 456.  Does 45 divide u? 
False
Suppose -m + 1900 + 117 = h, 0 = m - 3*h - 2009.  Does 65 divide m? 
True
Let s(u) = u + 32 + 3 + 31.  Does 8 divide s(-10)? 
True
Suppose 0 = 4*s - 7 + 3.  Suppose -x - 4 = -s, 2*q - 71 = x. Is q a multiple of 21? 
False
Let t(w) = -3*w**3 - 69*w**2 + 21*w + 54.  Is t(-24) a multiple of 71? 
True
Let g be 476/36 - (4/(-18))/(-1).  Suppose -2*p = 2*c - 7*p - g, 4*c = -2*p + 62.  Is c a multiple of 14? 
True
Let m(h) = 2*h**3 + 4*h**2 + 18*h + 8.  Does 53 divide m(8)? 
False
Suppose 4*c + 702 = 1926.  Does 34 divide c? 
True
Suppose 2 = -2*q - 2*b - 6, 1 = -b.  Is 3 a factor of 26 + (7 - q)/(-5)? 
True
Suppose 0 = 22*g - 18*g - 2*b - 192, 5*g = -2*b + 258.  Is 10 a factor of g? 
True
Let y(g) = -23*g - 12.  Let t(q) = -12*q - 6.  Let c(r) = 5*t(r) - 2*y(r).  Is 11 a factor of c(-2)? 
True
Let v(s) = 22*s**2 - 22*s - 72.  Is v(-12) a multiple of 17? 
False
Suppose -2*k = -5*q + 25, -4*q - 3 = -0*q + 3*k.  Suppose -x = f - 120, 4*x - 65 = -q*f + 294.  Is f a multiple of 29? 
False
Let s(y) = y**2 + 12*y - 107.  Does 4 divide s(-20)? 
False
Suppose 8*a + 778 = 3498.  Does 11 divide a? 
False
Let m = 17 + -9.  Suppose z = 3*z - m. Suppose 3*p = z*p - 39.  Does 13 divide p? 
True
Let u(h) = -6*h - 7.  Let w be u(-5).  Let v = w - 11.  Is 3 a factor of v? 
True
Let z be (-3 - 0/(-2))/(-1).  Let l = 1402 - 1387.  Suppose 2*t - 3*d - 7 = 0, 0 = z*t + 4*d - l - 21.  Is 7 a factor of t? 
False
Let i be -4*((-94)/8)/1.  Suppose 4*l + 64 = 4*h, 0*l + 5*l = 2*h - i. Is h a multiple of 6? 
False
Let n = 935 + -481.  Does 59 divide n? 
False
Let y(k) = -10 - 257*k**2 + 141*k**2 - 5*k + 132*k**2.  Is y(-3) a multiple of 14? 
False
Suppose 5*s = -2*n + 157 + 106, 5*n = -5*s + 275.  Suppose -2*z - s = -3*z.  Is 17 a factor of z? 
True
Let r = -110 - -110.  Suppose -4*f + 384 = m, r = -3*f - 2*m - m + 288.  Does 12 divide f? 
True
Is 4 a factor of (-6)/(-27) - (-340)/90? 
True
Let b(z) = -z**2.  Let j(x) = -7*x**2 - 2.  Let f(y) = -6*b(y) + j(y).  Let l be f(2).  Does 13 divide 53*1 + 6 + l? 
False
Suppose -378 = -8*v + 46.  Suppose 0*s - 103 = 3*s + 2*m, 138 = -4*s - 3*m.  Let f = s + v. Does 17 divide f? 
False
Let s be 204/6*(-10)/(-4).  Suppose 5*t - 582 = -4*j, 4*t - 55 = -j + s. Suppose j = 3*h + 4*f, -h - 3*f + 19 + 22 = 0.  Does 28 divide h? 
True
Let n(r) = -11*r**3 - 9*r**2 - 20*r - 9.  Is 10 a factor of n(-4)? 
False
Let x(r) be the second derivative of -r**5/20 + 4*r**4/3 + 7*r**3/2 - 16*r**2 - 23*r.  Is 31 a factor of x(17)? 
False
Suppose 4*h - 23 = 9.  Suppose -h = -29*s + 27*s.  Suppose 3*r = -2*a + 20 + 55, s*a - 140 = -4*r.  Does 10 divide a? 
True
Let l = 12 - 12.  Suppose l = -5*c - v - 29, -v - 13 = 3*c + 4*v.  Is 3 a factor of 2 + -6*4/c? 
True
Let w(u) = -84*u + 5.  Let j be w(-6).  Suppose -b + 3*y = 4*b - j, 0 = 3*y - 6.  Is b a multiple of 10? 
False
Let h = -518 - -771.  Is 46 a factor of h? 
False
Does 53 divide 72/(-120) - ((-10793)/5 + -4)? 
False
Let b be ((-9)/(-12) - 2)*4.  Does 33 divide 1 - 859/b - 4/5? 
False
Suppose 5*a + u = 3043, 5*a + 7*u - 4*u = 3049.  Is a a multiple of 24? 
False
Let r = -6 + 8.  Suppose 224 = r*j + 5*j.  Does 8 divide j? 
True
Suppose 16*w - 9394 = 12926.  Is 12 a factor of w? 
False
Let x(y) = 5*y**2 - 2*y + 12.  Is x(-12) a multiple of 42? 
True
Let f(a) = 84*a + 60.  Is 51 a factor of f(9)? 
True
Suppose -3*b + x + 3*x - 51 = 0, 35 = -2*b + 3*x.  Let d = 47 + b. Does 17 divide d? 
True
Let c be -3 - -137 - (0 + 2).  Let s = c + -52.  Is 16 a factor of s? 
True
Suppose -4*g = -5*m + 56, 13 = -g - 2*m + 3*m.  Is 3*g*(-156)/18 a multiple of 18? 
True
Let g(b) = b**2 + 8*b + 5.  Let l be g(-9).  Suppose 4 = -2*k + l. Suppose -3*f = -q - 128, -5*q = -k*f - q + 211.  Is 31 a factor of f? 
False
Let w(j) = 17*j + 11.  Let i = 15 + -10.  Is w(i) a multiple of 32? 
True
Suppose -4*b - n = -9*b + 10, n - 8 = -b.  Suppose 3*z + 4*i = -20, 5*i + 2 = -b*z - 20.  Is 6 a factor of 6 - 1*(z - -1)? 
False
Let z(p) = -25*p + 6.  Let i be z(2).  Let r(w) = -8*w + 78.  Let h(n) = n - 11.  Let b(x) = i*h(x) - 6*r(x).  Is 28 a factor of b(17)? 
True
Is (-1 - -117) + (11 - 18 - -3) a multiple of 3? 
False
Suppose 11 = 4*t + 3*z, 4*t - z - 29 = 2*z.  Suppose -t*j + 172 = -108.  Does 16 divide j? 
False
Let l(w) = 5*w**2 - 2*w - 1.  Suppose 2*a - 3*a = -2.  Suppose k = 4 - a. Is l(k) a multiple of 6? 
False
Let s = -1 + -1.  Let f = s - -20.  Is f/6*(-58)/(-6) a multiple of 12? 
False
Suppose n + 3*n + 36 = 0.  Let o = n - -20.  Does 3 divide o? 
False
Let i(t) = -4*t**2 + 3*t**2 + 6 - 3 + 6*t**3 - t. Does 9 divide i(2)? 
True
Is (-175 + 0)*-1 + 2 a multiple of 5? 
False
Let m(g) = -g**3 - 24*g**2 + 24*g - 26.  Let d be m(-25).  Does 14 divide -282*d*(3 + -2)? 
False
Let j = 69 + -9.  Let a be (3/9)/((-1)/(-9)).  Suppose a*n + j = 5*n.  Does 23 divide n? 
False
Let g be (-6)/(-4)*(7 - 15).  Let j be (-3)/g + (-7)/(-4).  Suppose 4*z = 2*s + 76, -5*z = -0*z - j*s - 96.  Does 6 divide z? 
False
Let b be (-5)/(-6) - 7/(-42).  Suppose 0 = -5*p + b + 74.  Does 5 divide p? 
True
Suppose 0*j + 285 = 5*j.  Suppose 0 = -s + j + 3.  Suppose b - 4*b + s = -v, 3*v - 80 = -4*b.  Does 10 divide b? 
True
Let m be 105/(-135) + (-4)/18.  Let z = 3 + m. Suppose -2*x + 124 = 3*g + z*x, -2*g + 81 = 3*x.  Is g a multiple of 16? 
True
Let j(d) = 6*d**2 + 19*d - 15.  Let t(o) = -o**2 - 4*o + 3.  Let n(z) = 2*j(z) + 11*t(z).  Let g be n(6).  Let h(r) = 12*r - 4.  Is 27 a factor of h(g)? 
False
Let o be (-3)/(-9) - 318/(-18).  Let p = o + -14.  Suppose -64 + 16 = -p*w.  Is 4 a factor of w? 
True
Let l(y) = 40*y**3 - 5*y**2 - 2 - 21*y**3 + 2*y**2 + 4*y + 17*y**3.  Is l(2) a multiple of 47? 
True
Suppose -2*i + 2*v = -0*v - 24, 2*i = -4*v + 24.  Let g be 16/24 - 326/(-6).  Suppose g = i*o - 7*o.  Is o a multiple of 11? 
True
Suppose -4*v + 5544 = 4*g - 5*g, -5*v + 6930 = -2*g.  Suppose -181 = 9*i - 235.  Is 10 a factor of v/27 + (-2)/i? 
False
Let q(y) = 67*y**2 + 5*y - 4.  Let w be q(-4).  Suppose 5*z - 200 = -r + z, -4*z = -5*r + w. Does 22 divide r? 
False
Suppose 0 = -26*u + 22*u + 44.  Let f(l) = 3*l - 4 - 11 + 2.  Is f(u) a multiple of 10? 
True
Let g(z) = -2*z + 1.  Let v be g(-1).  Suppose 5*j = v*d + 520, -3*d - 312 = -2*j - j. Suppose 77 = 3*k - 2*f, -4*k + 0*k = -4*f - j. Is k a multiple of 5? 
True
Let p(h) = h**2 + 6*h + 2.  Let k be p(-7).  Suppose -10*v + k*v + 13 = 0.  Is v a multiple of 5? 
False
Let n(b) be the third derivative of -2*b**4 - 17*b**2.  Does 14 divide n(-1)? 
False
Let q be ((-253)/92)/(-1*(-1)/(-12)).  Let l(k) = 4*k - 1.  Let y be l(4).  Let p = q - y. Is 6 a factor of p? 
True
Suppose 0 = -6*c + 5*c - c. Suppose c = 11*p + p - 1404.  Is p a multiple of 9? 
True
Let s = -65 + 857.  Is 72 a factor of s? 
True
Let n(w) be the first derivative of w**4/4 + 8*w**3/3 + 3*w**2 - 9*w + 7.  Let f be n(-7).  Is 12 a factor of f*