 77 = 3*m. Let c = q + 9. Let l(b) = b**3 + 9*b**2 + 11*b + 5. Is 9 a factor of l(c)?
False
Let o(a) = -7*a**2 - 11*a - 8. Let f(t) = 6*t**2 + 11*t + 8. Let w(j) = -6*f(j) - 5*o(j). Suppose 2*m - y + 0*y + 16 = 0, -4*y = -4*m - 28. Does 10 divide w(m)?
True
Let y = -4 + 7. Suppose j - 5*x + y = 0, -6 = 2*j - 0*j - 2*x. Is (-55)/(-2) + j/2 a multiple of 13?
True
Suppose -k - 3 = -2*w + w, 3*w = -k + 13. Suppose w*h + y = 69, 5*h - 13 - 75 = -3*y. Is h a multiple of 17?
True
Let u = -7 + 11. Suppose -76 = -5*r + u*h, -3 = h + 1. Does 4 divide r?
True
Is 7 a factor of 48/18*(-174)/(-8) + -1?
False
Let s be 8/12*9 - 2. Suppose s*n + 3*n - 224 = 0. Does 16 divide n?
True
Let i = -1 + 4. Suppose -3247 = -i*s - 307. Is 11 a factor of (-2)/(-9) - s/(-45)?
True
Let g = -146 + 206. Does 12 divide g?
True
Let w be 6/(-2 - 1)*-2. Suppose 2*a - 1 + 38 = -v, 2*a + w*v = -40. Does 6 divide a/(-63) - (-94)/14?
False
Suppose 4*w = 7*w - 312. Suppose c = 4*c - 15. Suppose -4*p - 2*v + 30 = -w, -c*p - 3*v + 165 = 0. Is 10 a factor of p?
False
Is 49 a factor of ((-13)/26)/(1/(-394))?
False
Suppose 3*i - 240 = -3*b, -5*i - 2*b + 408 = 8. Does 8 divide i?
True
Does 11 divide (2 - 13)/(4/(-8))?
True
Let r = -74 + 108. Let z = 16 + r. Is 17 a factor of z?
False
Let f(h) = 2*h**2 - 8. Is f(4) a multiple of 13?
False
Let z be (-23)/4 - (-5)/(-20). Does 7 divide 12 + z/(-6 + 3)?
True
Let k(l) = 4*l**2 + l - 2. Let i be k(-2). Let b be 82/i + 1/6. Suppose -2*r + 43 - b = 0. Is 9 a factor of r?
True
Suppose 25 + 8 = 3*y - 4*l, 6 = -2*l. Suppose -2*o = -y*o + 150. Does 10 divide o?
True
Let m = 137 + -58. Let k = m + -47. Suppose -4*u + k = 3*w - 2*w, 5*w - 2*u = 94. Does 8 divide w?
False
Let x = -8 + 11. Let s be 30/(-4)*(-2)/x. Suppose s*q = 33 + 157. Is q a multiple of 19?
True
Let j = 57 - 15. Is 14 a factor of j?
True
Let w = 13 + -8. Suppose 3*y - d = 18 + 13, -w*d = -3*y + 23. Is y a multiple of 7?
False
Let p = 87 - 213. Let k = -196 - p. Let s = -38 - k. Is s a multiple of 13?
False
Suppose 5 = -f + 32. Does 6 divide f?
False
Suppose -6*f + 1700 = -22. Is f a multiple of 41?
True
Let g(q) = -q - 8. Let i be g(-8). Suppose i*a = -4*a. Suppose d - 5 = -a*d. Is d a multiple of 5?
True
Suppose 8*j = -0*j + 152. Does 7 divide j?
False
Suppose 5*i + 6*v - v = 275, -v = -3*i + 165. Is i a multiple of 11?
True
Suppose -6 + 3 = -f. Suppose 3*u + f*w = 138, 2*u = -u + 2*w + 118. Does 18 divide u?
False
Let k(m) = -m + 15. Let t be k(0). Suppose 0 = 5*z - o - t, 0 = z + 2*o - 5 - 9. Is z a multiple of 4?
True
Does 7 divide (-16)/20*(-15 - 0)?
False
Suppose 2*k - 2*x - 34 = 0, -2*k + 16 = 4*x - 6. Does 9 divide (-2)/(-15) + 268/k?
True
Suppose -16 = -5*g - 0*z - 3*z, 0 = z - 2. Suppose -3*p + 17 = -g*d + 3*d, 0 = -p + 3. Is 4 a factor of d?
True
Let z(c) = c**3 - 4*c**2 - 4*c - 5. Let j be z(5). Suppose j = 3*v - 2*v - 6. Does 6 divide v?
True
Suppose -4*j - 2*f = 20, j = -j + 2*f - 16. Does 7 divide (377/(-39))/(2/j)?
False
Let z = -15 - -17. Suppose 0 = z*a + 2*v - 0*v - 48, -2*a + 49 = 3*v. Is a a multiple of 9?
False
Let q(o) be the second derivative of -1/3*o**3 + 0 - o - 1/2*o**2. Does 4 divide q(-5)?
False
Suppose -2*p = -p - 4. Let w(i) = i**3 - 5*i**2 + 6*i. Does 5 divide w(p)?
False
Let n = -142 - -100. Let p(g) = -3*g**2 + 5*g + 4. Let q be p(4). Let x = q - n. Is 14 a factor of x?
False
Suppose -3*n = 2*r - 154, 63 = -2*n + 3*n + 3*r. Does 16 divide n?
True
Let b = 59 + -13. Is 6 a factor of b?
False
Let a(p) = -4*p**3 + 3*p**2 + 3*p + 2. Is 20 a factor of a(-2)?
True
Suppose 4*l = 2*g - 16, 4*l + 10 + 2 = 0. Does 12 divide (-2 - g*-19) + -3?
False
Let t(s) = -3*s + 7. Is t(-9) a multiple of 8?
False
Suppose 0 = 2*n - 10*n + 264. Is 31 a factor of n?
False
Suppose 0 = 4*a + 3*a - 98. Suppose 41 + a = u. Is 10 a factor of u?
False
Let j(l) = 4*l**2 + 3 + 10*l + 2*l**2 + 1 - 7*l**2. Is 2 a factor of j(10)?
True
Suppose -884 + 128 = -7*t. Is 36 a factor of t?
True
Let k(a) = 3*a. Let w be k(1). Suppose 4*j - 40 = -2*v - v, 35 = w*j + v. Does 13 divide j?
True
Suppose -2*l = 4*i - 8 - 0, -3*l = -2*i + 12. Let x = 5 + l. Suppose 2*r + 4*a - 12 = 0, -3*r - a = x*a - 22. Is r a multiple of 4?
False
Let z be 40/6 - 12/18. Does 13 divide (-2)/(-6) - (-232)/z?
True
Suppose -4*s + 5 = 4*t - 31, -2*s + 22 = 3*t. Let y(g) = -2*g + 6. Let h be y(5). Is ((-102)/h)/(s/10) a multiple of 18?
False
Let u = 1 - -259. Is 52 a factor of u?
True
Suppose -5*m + 71 = 2*x + 11, 4*x = 2*m + 72. Does 20 divide x?
True
Suppose -4*m + i = -i + 18, 3*m - 5*i + 17 = 0. Let f = 6 - m. Is f a multiple of 4?
False
Let r(k) = 5*k - 5*k + 2 - 1 - 7*k**3. Is r(-1) a multiple of 8?
True
Let h = -29 + 10. Let a = h - -33. Is a a multiple of 14?
True
Let x(g) = 5 - 6*g - g**2 + 2*g - g. Let r be x(-6). Does 24 divide (-3 + -34)*r*1?
False
Let p(w) = -3*w + 36. Is 25 a factor of p(0)?
False
Is (-77)/(-1) + (-5)/(35/(-21)) a multiple of 16?
True
Let w = -11 - -14. Suppose 3*f + 2*z = w*z + 64, -48 = -2*f + 2*z. Does 5 divide f?
True
Suppose -4*b + 3 = -3*b. Suppose 0 = 4*s - 39 - 861. Suppose -b*a - 2*a + s = 0. Is a a multiple of 22?
False
Is 278*(4 - (-21)/(-6)) a multiple of 23?
False
Is 6 a factor of (27/(-5))/((-39)/130)?
True
Let j be 1/2*-2*-76. Suppose -m = 3*m - j. Is 19 a factor of m?
True
Suppose 2*n - 5 = 1. Suppose -2*h + t = -4, -n*h - h - 2*t + 8 = 0. Let w(x) = 6*x**3 - x**2 + 2*x - 2. Does 23 divide w(h)?
True
Suppose 29 = -2*s + 221. Suppose -6*f = -2*f - s. Is 12 a factor of f?
True
Suppose 10 = -4*d - 18. Let z be 2/d - (-32)/14. Suppose 24 = b + z*x, -3*b - 4*x + 5*x + 44 = 0. Is 8 a factor of b?
True
Let z(q) = q**3 + 3*q**2 + q + 1. Let b be z(-2). Let g be (-10)/(((-8)/14)/2). Is -3 + 0 + b + g a multiple of 14?
False
Let b = 302 + -16. Is 13 a factor of b?
True
Let r(h) = h**2 - 6*h + 4. Let o be r(-5). Let j = -113 + 78. Let v = o + j. Is v a multiple of 12?
True
Suppose -4*b + 2*b + 224 = 0. Does 18 divide b?
False
Suppose -4*m + 2*m + 60 = 0. Does 7 divide m?
False
Let d = -12 + 15. Does 16 divide (-1)/(-3) - (-80)/d?
False
Let k(w) = 3*w**2 - w + 1. Let c(f) = 10*f**2 - 4*f + 4. Let l(o) = -2*c(o) + 7*k(o). Let d = 4 - 9. Is 8 a factor of l(d)?
False
Suppose 145 = 2*f + v, 5*f + 9*v - 364 = 6*v. Is 8 a factor of f?
False
Let s = 93 - 24. Is s a multiple of 22?
False
Suppose 20*b - 22*b = -60. Is b a multiple of 30?
True
Suppose 1 - 6 = -r. Is 8 a factor of 318/30 - (-2)/r?
False
Let y = -4 - -5. Let n = 10 + y. Suppose -n = -g - 0*g. Is 8 a factor of g?
False
Let q(m) = 19*m - 5. Does 11 divide q(2)?
True
Let k = 28 + 17. Let t = 3 + 0. Suppose 0*r = -t*r + k. Does 12 divide r?
False
Suppose -2*t + 0*t = -o + 86, 231 = 3*o + 3*t. Suppose -r = 6*v - v - o, 5*r - 64 = -4*v. Is v a multiple of 8?
True
Let w(x) = 2*x**2 - 7*x + 2. Let m be w(4). Does 10 divide 116/m + 4/6?
True
Let t = -59 + 95. Is t even?
True
Suppose -331 + 67 = -3*k. Is k a multiple of 15?
False
Suppose 5*i - 5*o - 80 = 0, 2*o = 12*i - 7*i - 71. Is i a multiple of 3?
False
Let u be (-2 + 1)*2 + 1. Let w(z) = -6*z**3 - z**2 + 1 - 3*z**3 - 2*z**3. Is w(u) a multiple of 11?
True
Let m be (-4)/(-6) + (-16)/6. Is 12 a factor of m*(-1)/1 + 15?
False
Let q = 321 + -141. Is 12 a factor of q?
True
Let a = 6 - 4. Suppose -a*v = 3*m + 3*v - 5, 5*m - 4*v = -41. Let z(d) = -2*d. Is z(m) a multiple of 10?
True
Suppose -5*f - 3*l + 63 = 0, 4*f + 1 = -3*l + 52. Is f a multiple of 4?
True
Let c = 68 + -53. Let l(w) = 5*w**2 + 3*w + 3. Let g be l(3). Let s = g - c. Is s a multiple of 20?
False
Suppose 3*s + 4*n = 5*s + 2, -4*n = 3*s - 47. Is s even?
False
Suppose -2*m + 2 = 3*o, 4*o + 2*m = 2*o. Suppose t + 1 = -o. Is 15 a factor of (-151)/(-5) + t/15?
True
Let j = 10 - 19. Let x = -4 - j. Suppose x*q + 5*r - 50 = 0, 4*q + 3*r = 5*q - 2. Is 3 a factor of q?
False
Let r(q) = -q**2 - 15*q + 12. Does 12 divide r(-15)?
True
Does 20 divide 15/(-30)*(-90 - 0)?
False
Let f(m) = -16*m - 1. Let t be f(-1). Let b be (-363)/(-2)*10/t. Suppose -3 + 2 = s, -b = -4*z + s. Is 16 a factor of z?
False
Suppose -11 = -2*z + 169. Is 30 a factor of z?
True
Let x(i) = i + 3. Let j be x(7). Suppose -94 = -4*m - 5*f, -4*f - f + j = 0. Is 11 a factor of m?
False
Let o(z) = z**3 + 9*z**2 - 9*z - 10. Is o(-8) a multiple of 10?
False
Suppose 24 = z + 