-3*k = -4*g - 509. Is k a multiple of 11?
False
Does 14 divide 888/21 + 4/(-14)?
True
Suppose 4*b - 724 = 4*t - 0*t, 0 = 2*b - 4*t - 362. Does 29 divide b?
False
Let z = 4 + -6. Let a be (1*(z + 1))/(-1). Is -26*(a + -2 + 0) a multiple of 13?
True
Let k(g) = -g + 8. Suppose -a + 25 = -i - i, -41 = 3*i - 5*a. Is 19 a factor of k(i)?
False
Let j(r) = -8*r**3 - r**2 - r. Let h be j(-1). Does 9 divide (2 + h)*(-16)/(-5)?
False
Suppose 4*h - 5*b + 1 = 12, -3*h + 42 = 3*b. Suppose h = 3*n - 6. Does 4 divide (n + -1)*(-1 - -3)?
True
Let k be -6*1*(-1)/3. Suppose 0 = 6*z - 5*z - k. Suppose 2 = -2*p + 4*i, 2*p + z*i + 0*i - 22 = 0. Is 6 a factor of p?
False
Suppose -4 = k + 3*c, -k - 6 + 20 = -3*c. Suppose -g - 56 = -k*g. Suppose t - g = -0*t - 4*z, 12 = t + 3*z. Does 6 divide t?
True
Suppose -q - 3*q + 16 = 0. Let k = q - 2. Suppose 4*c - 2*n = 40, 6*n = k*n - 16. Is 4 a factor of c?
True
Is 5 a factor of 15 - 0 - (17 - 17)?
True
Let w = -46 - -79. Is 11 a factor of w?
True
Suppose -60 = -6*v + 2*v. Let x = v - 5. Is x a multiple of 10?
True
Suppose -3*n - 185 = 4*a, 2 = 2*n + 8. Is 18 a factor of 2/(-11) + (-2384)/a?
True
Suppose 9*d = 8*d + 8. Is d a multiple of 5?
False
Let x = 2 - -3. Suppose 0*j = -x*j + 100. Is j a multiple of 8?
False
Let l(d) = 32*d + 1. Let x = -2 + 2. Let w be (-1 + (x - 0))*-1. Is l(w) a multiple of 14?
False
Suppose 0*w - 5*w = 30. Is (-54)/(-10) - w/10 a multiple of 4?
False
Suppose 3*y - 97 = 47. Suppose 143 = 4*h + h + 3*t, -4*t = 5*h - 144. Let i = y - h. Is i a multiple of 15?
False
Let r be (-46)/(-6) - 2/3. Suppose r = -4*a + 3*a. Is 3/((-3)/a) - 1 a multiple of 3?
True
Suppose x - 84 = -23. Is x a multiple of 9?
False
Let u(d) = -3*d - 2. Let b(n) = 14*n + 11. Let o(x) = -4*b(x) - 22*u(x). Let m be o(-8). Is 4 a factor of ((-6)/8)/(4/m)?
False
Let t = 10 + -6. Let j be t/2*11/2. Let n = 17 + j. Does 11 divide n?
False
Suppose -a + 10 + 2 = 2*w, 3*a + 2*w - 40 = 0. Does 7 divide a?
True
Suppose 3*z - 57 = -0*v - 4*v, v - 43 = -2*z. Does 8 divide z?
False
Suppose 0 = -w - 2*w - 258. Let k = 44 + w. Does 8 divide (-220)/(-14) + (-12)/k?
True
Let o = 22 + -13. Let z = 1 + o. Is z a multiple of 9?
False
Let r = 108 - 68. Does 14 divide r?
False
Let w(r) = -9*r - 3. Does 12 divide w(-7)?
True
Suppose 3*y = 2*y + 118. Let f = y - 58. Does 15 divide f?
True
Suppose -5*w + 45 = -0*w. Is w a multiple of 5?
False
Suppose 4*x + 32 = 3*d, -5*x - 58 = -5*d - 8. Suppose -3*v + d = -10. Is v a multiple of 3?
True
Suppose -v + 2*c + 1 = 3*c, -v - 2*c + 2 = 0. Suppose v*j - 4*j + 62 = f, -5*j + 84 = -2*f. Is 8 a factor of j?
True
Let k(j) = -j**3 + 2*j**2 + 3*j + 1. Let w be k(3). Let f be w - -7*(-4)/(-2). Does 10 divide 156/15 + (-6)/f?
True
Is (22 + -23)/(1*2/(-8)) a multiple of 3?
False
Suppose 0 = -5*f + 2*j + 22, 2*f + 4*j = -1 + 5. Let m(w) = w**2 - 4*w. Let q be m(f). Suppose 2*z + r = 2*r + 25, 4*z + 3*r - 75 = q. Is 15 a factor of z?
True
Let v(d) be the second derivative of -d**4/12 + 5*d**3/3 - d**2 - 4*d. Is v(9) a multiple of 2?
False
Is (2 - 4) + 1 + 7 a multiple of 4?
False
Let s(t) = -t**3 - 3*t**2 + 3*t. Let d be s(-4). Let k(m) = -9*m. Let p be k(-1). Let g = p - d. Is 3 a factor of g?
False
Suppose y + 2*y = -51. Let d = y - -25. Does 2 divide d?
True
Suppose -2*j - j = 42. Is 19 a factor of j*(3 + 3)*-1?
False
Suppose 2*q - 8 + 18 = 0. Let c = 12 + q. Is c a multiple of 6?
False
Let h(t) = -t**2 - 8*t - 8. Let m be h(-7). Let k be (m - 0)/((-5)/20). Suppose -k*r = -7*r + 24. Is 3 a factor of r?
False
Let k(i) = i**2 + i. Let j be 2 - (-1)/((-2)/14). Does 17 divide k(j)?
False
Let g = -5 + 9. Does 3 divide g?
False
Suppose 0 = d - 2*m + 12, -2*m + 14 + 10 = -4*d. Is (-66)/d*(-2)/(-3) a multiple of 7?
False
Suppose -m = a - 128, 3*m - 6*a - 419 = -2*a. Suppose -27 = -5*z + m. Does 16 divide z?
True
Let v(c) = 2*c**2 - 2*c - 1. Let m be v(2). Suppose -g = m*g + 28. Is (-2)/(-7) - 103/g a multiple of 13?
False
Suppose -4*d - 10 = 2*u, -d = 4*u + 2*d. Suppose -4 = 4*w + 4, -2*w = u*k - 14. Is 6 a factor of k?
True
Let j(r) be the third derivative of 17*r**5/30 + r**4/12 + r**3/6 - 3*r**2. Does 18 divide j(-1)?
False
Suppose 0 = -2*x + v - 2*v + 29, 2*x - 39 = -3*v. Is x a multiple of 12?
True
Suppose -11*g - 30 = -6*g. Let x(k) = -k**2 - 9*k + 14. Does 19 divide x(g)?
False
Let v(g) = 2*g**2 + 4*g + 3. Let r be v(-2). Suppose 0*q - 132 = -r*q. Does 22 divide q?
True
Let b(z) = -z**2 + 2*z**2 - 2*z - 5 + 4. Let j be b(-1). Suppose j = -5*m + 42. Is 4 a factor of m?
True
Suppose 210 = 4*w - k, k + 110 = 2*w - 2*k. Is 4 a factor of (w/(-6))/((-6)/9)?
False
Suppose 6 = -2*m + 5*m. Suppose -s + m*s - 4 = 0. Suppose -z + n + 16 = 2*z, z + 12 = -s*n. Is 2 a factor of z?
True
Suppose -2*b + 10 = -0*b, 3*d - 4*b - 328 = 0. Suppose r + 4*l = -62, -r - 2*r = -2*l + d. Is 8 a factor of r/(-5) - (-2)/(-5)?
True
Suppose -4*z + 41 = 5*g, 0 = -2*z + 4*z - 8. Suppose -g*l = -26 - 259. Is 17 a factor of l?
False
Let l be 6/5 + (-1)/5. Let o = 1 + l. Is 4 a factor of 1/(-2)*-22 - o?
False
Let f = -8 - -10. Suppose -4*k + 29 = 3*q, 5*k + 8*q = 3*q + 30. Let x = k - f. Is 9 a factor of x?
True
Suppose -2*i + 5*b + 109 = 0, i + 3*b - 101 = -i. Is 26 a factor of i?
True
Suppose b - 179 = -3*v, -155 = -5*v + 5*b + 110. Let k = v + -28. Does 11 divide k?
False
Let i(s) = 11*s - 1. Let h be i(11). Suppose f - 41 = -0*o + 4*o, 0 = -4*f + 5*o + h. Is f a multiple of 9?
False
Let w(h) = -h**3 + 4*h**2 + 4. Let y be w(4). Suppose x - 12 = 2*l - 28, y*x + 43 = 5*l. Does 2 divide l?
False
Suppose 4*v - 152 = i, -4*i + 118 = 4*v - 14. Let f = -2 + v. Is f a multiple of 11?
False
Let a(u) = 47*u + 7. Let g be a(4). Let p = -111 + g. Is p a multiple of 28?
True
Let o(m) = 6*m + 4. Is 17 a factor of o(5)?
True
Let h(w) = 4*w**2 - w. Let r be 4/(-6)*6/4. Is 5 a factor of h(r)?
True
Let h(q) = -9*q**2 + 10*q**2 + 3*q**3 + 0*q**3. Let v be h(1). Let a = 10 + v. Is a a multiple of 11?
False
Suppose 0 = -4*f, 4*p - 9*p = -4*f - 25. Suppose -4*w + 53 = g, -7*w + 23 = -3*w - p*g. Does 7 divide w?
False
Suppose g + 1 - 2 = 0. Suppose 3*t = g + 35. Is t a multiple of 10?
False
Let r(g) be the second derivative of g**3/2 - 3*g**2 - 5*g. Does 4 divide r(7)?
False
Let f = -5 + 5. Suppose f*x + 2*x - 26 = 0. Let h = x - 3. Is h a multiple of 3?
False
Let v = 243 + -172. Let y = -28 + v. Does 13 divide y?
False
Let d(f) = 8*f - 36. Is d(8) a multiple of 10?
False
Is 8 a factor of (-4)/2*(-2)/(-4)*-141?
False
Let o(g) = -74*g - 4. Is o(-1) a multiple of 14?
True
Let s(n) be the second derivative of n**6/180 + n**5/120 + 5*n**4/24 - n**3/6 - 2*n. Let o(u) be the second derivative of s(u). Does 14 divide o(-5)?
False
Let y = 7 - 4. Suppose 2*p = -y*p. Suppose p = -5*f + 84 + 141. Is f a multiple of 19?
False
Let c = -12 - -14. Suppose c*a + 215 = 7*a. Does 15 divide a?
False
Let f(o) = -4*o**2 + 2*o - 2. Let p be f(2). Does 13 divide (-2)/(8/10)*p?
False
Suppose -2*q + 0*q + 72 = 0. Does 18 divide q?
True
Is 4 a factor of (-304)/(-22) - (-6)/33?
False
Suppose 0 = -3*x - x + 372. Is x a multiple of 31?
True
Let t = 18 + -12. Suppose -5*a + 4*o = t*o - 6, 3*o + 12 = 3*a. Suppose -30 = -2*x - w, 5*x - a*x - 38 = -5*w. Is 16 a factor of x?
True
Let t(o) = 5*o**2. Suppose 3*m - 6 = -3. Suppose 2*w = 2*p - 7 + m, 0 = -5*w - 2*p - 1. Is 2 a factor of t(w)?
False
Let d = -75 + 121. Is 4 a factor of d?
False
Suppose -2*u + g + 3*g + 134 = 0, -4*u + 257 = 3*g. Suppose 5*x - 2*d - 233 = 0, 5*d + u = x - 0*x. Does 7 divide x?
False
Let t(q) = -3*q**3 - 7*q**2 - 5*q - 4. Let r be t(-4). Suppose r = 2*c + 12. Is 7 a factor of 16/(-12)*c/(-4)?
True
Let y = 372 + -202. Is y a multiple of 16?
False
Let v(i) be the second derivative of 2*i**3/3 + i. Does 3 divide v(2)?
False
Let r(g) = g**2 - g - 5. Let n be r(-5). Suppose 14*s - 11*s = -45. Let d = s + n. Is d a multiple of 5?
True
Suppose k = 5*k. Suppose q = 4*m - 56, q + k*q = 3*m - 43. Does 8 divide m?
False
Let b be 5/(-2)*(-8)/10. Suppose 2*s - 26 = -3*k, s - 6 = k - b*s. Does 8 divide (8/k)/((-6)/(-45))?
False
Suppose 2*k = -2*k. Suppose k = s - 4 - 1. Suppose 65 = s*n + 5. Is 12 a factor of n?
True
Let x(b) = -b**2 - 5*b - 1. Let m be x(-4). Suppose -m*n - i + 109 = 0, -3*n = n - 5*i - 177. Is n a multiple of 12?
False
Let