71. Is 27 a factor of r?
False
Let d(t) = t**2 - 9*t + 10. Is d(8) a multiple of 2?
True
Suppose -4*k + 2*b + 49 = -3, -2*k + 20 = 2*b. Does 6 divide k?
True
Suppose 2*v = -1 + 3, 0 = -2*n + 5*v - 13. Let a(w) = -2*w - 4. Does 4 divide a(n)?
True
Suppose -2*h - 5 - 9 = -4*q, -2*h = -2. Suppose 0 = -q*r - 3*p + 101, 91 = 2*r + 2*r + 5*p. Is 25 a factor of r?
False
Let w(l) = -28*l + 15. Does 13 divide w(-7)?
False
Suppose m - 2*i = 110, 3*m - 337 = i - 2. Suppose -5*l + m + 53 = 0. Suppose 3*n - l = -d, -2*n - 3*d - 5 = -27. Is 7 a factor of n?
False
Suppose -5*n + 21 = 1. Suppose -4*v + u + 159 = v, v + n*u - 15 = 0. Does 13 divide v?
False
Let q(x) = 13*x**2 - 21*x - 9. Let u(y) = -3*y**2 + 5*y + 2. Let l(w) = -2*q(w) - 9*u(w). Is l(-3) a multiple of 9?
True
Suppose -8 + 0 = -2*d. Suppose 0 = d*w, -3*r + 1 = -3*w + 13. Let h = r - -10. Does 3 divide h?
True
Let k = 5 + -3. Let v(o) = -o. Let h be v(-5). Suppose -k*z + 24 = -g, -h*z + 0*g + 2*g + 60 = 0. Is z a multiple of 12?
True
Suppose -3*l = 3*v - 6, -10 = -5*l + 5*v + 10. Suppose l*s - 7 = -3*o + 2*s, -s + 3 = 2*o. Is o a multiple of 3?
False
Is 55 a factor of (-2)/(-3 - -5) - -331?
True
Suppose -3*p = l - 8, -l + 12 = 2*p + 3*p. Suppose -l*j - 3*y + 5 = -j, j + 2*y - 6 = 0. Is 3 a factor of j?
False
Suppose 4*h + 4 = 8*h. Let p = 6 + -21. Let a = h - p. Does 9 divide a?
False
Let z(d) = d**3 + 8*d**2 + 7*d - 6. Does 3 divide z(-6)?
True
Let j(k) = -5*k. Is j(-7) a multiple of 5?
True
Suppose 5*q - 51 = -3*m, 2*m - 22 = 2*q + 28. Does 22 divide m?
True
Suppose -2*w + 142 = -114. Is 26 a factor of w?
False
Let t(a) = a**2 - 6*a - 15. Let s be t(8). Let i be 4*(0 - (-2)/4). Suppose i*m + 8 = 2*d, 4*d - m - 17 + s = 0. Is d even?
True
Suppose -84 = -2*n - 0*n. Let s = 12 + n. Suppose -4*p + 3*b + 75 = -s, p - 15 = -5*b. Is 12 a factor of p?
False
Let g(c) = -5*c**3 + 3*c**2 + 5*c + 6. Is g(-2) a multiple of 16?
True
Suppose 19 = 2*t + 3. Is 140/t*12/7 a multiple of 6?
True
Let r be (-8)/((-2)/(-8) + 0). Suppose z - 2*i = -3, 0*z + 2*z + 1 = 3*i. Let q = z - r. Is q a multiple of 13?
True
Let p be 2 - 5 - (0 + 1). Is (p - -2) + 26 + 0 a multiple of 6?
True
Let h = 13 - 25. Does 7 divide -3 + 13 + h/(-3)?
True
Let t = 1 + -4. Does 5 divide 1 - ((-6)/t - 9)?
False
Let i be 0/(3/(-3) + 2). Suppose -4*w + w + 123 = i. Is (w/2)/((-1)/(-2)) a multiple of 16?
False
Let f = 38 - 8. Does 6 divide f?
True
Let i = 17 - -1. Is i a multiple of 6?
True
Let m(y) = y - 1. Suppose -4*v = 5*k + 12, -24 = 3*k - 3*v - 6. Let h be m(k). Let f(p) = -3*p - 2. Is 13 a factor of f(h)?
True
Let r be 8*1/(-4)*-2. Let g be r*((-81)/(-12) + -2). Suppose -f + g = -0*f. Is f a multiple of 19?
True
Suppose u + 2 - 1 = -r, -2*r - 6 = -2*u. Suppose -o = -1 - u. Suppose 2 = o*i + 6, 42 = 2*d + 2*i. Is d a multiple of 7?
False
Suppose 65 = 8*y - 3*y. Is 10 a factor of y?
False
Let c(g) = -21*g**3 - 1 + 33*g**2 - 33*g**2. Is c(-1) a multiple of 10?
True
Let w(u) = -2*u + 16. Let s be w(8). Suppose -4*a - 5 + 17 = 0. Suppose s*g + 18 = a*g. Does 6 divide g?
True
Suppose b = -0*b + 3. Suppose 0 = 4*l - b*l - 24. Is l a multiple of 12?
True
Suppose -5*b - 30 = -b - 2*t, t = -4*b - 21. Let c(v) = -v**2 - 7*v - 2. Let z be c(b). Is 4 a factor of 0 + 8 + -4 + z?
True
Let h be (0/(-3 - -5))/(-2). Is 13 + (-4 - (-2 - h)) a multiple of 11?
True
Suppose -l + 36 = -0*l. Is l a multiple of 8?
False
Suppose -4*t = -15 + 47. Let g(b) = -b**3 - 9*b**2 - 8*b + 9. Does 3 divide g(t)?
True
Suppose 3*a + 707 = 4*v, -2*a - 524 = -3*v + 7. Does 17 divide v?
False
Let q = -515 - -740. Does 15 divide q?
True
Let c(m) = -2*m + 21. Is c(0) a multiple of 6?
False
Let h = 155 + -52. Let o = h - 65. Suppose o + 32 = 5*c. Is 4 a factor of c?
False
Let u(s) = 39*s**3 - s**2 + 1. Let n be u(-1). Let q = 86 + n. Is q a multiple of 13?
False
Let a(w) be the third derivative of w**6/120 - w**5/15 + w**4/24 - 7*w**3/6 + w**2. Is 7 a factor of a(5)?
False
Let n(o) = 6*o + 6. Let p be n(6). Suppose 4*z - p = 2*z. Does 5 divide z?
False
Let i be ((-3)/6)/((-1)/6). Suppose -s - 5*b = -34, i*s - b - 54 = -4*b. Is s a multiple of 6?
False
Let q(t) = t**3 - 7*t**2 + 5*t + 3. Let a be q(6). Let m = 9 + a. Is m a multiple of 6?
True
Suppose -n + 28 = 3*n. Suppose -5*w = 4*t - n*t + 129, -60 = -t - 4*w. Suppose -4*r = -0*r - t. Is r a multiple of 12?
True
Let q(v) = v**3 + v**2 + v - 5. Let j be q(0). Let w(n) = -n**3 - 4*n**2 + n - 4. Does 4 divide w(j)?
True
Let o = -8 - -13. Suppose -4*p = -20, u - 14 = -p + o. Does 10 divide u?
False
Let v = 2 + 1. Suppose 0 = 2*l - 4*m - 40, v*l - 74 = m - 2*m. Is 7 a factor of l?
False
Does 5 divide (-2)/5 + (-87)/(-5)?
False
Let j(d) = d**2 + d + 1. Let p(r) = -r**2 + r + 2. Let b be p(3). Is 3 a factor of j(b)?
False
Let u = -5 - -11. Let l(g) = 6*g + 9. Is l(u) a multiple of 15?
True
Suppose 6 + 28 = 2*c. Is 10 a factor of c?
False
Suppose 0*h - 440 = -5*h. Is 8 a factor of h?
True
Let k = 0 + -1. Let n = k - -6. Suppose 0*i + 2*y = 3*i - 85, -n*y - 10 = 0. Is i a multiple of 17?
False
Let s(c) = -4*c + 3. Let m be s(-5). Suppose 2*z - m = 41. Is 7 a factor of z?
False
Suppose -4*f = 2 - 38. Is f a multiple of 7?
False
Let x = -36 - -72. Does 18 divide x?
True
Suppose 5*k = 2*k + 48. Is k a multiple of 3?
False
Let r = -23 - -43. Suppose -9*q = -13*q + r. Is 3 a factor of q?
False
Let a = 23 - 14. Suppose -4*t + a*t - 180 = 0. Does 15 divide t?
False
Does 8 divide 33/((1/(-4))/(-1)) + 1?
False
Suppose 3*s - 4*q - 30 = 41, -s = 3*q - 41. Is 6 a factor of s?
False
Let r(b) = -4*b - 6. Let a be r(-4). Let i(h) = -h**2 + 13*h + 6. Does 18 divide i(a)?
True
Suppose -29*h = -32*h + 21. Suppose h*s - 71 = 27. Is 6 a factor of s?
False
Let m(i) = 5*i**2 + 7*i - 10. Is 12 a factor of m(2)?
True
Suppose 5*y - 3*y = 552. Is 9 a factor of y?
False
Suppose 167 = 15*n - 313. Does 32 divide n?
True
Let g = 29 + -42. Let a = -6 - g. Is 2 a factor of a?
False
Let n = -5 + 5. Suppose -d + 19 = 2*b, -16 = -n*b + 4*b. Does 9 divide d?
True
Let d be (-10)/(-2) - 3 - -3. Suppose w + 3 = d. Suppose -w*t - 3*t + 130 = 0. Is 13 a factor of t?
True
Suppose 17 = 3*o - 82. Does 11 divide o?
True
Let w = 25 + 64. Is w a multiple of 52?
False
Let j(f) = -9*f - 21. Does 13 divide j(-11)?
True
Let r be 4*(-1 - (0/(-1) + 0)). Let z(s) = s**2 + 2 + 1 + 1 - 3*s. Does 9 divide z(r)?
False
Suppose -z = 2*z. Suppose 0 = 5*y - 2*x - 20, 0 = -z*x + 4*x. Suppose 5*g - 43 = y*g. Is g a multiple of 19?
False
Suppose 0*s - 3*s + 51 = 3*n, -4*n - 3*s + 63 = 0. Is n a multiple of 4?
True
Suppose -q + 3 = -z - 11, 2*z - 62 = -3*q. Is 3 a factor of q?
True
Let s = -6 + 10. Suppose -5*w + 22 = s*a, 4*w + 3*a = -1 + 19. Is 3 a factor of w?
True
Let x(o) = -10*o - 14. Is x(-4) a multiple of 26?
True
Let z(n) = -2*n + 3*n + n + 1 - 4*n. Is 13 a factor of z(-8)?
False
Is 13 a factor of (-2)/((-24)/32 - (-74)/104)?
True
Let z = -8 + 18. Suppose a - 5*i - z = 0, 78 - 10 = 2*a + 2*i. Is 17 a factor of a?
False
Let b(i) = -5*i**3 - 1. Is 16 a factor of b(-2)?
False
Suppose -4*x + 3*a + 1417 = 0, -4*x + 4*a = -1288 - 132. Is (-4)/(-6) + x/12 a multiple of 10?
True
Let s(x) = x**3 - 8*x**2 + 8*x + 8. Is 6 a factor of s(8)?
True
Suppose 3*p - p - 5*s - 16 = 0, 8 = -4*s. Let n = 1 - p. Is 12 a factor of n/(-3) + (-68)/(-6)?
True
Suppose -19*d = -4*d - 3525. Is d a multiple of 28?
False
Let y be (-1)/(-3) + 86/(-6). Suppose -q + 22 - 1 = 0. Is 6/q - 94/y a multiple of 3?
False
Suppose y - 5*q = 49, -3*y + 3*q + 186 = q. Does 31 divide y?
False
Let a(d) = -d**3 - 11*d**2 - 12*d. Is a(-10) a multiple of 6?
False
Let d be 6*3/(-9)*-17. Let z = d + -3. Is 16 a factor of z?
False
Suppose 95 = 2*b - 85. Is 12 a factor of (b/40)/(3/32)?
True
Suppose -13 = j - 38. Is j a multiple of 7?
False
Suppose 0 = -5*g - 3*b + 100, 2*g + 5*b + 2 = g. Is g a multiple of 6?
False
Let l(t) = t**3 + 12*t**2 - 10*t - 21. Does 11 divide l(-12)?
True
Let y = 123 - 24. Does 9 divide y?
True
Let z be 2 - (0 - 2 - 0). Let u = z - 1. Suppose -2*w = -u*w + 21. Does 15 divide w?
False
Suppose 0 = -0*c - 3*c - 4*b + 574, 0 = 5*c - 4*b - 914. Is c a multiple of 31?
True
Suppose -y + 18 = 5*f, 0 = -2*y - 3*f - 0*f + 22. Does 5 divide y?
False
Let v = -6 + 36. Is 10 a factor of 48/18*v/8?
True
Suppose 0*t - 136 = -4*t. I