+ 3*a - 1. Is 12 a factor of b(6)?
False
Let c = 3 - 1. Let p(m) = m**2 + 0*m**2 + 13*m**c + 1. Does 9 divide p(1)?
False
Let z(m) = -m**2 - 10*m - 5. Suppose 2*d = -4*b - 24, 0*d = 4*d + 4*b + 36. Let w be 0*2/d + -7. Does 6 divide z(w)?
False
Let y(h) = -5*h - h**2 + 8*h**2 + 2 - h**3 - 2*h**2. Let r be y(3). Suppose 28 = -k + r*k. Is k a multiple of 4?
False
Is 15 a factor of ((-10)/6)/(1/(-99))?
True
Let d(m) = 21*m + 1. Does 7 divide d(1)?
False
Let q(p) = 2*p**2 - 7*p. Is q(-5) a multiple of 13?
False
Suppose -x - 5*s = -11, 11 = 3*x - 8*x - 3*s. Is 3/(-1) - (x - 26) a multiple of 9?
True
Let f be 1022/(-7) - (0 - 2). Is (5/10)/((-3)/f) a multiple of 6?
True
Let j(d) = d - 10. Let w be j(13). Suppose -2*t - 4*b = 0, -w*t - 3*b + 6 = b. Does 6 divide t?
True
Let k(y) = 10*y + 52. Is 42 a factor of k(20)?
True
Let m(a) = a**2 + 7*a - 7. Let f be m(-6). Let y = f - -36. Does 6 divide y?
False
Suppose 0 = -4*w + 3*r + 183, -2*w + 71 = 4*r - 15. Does 9 divide w?
True
Suppose 0 = 4*z - 3*m - 17, -5*m - 3 = 4*z + 4. Suppose z*s = -22 - 10. Let o = 27 + s. Does 4 divide o?
False
Suppose 4*z + z - 155 = 0. Does 12 divide z?
False
Let p be -2 - (-5)/(5/6). Suppose -m + p = m. Let d = m - -18. Is 13 a factor of d?
False
Suppose -6*l - 6*l = -1800. Is l a multiple of 10?
True
Is 7 a factor of -1*((-1)/3 + 44/(-3))?
False
Let f be 4/10 + (-2214)/(-15). Suppose -z + 57 = -5*j + f, -5*j + 5*z = -75. Is j a multiple of 6?
False
Let f(t) = -2 + 2*t**2 + 2*t**3 - t - 4*t**2 - 2*t. Let s be f(3). Suppose -2*c - s = -g + 3, -3*c = 2*g - 56. Is 14 a factor of g?
True
Let p = 27 - 8. Let b = 35 - p. Suppose -4 = f - b. Does 10 divide f?
False
Is 4/(-8)*6*-43 a multiple of 43?
True
Let c(t) = t**3 + 4*t**2 - 5*t + 1. Suppose 4*d = -19 + 3. Is 21 a factor of c(d)?
True
Let h(u) = 2*u**2 - 11*u + 7. Let o be h(8). Suppose 2*f - 4*f = -5*v + 2, 3*f = -5*v + o. Is f a multiple of 5?
False
Suppose 0 = m + 2, 6*l - 3*l - 2*m = 289. Is l a multiple of 10?
False
Suppose -3*c + 3 = 0, 5*c = -i + 3*i + 1. Suppose 5*n = -i*q + 804, 2*n - 3*n = -3*q - 154. Suppose -5*t = 35 - n. Is t a multiple of 17?
False
Let y(q) = 13*q - 5. Let k be ((-3)/2)/((-24)/80). Is 20 a factor of y(k)?
True
Is 15/(-2)*30/(-25) even?
False
Let w = 162 + 57. Suppose -3*q + 180 = -r, -4*q + 21 = -r - w. Does 20 divide q?
True
Let x(a) = 3*a**2 - a - 5. Let z be x(5). Suppose -u + 2*u = -2*f - 26, -5*f = u + z. Let s = f - -35. Is s a multiple of 7?
False
Let g(y) = y**2 + 3*y - 3. Let z be g(-7). Suppose -r = -4*r - b + 5, 5*b - z = -r. Suppose r = -2*m + 3*m - 27. Is 15 a factor of m?
False
Let r = 7 + -13. Is 7/(((-8)/r)/4) a multiple of 21?
True
Suppose -4*i - 10 = -0*i - 5*f, -5*f + 10 = -i. Suppose -4*h + i*h + 60 = 0. Is 5 a factor of h?
True
Let l(m) = 1 - 4*m - m**2 + 1 - 1. Let j be l(-3). Is ((-18)/(-1))/(-3 + j) a multiple of 9?
True
Is 9 a factor of 44374/176 + (-1)/8?
True
Suppose -j - 80 = -5*j. Suppose 2*q + 2 = 2*h + 12, 4*h + j = -5*q. Suppose -2*g - 4*s + 22 = -q*g, -37 = -5*g - 4*s. Does 2 divide g?
False
Let d = 25 - 4. Is 5 a factor of d?
False
Let d(k) = -7*k - 2. Let q be d(-2). Suppose l + 2*l = 0. Suppose q + l = 4*c + 4*s, -2*s = 0. Is 3 a factor of c?
True
Suppose 2*v + 2*t + t = 1, v + 4 = -3*t. Suppose 55 + 135 = v*y. Is y a multiple of 14?
False
Let n be (16 + -3)*(1 - 2). Does 6 divide 1*(1 + n)/(-2)?
True
Let t = -4 + 0. Is 12 a factor of 24 + (-12 + t)/(-4)?
False
Let j = 31 + -19. Let i(y) = -y**2 + 11*y + 16. Let t be i(j). Suppose -t*g = 3*q - g - 63, 2*g = -2. Does 11 divide q?
True
Does 4 divide 130/13 + 1 + -3?
True
Let b = -78 + 110. Is 8 a factor of b?
True
Let m(p) be the second derivative of p**5/30 + p**4/4 - p**3/2 - p**2/2 - 5*p. Let s(w) be the first derivative of m(w). Is 9 a factor of s(-5)?
False
Suppose -80 = 3*f - 5*f. Is 20 a factor of f?
True
Suppose -b - 5*l = 33, -4*l - 9 = -l. Let i = -10 - b. Is i a multiple of 4?
True
Let p be (0 + 1 + -1)/(-2). Suppose 3*g = 2*t + 6*g - 41, 2*t + 4*g - 42 = p. Let f = 49 - t. Is 15 a factor of f?
True
Let h be (-15)/(-2) + (-7)/14. Let j = h - -10. Does 10 divide j?
False
Let f(g) = g**2 - g - 2. Let r(o) = -19*o**2 - o. Let n be r(-1). Let v be 4/18 + 94/n. Does 12 divide f(v)?
False
Let j be 2/(-6) - 7/(-3). Suppose 2*u = 1 + 5, -54 = -5*r + j*u. Does 4 divide r?
True
Suppose 0 = 4*k - o - 12, -o - 15 = 3*k - 8*k. Suppose k*b + 2*b = 75. Is 5 a factor of b?
True
Suppose 5*u = v - 26, 0 = -3*v + 3*u - 0*u + 30. Is v a multiple of 6?
True
Let b = 8 - 4. Does 3 divide b?
False
Suppose 2*w = -3*j + 29, -w + 3*w + 43 = 5*j. Let t(y) = -y**2 + 9*y - 2. Let k be t(j). Is 4 a factor of 10 + (0 + -2)/k?
False
Suppose -2*k = 4, -k = -5*t + k + 164. Suppose 5*a + 3*p = 7*p - 6, 5*a - 14 = -p. Suppose -a*b + 4*b - t = 0. Is 6 a factor of b?
False
Suppose 74 = 2*r - 4. Is r a multiple of 8?
False
Let p = 1 - -91. Is 23 a factor of p?
True
Let w be 276/10 - 6/10. Suppose -4*d = -w - 33. Is 5 a factor of d?
True
Let t be (0 - 1)/((-3)/6). Suppose -2*g - 2 = -0*f - t*f, f = 2*g - 2. Is f a multiple of 2?
True
Let j = 100 - -91. Does 13 divide j?
False
Suppose 12*h = 14*h - 62. Does 3 divide h?
False
Suppose -2*y = -4*w - 58, -w - 77 = -5*y + 59. Is y a multiple of 4?
False
Let o(g) = -g**3 + g + 68. Is o(0) a multiple of 17?
True
Suppose -3*s - 4 = -2*v - 3*v, -s + 2*v = 0. Let y be (-8)/(-32) - 198/s. Suppose 4*g - 135 = y. Is 15 a factor of g?
False
Suppose 0 = 4*i - 3*j - 1, -3*j + 1 + 6 = -2*i. Let a be ((-20)/3)/((-1)/3). Suppose -i*k + 64 + a = 0. Does 8 divide k?
False
Let z(j) = j**3 + 28*j**2 - 4*j + 23. Is 9 a factor of z(-28)?
True
Let x = -8 + 4. Does 9 divide x/(8/(-3))*12?
True
Let d be (-1 + -2 - -4) + 33. Let x(b) = b**2 + 7*b - 1. Let y be x(-4). Let g = y + d. Is 13 a factor of g?
False
Let p(r) = r**3 + 3*r**2 + r - 2. Let k be (6/(-15))/((-1)/(-5)). Let h be p(k). Suppose 3*f - 310 = -5*x, 2*x + 3*f - 133 = -h*f. Is x a multiple of 21?
False
Suppose -21*f - 152 = -25*f. Is 19 a factor of f?
True
Is 8/60 - 596/(-30) a multiple of 20?
True
Let g = -13 - -25. Is 12 a factor of g?
True
Suppose 25 = s - 8. Is 11 a factor of (-6)/((-138)/s - -4)?
True
Let k be (-14)/(-2)*1 + -1. Let w = k - 3. Suppose -4*o + w*o = -8. Does 4 divide o?
True
Let w(b) = b**3 - 11*b**2 + 11*b - 5. Suppose o = 3*u - 28, -2*u - o = -11 - 11. Is w(u) even?
False
Let s(u) = -1. Let w = 10 - 16. Let q(k) = -k + 6. Let n(y) = w*s(y) - q(y). Is n(5) even?
False
Let q(j) be the first derivative of 2 + 3/2*j**2 - 3*j. Is q(5) a multiple of 5?
False
Let q(b) = -142*b**3. Let l be q(1). Let w be 0 - l - (7 - 5). Suppose -4*s = s - w. Does 14 divide s?
True
Suppose 0 = -6*o + 2*o + 36. Let v = o - -5. Does 7 divide v?
True
Let w = -26 + 44. Is 9 a factor of w*(4/8)/1?
True
Let y(x) be the second derivative of x**6/360 - x**5/30 + x**4/24 + x**3/2 + x. Let z(k) be the second derivative of y(k). Does 11 divide z(6)?
False
Let g(m) = -m**3 + 3*m**2 - 2. Suppose 0 = 3*h + 2 + 4. Is g(h) a multiple of 7?
False
Let j = -525 - -849. Is j a multiple of 54?
True
Let j(w) = 6*w**3 - 3*w**3 - 3*w**2 - 3*w + 7*w**3. Let f(b) = -15*b**3 + 5*b**2 + 5*b. Let o(z) = -5*f(z) - 8*j(z). Is 2 a factor of o(-1)?
False
Let p(m) = -2*m**3 + 2*m. Suppose -5*u = -5*b + 15, -u + 3*b = 4*u + 13. Is p(u) a multiple of 12?
True
Suppose 2*b = z + 6*b - 14, 3*z + b - 9 = 0. Suppose -r - 63 = -2*v - z*r, -3*r = -2*v + 83. Does 18 divide v?
False
Suppose 0 = -2*k - 5 - 13. Let b be 11/k - 4/(-18). Does 13 divide b - (-42)/(5 + -2)?
True
Let s be -3 + (0 - -5) - -3. Let i(h) = h**3 - 3*h**2 - 4*h - 4. Is 13 a factor of i(s)?
True
Let k be (-3 + 4)/((-2)/(-32)). Let g = -3 + k. Does 7 divide g?
False
Suppose -8*q = -4*q - 56. Let u = 47 + q. Is 22 a factor of u?
False
Let k(n) = n**2 + 12*n - 13. Is k(-15) a multiple of 4?
True
Let n be 15/(-4) + (-36)/(-48). Is ((-3)/n - 16)/(-1) a multiple of 9?
False
Let q(b) = -b + 3. Let u be q(2). Let w = u + 16. Is 12 a factor of w?
False
Suppose p - 2*q + 0*q = -3, -3*q + 32 = 4*p. Is p even?
False
Suppose -12 + 57 = -5*b. Let p = b + 30. Is p a multiple of 8?
False
Let v(t) = t**3 + 8*t**2 + 9*t - 2. Let f be v(-7). Let z = f + 33. Does 11 divide z?
False
Let l be 8/(-36) + (-38)/(-9). Suppose -m + l = x, -60 = -5*x + 5*m +