5. Does 7 divide d(g)?
False
Let n(b) = -b**2 + 5*b - 4. Let y be n(3). Suppose -2 = -y*h + h. Does 14 divide (0 - h)/((-12)/294)?
False
Suppose -4*m - 3*b + 0*b + 105 = 0, -21 = -m + b. Does 4 divide m?
True
Let m(o) = -2*o - 2. Let y be m(-2). Suppose b + y*b - 36 = 0. Does 9 divide b?
False
Suppose 3*p + c = -0*c + 32, 2*p - 3*c - 3 = 0. Suppose 3*b + 3 = p. Suppose b*x = -3*x + 55. Is x a multiple of 7?
False
Let i = 4 - 5. Let r(l) = -l**3 + 8*l**2 - 7*l + 1. Let m be r(7). Is 20 a factor of 43 - (m + 0)/i?
False
Let k(b) = -1 - b - 2 + 12*b. Let y be k(2). Suppose -4*l + y = -3*l. Is 10 a factor of l?
False
Suppose 3*o = o + 164. Does 10 divide o?
False
Suppose -4*u + 3 - 312 = -5*a, 0 = -3*u + 12. Does 15 divide a?
False
Let r = -4 - 2. Let t(f) = -f**3 - 6*f**2 - f + 8. Does 14 divide t(r)?
True
Is -3 - -2 - 58*(-6)/12 a multiple of 14?
True
Let b be (2/3)/((-4)/(-6)). Let c be (-1)/(b/9) - -2. Let v(k) = -k**3 - 7*k**2 - k - 1. Does 4 divide v(c)?
False
Let r = -41 - -105. Suppose 4*g = 3*g + r. Does 16 divide g?
True
Let i = -46 + 24. Let q(h) = h**3 - h**2 - 2*h - 1. Let k be q(4). Let w = i + k. Is w a multiple of 7?
False
Suppose 4*b - z = z - 16, 2*b + 3*z = 8. Is (-46)/(0 + b/2) a multiple of 11?
False
Let s = 248 + -104. Is s a multiple of 24?
True
Let l be 0 - (-2*1 + 2). Suppose a + a = l. Suppose -2*n - 3*n + 130 = a. Is 12 a factor of n?
False
Let t(f) = 3*f - f - f**3 + 3*f**3 - 6*f**2 - 3*f**3 - 7. Let u be t(-6). Let d = -7 - u. Is d a multiple of 6?
True
Let u(t) = -t**2 + 5*t + 4. Let p be u(5). Suppose -3*k = -2*v - 148, -p*k - 3*v + 0*v + 203 = 0. Is 25 a factor of k?
True
Let m(n) = 4*n + 2. Is m(3) a multiple of 14?
True
Let c = 453 + -249. Let w = -113 + c. Let t = -55 + w. Is t a multiple of 18?
True
Is -1 + (2*-7)/(-2) a multiple of 3?
True
Let i = 10 + -7. Does 9 divide (-8 + -1)*(-5 + i)?
True
Let s be 7 + 1/1*-1. Let v(n) = -s*n + 12*n**2 - 3 + 2 + 5*n. Is 6 a factor of v(-1)?
True
Suppose -88 = -4*c - 0. Is 4 a factor of c?
False
Suppose 2*o - 98 = -26. Is 12 a factor of o?
True
Let w(n) be the first derivative of n**2 + 7*n - 3. Let s be w(-5). Is 20 - ((-9)/s - 5) a multiple of 12?
False
Suppose 3*n - 2*y - 350 = 0, -3*y = 2*n - 96 - 159. Is n a multiple of 31?
False
Is (0 - (-2)/(-3))/(6/(-63)) even?
False
Let s(w) = -w**3 + 10*w**2 - 11*w + 1. Is s(6) a multiple of 25?
False
Suppose 4*k - 22 = 2*k. Is 11 a factor of k?
True
Does 25 divide (108 - 6)*(-1 + 2)?
False
Let o(d) = -d. Let t be -1 + 1 - (5 - 3). Let b be 1 - (4 - t/2). Is 4 a factor of o(b)?
True
Let l(s) = s + 10. Let z be l(-7). Suppose 2*a - 9 = z. Does 6 divide a?
True
Let g(i) be the third derivative of -i**4/24 + i**3/2 + i**2. Suppose 6*v - 11*v - 30 = 0. Is 6 a factor of g(v)?
False
Let g(k) = 4*k**3 - 11*k**2 + 9*k + 16. Let b(c) = -11*c**3 + 32*c**2 - 26*c - 47. Let n(u) = -3*b(u) - 8*g(u). Is n(7) even?
True
Let q = 2 + -1. Let h = q - 2. Is (-59)/(-4) + h/(-4) a multiple of 15?
True
Let z be 28/6 - (-12)/(-18). Let u = 1 - z. Is 12 a factor of 2*14 - (u + 3)?
False
Let c(n) = n**2 + 2*n. Let t be c(-3). Suppose -4*l - 4 = 2*z, -2*l - 2 = -0*z + t*z. Suppose j = -z*d - 4*d - 6, -17 = -3*j - 5*d. Is j a multiple of 10?
False
Let n be 2/(-3) - (-3567)/(-9). Let z be (-2)/(-7) + n/(-7). Suppose 21 - z = -3*o. Is 12 a factor of o?
True
Suppose 3*g - 14 = 13. Is g even?
False
Let b(v) = -v - 1. Let s(d) = -19*d - 8. Let p(q) = -24*b(q) + 3*s(q). Let g be p(1). Let o = 57 + g. Is 9 a factor of o?
False
Let u = -23 - -65. Let j = u + -10. Is j a multiple of 20?
False
Suppose -r + 496 = 3*r. Suppose 0 = f - r + 32. Does 25 divide f?
False
Let a(s) = 2*s - 1. Let j be a(2). Suppose -2*w = -z - 5, 0*z = 3*w + j*z - 21. Suppose 5*t = -4*l + 34 - 10, 3*l - w = -2*t. Is 4 a factor of t?
True
Suppose 8*p - 16 = 104. Is p a multiple of 15?
True
Let v be 552/(-4)*(-1)/3. Suppose -x + 83 = -3*q + 5*q, -q = -x - v. Is 17 a factor of q?
False
Let a = 4 - 3. Suppose -a = r - 18. Is 13 a factor of r?
False
Let d(y) = -2 + 2*y + 3 - 36*y**3 + 7*y**3. Let w be d(-1). Suppose -i + 2*n - 46 = -4*i, -2*i = 2*n - w. Is i a multiple of 18?
True
Let u(s) = -6 + 5*s + 6*s - 2. Let v be u(6). Suppose -3*i - 3*a + v = -a, a - 79 = -4*i. Is i a multiple of 8?
False
Suppose 14 = 5*m - 161. Let d be 2/(-6) - (-7)/3. Suppose 0 = -2*r - o + 29, d*o = 4*r - m - 11. Is 13 a factor of r?
True
Let c = -80 - -114. Is 14 a factor of c?
False
Suppose -32 - 7 = -3*f. Does 6 divide f?
False
Suppose -2*f = -4*f + 84. Suppose 2*u = f + 78. Suppose -c - 2*c = -u. Is 10 a factor of c?
True
Suppose 5*w = -5*z - 20, -3*w = -8*w - 3*z - 10. Let n(g) = -2*g - 3*g + 3 + w. Does 7 divide n(-3)?
False
Let v = -21 - -31. Suppose -2*b + 32 = v. Is 6 a factor of b?
False
Let m = 46 - 25. Is m a multiple of 13?
False
Let l(c) = c**3 - 7*c**2 - 8*c + 9. Let x be l(9). Suppose -y + 4*y - x = 0. Is y a multiple of 11?
True
Suppose -395 = -5*b + 60. Let u = -7 - -11. Suppose h + j + 2*j = 16, -5*h - u*j = -b. Is 13 a factor of h?
False
Suppose 30 + 0 = 5*s. Let u = 34 - s. Suppose 0 = 5*o - 118 + u. Is o a multiple of 6?
True
Let v(w) = -2*w - 3. Is v(-13) a multiple of 3?
False
Let s(m) = -16*m - 4. Let q be s(-6). Suppose 4*g - q + 16 = 0. Is 5 a factor of g?
False
Suppose -4*j - 43 = -w, -4*j + 3*w - 38 = w. Let x be (1/3)/((-2)/j). Suppose p + 162 = 3*f, -41 = -f - x*p - 2*p. Does 23 divide f?
False
Let q = 7 + -2. Suppose q*a - 6 = 4. Suppose a*y + 7 - 45 = 2*n, 3*n + 43 = 2*y. Is 7 a factor of y?
True
Suppose 4*q - 16 = -2*h + 2, -4*h - 2*q + 24 = 0. Suppose -h*g = -4*d - 141, 2*d = 3*g - 2*d - 91. Is 15 a factor of g?
False
Let z(d) = 2*d**2 + 4*d - 4. Let m be 2*(14/4 - 3). Let p = m + 2. Does 13 divide z(p)?
True
Let z(w) be the second derivative of -3/2*w**2 + 3*w - 2/3*w**3 + 0. Is 16 a factor of z(-6)?
False
Let p = -25 + 11. Let k = p - -24. Does 10 divide k?
True
Suppose -4*g - 4*t + 52 = 0, -3*g - 2*t + 20 = -24. Suppose -j = -g - 2. Suppose -a = -2*a + j. Is 10 a factor of a?
True
Suppose 0 = -2*y - 2*d + 8, -2*d - d = -3*y + 18. Suppose -4*b = -4*f - 16, -5 + 1 = -5*b + f. Suppose b = -w + y*p + 9, 45 = 4*w + w + 5*p. Does 9 divide w?
True
Let a(h) = -h**2 - 4*h + 3. Let x be a(-3). Suppose 0 = -4*p - m + 131, 3*p + 117 = x*p - 3*m. Does 34 divide p?
True
Is 14 a factor of 5*3/45*204?
False
Suppose -5*f - 4*b + 544 = 0, -2*f + 3*b + 213 = -0*f. Does 18 divide f?
True
Is 2 + 4 + 0 + 3 a multiple of 6?
False
Let c(s) = 2*s**2 - 15*s + 20. Does 27 divide c(8)?
False
Is ((-1704)/32)/((-9)/24) a multiple of 12?
False
Suppose -2*p - 2 = 5*c, -5*p - 5*c = -0*c - 25. Is 7 a factor of p?
False
Let z = -1 + 0. Is 1*-17*(-2 - z) a multiple of 6?
False
Is 8 a factor of (-8)/(-20) - 152/(-20)?
True
Suppose -7*i = -i - 408. Is 34 a factor of i?
True
Let z(o) = o**2 - 19*o - 46. Does 52 divide z(-14)?
True
Let z(y) = y**3 + y**2 + 162. Is z(0) a multiple of 27?
True
Let w(z) = -20*z**3 + 2*z**2 + z. Does 6 divide w(-1)?
False
Let n be 763/2 - 4/(-8). Does 6 divide n/18 + 14/(-63)?
False
Suppose 5*x - 4*p = 70, 3*x - 4*x - 10 = 4*p. Does 10 divide x?
True
Let f be (-28)/(-6) + 2/6. Let s(w) = -w**2 + 10*w - 2. Is 11 a factor of s(f)?
False
Suppose -u = 2*n + 10, 5*n = 2*u + 3*u + 95. Let p be 2/((u/(-10))/4). Suppose p*z - 8 = -f, -3*z = z. Is 5 a factor of f?
False
Suppose 48 + 15 = -3*s. Let r = 40 + s. Is 14 a factor of r?
False
Suppose -t = -4*t + 27. Does 3 divide t?
True
Suppose -2*d + 5*d = -6. Suppose -5*m - 1 = -2*t, -4*t + 2*t + 8 = 2*m. Is (-3)/(m + 3/d) a multiple of 6?
True
Is -3 + 454/10 - 2/5 a multiple of 11?
False
Let n = 26 - 26. Suppose n = 5*a + 4*b - 162, a - 70 = -a + b. Is a a multiple of 17?
True
Let m(f) = f**2 + 2*f + 6. Is 7 a factor of m(-6)?
False
Let x = 303 - 193. Is 10 a factor of x?
True
Let x(u) = -u**3 + 3*u**2 + 2*u - 4. Suppose -4*s + 10 = -2. Let w be x(s). Suppose 0 = w*t - t - 17. Is 17 a factor of t?
True
Let i be (-2)/5 + 2/5. Suppose 2*j + 0 = -2, -5*u + 4*j - 26 = i. Let r = u - -10. Does 4 divide r?
True
Suppose -20 = 4*g, 2*x + g = -0*g + 455. Suppose -5*w = 3*o - x, -1 = -4*w - 9. Does 16 divide o?
True
Let v = -391 - -553. Is 11 a factor of v?
False
Suppose 3*g = -0*c - 3*c + 486, 3*g + c = 496. Is 29 a factor of g?
False
Suppose -3*h + 3 = -h 