d. Does 17 divide o(5)?
True
Let n(t) = -t**2 - 17*t + 7. Does 14 divide n(-14)?
False
Suppose -c + 67 = 5*u, -2*u = -0*c + 3*c - 32. Let w = -8 + u. Is 5 a factor of w?
True
Suppose -4*l = 3*g + g + 16, -2*g - 3*l - 3 = 0. Suppose 0 = 4*z - 29 - 31. Let r = z + g. Is 3 a factor of r?
True
Suppose -5*i - 4*y = 177, 3*y - 152 = 3*i - 35. Let t = 9 - i. Is 23 a factor of t?
True
Is 2 a factor of (-7 - -3)*(-3)/2?
True
Let s(y) = -6*y**3 + y**2 - y - 2. Suppose 0 = -a + 1 - 3. Is 26 a factor of s(a)?
True
Let i(x) = -2*x + 7. Let u = -3 - 2. Does 6 divide i(u)?
False
Suppose 3*k + 723 = 5*x, -4*x = 3*k - 404 - 169. Is 12 a factor of x?
True
Suppose 0 = -2*b + 12 + 2. Let i(x) = -x**3 - x**2 - x + 18. Let g be i(0). Let f = g - b. Does 9 divide f?
False
Let y(a) = a**2 - 2*a - 4. Let s be y(4). Let m(l) = 9*l - s + 3 - 2. Is m(3) a multiple of 12?
True
Suppose -2*n + 3*c = -50, -5*c - 58 = -2*n - 8. Is 5 a factor of n?
True
Let o(h) = -2*h**3 - 2*h**2 + 5*h - 5. Is o(-5) a multiple of 17?
True
Let s = -30 - -50. Suppose z - 2*p - s = 0, -2*z - z = -5*p - 62. Is z a multiple of 12?
True
Suppose 6*p = -261 + 843. Is 36 a factor of p?
False
Suppose 55 = 5*c - 85. Suppose c = g + 4*g + 4*b, -4*g + 20 = 4*b. Is g a multiple of 6?
False
Let s(f) = 2*f + 2. Let b = -5 - -17. Is 13 a factor of s(b)?
True
Suppose -25 = r + 4. Let o be 0 + 2 + (-3 - r). Suppose p = -0*p + d + 7, -o = -5*p - 2*d. Does 3 divide p?
True
Let z = 0 - -2. Suppose -4*v = 4*d + d - 71, -z*v - d = -31. Does 4 divide v?
False
Let f(j) = j**3 + j**2 + j + 8. Let q be f(0). Suppose 2*z - 3*s - 2*s + 10 = 0, -z - 2*s = -4. Suppose z*m = m - q. Does 7 divide m?
False
Is (12/(-16))/(-1 - (-94)/96) a multiple of 9?
True
Suppose 0*m = 4*m. Suppose m*l + 48 = 4*l. Is 4 a factor of l?
True
Let x = -3 - -35. Is 3 a factor of (x/(-10))/4*-5?
False
Let o(q) = -q**2 + 9*q - 10. Is 3 a factor of o(5)?
False
Suppose 0 = -13*c + 2151 + 2789. Is 21 a factor of c?
False
Let x be (-1 + 7)*20/(-3). Does 21 divide 422/10 - (-8)/x?
True
Suppose -2*n = 2*q + n - 8, 5*q + 2 = -2*n. Is (-3)/q*(-88)/(-12) a multiple of 11?
True
Let o = -4 - -7. Let b be (-2)/o + 4/6. Suppose 3*y - c = 3*c + 87, b = y - 5*c - 40. Is 13 a factor of y?
False
Is 8 a factor of 8/20 + (-316)/(-10)?
True
Let r be (-3)/((-18)/(-16))*-12. Suppose 0 = -2*t - 8, 4*f + 4*t - 3*t - r = 0. Is f a multiple of 4?
False
Let k(h) = h**3 + 6*h**2 + 3*h - 5. Suppose 13 = -4*w - a, -12 = -3*a - 3. Let f be k(w). Let m = 43 - f. Is 14 a factor of m?
True
Let u be 24/(-6) + 9 + -2. Let r(c) = 6*c**2 + 2*c. Let b be r(2). Suppose -b = -u*g - g. Is 4 a factor of g?
False
Suppose -g = 5, 11 + 27 = 4*u - 2*g. Let q(o) = -o**3 + 9*o**2 - 11*o + 5. Is q(u) a multiple of 13?
True
Suppose -23 = -0*t - 3*t - 4*u, t - 7 = -u. Suppose 5*g + 11 = 2*b - 0*g, -b - t*g = -28. Is b a multiple of 7?
False
Let a(r) be the third derivative of r**5/60 - 2*r**2. Let s be a(2). Suppose 0 = n - 5*z - 13, 5*z + s = -n - 3. Is n a multiple of 3?
True
Let x(v) = -v**2 - 3*v + 6. Let s be x(-5). Let k be ((-6)/s)/((-1)/(-2)). Suppose -2*q = -c - 47, -2*q + 3*c = -50 - k. Does 16 divide q?
False
Let f(w) = -14*w + 10. Is f(-3) a multiple of 16?
False
Suppose 3*j - 9 = 0, d + 6 - 29 = -3*j. Is 14 a factor of d?
True
Suppose 0 = -4*c + 2*c - 3*m, -4*c - 4*m + 4 = 0. Suppose -4*v - 5*z + 20 = -c*v, 2*z = -3*v + 125. Does 9 divide v?
True
Is 22 a factor of 928/14 - (-1 - 18/(-14))?
True
Let j = 360 - 188. Is 18 a factor of j?
False
Let i = -83 + 153. Does 8 divide i?
False
Let n(g) = 2*g**2 + 0*g**2 - 7*g - g**2 - 2*g**2 + 3. Is 9 a factor of n(-6)?
True
Let l(g) = 6*g + 7. Let o be l(13). Let r = 121 - o. Is r a multiple of 12?
True
Let u(j) = j - 3*j - 3*j - 2 + j**3 + 5*j**2. Let f be u(-6). Is (14/3)/(f/(-12)) a multiple of 7?
True
Let m be ((-4)/4 - 2)*-1. Suppose 2*p - m*p + o = -42, -p - o = -52. Is 13 a factor of p?
False
Suppose 3*d - 111 = 5*z, 119 = 4*d - 0*d + 3*z. Does 10 divide d?
False
Let n be 2/1 - (-48)/12. Let x = n - -1. Is x a multiple of 5?
False
Is (4 - (-88)/(-20)) + (-1056)/(-15) a multiple of 10?
True
Suppose 0 = -2*p + 282 + 256. Is 13 a factor of p?
False
Suppose 2*v = -5*m + 3*m + 10, m = -2*v + 10. Suppose -f - 32 - 5 = m. Let o = f - -61. Is 12 a factor of o?
True
Let a(z) = 22*z**2 - 3*z - 7. Is a(-3) a multiple of 41?
False
Suppose 4*l = 3*h - 15, 5*h - 5*l = -1 + 26. Let t = 5 + h. Let p = t + 7. Is p a multiple of 6?
False
Let q = 98 + -68. Is q a multiple of 6?
True
Suppose 0*o = 3*o - 75. Is o a multiple of 13?
False
Let r(f) = -6*f - 1. Let n be r(-1). Suppose -n*x + 4*q + 95 = 0, 5*x - 39 - 51 = 3*q. Does 8 divide x?
False
Let w = -29 + 59. Does 5 divide w?
True
Let c be 0 + -3 - 21*-1. Let o = c + 34. Does 26 divide o?
True
Let a be -2*4/(-8)*4. Suppose -a*y - 112 = -2*r, y + 117 = 2*r - 2*y. Is r a multiple of 22?
True
Let v(j) = j**3 - 4*j**2 - 5*j - 3. Let i be v(5). Let z = -7 - i. Does 6 divide 21/2 + (-2)/z?
False
Suppose 4*h = 12 - 92. Let s = -109 + 69. Let m = h - s. Is 10 a factor of m?
True
Let m be 2/(-4)*0/(-1). Let y(v) be the second derivative of v**3/6 + 4*v**2 + 16*v. Does 6 divide y(m)?
False
Suppose 4 = -s + 11. Let t be (2/4)/(1/8). Suppose -o + s = 3*v, -3*o + t*v = v - 57. Is 9 a factor of o?
False
Suppose 5*l = 2*s, -5*s = -0*l + 2*l. Suppose -3*x + 0*w - 3*w + 75 = l, 4*x - 5*w = 127. Is x a multiple of 8?
False
Is 25 a factor of 1/(2/106) + -4?
False
Let s(f) = 6*f - 4. Let i be s(4). Suppose -i = -5*a - 0. Suppose -5*n + 118 = a*b, -28 - 28 = -3*n + 5*b. Is n a multiple of 22?
True
Let p = 276 + -131. Does 49 divide p?
False
Let r(b) be the first derivative of -b**6/360 - 7*b**5/120 + 5*b**4/12 + b**3 - 2. Let i(d) be the third derivative of r(d). Is i(-7) a multiple of 5?
True
Let i(c) = c**2 + 8*c + 6. Let q be i(-6). Let w = -4 - q. Suppose s - g = 14, -2*s + 32 = g - w*g. Is s a multiple of 9?
True
Let y = -8 - -21. Does 3 divide y?
False
Let s = -76 - -118. Is s a multiple of 15?
False
Let i(j) = 62*j**2 - j + 2. Let c be i(1). Let y = 121 - c. Is y a multiple of 12?
False
Let r be (2/(-1) - -1)*-6. Suppose 2*z = z + 33. Is 8 a factor of ((-8)/r)/((-2)/z)?
False
Let n be 0/(-2)*5/10. Suppose -z + n = -39. Is z a multiple of 25?
False
Let v(c) = 2*c**2 - 4. Let d be v(-3). Suppose -7 - d = -p. Suppose -3*l - 3*u = -8*u - 10, -4*u - p = -5*l. Is l a multiple of 5?
True
Suppose 5*u - 17 = -5*x - 7, 3*u = 3*x - 30. Suppose -22 = -3*b + w, -3*w = -4*b - x*w + 25. Is 2 a factor of b?
False
Let p(h) = 27*h**2 + 2*h - 1. Is p(1) a multiple of 8?
False
Suppose 3*f + 2 = f. Let b be 0 + f + 0 + 1. Suppose -p - 1 + 7 = b. Is 6 a factor of p?
True
Let n = 26 + 30. Is n a multiple of 14?
True
Suppose 34 + 56 = 3*b. Does 30 divide b?
True
Is 8 a factor of 2/1*12*(-4)/(-12)?
True
Suppose 4*y - 3*g - 171 = 0, -3*y - g + 92 = 4*g. Let u = y + -9. Does 11 divide u?
False
Suppose 179 = 3*l + 2*o, -3*l + 5*o = 20 - 171. Is 34 a factor of l?
False
Let l = -97 + -8. Suppose -2*r - 2*r = -4*z + 256, 5*z = 3*r + 182. Let q = r - l. Is 15 a factor of q?
False
Suppose 14 = s - 3*r, 2*s + 4*r = 3*r. Let t be (1/3)/(s/102). Let k = t + -7. Does 10 divide k?
True
Let h = 5 + -1. Suppose h*a - q = 3*q + 112, -3*q + 28 = a. Does 4 divide a?
True
Let q = 1 + -1. Suppose q = -t + 40 - 0. Is ((-21)/(-14))/(6/t) a multiple of 4?
False
Let i = 59 + -46. Is i a multiple of 13?
True
Let u(o) = -3*o**3 - 4*o - 3 + 0 + o. Does 9 divide u(-2)?
True
Let g be (3/(-2))/((-6)/16). Suppose i + g = 3*i. Is 18 a factor of i/6 + (-212)/(-12)?
True
Suppose 3*q + 3*b = -2*b + 23, -5*q + 9 = b. Suppose m - q = -6. Let p = m + 18. Is p a multiple of 5?
False
Let u = -3 + 14. Is u a multiple of 3?
False
Suppose -4*i = 4*a + 92, 4*i = -5*a - 91 - 5. Let k = -11 - i. Is 4 a factor of k?
True
Suppose -l - 2*n - 20 = 0, -l = 5*n - 8 + 40. Is 3 a factor of ((-4)/l)/(1/30)?
False
Let f(g) = -2*g**3 - g - 1. Let b be (-1 + 0)/((-1)/(-1)). Let x be f(b). Does 14 divide 4*9 - (3 - x)?
False
Suppose 0*r + 5 = r. Suppose -r*j + 104 = -136. Is 16 a factor of j?
True
Let v(n) = -8*n + 28*n + 2*n**2 - 14*n - n**3. Is v(-4) a multiple of 24?
True
Let r = 0 + 0. Suppose i = -r*i. Suppose i*z - 21 = -3*z. Is z a multiple of 7?
True
Let m = -55 + 103. Is m a multiple of 12?
T