3*p - 131 = -5*o. Is 7 a factor of o?
False
Suppose 0 = -3*k + 61 + 359. Is 29 a factor of k?
False
Let r = -16 - -86. Is r a multiple of 14?
True
Suppose 2*x = -2, 5*b + 20 = -3*x + 7. Let h be ((-7)/(-14))/(b/(-104)). Suppose g = -8 + h. Does 9 divide g?
True
Let n(s) = -s**3 + 8*s**2 - 3*s - 17. Is 3 a factor of n(7)?
False
Let u(f) = 0*f**2 + f - 3*f**2 + 2*f**2 + 0*f + 4. Is u(0) a multiple of 3?
False
Let q(d) = 2*d**2 + 13*d + 1. Does 14 divide q(-9)?
False
Let w = 3 - 55. Let z = 75 + w. Is z a multiple of 6?
False
Let o(i) = -23*i + 2. Let k be o(-2). Let d = k + -3. Is 18 a factor of d?
False
Let j = 2 + -2. Let r be 16/(-10)*(5 + j). Let u(a) = a + 18. Does 10 divide u(r)?
True
Suppose -2*j = 3*j + 25. Does 7 divide 25 + 0 - (2 + j)?
True
Let r(w) = w**3 - w - 1. Let a = 5 - 4. Let i(m) = 3*m**3 + 6*m**2 - 7*m. Let f(u) = a*i(u) - 4*r(u). Does 5 divide f(5)?
False
Suppose 4*z - 4 = 4. Suppose 3*l + t + z = 1, 2*t + 2 = -4*l. Does 12 divide (l - 0) + (31 - -3)?
False
Suppose 2*h - y - 6 = 0, -3*y + 0*y = 4*h - 2. Suppose 0 = h*d, -5*x + 24 = -3*x + d. Does 3 divide x?
True
Suppose -2*u = -6*u. Suppose b + 7*w - 2*w + 11 = u, 4*b - 7 = -3*w. Does 4 divide b?
True
Is 13 a factor of 45 + 4/6*-3?
False
Suppose 3*c + 2*l = 204, 2*l - 88 = -c - 24. Is c a multiple of 14?
True
Let r = 2 + 83. Let x be 33/2*22/3. Let v = x - r. Does 17 divide v?
False
Suppose -5*c + 3*f = -0*c - 18, -7 = -3*c - 2*f. Suppose 4*x - 42 = c*x. Suppose l = 4*l - x. Does 12 divide l?
False
Let t = 11 + -2. Let q(a) = 19*a**2 - a + 1. Let c be q(1). Let n = c + t. Is n a multiple of 12?
False
Let w = 0 + 3. Let n = -1 - w. Is 6 a factor of (n/6)/(3/(-54))?
True
Let i(y) = 4*y**2 - y + 1. Let t(f) = f**2 - 10*f + 3. Let u be t(10). Does 21 divide i(u)?
False
Let r(q) = q + 4. Let d be r(0). Is 14 a factor of (-28)/(d/(-6)*3)?
True
Suppose 110 = 2*w - 26. Is 17 a factor of w?
True
Suppose -4*z = r - 2*r - 6, 0 = -3*r + 6. Suppose -1 = -z*l + 39. Is l a multiple of 5?
True
Let p(z) = z - 6. Let n be p(6). Suppose n*u + 12 = 2*u. Suppose w + 5*d - 55 = -4*w, 3*d = u. Is 9 a factor of w?
True
Let a(s) = s**3 + 9*s**2 + 7*s - 8. Let o be a(-8). Is o/9 + 11*2 a multiple of 11?
True
Let c(f) = 31*f**2 + 2 - 5 + 2. Is 13 a factor of c(1)?
False
Let q be (-2)/3*(-9)/6. Let m(x) = -47*x**2 + 2*x - 1. Let v be m(q). Let o = 66 + v. Is 9 a factor of o?
False
Suppose -3 = 3*u - 27. Suppose 2*w - 6 = u. Is 4 a factor of w?
False
Suppose -11 - 1 = -4*w. Suppose -8 = -7*m + w*m. Does 2 divide m?
True
Let o(m) = 124*m**2 + m + 1. Let t be o(-1). Suppose 0*a - a + t = 0. Suppose p - 2*y - 43 = -y, -a = -3*p + 4*y. Does 12 divide p?
True
Let q(k) = 17*k**2 + k + 1. Let l be q(-1). Let a = -3 + l. Does 14 divide a?
True
Let b(i) be the first derivative of -2*i**2 - 10*i - 1. Is b(-12) a multiple of 16?
False
Let l(z) = -z**3 + z**2 + 2*z. Let c be l(-2). Does 8 divide ((-4)/c)/(2/(-164))?
False
Let c(q) be the second derivative of q**4/12 + 4*q**3/3 + q**2 - q. Let m be c(-7). Let t(y) = -y**2 - 6*y + 1. Does 3 divide t(m)?
True
Suppose 6 = j - 9. Is j a multiple of 9?
False
Suppose 2*v + 27 - 253 = 0. Is 19 a factor of v?
False
Let q = -4 + 7. Suppose -3*t + q*m = -66, 3*t + 2*m - 69 = 4*m. Suppose -115 + t = -3*s. Does 15 divide s?
True
Let u = 335 + -227. Is 36 a factor of u?
True
Suppose 11*z + 408 = 14*z. Is z a multiple of 8?
True
Suppose 3*k + 4*n - 73 = 5*n, -1 = n. Is k a multiple of 7?
False
Let s = 10 - 5. Suppose 0 = -2*b - s + 13. Is 4 a factor of b?
True
Suppose 3*o + 60 = 8*o. Suppose -q - 3*q = -o. Suppose 0 = -3*k - q*w + 66, -k + 2*w = -12 - 22. Is k a multiple of 13?
True
Suppose -8*o - 4*g = -3*o + 46, -2*o - g - 19 = 0. Let z be 18/15*o/4. Let m(l) = -l**3 - 2*l**2 - 3*l + 2. Is m(z) a multiple of 10?
True
Suppose 0 = -2*m - 5*v + 213, -2*v + v - 492 = -5*m. Suppose 2*r + r = m. Is 18 a factor of r?
False
Let k(q) be the first derivative of 4/3*q**3 - 3*q - q**2 + 1. Is 13 a factor of k(-2)?
False
Let p(v) = v**3 - 3*v**2 - 8*v + 6. Let u be p(5). Let z = u + -6. Does 7 divide z?
False
Suppose -4*f + 2*c = 14, 5*f + 6*c = 4*c - 22. Let j(v) = v**3 + 6*v**2 + 6*v + 4. Is 12 a factor of j(f)?
True
Let v = -6 - -8. Suppose 4*j = -2*f + 136, 4*j + 43 - 195 = v*f. Is 11 a factor of 4/18 - (-784)/j?
True
Let x = -181 - -204. Does 11 divide x?
False
Suppose -4*t + 5*f = 0, 2*t - 6*t = 2*f + 28. Let r(w) = -w**2 - 3*w + 5. Let l be r(t). Does 13 divide (52/l)/(22/(-55))?
True
Let j(g) = g - 2. Let o be j(5). Suppose -2*h + 3*d = 25, 2*h + o*d + 7 = -0. Let u = 41 + h. Is 13 a factor of u?
False
Suppose -x + 10 + 21 = 0. Does 31 divide x?
True
Let c = 91 - 15. Suppose 5*t - c = 99. Is 12 a factor of t?
False
Let i(w) = w**2 + 3*w - 8. Does 10 divide i(4)?
True
Let p be -1*(-2 - (50 - 0)). Let t = p - 26. Suppose 0 + t = 2*v. Does 13 divide v?
True
Suppose 4*f = f. Suppose -4*k - j = -94, f*k - 5*j + 14 = k. Suppose 10 = 5*n - 5*l - 0*l, -3*n - 3*l = -k. Does 2 divide n?
False
Let p(s) be the second derivative of s**4/12 - 5*s**3/6 - s**2 - 2*s. Does 4 divide p(6)?
True
Let c(b) = b**2 - 13*b - 30. Is 7 a factor of c(21)?
False
Let q(m) = 2*m**2 - 10*m + 19. Is 10 a factor of q(7)?
False
Let j(m) = 25*m**2 + 7*m + 6. Is j(-3) a multiple of 15?
True
Suppose h + 0*h = 24. Does 12 divide h?
True
Is 8 a factor of (64/10)/((-4)/(-30))?
True
Suppose -l - l = -5*w + 49, 2*w = 5*l + 7. Is w a multiple of 7?
False
Is 99/5*(6 + (-2)/2) a multiple of 15?
False
Let i = -164 - -233. Does 20 divide i?
False
Suppose 5*g + 4 = 14. Suppose 2*v - 248 = -4*t, -2*t - 3*t - 3*v + 310 = 0. Suppose -t = -g*f - 6. Does 9 divide f?
False
Does 5 divide (-10)/(-5) - 54/(-2)?
False
Let u = 16 - 33. Let x = 39 + u. Is 9 a factor of x?
False
Let q(l) = 12 + 6*l**2 + 4*l - 5*l**2 + l. Does 16 divide q(-8)?
False
Suppose 12 = 4*p + 4. Let x = 368 + -252. Suppose -p*i = -6*i + x. Does 10 divide i?
False
Suppose 0*j + j + 123 = 0. Is 13 a factor of j/(-5) + 6/(-10)?
False
Suppose 13 = -0*n + n. Suppose -3*i + 44 + n = 0. Is 8 a factor of i?
False
Is (-156)/(-2 + 3/6) a multiple of 13?
True
Suppose 14*m - 12*m = 8. Suppose m*o = 7 - 23, k - 31 = 3*o. Is 4 a factor of k?
False
Suppose 0 = -g - 2*g. Suppose a + 0 - 3 = g. Suppose a*p - 20 = -p. Is p a multiple of 2?
False
Suppose 9*w + 64 = -26. Let j(d) = 2*d**3 + 27*d**2 + 20*d - 33. Let p(q) = -3*q**3 - 41*q**2 - 30*q + 50. Let g(y) = -8*j(y) - 5*p(y). Is 7 a factor of g(w)?
True
Let j = 9 - 7. Suppose j*v - 63 = v. Is 21 a factor of v?
True
Suppose -3*u = 5*n - 290, -u - 2*u + 5*n + 250 = 0. Does 30 divide u?
True
Let l = 4 + -2. Suppose -4*u - t = 20 - 112, -52 = -2*u - l*t. Does 11 divide u?
True
Suppose w = 5*r + 3*w - 5, 5*r - 5*w - 40 = 0. Suppose 5*y - 2 + 4 = -4*b, r*b + 11 = y. Suppose -y*u = -u - 7. Does 5 divide u?
False
Let j(y) = -3*y**3 + y**2 + 3*y - 1. Suppose 0 = -8*g + 3*g - q - 20, -3*g + 4*q + 11 = 0. Is 20 a factor of j(g)?
True
Let j = 266 - 61. Is j a multiple of 30?
False
Suppose 4 = -2*n + 8. Let b(g) = g**3 - 2*g**2 - 14*g - 3. Let k be b(5). Suppose 0 = -3*l + n*l + k*j + 19, -l = j - 19. Is l a multiple of 10?
False
Let u(d) be the first derivative of 25*d**2/2 - d + 3. Let l be u(1). Let i = l + -12. Is 10 a factor of i?
False
Let w = -13 - -28. Is w a multiple of 10?
False
Suppose -3*l + 3*b + 54 + 30 = 0, 3*l + b - 80 = 0. Does 5 divide l?
False
Suppose 2*r - 60 = 4*a, -4*a + 133 = 4*r + a. Let w = r + -14. Is 9 a factor of w?
True
Suppose n - 24 = -0*n. Is n a multiple of 24?
True
Let h(i) = 2*i**2 - 4*i - 7. Let d be h(7). Suppose -2*s + d = 11. Is 12 a factor of s?
False
Suppose -4*a - 136 = b, -42 = -b - a - 181. Is 12 a factor of (b/(-30))/((-1)/(-3))?
False
Suppose 5*p - 32 = -7. Suppose -2*h + p + 5 = 0. Is h a multiple of 5?
True
Suppose -5*z - 165 = -5*d, 2*d = 6*d + 5*z - 87. Does 14 divide d?
True
Suppose n + 4 + 2 = 0. Does 14 divide (1 - n)*6/3?
True
Is (-6)/(-10) + 8360/25 a multiple of 17?
False
Suppose r + 6 = -p - 36, 38 = -r + p. Let b = 14 + -41. Let u = b - r. Is u a multiple of 7?
False
Let r be ((-4)/6)/(7/(-252)). Suppose 4 = c - r. Does 6 divide c?
False
Does 9 divide ((-30)/(-5))/((-4)/(-6))?
True
Suppose -2*t + t = -2. Let k(m) = 2*m**2 - 12*m + 24. Let q be k(7). Let s = q + t. Does 16 divide s?
