actor of v(1)?
False
Suppose 18 = -2*o + 7*o - 2*k, 3*o = -3*k - 6. Let z(i) = -19*i. Let r be z(o). Is (-3 - r/2)*2 a multiple of 15?
False
Let i(s) be the first derivative of -4*s + 0*s**2 + 3*s**2 + 0 - 2. Is 20 a factor of i(4)?
True
Does 9 divide 4/(-2)*(178/(-4) + 0)?
False
Suppose -c + 2 = m, -3*m = c - 8*m - 26. Suppose 3*h - 138 = -4*s, 0 = -2*h + 5*s - c*s + 87. Is 13 a factor of h?
False
Suppose -5*x + 269 = -0*r - r, 3*r = -5*x + 253. Does 38 divide x?
False
Let n(z) = 85*z + 6. Is n(3) a multiple of 48?
False
Suppose -g = -5*g - u + 15, 2*u - 10 = -3*g. Let m = -3 + g. Suppose 3 = a - m. Does 4 divide a?
True
Suppose 4*v = -4*a + 16, -4*a + 20 = 3*v + 6. Suppose -v*d - 3*p = -32, 3*d + 0*p - 38 = -2*p. Is 8 a factor of d?
False
Suppose -5*v = -7*v + 4. Suppose 0 = 4*r - 2*b - 194, -3*r - 7*b = -v*b - 113. Is 29 a factor of r?
False
Let x = -190 + 270. Does 16 divide x?
True
Let y = 3 + -1. Suppose -38 = j - 3*j + y*s, -5*j - 5*s + 115 = 0. Does 11 divide j?
False
Suppose 3*a + 596 = 5*b + 121, -4*b + 402 = 2*a. Is 10 a factor of b?
False
Let f(m) = m**3 + 10*m**2 + 6*m + 9. Is f(-9) a multiple of 21?
False
Suppose 18 = 5*s - 2. Suppose -4*o = -4*n + 2*n - 146, -143 = -s*o - n. Does 12 divide o?
True
Let o = 26 - 11. Is o a multiple of 15?
True
Does 4 divide (-49)/(-2) + 5*4/40?
False
Is 45/18*(0 + 136) a multiple of 11?
False
Suppose 0 = f + f. Suppose f = 5*y - 33 - 2. Is 2 a factor of y?
False
Let x = 6 - 1. Suppose -x*a + 71 = -2*z, 3*z = 5*z - 4. Is 15 a factor of a?
True
Is 8/(-4) + 5 - -46 a multiple of 10?
False
Let l(s) = s**2 - 6*s + 3. Let z be l(5). Is 17 a factor of 1/(z/(-2)) + 45?
False
Let i be 6*((-6)/(-4))/3. Suppose -2*p - 16 - 12 = -t, -2*p = -i*t + 92. Does 16 divide t?
True
Let i(z) = -z**3 - 5*z**2 - 3*z + 3. Let a be i(-4). Let d(j) = -j + 2. Let n be d(2). Does 4 divide -6*(n - 2 - a)?
False
Let t(o) = o**2 - 2*o + 2. Let f(c) = c**2 - 3*c - 3. Let w be f(3). Let k be t(w). Suppose 117 = 4*y + k. Is 10 a factor of y?
False
Suppose 0 = 2*t + t + 12. Let q be (-8)/4 - t/1. Is -1 + q - (-25 - 6) a multiple of 18?
False
Let o be 9/(-2)*10/(-15). Suppose -o = f, -6*f = 2*y - f + 21. Does 3 divide 7 - (0 - y)/3?
True
Let z be (-2 - -4)/((-3)/(-78)). Suppose 0 = -u - 4*g + 23, 2*u - z = -3*g + g. Does 9 divide u?
True
Let o = -8 + 11. Let b be -1 + -2 + 1 - o. Let p = 12 + b. Is p a multiple of 7?
True
Let j(q) = q - 4. Let r be j(6). Suppose r*l = -3*l + 95. Is 8 a factor of l?
False
Let x(a) = -a**2 - 3*a. Suppose -19 = 5*t - 4. Let j be x(t). Is j/(-1) + -1 + 38 a multiple of 13?
False
Suppose -5*w - 492 = 2*v - 3*w, 2*v + 504 = 4*w. Is 13 a factor of v/(-16) - 1/(-2)?
False
Suppose -2*k + 714 - 270 = 0. Suppose -3*w + w = -k. Let d = w + -76. Is 15 a factor of d?
False
Suppose 6*p + 20 = p. Let y(t) be the third derivative of -t**6/60 - t**5/12 + t**4/8 + 5*t**3/6 + 11*t**2. Is 14 a factor of y(p)?
False
Suppose -28 = 6*w - 7*w. Is 14 a factor of w?
True
Let i be (-16)/(-3)*6/4. Let b(y) = y**3 - 8*y**2 + 10*y - 2. Let p be b(i). Suppose 2*n = p - 14. Is 16 a factor of n?
True
Suppose 122*c - 127*c + 645 = 0. Does 15 divide c?
False
Suppose 5*z = v - 52, -2*v + 0*v - 36 = 4*z. Let l = z + -5. Let u = l - -22. Does 5 divide u?
False
Let n be (-785)/(-25) - 2/5. Suppose -3*j + n = 2*h - 38, -j + 59 = 2*h. Is h a multiple of 7?
False
Suppose -5*p + 2*p = -12. Suppose -p*x + x = -102. Is x a multiple of 13?
False
Let r(f) = 2*f**2 + 4*f - 2. Let m = 15 + -19. Is 14 a factor of r(m)?
True
Let p be 2/2*(24 - -7). Suppose -29 = -q + 4*d, 3*q + q = -d + p. Is 9 a factor of q?
True
Is 14 a factor of (-2)/(0 - (-1)/24)*-7?
True
Let v(x) = -5*x**3 + 2*x**2 - 4. Is 11 a factor of v(-2)?
True
Does 16 divide 6/4 + -3 + 154/4?
False
Let w(l) = -1. Let f(u) = -14*u - 2. Let b(r) = 2*f(r) - 6*w(r). Let k(j) = 1. Let m(i) = b(i) - 3*k(i). Is m(-1) a multiple of 11?
False
Suppose 2*o = -0*o + 4, 2 = 3*b - 5*o. Suppose 3*y - b*v = 70 - 25, -3*y = 5*v - 45. Is 13 a factor of y?
False
Suppose 3*z = -y + 195, 0 = 5*z - 0*z + y - 327. Is 22 a factor of z?
True
Suppose 3*l - 27 = -3*p - 0*p, 16 = 2*l + p. Does 2 divide l?
False
Suppose -2*o + 7*r = 11*r - 56, 3*r = 3*o - 102. Does 4 divide o?
True
Let d(k) = -k**2 - 4*k - 2. Let r be d(-2). Let i(s) = -7 + 4*s**2 - s**r + 3. Does 23 divide i(3)?
True
Let o = 98 - -25. Is o a multiple of 11?
False
Let j(q) = q**2 + 5*q - 4. Let i be j(-6). Let h(s) = -s**3 - s - 3*s**2 - 3*s**i + 17 + 5*s**2. Is 17 a factor of h(0)?
True
Let f = 420 + -164. Is 28 a factor of f?
False
Suppose -3*m - 6 + 3 = 0. Let q(z) = 5*z. Let w be q(m). Let o(s) = -s + 1. Does 3 divide o(w)?
True
Let p(k) = 2*k**3 + 2*k**2 - k. Let q be p(1). Suppose -q*l - 9 = -48. Does 5 divide l?
False
Suppose 0 = -5*w + w + 8. Let g(d) = 2*d**3 - 2*d**2 + 3*d. Is 7 a factor of g(w)?
True
Let u be 2/(-2) + 7/1. Suppose 0 = -2*c + u - 0. Suppose -c*z + l + 46 = 6*l, 2*z + 2*l - 32 = 0. Is 8 a factor of z?
False
Suppose -2*f + o + 4 = 0, 0 = f - 0*f - 2*o - 5. Let m(a) = -23*a**2 + a. Let y be m(f). Does 6 divide (-326)/y + 4/22?
False
Let d(q) = 2*q**2 + 2*q. Let j(r) = r**2 + 2*r. Let p(f) = 4*d(f) - 6*j(f). Let l be 20/6 + 2/(-6). Is p(l) a multiple of 6?
True
Suppose -8 = 2*f + a - 6*a, 0 = f + 5*a - 11. Let u be 1 + ((-3)/(-3))/f. Suppose 0*d + 46 = 2*d + u*v, 0 = -5*d + v + 121. Does 12 divide d?
True
Suppose -1219 = -5*p + 111. Suppose -2*q = -4*h + p, q - 77 = -h + 5*q. Let z = h - 15. Is 17 a factor of z?
False
Let z be 150/1 - (-2 + 0). Suppose -5*u = -u - z. Is 13 a factor of u?
False
Suppose -14 + 1 = -n. Let h be (-3 - n/(-3))*-3. Let x = h + 31. Is 27 a factor of x?
True
Let r = -47 - -93. Suppose 2*a + a - 240 = 0. Suppose 5*b - 2*o - o = a, 2*b - r = 4*o. Does 13 divide b?
True
Let w be 0*(-1 + 0) - 0. Suppose 0 = -4*s + 5*p + 69, 2*p + 4 - 2 = w. Does 8 divide s?
True
Let u be -3 + (-16 + -1 - -1). Let i = -8 - u. Is 5 a factor of i?
False
Let a(b) = b**2 - 3*b. Suppose z = w - 7, 3*z + 13 = w - 0*w. Let n be a(w). Suppose n*x - 2*x - 26 = 0. Does 5 divide x?
False
Let m be 10/25 - (-36)/10. Let v = 0 + m. Suppose 4*f = -f + 5*i + 75, f - v*i = 0. Is 14 a factor of f?
False
Let w be 1 + 3 + 3 - -3. Let h = 17 - w. Is h a multiple of 7?
True
Let l = 2 + 6. Does 4 divide l?
True
Suppose 0*c + 2*c - 6 = 0. Suppose -1 = 3*m + 5*g + 1, c*m - 6 = 3*g. Let i(a) = 14*a**3 - 2*a**2 + 2*a - 1. Does 13 divide i(m)?
True
Let x(w) = -4*w**3 + 4*w**3 - 10*w - 9*w**2 - w**3 - 4. Is 6 a factor of x(-8)?
True
Suppose -3*a = k - 64, 2*k = -a + 73 + 50. Suppose -j + k = -11. Is j a multiple of 24?
True
Suppose 7*a - 5*f - 27 = 3*a, a + 5*f + 12 = 0. Let p be (a + -2 - 37)*-2. Suppose 4*o = o + p. Is 8 a factor of o?
True
Let u = -40 + 18. Let b = 39 + u. Is 17 a factor of b?
True
Let w be 2/5 - (-62)/(-5). Let x = 1 - w. Is 13 a factor of x?
True
Suppose 0 = -3*w - a - 4, w + w = -a - 4. Suppose -5*i - 5 = 5*g, 3*g = -5*i - w*i - 13. Is 3 a factor of g?
False
Suppose 0 = -5*c + 5*h, 0*h + h = 3*c - 8. Suppose -g = 2*t - 33 + 6, -6 = -t + g. Suppose 0 = -a - i + t, -2*a + 15 = -i - c*i. Does 5 divide a?
True
Suppose 0 = v + 4*j - 55, -10 + 170 = 5*v - 3*j. Let x be v - (3 + -1 - 3). Suppose -2*t = t - x. Is t a multiple of 12?
True
Let f be (24/16)/(1/2). Suppose f*n - 4*n = -68. Is 20 a factor of n?
False
Suppose j + 67 = 4*y, 2*j + 32 = 2*y - 0*j. Is 2 a factor of y?
False
Let s = 74 - 52. Suppose -4*w - 3*i = -s, -3*w - 2*i + 6 = -5*i. Suppose -w*q + 9 = -5*o - 40, 2*o + 10 = 0. Is 3 a factor of q?
True
Let u be (-3 - 9)/(-3 + 2). Suppose -2*q = q + u. Is (-312)/q*(-1)/(-3) a multiple of 13?
True
Let m(x) = 2*x**2 + 6*x + 10. Is m(-4) a multiple of 4?
False
Let d(b) = b**2 + 4*b + 2. Let q = -12 - -17. Let o = -11 + q. Does 10 divide d(o)?
False
Suppose -2*v - 2*s = v + 57, -3*s = 4*v + 75. Let k = v + 4. Let m = 38 + k. Is m a multiple of 12?
False
Let b = -424 - -598. Does 44 divide b?
False
Let l be (-1)/6 + (-124)/(-24). Suppose -18 = l*v - 98. Is v a multiple of 8?
True
Let h = -22 - -31. Does 2 divide h?
False
Let k be (-46)/(-8) - 1/(-4). Let b(t) = 3*t**3 - 21*t**2 + 10*t - 18. Let u(o) = o**3 - 7*o**2 + 3*o - 6. Let g(h) = 6*b(h) - 17*u(h). Does 6 divide g(k)?
True
Is (-4)/(652/(-162) + (-16)/(-4)) a multiple of 18?
T