= -21*n**2 - n. Let c be u(z). Is 3 a factor of (-4)/6 - c/6?
True
Suppose 4*k = 2*j + 10 + 12, -j - 17 = k. Let g = j + 0. Is 6 a factor of 6/g*-35*1?
False
Suppose s = 7*s - 324. Is s a multiple of 9?
True
Let k(u) = u**2 + 6*u + 4. Let b be k(-6). Suppose 0*f = 4*f - b. Is 16 a factor of (-8)/6*(f + -25)?
True
Suppose -3*g - 3*q = -87, q = -2*g - 0*g + 53. Does 6 divide g?
True
Suppose 2*g = 5*g - 15. Suppose -g*n + 8 = -87. Is n a multiple of 9?
False
Let z be (2 - 2)/(-2 + -1). Suppose 170 = -z*o + 5*o. Is o a multiple of 13?
False
Is (-738)/(-27) + (-2)/(-3) a multiple of 10?
False
Let n(v) = 5*v - 7. Let p(y) = -2*y + 3. Let b(i) = 3*n(i) + 7*p(i). Let s(f) = 5*f - 11. Let q(l) = -2*b(l) + s(l). Is 10 a factor of q(10)?
False
Let b be 2 - (0 - (-1 - 0)). Suppose 5*o - 14 - b = 0. Suppose -3*q - 30 = -4*t, -t - o*q = 2*t - 33. Does 9 divide t?
True
Let n(a) = 2*a**2 + 3*a + 14. Let u be n(-6). Let w = u + -32. Is 12 a factor of w?
True
Suppose -5*o = d + 16, -d + 19 = -0*d - 2*o. Is d a multiple of 9?
True
Suppose 0 = 4*v - 3*p - 47, 4*v - 38 - 21 = -p. Suppose y - v = -0*y. Does 5 divide y?
False
Suppose b + 176 = l - 2*b, l = b + 184. Suppose -4*n + l = -0*z + 3*z, -4*n + 252 = 4*z. Is z a multiple of 16?
True
Suppose -22 = -4*p - w - w, -3*p + 4*w = 0. Suppose -h - 4*h - 223 = -4*v, p*h = -v + 82. Let a = v + -36. Is a a multiple of 13?
True
Let g be (-1)/(-2) - (-166)/4. Suppose c - g = 4*c. Let r = 26 + c. Does 12 divide r?
True
Let o(r) = r + 5. Let b be o(11). Suppose u - 14 = -0*u - 4*t, -2*u - 4*t = -b. Is 2 a factor of u?
True
Let c(h) = h - 1. Let w(q) = 5. Let d(i) = 4*c(i) + 4*w(i). Is 34 a factor of d(12)?
False
Does 4 divide ((-14)/(-5))/(-5 - 303/(-60))?
True
Suppose 0 = -c - n + 28, -27 = -c + 4*n + 1. Does 28 divide c?
True
Suppose 8 = 2*m + 2. Is 1/m + (-16)/(-6) a multiple of 3?
True
Suppose -5*u + 2*p + 72 = 0, -u + p + 0*p + 12 = 0. Is 16 a factor of u?
True
Let j = 1 - -4. Suppose -j*r + 176 = f + 3*f, -r - f = -36. Is 12 a factor of r?
False
Let v(h) = -h**3 + h**2 + 5. Let x be v(4). Let i = -25 - x. Is 6 a factor of i?
True
Let s(z) = -34*z + 13. Does 23 divide s(-3)?
True
Suppose a - z = -4*a + 19, 7 = a + 3*z. Suppose -3*m - 4 = m, 2*m - 78 = -a*u. Is 10 a factor of u?
True
Does 35 divide (51/51)/((-2)/210*-1)?
True
Let w = 20 - 17. Suppose 0*v = -w*v + 21. Is 7 a factor of v?
True
Is (-8)/((-8)/10 - (-11)/(-55)) a multiple of 8?
True
Let w be (9/6)/((-9)/60). Let m = 43 + w. Is m a multiple of 11?
True
Let l = 14 + -10. Let x(v) be the third derivative of v**4/12 - v**3/3 + v**2. Does 3 divide x(l)?
True
Suppose -2*k + 27 + 7 = 0. Let i = 28 - k. Does 11 divide i?
True
Let s(l) be the second derivative of l**4/4 - 7*l**3/6 + l**2 + l. Is s(5) a multiple of 14?
True
Does 10 divide 3/7 - (-1206)/126?
True
Suppose 0 = 11*l - 13*l + 144. Is l a multiple of 14?
False
Let h be 4/12 + 23/3. Let k(i) = 8*i - 10. Is 23 a factor of k(h)?
False
Suppose -2*o = o + 216. Suppose 5*u = -0*u - 50. Is u*(2 + o/15) a multiple of 14?
True
Suppose 15 = -3*q, 4*m + 2*q - 39 - 155 = 0. Does 17 divide m?
True
Suppose 126 + 59 = 5*u. Is u a multiple of 13?
False
Let w be (-6)/4*8/(-3). Suppose -w*p + 12 - 4 = 0. Is p even?
True
Let l be -5 + -34 + -1*1. Is 4 a factor of ((-9)/(-6))/((-6)/l)?
False
Suppose -c = -3*w + 176, -4*w + 232 = -3*c + c. Does 20 divide w?
True
Let y(o) = 38*o**3 + 2*o**2 + o. Let n be y(-1). Suppose -c + 5*c = 220. Let t = n + c. Does 9 divide t?
True
Let i = -10 + 3. Let n(b) = 1 - 5*b + b + b + 0*b. Does 10 divide n(i)?
False
Let f(c) = -c + 289. Let m be f(0). Suppose 2*w + 3*j - 61 = w, 5*w - j = m. Is w a multiple of 10?
False
Let y be 50/(-6) - (-1)/3. Is 12 a factor of 1/2 - 188/y?
True
Suppose 2*c = 3*c - 3. Suppose -2*h - c*h = -70. Is h a multiple of 14?
True
Let k(v) be the first derivative of v**4/4 - 8*v**3/3 + 7*v**2/2 + 5*v - 1. Is k(7) a multiple of 3?
False
Let x(h) = h**2 + 2*h + 2. Let z be x(-3). Is (z - 3)*5 - 0 a multiple of 10?
True
Suppose 3*o = 0, -75 = 4*w + w + o. Let c = 12 - w. Is 5 a factor of c?
False
Suppose 0 = -17*y + 207 + 303. Is 3 a factor of y?
True
Let p be (-4)/(-6) - (-8)/6. Let w(x) = -9*x. Let u(s) = -45*s - 1. Let o(z) = p*u(z) - 11*w(z). Does 13 divide o(3)?
False
Suppose -5*y - 5*c - 2 = -7, -2*c - 14 = -2*y. Is 3 a factor of ((-66)/24)/((-1)/y)?
False
Suppose r - 3*g = -3*r + 158, 0 = r + 2*g - 34. Let d = -9 + r. Does 19 divide d?
False
Let g(v) = 15*v. Let k be g(2). Suppose 4*h + 3*o - k = 0, h - 1 = 3*o + 14. Let n = 12 + h. Does 12 divide n?
False
Suppose 0*o + 10 = 5*o. Suppose -o*n + 186 = 64. Does 20 divide n?
False
Suppose 104 = 3*h - h. Is 8 a factor of h?
False
Suppose -2*c = -6 + 2. Suppose 4*t = 3*s - 26, -4*s + 0*s + c*t + 18 = 0. Suppose -5*x + 0*k - 5*k = -155, -91 = -3*x - s*k. Is x a multiple of 16?
False
Let r = 295 + -113. Does 15 divide r?
False
Let b(o) = 2*o**3 - o**2 - 2*o - 2. Let h be b(-2). Does 13 divide 0/9 + (0 - h)?
False
Suppose 3*p = -p + 96. Does 7 divide p/(-10)*(0 + -10)?
False
Suppose -5*u = 343 - 88. Let o be (42/9)/((-4)/18). Let l = o - u. Is l a multiple of 10?
True
Does 5 divide 1/3*3*5?
True
Let x be (-90)/54*(1 - -5). Let u(q) = q**2 + 8*q + 4. Is u(x) a multiple of 8?
True
Let q(b) = 4*b**2 - 9*b + 15. Is q(5) a multiple of 19?
False
Does 15 divide (0 + 1 + -2)*-30?
True
Let s be -17 - -2 - 0/(-2). Let r be 1/(-3) + (-1415)/s. Let x = -51 + r. Does 13 divide x?
False
Suppose -7 = 5*c + 3*d - 244, -3*d - 51 = -c. Does 28 divide c?
False
Let s = 6 + -3. Suppose s*z + 5*g = -7, 5*z - z - 14 = -2*g. Suppose -z*d = -2*d - 8. Is d a multiple of 2?
True
Let p(v) = 13*v + 8. Let x(u) = 38*u + 24. Let i(d) = 17*p(d) - 6*x(d). Is i(-8) a multiple of 18?
False
Is 41 a factor of 150 + 2 + 4/(-2)?
False
Let f(j) = 2*j**2 - j + 4. Let k be (-1 - 0 - 2) + -2. Let x = 8 + k. Is 8 a factor of f(x)?
False
Is (12/(-5))/(16/(-200)) a multiple of 10?
True
Let k = -45 + 105. Is k a multiple of 15?
True
Is (-170)/(-6) - (-3 + 30/9) a multiple of 5?
False
Let u(m) = -m**2 - 11*m + 10. Is u(-11) a multiple of 10?
True
Does 12 divide (-48)/18*(-246)/8?
False
Let v(l) be the third derivative of l**5/60 - l**4/8 + l**3/3 - 3*l**2. Is v(-3) a multiple of 11?
False
Let s = 15 - 5. Is 19 a factor of (s + -1)*(-33)/(-9)?
False
Suppose 5*h - 132 = 3*h. Is 9 a factor of h?
False
Suppose t + 8 = 88. Suppose -t = -4*n + 72. Does 15 divide n?
False
Let f be 11/1 + -1 - 0. Let b = -2 + f. Is b a multiple of 8?
True
Suppose 0 + 4 = u. Suppose 3*r + 2*q - 11 = 0, -3*r + 6*r - u*q - 41 = 0. Is 7 a factor of r?
True
Let z = -5 - -13. Let x(c) = c**2 - 5*c - 7. Does 8 divide x(z)?
False
Let y(n) = n**3 + 9*n**2 - 5*n + 11. Is y(-9) a multiple of 7?
True
Suppose 2*p = -2*u + 6*p + 90, 0 = u - p - 43. Suppose q = 4*g + u, 11 - 2 = 3*g. Is 15 a factor of q?
False
Let r be 1 + -3 + 2*4. Suppose 2*d + 75 = -5*v + r*d, 5*d = -2*v - 63. Let s = v + 31. Is s a multiple of 12?
True
Let n(b) = 17*b**2 - b. Suppose -4*u + 3*s - 6 = -3*u, -9 = -4*u + s. Let m = -4 + u. Is n(m) a multiple of 18?
True
Suppose 3*s = 2*w + 3 - 10, -5*w = -s - 24. Suppose 5*m - 68 = g + g, 4*m + w*g = 28. Does 6 divide m?
True
Suppose -360 = -3*p - 2*p. Is 19 a factor of 2*2 - (0 - p)?
True
Suppose -3*g - 6*o + 73 = -4*o, -g + 3*o = -28. Let d = g + -18. Is 7 a factor of d?
True
Suppose 4*k - n - 3*n - 40 = 0, 0 = -4*k - 3*n + 40. Is 7 a factor of k?
False
Let b(d) = -d**2 - 9*d + 3. Let m be b(-9). Suppose -m*k - 40 = -4*k. Let n = k + -11. Does 15 divide n?
False
Is 9 a factor of (2/(-6))/((-6)/1908)?
False
Let d = 65 + -35. Suppose -d = -2*f - f. Is f a multiple of 3?
False
Is 4 a factor of (-1 - 0)*-2*2?
True
Suppose 4*c = 3*c + 2*z + 83, -c = z - 86. Suppose -4*l + c - 33 = 0. Does 13 divide l?
True
Suppose 0 = -4*l + 3*j + 8 + 9, 4*j + 22 = 5*l. Suppose 0 = l*w - 2 + 12. Let y = 12 + w. Does 7 divide y?
True
Is (-363)/(-9) - (-2)/(-6) a multiple of 12?
False
Let p be (-131)/(-7) + 2/7. Suppose -6 = -3*r, -a = -2*a - r + p. Does 5 divide a?
False
Suppose 0 = -4*m + z + 193, -4*z + 3*z = 5. Is m a multiple of 9?
False
Let m(l) = -30*l - 128. Does 22 divide m(-7)?
False
Let x(w) = w**3 - 4*w**2 - 8*w - 5. Let n be 5 + 2/(-2 + 4). Does 8 divide x(n)?
False
Suppose u - 5 = 2*y, -4*u + 5*y