13*m + 17. Let j be t(13). Let c = 31 - j. Does 14 divide c?
True
Let x(u) = -u**2 + u. Let s(z) = z**3 - z**2 - z + 3. Let i(c) = s(c) + 2*x(c). Is 3 a factor of i(3)?
True
Let k(i) = i**3 - 11*i**2 + 11*i - 12. Let u be k(10). Let q = 20 + u. Is q a multiple of 6?
True
Suppose -3*q + 2*w + 143 = 0, -3*q - 2*q + 230 = -5*w. Does 17 divide q?
True
Let i(n) = -8 + 8 - 2 + n**2 + 3*n. Let k be i(-4). Suppose -4*j + y = -136, 3*y - 62 = -2*j + k*y. Is 11 a factor of j?
True
Let l(h) = -h**2 - 9*h. Suppose 3 + 7 = -2*v. Is l(v) a multiple of 10?
True
Let b(j) = 2*j + 6*j**2 - 7*j**2 - 3*j + 2*j**2. Does 15 divide b(-9)?
True
Suppose 0 = 5*o - 4*o. Let s = 6 - o. Is s even?
True
Let d(k) = -k**2 - 6*k - 7. Let n be d(-5). Let z be ((-9)/(-3))/(-1 - n). Is 25 a factor of 6*-1*(z + -9)?
False
Let y(x) = 7*x**2 + x - 12. Is y(5) a multiple of 14?
True
Let b(v) = 3*v**2 + 8*v + 4. Let q be b(-5). Does 14 divide (q/9)/(2/18)?
False
Let z = -246 + 354. Does 9 divide z?
True
Is 10 a factor of (-6)/(-9) + 264/9?
True
Let r = 6 + -6. Suppose -5 = -r*s - s. Is s a multiple of 2?
False
Let o = 0 + 1. Suppose -2*v + 2*n = 0, -4*v + 5 = -n - o. Let k(r) = 4*r - 1. Is k(v) a multiple of 7?
True
Let x(p) be the second derivative of p**4/12 + 5*p**3/6 - 7*p**2 + 2*p. Does 18 divide x(-10)?
True
Suppose 0 = 5*y - 2*b - 136 + 19, 2*b = 4*y - 92. Is 5 a factor of y?
True
Let z(f) = -3*f + 5. Let k = -4 - -4. Suppose -2*h - 2 = 0, -2*x + k*h - h - 11 = 0. Is z(x) a multiple of 10?
True
Let c be 0 + (-2 - 4/2). Let v be 100/(c/2) + -3. Let s = -23 - v. Is 17 a factor of s?
False
Let r(p) = 84*p**2 - p - 1. Let w(l) = -l**2 - 14*l - 14. Let h be w(-13). Is r(h) a multiple of 23?
False
Let w be (15/(-9))/((-10)/12). Suppose -w*p + 198 = 4*v, 0*v + 5*p = -v + 63. Is 16 a factor of v?
True
Is 16 a factor of (-10)/55 + (-1060)/(-22) + 0?
True
Let y(m) = -4*m - 1. Let a = -28 - -19. Let d be y(a). Does 13 divide (-4)/14 + 920/d?
True
Let i = 8 + -4. Let p = 9 + i. Is 13 a factor of p?
True
Suppose 2*r = -r + 5*w + 32, 0 = 4*r - 5*w - 46. Does 7 divide r?
True
Let a be 4/(-6)*15/(-2). Suppose l - 6*l + 10 = a*t, t + 3 = -2*l. Is 14/8*(t - -1) a multiple of 7?
True
Suppose 4*h - 84 = 2*s, 4*s - 96 = -h - 3*h. Is 25 a factor of h - (1 - (-1 + 5))?
True
Let x = -4 + 10. Suppose 3*w - 27 = -12. Suppose 3*l = -s + x, 0 = -3*s - l + 21 + w. Does 8 divide s?
False
Suppose -4*r = -3*n + 14 + 7, 5*r = 4*n - 27. Suppose y = -0*y + n. Does 7 divide 47/y + (-3)/(-9)?
False
Suppose -5*r = 3*a - 29, -26 = -2*a + r - 3*r. Does 18 divide a?
True
Let o(v) = v**2 + 5*v + 3. Let t(c) = -c - 1. Let a be t(4). Is o(a) a multiple of 3?
True
Let m be (-4)/10 + 6/15. Let z = 3 - m. Is z a multiple of 2?
False
Let n = 7 + -3. Suppose -n*u + 8 = -12. Does 2 divide u?
False
Let d = 14 - 3. Let b = 17 - d. Is b - (0 + 2/(-2)) a multiple of 7?
True
Suppose 3*x + 105 = -2*x + 5*j, 0 = -2*j. Let q = x + 37. Is 8 a factor of q?
True
Suppose -2*f + 110 = -5*m, 0*f = -2*f + 2*m + 98. Is 3 a factor of f?
True
Suppose 0 = -d + 4 - 10. Let c = 13 + d. Is 2 a factor of c?
False
Let l(x) = x**3 - 9*x**2 + 1. Let p be l(9). Suppose p = s - 2. Is s even?
False
Let b(i) = i**2 + 9*i - 9. Let g = 5 - -1. Let q be b(g). Is (-2)/5 - q/(-15) a multiple of 3?
False
Let w = 5 + -1. Suppose w*g - 40 = 4*q, g - 6 = -2*q + 5*q. Is 12 a factor of g?
True
Suppose -4*o - z + 13 = 0, 2*o = -3*o + 3*z - 5. Suppose -5*b = 4*x - 0*b - 170, 5*x - 202 = -b. Suppose -o*f = -x - 36. Is f a multiple of 19?
True
Let h be 1 - 0 - (4 + -2). Is 6 a factor of (-4 - h)*(-1 - 1)?
True
Suppose 211 = -4*g - 85. Does 9 divide 1/(-4) + g/(-8)?
True
Let h(y) = y**3 - 11*y**2 - 11*y - 12. Suppose -12 = -0*s - s. Let z be h(s). Suppose 3*x = 2*f - 1, -2*f + z*f + 11 = -x. Is 5 a factor of f?
False
Let f be -1*(-8 - 1)/(-3). Let q be -1 + 6/f - -8. Suppose -q*p + 5*c + 172 = -13, 5*c = 10. Is p a multiple of 11?
False
Let p(a) = -4*a - 2. Let l be p(9). Let k be (-42)/10 + (-3)/(-15). Is 8 a factor of l/(-5) + k/(-10)?
True
Let d = 14 + 3. Let r = d + 1. Is 9 a factor of r?
True
Let z(c) = 46*c + 4. Let k be z(9). Is 13 a factor of k/8 - 7/28?
True
Let w(r) = -r**2 + 10*r + 4. Let d be w(10). Suppose 3*n - 5*n + d = 0. Does 11 divide (-22)/n*(0 + -1)?
True
Let w = -38 + 50. Is 12 a factor of w?
True
Does 15 divide (-6 + 8)*(-1 + 42)?
False
Suppose -5*c = -f - 186, 5*f = -2*c - 27 + 123. Is c a multiple of 14?
False
Suppose 3*r - 144 = 4*t - r, -5*r - 79 = 2*t. Let g = 75 + t. Is g a multiple of 19?
True
Let g = -73 + 115. Suppose 19*i - g = 17*i. Is i a multiple of 6?
False
Suppose a = 3 + 4. Let i(k) = k**2 - 8*k + 4. Let o be i(a). Is 11 a factor of 38/o*3/(-2)?
False
Let y(l) = -l**3 + 6*l**2 + 5*l + 1. Is 11 a factor of y(5)?
False
Suppose -9 + 5 = 4*g. Is (2/4)/(g/(-34)) a multiple of 15?
False
Let z = 25 + -10. Suppose -p + v = 6*v + z, 3*v = 5*p - 65. Suppose j - p = -u - 0*j, 20 = -u + 5*j. Is u a multiple of 2?
False
Let n = 24 - -3. Is n a multiple of 7?
False
Suppose 0*n = n - 2. Suppose n*o - 63 = -o. Does 7 divide o?
True
Does 13 divide ((-3)/(-6))/(4/104)?
True
Let y(m) = 42*m**3 + 1. Is 12 a factor of y(1)?
False
Let v = -7 + -10. Let g = v - -31. Is g a multiple of 14?
True
Suppose -8*m + 2261 = -m. Does 17 divide m?
True
Let u be 8567/52 - 2/(-8). Let b = 237 - u. Is b a multiple of 12?
True
Suppose 15 = 3*i - 75. Does 2 divide i?
True
Suppose -4*f = -0*f - 292. Does 8 divide f?
False
Suppose u = 2*x - 1, 4 = 7*x - 2*x - 4*u. Suppose -i + 3*a + a + 1 = x, 0 = i - 3*a - 2. Suppose w - 3 = 3*l, -5*w = -2*w - i*l - 13. Does 3 divide w?
True
Does 21 divide (-18)/(-15)*((-3185)/(-15) + 1)?
False
Suppose -5*l = 153 - 573. Is 28 a factor of l?
True
Let u = -37 - -81. Is 22 a factor of u?
True
Suppose -8*r = -2*h - 4*r - 12, 5*h - 5*r + 15 = 0. Suppose v - 6*v + 100 = h. Is 7 a factor of v?
False
Suppose 2*v + 10 = -0*v. Does 7 divide 6/v*(-20 + 0)?
False
Let k(t) = -5*t + 16. Let c be k(0). Suppose -50 = 2*a + 3*a. Let q = c + a. Is 6 a factor of q?
True
Suppose -2*x + 4*p + 2 + 4 = 0, -3*p + 9 = 3*x. Suppose j - 2*n = 5 + 15, x*n + 12 = 0. Suppose -31 = -5*g + 2*o + j, -2*g = -5*o - 13. Is g a multiple of 9?
True
Suppose 0*z - 1 = -3*z + 4*g, 0 = 3*z + g + 4. Let f be 0 - (-1)/z - -31. Suppose 0 = q + 4*d - f, -3*d = -3*q - 2*d + 90. Is 15 a factor of q?
True
Let j be (-5)/(-1)*(-133)/(-7). Let g = j - 23. Is 15 a factor of g?
False
Let m(n) = -n**3 + 5*n**2 - 4*n + 2. Is m(2) a multiple of 3?
True
Let z be 1312/20 + (-2)/(-5). Suppose -2*s = -4*s + z. Does 11 divide s?
True
Is 9 a factor of -4 - -7 - (-56 + (-4)/2)?
False
Let h(s) = 2*s**2 - 4. Does 5 divide h(4)?
False
Is (-542)/(-15) + (-18)/135 a multiple of 9?
True
Suppose 5*x + 2 = -3. Is ((2 - 40) + -1)*x a multiple of 13?
True
Let c(s) = -s**3 - 5*s**2 - 4*s + 1. Let p be c(-4). Suppose 22 = 3*x + p. Is 4 a factor of x?
False
Let m(r) = -r**2 + 14*r + 12. Let x be ((-36)/(-3))/(0 + 1). Is m(x) a multiple of 12?
True
Let f = 18 + 2. Is f a multiple of 18?
False
Suppose -5*w + 104 = -3*w - 2*t, -5*t - 152 = -3*w. Suppose -z = -3*v - 31 + 10, 5*z - w = -2*v. Is z a multiple of 3?
True
Let f(m) = m**3 + 7*m**2 - 9*m - 1. Is 6 a factor of f(-8)?
False
Let q = -59 + 27. Let i = q - -59. Is (2 - 2 - -3) + i a multiple of 12?
False
Suppose -6*v - 336 = -9*v. Does 36 divide v?
False
Let i(h) be the third derivative of -h**5/60 - h**4/3 - h**3 + 2*h**2. Let b(f) = f**3 + 2*f**2 + 3*f + 1. Let x be b(-2). Is 9 a factor of i(x)?
True
Let w be (-3)/(-2) - (-3)/(-2). Suppose w*u + 84 = -3*u. Is 4/14 + (-300)/u a multiple of 11?
True
Suppose -26 = -d - 13. Does 13 divide d?
True
Let z be 20/(-1) - (1 - -1). Is z/6*(0 + -3) a multiple of 11?
True
Let z = 56 + 172. Suppose 2*a + z = 6*a. Is 19 a factor of a?
True
Let h(z) = -68*z. Does 17 divide h(-1)?
True
Suppose 5*m + 72 + 28 = 5*p, m = 3*p - 50. Is p a multiple of 5?
True
Let l(f) = -3*f**3 - 11*f**2 + 5*f + 4. Let x be 1/(2 + 9/(-5)). Let s(w) = w**3 + 6*w**2 - 3*w - 2. Let v(q) = x*s(q) + 2*l(q). Does 6 divide v(7)?
True
Is 45 a factor of (-2 + 0 - 2) + 49?
True
Suppose 4*r + 0*w = -w + 86, -3*w + 60 = 3*r. Does 17 divide r?
False
Let c(r) = -22*r**2 + r - 1. Let z be c(-2). Let n = 150 + z. Let b = -18 + n. Does 17 divide b?
False
Let m b