actor of r?
False
Let l be -1 + 1 + 58 + 0. Suppose -3*g + l = -g. Does 11 divide g?
False
Suppose -8 = -2*r - 4*q, 4*r + 4*q - 16 = q. Suppose k = -r*k. Suppose 3*t - t - 20 = k. Is 10 a factor of t?
True
Let b(c) = 28*c**2 + 6*c + 4. Is 14 a factor of b(-3)?
True
Let g(c) = 4*c + 1. Let x be g(2). Is 8 a factor of (30/(-4))/(x/(-12))?
False
Let h = 3 - 0. Suppose -h*p + 8 = p. Is 2 a factor of p?
True
Let y = -53 + 97. Is 12 a factor of y?
False
Suppose 0 = -0*p - 2*p + 62. Does 11 divide p?
False
Suppose 0 = 4*d + 4, -d + 109 = 3*t + d. Is 13 a factor of t?
False
Let g be ((-18)/(-21) - 0)*-7. Let o(q) = -q**2 - 7*q - 6. Let d be o(g). Suppose -a + 32 = 6*c - 2*c, 2*a + c - 36 = d. Is a a multiple of 6?
False
Let k(g) = -g**3 + 11*g**2 - 9*g - 12. Suppose -2*v = 2*v - 40. Let b be k(v). Is (b/3)/((-4)/66) a multiple of 4?
False
Suppose 3*i - 4*b = 26, -5*i + 0*i + 2*b + 20 = 0. Suppose 0*g + 8 = 2*g + i*q, 3*g + q - 16 = 0. Is g a multiple of 3?
True
Suppose -5*j - 5 = -4*d - d, 0 = -5*j + 2*d - 2. Suppose 4*a - 48 = -j*a. Does 6 divide a?
True
Let t(j) = -2*j**2 + 4*j + 6. Let y be t(3). Let q = -2 - -4. Suppose -p - 2*p + 25 = -q*g, 2*p + g - 19 = y. Does 7 divide p?
False
Is 4 a factor of (50/(-4))/((-5)/10)?
False
Does 8 divide (-17)/((-85)/270) + (3 - 1)?
True
Let j = 11 + -10. Does 11 divide (-43)/(-2) - j/(-2)?
True
Suppose 0 = 3*u - 44 - 19. Is 12 a factor of u?
False
Let d(p) = p**2 - 4*p - 5. Suppose 3*w = -2*w + 35. Let i be w - (1 + -1 + 1). Does 5 divide d(i)?
False
Suppose 4*z = 5*z + 11. Let p = -7 - z. Suppose 0 = -4*h - f + 29, 3*h = 4*f - p + 21. Is 6 a factor of h?
False
Let j be (-18)/(-8) - 1/4. Is 4 a factor of (-1)/(j - (-57)/(-27))?
False
Let z be 3 - 3 - 4/(-2). Suppose -4*n + 4*q + 47 = q, -z*q - 24 = -2*n. Is 3 a factor of n?
False
Let t be ((-6)/(-3))/2 + 2. Let y be (t - 84)*-1*1. Suppose 7*s - 4*s - y = 0. Is 8 a factor of s?
False
Let n be (20/(-12))/((-2)/(-312)). Let r be n + (-3)/(-3) + 3. Is 10 a factor of r/(-26) - 6/(-39)?
True
Let c(o) = 7*o - 7. Is 3 a factor of c(5)?
False
Let o(x) = 45*x**2 - 2*x - 3. Let y(q) = -89*q**2 + 5*q + 7. Let p(u) = 5*o(u) + 2*y(u). Suppose -25 = 5*f, -7*b - 4*f = -4*b + 17. Is 16 a factor of p(b)?
False
Suppose 2*k - 12 = 2*g, -k - 30 = 5*g - 0*k. Let a be (3 - g)*(-2)/(-3). Suppose a*h - 30 = h. Is h a multiple of 6?
True
Let j be -1*(2 - (3 + 2)). Suppose 3 + j = -2*x. Does 15 divide 1*-6*(x - 2)?
True
Suppose 4*w - 30 = -6. Suppose 2*y - 3*y = -w. Suppose 0 = -4*s + y*o - 11*o + 26, -5*o + 2 = -2*s. Does 4 divide s?
True
Let w = -73 + 107. Is w a multiple of 4?
False
Let i = 23 - -3. Does 12 divide i?
False
Let k(i) = i + 13. Let w be k(-4). Suppose 3*s + s - 24 = 0. Does 5 divide 52/s + 3/w?
False
Suppose -p + 2 = -37. Let i = -27 + p. Does 6 divide i?
True
Let z = -7 - -77. Is 12 a factor of z?
False
Let r be (-6 - -1) + 8 + -5. Is (6/7)/(r/(-42)) a multiple of 9?
True
Let l be (-2)/((-18)/(-8) + -2). Let z = 11 + l. Suppose -35 = -3*j - 2*v + z, 5*v = 5. Is j a multiple of 11?
False
Let n = -20 - -50. Is n a multiple of 5?
True
Suppose f = 2*a, -4*a - 2*f + 8 = -8. Suppose -a*p - 6 = -5*p. Suppose -q - 2*m = -48, -2*q - p*q = 4*m - 196. Is q a multiple of 11?
False
Suppose 0 = 2*x + 5 - 13. Is x a multiple of 2?
True
Is 22 a factor of -3 - ((-135 - -1) + -1)?
True
Let s(r) be the second derivative of 3*r + 0 - 1/6*r**3 - 1/3*r**4 + 1/20*r**5 + 0*r**2. Is s(5) a multiple of 20?
True
Suppose 0 = 9*r - 108 - 18. Is 5 a factor of r?
False
Let j(b) = 2*b**2 - 3*b. Is 5 a factor of j(-4)?
False
Suppose -72 = -2*d + 2*a, 0 = -2*d - d + 5*a + 106. Is 9 a factor of d?
False
Suppose 22 + 3 = w + i, -w + 21 = -i. Does 2 divide w?
False
Let r(f) = -f**2 - f + 1. Let x(b) = 3*b**2 - 4*b - 13. Let t(w) = -4*r(w) - x(w). Let z be t(-6). Let c(j) = -16*j - 2. Is c(z) a multiple of 17?
False
Suppose 0*a - 3*f + 28 = 2*a, 4*a = 5*f + 56. Is 3 a factor of a?
False
Let s = 159 - 68. Does 13 divide s?
True
Let n = 206 - -172. Does 14 divide n?
True
Let b(k) = 5*k + 86. Is 43 a factor of b(0)?
True
Suppose -5*t + 7 = n, n - 3*t + 4 - 3 = 0. Suppose 0 = n*a - 5*h - 37, -3*h + 13 = a - 0. Is 10 a factor of a?
False
Is (-1 + -1)/(2/(-53)) a multiple of 21?
False
Let l(p) = 6*p - 1. Is 29 a factor of l(5)?
True
Suppose -n + 3*n - 28 = 0. Suppose t - n + 3 = 0. Is 9 a factor of t?
False
Suppose 92 = m + 24. Suppose -b - m = -3*b. Is b a multiple of 6?
False
Suppose 4*k = 5*x - 375, 3*k = -4*x + 402 - 102. Is 25 a factor of x?
True
Let i(p) = 8*p - 9*p - 15*p**2 + 49*p**2. Is i(1) a multiple of 15?
False
Let w(s) = -30*s + 6. Let l be w(3). Let p = l - -149. Does 12 divide p?
False
Let t = -6 + 8. Suppose t + 7 = 3*b. Suppose 0 = -2*p + b*p - 5*k - 23, -p + k = -15. Is p a multiple of 5?
False
Let l(v) = -11*v - 3. Let i = -6 + 3. Is l(i) a multiple of 15?
True
Let l(o) = -8*o. Let z be l(-3). Let k be (1 - z) + (-2 - 0). Let b = -1 - k. Is 12 a factor of b?
True
Let b(y) be the first derivative of 5*y**4/4 - 2*y**3/3 - y - 3. Is 9 a factor of b(2)?
False
Let c(b) = 3*b - 3. Does 4 divide c(6)?
False
Suppose 3*n - 8 + 35 = 0. Let b = n + 30. Does 10 divide b?
False
Suppose 3*b + 31 = 4*k, 2*k + k + 8 = -4*b. Suppose u - a - 68 = k*a, -4*u = a - 167. Is -3 + u/(-2)*-2 a multiple of 20?
True
Let i(c) be the second derivative of 0 + 2*c - 1/20*c**5 + 2*c**3 - c**2 + 7/12*c**4. Does 11 divide i(8)?
False
Let v = -108 + 281. Is v a multiple of 54?
False
Suppose 2*z + 20 = -2. Let d = z - -4. Let a = d - -12. Is a even?
False
Let s(k) = 8*k - 6. Let w be (-2)/7 - (-37)/7. Is s(w) a multiple of 18?
False
Suppose 2*s + 3*u + 86 = 7*s, -2*u + 60 = 4*s. Is s a multiple of 4?
True
Let n(r) = -5*r**2 + 2*r. Let x be n(2). Let o = x - -32. Does 16 divide o?
True
Let d(k) = -2*k - 7. Let w be d(-5). Is 20 a factor of ((-52)/w)/(1/(-3))?
False
Suppose 325 = 16*p - 11*p. Does 13 divide p?
True
Suppose -3*u = -k - 0*k - 49, -u = -3*k - 19. Let d = 6 + u. Does 11 divide d?
True
Let g(u) be the third derivative of 7*u**4/24 - 7*u**3/6 - 5*u**2. Is 7 a factor of g(5)?
True
Suppose -4*z + 5*z = 5*y - 200, 0 = y + 3*z - 40. Suppose 2*p = -3*p + y. Is 8 a factor of p?
True
Let g(b) = -b**3 - 4*b**2 - 3*b - 4. Suppose 4*v - 3 - 62 = -3*w, 4*w + 3*v = 75. Let o be ((-18)/w)/(3/10). Is 8 a factor of g(o)?
True
Let g(t) = 0 + 1 - 2 + 0 - 4*t. Let c be g(-2). Is 7 a factor of 6 - c - -3*3?
False
Is 2/((-1)/(-2)*24/222) a multiple of 5?
False
Let q(i) = -i**2 + 8*i - 8. Let r be 12*(-2 + (-7)/(-3)). Let s be 6/r*(2 - -2). Is q(s) a multiple of 4?
True
Let b(h) = 82*h**2 - 6*h. Is b(1) a multiple of 19?
True
Let f = -29 + 56. Is f a multiple of 9?
True
Suppose 2*q = 4, 2*o - q + 3*q = 16. Is o a multiple of 6?
True
Let v = 25 + -9. Let b = v - 6. Is 3 a factor of b?
False
Let w(z) = 48*z**2 + 5*z - 5. Is w(2) a multiple of 41?
False
Let p = -3 + 6. Suppose p*g = 5*o - g - 118, o - 38 = -4*g. Is 13 a factor of o?
True
Let w(x) be the third derivative of -5*x**4/24 - 2*x**3/3 - x**2. Suppose 2*o = z + 16, z = -7*o + 2*o + 12. Is w(z) a multiple of 18?
True
Let u be 2/6 - 444/(-18). Suppose -4*r = r - u, -3*p + 2*r + 500 = 0. Suppose -5*f + p = -0*f. Is 17 a factor of f?
True
Let u be 5/(-25) + (-12)/(-10). Suppose -a - u = -6. Suppose -a*m + 34 = -106. Is 14 a factor of m?
True
Let h(j) = -263*j**3 - 6*j - 5. Does 13 divide h(-1)?
False
Suppose 4*v - 3*k = 14, v - 4*k = -2*v + 7. Suppose v*i - 73 - 7 = 0. Suppose -5*x + 114 + i = 5*c, -3*c + 120 = 5*x. Is x a multiple of 11?
False
Suppose 0*q + 18 = 3*q. Suppose -q = 5*h - 51. Let m(x) = 3*x - 12. Is 10 a factor of m(h)?
False
Let v be (2 - 1)*1*1. Let i(u) = 6 - v - 5*u + 3*u**2 - 2*u**2. Does 11 divide i(6)?
True
Let u(s) = -3*s - 11. Let q be u(-5). Suppose -2*x + 22 = q*w, -x = 4*x - 15. Is w a multiple of 2?
True
Let d be (-1 - -74) + 4/(-4). Suppose 0*v = -2*v - d. Is (v/(-10))/(3/20) a multiple of 12?
True
Suppose 0 = -10*n + n + 387. Does 7 divide n?
False
Let n(z) = z + z**3 + 3 - 2*z**3 - 2 + 3. Is n(-3) a multiple of 13?
False
Suppose 0 = -3*u + 4*a + 101, 2*u - 160 = -3*u + 5*a. Let h = -3 + u. Is 10 a factor of h?
False
Let m = -18 - 32. Let d = 74 + m. Is 24 a factor of d?
True
Suppose -2*g + w + 2*w = -50, g = -w + 25. Is g a multiple of 7?
False
Let i = -