 = 2*f**3 - 5*f**2 - 9*f + 1. Is 31 a factor of z(5)?
False
Suppose 205 = 4*t - 135. Is t a multiple of 30?
False
Let m = -24 - -2. Let o = -15 - m. Is o a multiple of 5?
False
Let k(s) = s**2 + 2*s - 9. Let d be k(-7). Suppose -2*n + 0*n - 4*p + d = 0, n - 14 = -p. Does 15 divide n?
True
Let i = -3 + 5. Suppose i*j = 4*j - 4. Suppose 5*b - 39 = -j*a, -3*a + 0*b = 5*b - 51. Is a a multiple of 6?
True
Suppose n = -4*n + 75. Let g = 28 - n. Does 5 divide g?
False
Suppose 2*y - 3*m - 76 = -4*m, 2*y - 84 = m. Is y a multiple of 20?
True
Suppose -4*w + w = -78. Is 8 a factor of w?
False
Let b be 0/((-4)/(-10)*5). Suppose b = -5*k + 279 + 1. Is k a multiple of 28?
True
Let j(c) = 2*c + 12. Let i(f) = 3*f + 13. Let z(r) = -3*i(r) + 4*j(r). Is 3 a factor of z(5)?
False
Suppose 0*p = -p + 6. Let a = p - -11. Is 17 a factor of a?
True
Let t(u) be the first derivative of u**5/20 - u**4/4 - 2*u**3/3 - 3. Let p(s) be the third derivative of t(s). Does 9 divide p(4)?
True
Let a(u) = u - 11. Let p be a(9). Is p*(-1)/(-3)*-93 a multiple of 13?
False
Let s be 9 - (1 + 0/1). Let g be (-1 + -2)/((-6)/s). Suppose -3*q - 13 = -g*q. Is 13 a factor of q?
True
Let n = 76 + -10. Does 8 divide n?
False
Let w(r) = -3*r**2 + 4*r + 5*r + r + 5*r**2 + 6. Is w(-6) a multiple of 12?
False
Let o = 5 - 8. Let j be (15/(-2))/(-5)*(-2 + 12). Is 10 a factor of o/15 + 363/j?
False
Suppose -v - 6 = 3*r - 1, -4*r + 4 = -4*v. Let o = v - -23. Is o a multiple of 9?
False
Let u = -4 - -11. Let y = 8 - u. Suppose -7 = -l + y. Is 3 a factor of l?
False
Let x(q) be the third derivative of q**5/60 + q**4/8 + q**3/2 + 2*q**2. Is 13 a factor of x(-5)?
True
Let v(y) = -y**3 - y**2 - 6*y - 7. Is v(-3) a multiple of 15?
False
Suppose -5*s + u + 31 = 0, -3*u + 23 = 4*s - 2*u. Does 3 divide s?
True
Let j(t) = 11*t**3 + t**2 + 3*t - 18. Let d(q) = 5*q**3 + q**2 + q - 9. Let h(c) = -13*d(c) + 6*j(c). Does 3 divide h(6)?
True
Suppose -5*n = -6*n + 3. Suppose n*g - 21 - 15 = 0. Does 6 divide g?
True
Let l = 11 + -12. Let d be 4 - (0 - l - 0). Does 2 divide d - 4/(-3 - -1)?
False
Suppose -56 = -6*l + 16. Is 2 a factor of l?
True
Suppose 1 = -4*s + 17. Is s a multiple of 2?
True
Let j(y) = -y + 16. Let i be j(12). Suppose -i*s + s = -24. Is s a multiple of 3?
False
Suppose n + 2 = 3*x - 27, -5*n = -3*x + 37. Suppose 3*l = 9, -h - x + 34 = l. Does 11 divide h?
True
Let c = 1291 + -907. Is c a multiple of 11?
False
Let h(t) = t**3 + 7*t**2 - 5*t + 7. Let v be h(-6). Suppose -4*n + o = -137, 3*n + o - v = n. Is 18 a factor of n?
False
Let d be (-2)/(-9) + 200/(-9). Let y = d - -15. Is 9 a factor of (-1)/y - (-237)/7?
False
Let d be (-6)/(134/(-64) + 2). Suppose -4*i - 5*z - 6 = -d, z - 50 = -4*i. Is 2 a factor of i?
True
Let a = 5 + -3. Let l be 1/2 + (-1)/a. Is 3 + -2 - l - -13 a multiple of 14?
True
Let j(g) = -6*g - 3. Suppose 0 = 4*q - 10 + 26. Let y be -2 + (2 + q - 0). Is j(y) a multiple of 12?
False
Suppose -2*s = -4*w + 61 - 235, 2*s = 3*w + 171. Suppose 3*h = 0, -3*k + 0*k + s = -2*h. Is k a multiple of 13?
False
Does 5 divide (-19)/(-1)*(11 + -10)?
False
Let r(i) = 0*i + 3*i - 3*i**2 - 4*i - 4*i**3 + 3 + i**3. Is r(-3) a multiple of 19?
False
Let v be 1/(-5) + (-213)/(-15). Suppose v = -2*q + 4*q. Does 17 divide 2/q - (-725)/35?
False
Let a = 4 - 1. Suppose 5*s - j - 117 = 0, j - 6 = -a. Is s a multiple of 12?
True
Suppose -34*w + 30*w = -64. Is 13 a factor of w?
False
Suppose 3*y = -t + 11, 3*t + 2*y = 7 + 5. Let p(c) = 5*c**2 + c - 3. Let m(a) = 5*a**2 - 2. Let z(s) = 3*m(s) - 2*p(s). Is z(t) a multiple of 8?
True
Let s(f) = -f**3 - 7*f**2 + 4*f + 8. Is 8 a factor of s(-8)?
True
Let l be 0/((-1 + 0)/1). Suppose -z = 3*x - 31 + 6, 3*x - 5*z - 55 = l. Is x a multiple of 5?
True
Let z be (-1698 + 12)*8/(-6). Is 6/(-21) + z/28 a multiple of 20?
True
Suppose s + 21 = 2*b, 4*b - 6 = -2*s + 32. Is 10 a factor of b?
True
Does 10 divide (39/13)/(3/10)?
True
Is 10 a factor of 47/5 + (-39)/(-65)?
True
Suppose 2*s = 3*i + 22 + 8, 3*s + 5*i - 64 = 0. Does 9 divide s?
True
Suppose 1 = 2*p - 3. Suppose -1 = p*y - 121. Does 16 divide y?
False
Let p = -7 - -10. Let c(q) = -q + 5 - p - 7*q. Is 18 a factor of c(-2)?
True
Suppose 11 + 37 = 2*u. Does 4 divide u?
True
Let d(y) be the first derivative of y**4/4 - 5*y**3/3 + 5*y**2/2 - 3*y - 3. Let g be d(4). Is (-6 - 1)*(-1 - g) a multiple of 5?
False
Suppose -4 = 3*d - 1, 0 = 2*i - 5*d - 341. Does 13 divide i?
False
Let w(d) = -12*d - 72. Is w(-19) a multiple of 12?
True
Let a(y) = -6*y - 4. Suppose -5*k = -m - 1 - 4, 0 = 3*m - 2*k + 15. Is 13 a factor of a(m)?
True
Suppose -h = -3*t + t + 19, -4*t = 3*h - 13. Let q(k) = 0*k - 7 + 2 - 5 + 4*k. Does 17 divide q(t)?
False
Suppose -5*c + 56 = -c. Let g = 40 - c. Let y = -13 + g. Is 5 a factor of y?
False
Let g be (-2)/(-5) - 7/5. Let y = g + 3. Suppose -5*f = -4*n - 63, y*f - 3*n = 7*f - 84. Is f a multiple of 6?
False
Let n(g) = -8*g + 10. Is 14 a factor of n(-4)?
True
Let s(l) = 35*l**3 - 6*l**2 + 7*l. Is 12 a factor of s(1)?
True
Let n(y) = 2*y**2 - 7*y - 6. Let t(v) = 2*v**2 - 6*v - 5. Let j(f) = -3*n(f) + 4*t(f). Does 7 divide j(3)?
True
Let y(a) = 14*a**2 + 1. Let u be (4/2 - 3)*1. Is 5 a factor of y(u)?
True
Suppose s - 6 = 2*s. Let q(b) = -7*b**2 - 1 - 2*b**3 - 7*b + b**3 - 3. Does 2 divide q(s)?
True
Is 13 a factor of (-6)/(-1)*39/9?
True
Suppose 76 = -3*u + 5*u. Suppose -3*q + u = -q. Does 9 divide q?
False
Suppose 46 = w - 2*f, -2*w + 87 = -0*w - 3*f. Is w a multiple of 12?
True
Let l(n) = n**2 - 3*n - 2. Let y be l(5). Suppose -y = -5*d + 17. Is d even?
False
Suppose 7*a = -0*a + 987. Is 24 a factor of a?
False
Let w(b) be the third derivative of -3*b**4/2 - 3*b**2. Let a(k) = k + 7. Let u be a(-8). Is 14 a factor of w(u)?
False
Suppose -4*q - q = -15. Suppose 2*b = k - 68 + 20, -q*k + 124 = 4*b. Is 15 a factor of k?
False
Is 34 a factor of -2 + (-546)/(-4) - (-6)/4?
True
Suppose w - 2*w + 28 = m, 3*w = -4*m + 112. Does 4 divide m?
True
Let t(h) = -2*h - 3. Let w be t(-2). Let p = w - -3. Suppose 12 = m + 3*c, 0 = p*m + 3*c - 25 - 32. Is 14 a factor of m?
False
Is 15 a factor of (-510)/(-9) + 2/(-3)?
False
Suppose -210 = 5*g - 2*g. Let u = g - -101. Let s = u - 21. Is s a multiple of 4?
False
Let v(p) = 1391*p**2 - p. Let h be v(-1). Is h/28 - 4/(-14) a multiple of 21?
False
Does 8 divide (-783)/(-108) - 3/(-4)?
True
Let y(v) = -v**3 + 4*v**2 + 7*v - 3. Let j be y(5). Let u = j + -7. Suppose -4*b + u*b = -3*a + 32, 0 = -a + 4*b + 8. Is 8 a factor of a?
False
Let n = 3 + 1. Is 10 a factor of (-7 - -5)*(-74)/n?
False
Let z be 2/9 - (-502)/9. Suppose 3*c - 2*f = 12, -4*c + 21 = c - 3*f. Does 8 divide (54/21)/(c/z)?
True
Let v = 1 + -4. Let o be (-1 + -11)*1/v. Let p = 24 + o. Is 14 a factor of p?
True
Suppose -2*z + 5*p + 81 = 2*z, -5*p = 2*z - 3. Suppose -17 - 55 = -3*g. Let y = g - z. Is y a multiple of 10?
True
Let n = -12 - -8. Is 11 a factor of (14/n)/(-7)*22?
True
Suppose 4369 = 11*b + 1751. Does 51 divide b?
False
Let r = -33 - -80. Let v = -25 + 47. Let w = r - v. Is 7 a factor of w?
False
Let u(c) = 17*c - 13. Is 31 a factor of u(4)?
False
Let t = 0 - -5. Suppose -2*m + 45 = 5*z, t*m = z + 4*z + 25. Is 5 a factor of m?
True
Is 2/2*(-3 - -1) - -268 a multiple of 38?
True
Does 14 divide 6/(-3)*-91 + -4?
False
Let d = 172 - 116. Suppose 3*i = -i + d. Does 14 divide i?
True
Suppose 2*t + 4*d = -t + 626, 419 = 2*t + 3*d. Let q = t - 134. Does 18 divide q?
False
Let j = -1 + 6. Suppose j*k = 183 - 58. Is 11 a factor of k?
False
Let k(b) = 2*b**2 - 10*b - 7. Does 2 divide k(6)?
False
Suppose -4*h = 3*p + 7 + 1, 5*h + 10 = 3*p. Suppose p = -0*c + 4*c - 8. Suppose -3*o + c*o - 29 = -f, -3*o = 2*f - 78. Does 11 divide f?
True
Let o(q) = -q - 4. Let r be o(-3). Is 10 a factor of -1 + -2 + 34 + r?
True
Suppose 3*a = 7*a - 128. Suppose -q + 4*q = t - a, 3*t - 3*q = 72. Is t a multiple of 20?
True
Let h(m) = -3*m + 4. Does 11 divide h(-6)?
True
Let l(z) = -z - 6. Let g be l(-9). Suppose 3*y - 48 = 5*a, 0*y - 90 = -5*y + 5*a. Suppose g = -o + y. Is o a multiple of 9?
True
Let i(r) = 2*r - 9. Let k be i(6). Let o be ((-2)/(-1))/(k/(-21)). Does 6 divide (-4)/14 + (-88)/o?
True
Let q(w) = 5*w - 32. Does 2 divide q(10)?
True
Let s = -5 + 9. Suppose 0*f = s*f - 32. Does 6 divide f?
False
Let l be 391/7 - 6/(-42). S