m, -p + m + 19 + 2 = 0. Does 3 divide p?
False
Suppose -15*k = -10*k - 600. Is 24 a factor of k?
True
Let c be 18/(-3) - (-1 + 1). Let i = c + 12. Suppose 2*p - 10 = -3*h + i*h, 0 = -3*p + 3*h + 18. Is p a multiple of 5?
False
Suppose 3*p - 23 = -8. Suppose 6*s = s + 70. Suppose -d + 2 = -2*o, 3*d - p*d = o - s. Is d a multiple of 6?
True
Let u = 8 - 5. Suppose -k - u*k = -36. Is k even?
False
Suppose -x - x - 4 = 0. Let m be 2 - (-16 - x) - -2. Suppose 67 + m = 5*w. Does 8 divide w?
False
Let j be (-2 - (-21)/15)*-5. Suppose j*h + 2*y = 3*y + 66, -2*h - 2*y + 44 = 0. Does 22 divide h?
True
Let w = -60 + 205. Is w a multiple of 30?
False
Suppose -3*x + 64 = x - 4*w, 5*x - 56 = -w. Suppose -2*h = -10 + 38. Let z = x - h. Is 13 a factor of z?
True
Let k(m) = m**2 + 9*m + 10. Let h(y) = -y**2 - 7*y - 1. Let w be h(-8). Let a be k(w). Suppose 4*s - 14 = a. Is s a multiple of 3?
True
Let s(g) = 28*g**2 - 2*g + 1. Let y be s(1). Suppose -2*p = -27 - y. Is p a multiple of 7?
False
Let y(w) = -2*w**2 - 2*w - 6 + 3*w**2 + 0*w**2. Let i = 79 - 73. Is y(i) a multiple of 15?
False
Suppose r + 2 = 5. Suppose 0*n = -r*n + 51. Is n a multiple of 17?
True
Suppose 2*a = -1 + 5. Is 2 a factor of a?
True
Suppose 2*q - 20 = 6*q, 74 = f - 4*q. Suppose 2*o - 9 + 3 = 0, 0 = -z + 4*o - f. Is z/(-9)*9/2 a multiple of 8?
False
Suppose -5*j = 2*z - 29, -3*j + 16 = z + j. Let t = 42 - z. Does 10 divide t?
True
Suppose 0*y + y = 4. Does 11 divide 1 + (-12)/y - -24?
True
Let z = 55 - -2. Is z a multiple of 19?
True
Is ((-1924)/4 + -2)*2/(-3) a multiple of 50?
False
Let j(l) = -9*l**3 + 5 - 5 + l + l**2. Let a be j(-1). Suppose -33 = -g - f - a, 3*f = g - 36. Does 11 divide g?
False
Suppose k = 2, 0 = -3*n + 4*k + 48 + 43. Suppose -15 = -3*w + n. Suppose -4*h + 32 = -w. Is 9 a factor of h?
False
Suppose -33 = -4*f + f. Does 11 divide f?
True
Let v = 25 - 15. Let h be 4/18 - (-6)/(-27). Suppose h = 4*g - v - 86. Is g a multiple of 9?
False
Let k(o) = -3*o + 10. Let c be k(-8). Suppose s + z - c = 11, 4*z + 198 = 5*s. Is s a multiple of 21?
True
Let p = -681 - -1060. Is 36 a factor of p?
False
Let i(j) = j**3 + 8*j**2 - 10*j - 9. Let z be i(-9). Suppose w - 15 = -3*d, w - 3*d + d - 25 = z. Is w a multiple of 5?
False
Suppose -3*t = -o + 33, -o + 32 + 5 = -4*t. Is o a multiple of 3?
True
Suppose 0*t = -4*t - 40. Let x = -12 - t. Let m = x - -9. Is m a multiple of 5?
False
Suppose k + 475 = 2*n, 4*n - 237 = -k + 698. Suppose 0*t + n = 5*t. Is 17 a factor of t?
False
Suppose j - 3*j - 8 = -3*f, -2*f - j = -3. Let l(w) = -10*w - 2*w**2 + 11 + w**f - 5 + 8. Is 2 a factor of l(-11)?
False
Suppose 150 = 9*q - 255. Does 15 divide q?
True
Is ((44/(-4))/1)/(-1) a multiple of 7?
False
Suppose -m + 16 = -32. Is m a multiple of 24?
True
Suppose -f - f + 3*q + 87 = 0, 2*q - 47 = -f. Is f a multiple of 15?
True
Suppose -3*q + 763 = -0*q - 4*r, -3*q - 4*r + 755 = 0. Is q a multiple of 12?
False
Let t be 2/(-11) - (-136)/22. Let r be ((-3)/t)/((-3)/(-12)). Is 2 a factor of r/(-3)*(8 - 2)?
True
Suppose 0 = 4*s + 20, 5*s - 27 = -0*v - v. Does 17 divide v?
False
Suppose -v - 26 = -5*q, -13 = -5*v + 3*v - 3*q. Let n be 6*(-58)/(-4) - v. Suppose 0 = -5*h - 4*o + 89, 2*h - o - n = -2*h. Does 9 divide h?
False
Suppose -5*i = -3*b - 0*b + 38, -2*i - 46 = -4*b. Let w be 2/4*(1 + b). Suppose w = 2*a - 66. Does 14 divide a?
False
Let f = -54 + 94. Is f a multiple of 4?
True
Suppose w = 6*v - 2*v + 12, 0 = -2*w - v - 3. Suppose w = 3*o + 2*o - 15. Is 3 a factor of o?
True
Suppose 4*t = 4*g - 276, -t + 65 = g + 2*t. Does 34 divide g?
True
Let z be 1/3 + (-71)/(-3). Suppose 0 = -5*b + 2*b + z. Does 5 divide -7*(-2)/b*4?
False
Let r(n) = 2*n - 1. Let a be r(1). Let k = a - 4. Let s(t) = -t**3 + 3*t - 1. Is s(k) a multiple of 17?
True
Suppose -12*z + 120 = -8*z. Does 7 divide z?
False
Let l = 12 + 6. Is 9 a factor of l?
True
Suppose 12*c - 13*c + 3 = 0. Suppose -c*o + 66 = 21. Is o a multiple of 10?
False
Suppose 0 = 5*c + 7 - 27. Let h be (c/(-6))/(2/3). Let s(l) = 8*l**2 + l. Is s(h) a multiple of 7?
True
Let h = 4 + -2. Let z be h/8 - (-18)/24. Does 12 divide -1 + (1 - (-36)/z)?
True
Suppose 0 = a - 0 - 2. Suppose 45 = a*b - 33. Is 13 a factor of b?
True
Suppose -3*o + 1 = -2*m + 36, 34 = 2*m - 2*o. Is 8 a factor of m?
True
Suppose -4*f + 0*f = 24. Let x(n) be the third derivative of n**5/60 + n**4/12 - n**3 + n**2. Is 8 a factor of x(f)?
False
Suppose -7 = 2*s - 29. Is s a multiple of 2?
False
Suppose -2 = -0*q - q. Suppose -k + q*p - 20 = -2*k, -k + 40 = -2*p. Is k a multiple of 15?
True
Let m(z) = 32*z - 40. Does 36 divide m(5)?
False
Let a be (111/(-6))/((-1)/8). Suppose -5*z + 5*h + 230 = 0, -3*z + 3*h = -2*h - a. Does 11 divide z?
False
Let c(s) be the third derivative of -5*s**4/24 - s**3/3 - s**2. Is 14 a factor of c(-6)?
True
Let x(o) = -17*o - 8. Does 30 divide x(-10)?
False
Suppose v = -2*v + 57. Is v a multiple of 12?
False
Suppose -3 = 2*b - 7, 14 = 2*g + 5*b. Let j = 5 - g. Suppose 9 = -j*i + 30. Is 4 a factor of i?
False
Is (-6)/9*-3 - -31 a multiple of 11?
True
Suppose -9*v + 95 = -4*v. Is v a multiple of 4?
False
Let m = 4 + 14. Is 9 a factor of m?
True
Let s = 8 + -3. Suppose -s*k + 8 = -12. Does 13 divide (-260)/(-8) - 2/k?
False
Is 30/5*9/2 a multiple of 4?
False
Suppose 4*g - 3*c + 3 = 0, -g + 4*c + 0 - 4 = 0. Suppose -2*l + 42 = -g*l. Let q = l - -21. Does 14 divide q?
True
Let t(n) = n**2 - 6*n. Is t(10) a multiple of 8?
True
Suppose -10 = -3*f - 2*f. Let k be 1 + (0 - (0 - f)). Suppose k*d - 5*d = -4*o, -4*d + 36 = 4*o. Is d a multiple of 3?
True
Let h = 0 - 0. Suppose 4*t - 102 - 102 = h. Is 17 a factor of t?
True
Let f be -3 + 1/(-1 + 2). Let y be f*2/4 + 3. Does 17 divide (47 + (y - 0))*1?
False
Suppose -5*s - 3*k + 50 = 0, -s - 8*k + 4*k = -10. Suppose s + 2 = 3*y. Suppose 3*o - y*h - h + 1 = 0, 0 = -4*o + 3*h + 17. Is o a multiple of 4?
True
Let j be (-4 - -2) + (4 - -1). Suppose -j*t + 8 = -1. Does 3 divide t?
True
Let g(z) = 2*z + 18. Is 2 a factor of g(-7)?
True
Let p(c) = c**2 - 5*c + 5. Let a be p(5). Suppose -r = -a, -5*s + 2*s + 3*r = -24. Is 10 a factor of s?
False
Let n be ((-2)/2)/(1/(-7)). Let x = n + -5. Suppose u + x*u + y - 63 = 0, u - 5*y - 5 = 0. Does 10 divide u?
True
Let j be ((-3)/(-9))/(2/318). Suppose -3*p + j + 49 = 0. Is p a multiple of 11?
False
Let h(v) = 3*v + 0*v**2 - 2*v**3 + 3*v**3 - v**2 - 2. Suppose 0 = -2*t + 5*s + 13 + 6, -4*t + s + 11 = 0. Is 8 a factor of h(t)?
True
Suppose 0*k - 2*k + 14 = 0. Let r be 1*(-1 + 0) - k. Let u(d) = -d**3 - 7*d**2 + 8*d + 10. Is u(r) a multiple of 5?
True
Suppose 0 = -2*z + 2*l - 38, 10 = z - 3*l + 35. Let i = 52 + z. Is i a multiple of 10?
False
Let z(p) = 3*p**3 + 6*p**2 - 3*p - 6. Is 12 a factor of z(5)?
True
Let s(l) = 3*l**3 - 4*l**2 + 2*l. Let u be s(6). Suppose 2*m + u = 6*m. Suppose 4*p - m = p. Is 20 a factor of p?
False
Does 21 divide (-2)/9 - (146/(-9) - 5)?
True
Suppose -2 + 1 = s. Let i(v) = -5*v**3 - v**2 - 2*v - 1. Let g be i(s). Suppose 5*w - 85 = 5*n, -3*w - g*n + 3 = -8. Does 12 divide w?
True
Let w(r) be the second derivative of -r**5/20 + r**4/2 + 2*r**3/3 - r**2/2 - 2*r. Let j(x) = x**2 + 6*x - 4. Let m be j(-7). Does 19 divide w(m)?
True
Is 8 a factor of 0 + 0 - (-14 + 0)?
False
Suppose 0 = -5*h + h + 96. Is h a multiple of 8?
True
Suppose 0 = 4*b + 21 - 101. Does 4 divide b?
True
Suppose -212 = -4*g - 4*y, 187 = 4*g - 3*y + 2*y. Does 8 divide g?
True
Let a(o) = -o**3 - 2*o**2 - 3*o + 1. Let c = -4 - -3. Let u be 2/c*9/6. Does 19 divide a(u)?
True
Let s(v) be the first derivative of v**4/4 + v**3 - 2*v**2 - 4*v + 1. Let z be s(-4). Let t(a) = a**3 + 6*a**2 + 7*a + 6. Is t(z) a multiple of 8?
False
Let t = -5 - -2. Is 4 a factor of -5*(t - -2) + 3?
True
Suppose 6*s - 11*s + 70 = k, -3*k + 4*s + 153 = 0. Is k a multiple of 33?
False
Let w(j) = j + 9. Let u be w(-10). Let p be (u + 0)/((-3)/6). Suppose -m + 0*m = 4, -70 = -2*f - p*m. Is 13 a factor of f?
True
Suppose -65 = -4*d + 339. Is 8 a factor of d?
False
Let a(y) = -y**2 + y + 24. Let f(l) = l + 12. Let k be f(-10). Suppose 4*x + k = 5*t + 5*x, -t = 3*x - 6. Is a(t) a multiple of 12?
True
Is ((-24)/(-18))/((-4)/(-18)) a multiple of 2?
True
Let h be 0 + (-40)/(-6)*9. Is 14 a factor of ((-8)/2)/((-5)/h)?
False
Let a = -4 - 3. Let q = a