2*s + b - 4*b = -48. Is s a multiple of 17?
False
Suppose 3*b + 9 = s - 4*s, -5*b - 2*s - 6 = 0. Suppose b*q = 2*q - 84. Does 14 divide q?
True
Let p be 2/((-12)/(-5) + -2). Suppose 40 = q - p*b, 2*q - 2*b = 56 + 64. Does 18 divide q?
False
Let v(y) = -y - 1. Let u be v(6). Let k(o) = -3*o - 6. Is k(u) a multiple of 9?
False
Let b be ((-9)/12)/((-2)/8). Suppose 10 + 17 = b*h. Is 327/h - (-6)/9 a multiple of 23?
False
Let m = 3 - 10. Is m/(-1)*(-36)/(-7) a multiple of 18?
True
Let i be 2/2*(6 - 3). Suppose -3*a + i*x = a - 30, -2*x + 40 = 4*a. Suppose -44 + a = -4*c - 3*p, p - 30 = -3*c. Is 4 a factor of c?
False
Is 4/(8/6)*13 a multiple of 18?
False
Let y be 2*2/((-4)/(-27)). Is 8 a factor of (32/(-6))/((-6)/y)?
True
Suppose 5*k = -c + 126, -4*k - 3*c + 66 = -k. Does 26 divide k?
True
Let z = 2 - 2. Let f be (-12)/(-4) + 0 + -1. Suppose z*m + f*m - 36 = 0. Is m a multiple of 8?
False
Suppose 0 = u + 3*u - 44. Let b = u - -13. Does 6 divide b?
True
Suppose 0 = 2*g + v + 2, 3*v + 9 = 3*g - 6*g. Let a be (1/2)/(g/(-16)). Does 6 divide -39*(1 + a/6)?
False
Let o = -8 + 5. Let b be (-89)/(-4) - o/(-12). Does 6 divide -3*b/(-3) - 2?
False
Let z(o) = -o**3 - 10*o**2 + o + 10. Suppose -3*d - 12 = 18. Let y be z(d). Suppose 2*p + p - 30 = y. Is p a multiple of 6?
False
Let q(x) = 2*x**2 - x - 2. Let p(h) = -4*h**2 + h + 3. Let f(u) = 6*p(u) + 13*q(u). Does 11 divide f(6)?
True
Let k(w) = -w - 2. Let s be k(-2). Let z be 19 + 1 + s + 1. Suppose 51 = 4*q + 5*n - z, 0 = -5*q + 2*n + 90. Does 9 divide q?
True
Suppose 3*q - 1156 = h, q - 377 = 4*h - 2*h. Let i = -2 - -5. Does 12 divide (1/3)/(i/q)?
False
Let w be (-3 - 0)/((-3)/2). Suppose -2*l - 4*m + 2*m = -122, w*m - 8 = 0. Suppose -l = 5*n - 252. Is 13 a factor of n?
True
Let u(y) = -y**3 + 3*y**2 + 8*y - 2. Is 2 a factor of u(4)?
True
Let x = 218 - 5. Is x a multiple of 29?
False
Suppose -5*x = 475 - 1470. Let h = 306 - x. Is 29 a factor of h?
False
Let c be 1/2 - 22/(-4). Let b(f) = -4*f + 2. Let j(x) = -6*x + 3. Let i(r) = 7*b(r) - 5*j(r). Does 5 divide i(c)?
False
Suppose -7 = w - 3*d, -5*d + 15 = -2*w - 3*w. Let f be (-95)/(1/(w + 2)). Let s = -61 - f. Is 17 a factor of s?
True
Let q(o) = o**3 - 5*o**2 - 2*o + 3. Let u be q(4). Let x = 38 + u. Is 10 a factor of x?
False
Let m = 42 + 7. Suppose -5*x + 2*w - m = -2*w, 23 = -2*x + 5*w. Is (21/(-9) + 0)*x a multiple of 13?
False
Let m(d) = -d - 3. Let a be m(-7). Suppose 0*v + a*v - 48 = 0. Suppose 0*b + v = 3*b. Is b a multiple of 3?
False
Suppose 3*p = p + 4. Suppose 1 = -2*t - a, -2*t + 0*a = 2*a + p. Suppose v + t*v - 5 = 0. Does 5 divide v?
True
Let g = 0 + 3. Suppose -3*h + 36 = -g*l, -4*h - h = 4*l - 60. Does 12 divide h?
True
Suppose -y = 3*w + 9, y - 4*w - 13 - 6 = 0. Let x be -3 - (y + -2 + 1). Is 6 a factor of (2 - -1)/(x/(-15))?
False
Suppose -67 = 4*a - p, 42 = -2*a - p + 1. Let u = 11 + a. Let n = 23 + u. Does 9 divide n?
False
Let u = -48 + 21. Let w = 14 - u. Is 22 a factor of w?
False
Let n(k) be the first derivative of k**4/4 + 2*k**3 - 3*k**2/2 - 2. Suppose -2 - 1 = -4*x - 5*h, x - 5*h = -18. Is n(x) a multiple of 18?
True
Let c(w) = -4 + 8 + 4*w + 5. Is 13 a factor of c(8)?
False
Let b = 253 - 177. Suppose -5*m + h = -b, -m = -5*h - 0 + 4. Does 8 divide m?
True
Suppose -4*f - 4 = 0, -7*j + 6*j + 200 = 2*f. Is j a multiple of 30?
False
Is (-3)/5 - (-4212)/45 a multiple of 26?
False
Suppose 4*u = 2*u + 168. Is 28 a factor of u?
True
Is 18 a factor of ((-14)/(-42))/(1 + 497/(-498))?
False
Let q(v) be the third derivative of v**5/20 - v**3/2 - v**2. Is 18 a factor of q(-4)?
False
Let f = -48 + 69. Is 7 a factor of f?
True
Suppose -2*u + 5*f = -94, 4*u - 17 = 3*u - 5*f. Is u a multiple of 18?
False
Suppose -j + 2*j - 22 = 0. Is 16 a factor of j?
False
Let t be 2/(-4) - 55/(-22). Suppose x - 58 = -2*x + 2*p, x = t*p + 22. Does 9 divide x?
True
Suppose -2*x + 30 = 3*x. Let f(z) = 3*z**2 + 36 + 3*z**2 + z - 5*z**2 - 33. Is 14 a factor of f(x)?
False
Suppose -5*u + 2010 = -0*u. Does 16 divide (-4)/16 - u/(-8)?
False
Let c be ((-5)/(-3))/(1/9). Suppose m - c = 2. Is 6 a factor of m?
False
Suppose -20 = -5*h - 0. Suppose -h*u - 9 = -3*u. Let c(x) = -3*x - 6. Is 10 a factor of c(u)?
False
Suppose 0 = -t - g + 33, 2*t - 7 - 57 = -3*g. Suppose -2*c + t = -9. Is 6 a factor of c?
False
Let k(h) = -10*h + 5. Is k(-2) a multiple of 5?
True
Let f(l) = -2*l. Let u be f(-1). Suppose 3*c = -a - u*a + 162, 0 = 2*c - 2*a - 92. Is 10 a factor of c?
True
Suppose -134 = -3*y + 28. Suppose -3*a + 0*a + y = 0. Is 7 a factor of 363/a + (-2)/12?
False
Suppose 0 = 3*h - 5*z - 11 + 1, 4*z - 16 = 0. Does 7 divide h?
False
Let c(a) = -6*a - 6. Suppose t + t - 16 = 0. Suppose -2*y = -0*y + t. Is 9 a factor of c(y)?
True
Let z = -135 - -204. Suppose z = 3*p + 21. Does 3 divide p?
False
Suppose -3*s = -2*s - 15. Does 15 divide s?
True
Suppose -5*j + 3 - 13 = 0, -2*l + 3*j = -124. Suppose -41 - l = -5*o. Is o a multiple of 5?
True
Suppose -5*v + 35 = 3*u, 0*u - v - 11 = -3*u. Suppose 3*x - u = 5*s - 13, 0 = x - 4. Suppose 0 = -s*y + 3*q + 79, 3*y - 4*q = 9 + 45. Does 11 divide y?
True
Suppose 0 = -j - j - 4. Is j/7 - 396/(-14) a multiple of 14?
True
Let f(t) be the third derivative of t**5/12 + t**4/12 + t**3/2 + 5*t**2. Does 12 divide f(-2)?
False
Suppose 4*q - 60 = -q. Is q a multiple of 12?
True
Does 5 divide ((-48)/(-10))/((-12)/(-30))?
False
Let v(q) = 2*q - 1. Let c be v(3). Suppose -a + 3*y + 7 = 0, c*a - 10 = y + 11. Is a even?
True
Suppose 2*x - h = 1 + 4, 3*h - 5 = x. Let a be 0/1 - 0 - 0. Suppose -2*w - 3*l = -84, a = 2*l - l + x. Is 20 a factor of w?
False
Suppose 3*a = 3*q + 30, -q + 1 = 5*a - 49. Is a a multiple of 5?
True
Let t = -56 + -10. Is t/(-4)*8/6 a multiple of 11?
True
Let s be 240/(-25) - (-4)/(-10). Let p be 4/s + (-819)/15. Let r = -36 - p. Does 8 divide r?
False
Suppose -d + 3*f + 93 = 0, d + f = 27 + 70. Does 30 divide d?
False
Suppose 9*b + 200 = 14*b. Is b a multiple of 20?
True
Suppose -3*j - 2*f = -35, -3*j + 25 = -3*f - 20. Let b = 1 - -1. Suppose -7 - j = -b*t. Does 5 divide t?
True
Let k(f) = -f**2 + 23*f - 27. Is k(18) a multiple of 40?
False
Let n(i) be the second derivative of 0 + 5/2*i**2 - 1/20*i**5 + 1/2*i**4 - i + 1/6*i**3. Is n(6) a multiple of 3?
False
Let s(z) = -z**2 - 6*z - 4. Let r be s(-3). Let u = -1 + r. Is 3 a factor of u?
False
Let l be ((-12)/(-3))/((-2)/2). Let x = 1 - l. Does 6 divide x*(-6)/(-20)*12?
True
Let r be 138/18 - (-1)/3. Let v(q) = 0*q**2 - 2 - 3*q + 8 + q**2. Is v(r) a multiple of 13?
False
Is 2*(-4 + 4 + 3) a multiple of 2?
True
Suppose 2*y - 2*r - 1 - 15 = 0, 0 = y + r - 18. Is 13 a factor of y?
True
Does 24 divide 1 - (-6)/(-2) - -100?
False
Let h = -1 - 3. Let m = -2 - h. Let x = m - -25. Is x a multiple of 15?
False
Let s be 25/(-3 - -1*4). Suppose -5*w = 3*u - s, u = w - 2*u - 5. Suppose -4*x + w*k + 68 = 0, -2*x - x + 51 = -k. Does 7 divide x?
False
Suppose 5*d = 6*d. Suppose 5 = -d*a + a. Does 2 divide a?
False
Let y(u) = 6*u**2 + 2*u + 3. Suppose -v = -6*v - 20. Let p be y(v). Suppose -3*d = -4*q - d + 98, 5*d = 3*q - p. Does 13 divide q?
False
Let j = -11 + 3. Let y = j - -13. Is y even?
False
Let o = 15 + 3. Suppose -5*a = -o - 52. Suppose 58 = 4*w - a. Is 13 a factor of w?
False
Is 15*11/((-55)/(-16)) even?
True
Let p(k) = 2*k - 6. Let v be p(4). Suppose -5*d = -20, v*j + 29 = 3*j + 5*d. Is j a multiple of 4?
False
Let b(k) = -2*k**3 + 3*k**2 - 2. Let w be b(2). Let n = w - -4. Does 10 divide (9 - n) + -3 + 5?
False
Let l = -4 - -2. Let k(b) be the second derivative of -7*b**3/6 - b**2/2 - b. Does 5 divide k(l)?
False
Let p(m) = -m + 100. Let v be p(0). Suppose v = -2*g - 3*g. Is 5 a factor of ((-1)/(-2))/((-1)/g)?
True
Let r(h) = -h. Let t be r(0). Suppose i + i - 30 = t. Does 15 divide i?
True
Let q = 36 - 65. Let n = 73 + q. Is n a multiple of 22?
True
Let h(z) = 4*z**3 + z**2 - 1. Let a(q) = 3*q**3 + 2*q**2 + q. Let o(u) = -5*a(u) + 4*h(u). Is o(7) a multiple of 10?
True
Suppose 2*i - 4 = 4*l, 3 = 2*l - 2*i + 7. Suppose h - 16 = -l*h. Does 5 divide h?
False
Let f = -75 - -78. Let u be 4/6*6*1. Suppose -u*c + f*c + 39 = 0. Is 23 a factor of c?
False
Let j = -88 + 169. Suppose -2*i - 12 = -2*z + 36, -i = -4*z + j. Does 10 divide z?
False
Let x(t) = -7*t - 11. Let d(f) = -15*f - 23. Let