-5*j, k = -0*k - p*j + 42. Does 21 divide k?
True
Let c = 392 - 158. Is c a multiple of 27?
False
Let z(l) = 21*l - 4. Let o(c) = -c - 1. Let h(k) = 3*o(k) + z(k). Is h(5) a multiple of 23?
False
Let x(j) = -336*j + 160. Is 8 a factor of x(-1)?
True
Let s = -11 - 5. Let v(l) = l + l + 6 - 3*l + 22. Is 6 a factor of v(s)?
False
Suppose -7*s + 1992 + 948 = 0. Suppose 3*l + 5*a - s = 0, -l + 38 = -3*a - 102. Is l a multiple of 20?
True
Suppose 157*s - 151152 = 63*s. Does 24 divide s?
True
Let w = 1138 + -72. Does 10 divide w?
False
Suppose -37*m = -38*m + 330. Does 15 divide m?
True
Let l(j) be the second derivative of j**5/20 + j**4/12 + j**3/6 + j**2/2 - 3*j. Let z(i) = i - 2. Let c be z(4). Is l(c) a multiple of 15?
True
Suppose t - 5*f - 2655 = 0, 0 = -18*t + 21*t - 2*f - 7926. Is t a multiple of 12?
True
Let u(o) be the third derivative of -o**5/60 - 7*o**4/12 + 5*o**3/6 + 10*o**2. Is 5 a factor of u(-13)?
False
Let r(p) = -p**2 + p + 2444. Is 47 a factor of r(0)?
True
Suppose -2*k + 14 = -2*u, 5*u - 64 = -k - 3*k. Is k a multiple of 7?
False
Suppose w + 5*n - 307 = 0, w - 420 + 109 = -n. Does 52 divide w?
True
Suppose c = -3*z - 16, -3*z - 2*z - 45 = -2*c. Does 3 divide (1 - 225/z) + 21/(-147)?
True
Let x = 626 - 528. Is x a multiple of 7?
True
Suppose -15 = -3*b - 6. Let s be -4*b/(-6) - 137. Is ((-2)/(6/s))/1 a multiple of 14?
False
Let r(w) = -w**2 + 3*w + 1. Let s be r(2). Let h(t) = -3*t**s - t**2 + 2*t**3 + 0*t + 43 - t. Does 23 divide h(0)?
False
Let x be 3/(-9)*-3*(-2)/1. Is (2 - 2) + x + 218/2 a multiple of 26?
False
Let w = 337 + 875. Is 12 a factor of w?
True
Suppose 8*u - 6 = 6*u. Suppose -p + 171 = -3*b, -p = u*p - b - 728. Is p a multiple of 13?
False
Let a be (2/1 + 32)*-1. Let s be (1 - 1)*17/a. Suppose -2*x + 8*x - 216 = s. Is 9 a factor of x?
True
Suppose -4*y = -3*y - 1, 3*n - 3*y - 6 = 0. Suppose -7*t + 58 = 2*d - 2*t, 3*d - 66 = n*t. Does 4 divide d?
True
Let m be (8/24)/(1/3). Suppose -f + 1 = 3*y, -f + m = y - 0*f. Suppose 102 = -y*b + 2*b. Does 11 divide b?
False
Let v(b) = -2*b**3 - 2*b**2 + 3*b + 70. Is v(0) a multiple of 10?
True
Suppose 222*l = 232*l - 16300. Is l a multiple of 38?
False
Suppose -x - 2*c = c + 3, 3 = 5*x - 3*c. Suppose 5*r - 1080 + 185 = x. Is 20 a factor of r?
False
Suppose -7*l = 966 - 8743. Is l a multiple of 38?
False
Let j(v) be the third derivative of -v**6/120 - v**5/30 - v**4/24 - 7*v**3/6 + 16*v**2. Does 15 divide j(-6)?
False
Let k(m) = -56*m**2 + 11*m - 1. Let c(w) = 37*w**2 - 7*w + 1. Let i(y) = 8*c(y) + 5*k(y). Is 8 a factor of i(2)?
False
Does 7 divide (222/(-2 + 0))/(96/(-320))?
False
Suppose 451*a = 452*a - 2901. Is a a multiple of 15?
False
Is 11 a factor of 3/(9/(-36) - 31/(-108))?
False
Suppose 0 = -2*z + 5*c + 29, 6*c = -4*z + c - 17. Suppose -g + 6*g - 16 = z*w, -w - 18 = -5*g. Is w even?
True
Suppose 0*k - 3950 = -5*k + 5*v, -4*k - 3*v = -3167. Is k a multiple of 26?
False
Suppose 36 = -2*v + 42. Is 2 a factor of v?
False
Let p be (-45)/((-3)/28*-1). Is 9 a factor of (4/(-3))/((8/p)/2)?
False
Suppose 3848*n = 3845*n + 11250. Does 75 divide n?
True
Let h = -788 - -2188. Suppose 0*c = 7*c - h. Is 25 a factor of c?
True
Let a(m) = m**3 - 12*m**2 - 35*m + 50. Is a(15) a multiple of 14?
False
Let f(w) = -w**3 - 7*w**2 - 11*w + 13. Let c be f(-11). Let a = c - 441. Does 17 divide a?
False
Suppose 5*w + 177 - 222 = 0. Let d(k) = -k**2 + 15*k + 17. Let t(n) = n**2 - 15*n - 16. Let h(v) = -6*d(v) - 7*t(v). Is 19 a factor of h(w)?
False
Let u(v) = -2*v**2 + 2*v - 11. Let l be u(5). Suppose 20 = -x + 118. Let d = l + x. Is 21 a factor of d?
False
Suppose -3*x + 2*j = -2512, -3*x - 2*j + 2487 = j. Does 77 divide x?
False
Let k be (-6)/(-3) + 0 + -3. Let l(n) = 13*n**2 - 11*n - 9. Let x(u) = -7*u**2 + 5*u + 4. Let z(a) = -3*l(a) - 7*x(a). Does 5 divide z(k)?
False
Let x be ((-2)/(-8) - 1)*4. Let r(p) = -42*p + 9. Let s be r(x). Suppose -5*y = -10*y + s. Is 9 a factor of y?
True
Let v(k) = 54*k**2 - 5*k + 3. Let f be v(3). Let a be ((-1)/3)/((-2)/f). Suppose 5*j - a = -3*m, -m = -0*m - 5*j - 13. Is m a multiple of 7?
False
Let f(a) = -a**3 - 11*a**2 + 29*a + 14. Let z be f(-13). Is ((-1102)/145)/(1/z) a multiple of 37?
False
Let g(n) = -2*n**3 + 9*n**2 + 9*n - 3. Let m(t) = -t**3 + 5*t**2 + 5*t - 2. Let s(u) = 3*g(u) - 5*m(u). Let f be s(3). Is 14 a factor of ((-42)/(3 + -2))/f?
False
Let v(g) = -g**2 + 7*g + 1. Let j(y) = y**2 + 6*y + 3. Let c be j(-6). Is 13 a factor of v(c)?
True
Let s = -203 - -326. Is s a multiple of 7?
False
Let g be 66/8 + 1/(-4). Suppose -g*r + 7*r + 4 = 0. Suppose r*z - 32 = -0*z. Does 3 divide z?
False
Let t = -2 + 7. Suppose -4*l + 2*r = 206, -t*l + 5*r = -l + 209. Let d = l - -102. Is d a multiple of 17?
True
Let y(v) be the second derivative of 1/2*v**2 + 0 + v - 16/3*v**3. Does 11 divide y(-1)?
True
Let g = -1277 - -1650. Is 22 a factor of g?
False
Let u = -2 - -7. Let n(y) = 8*y**2 - 5*y + 1. Let k be n(u). Let a = -124 + k. Does 13 divide a?
True
Let h(z) = -z**3 - z**2 + 6*z + 2. Let v be h(-3). Let u be (6/4 + v)*-10. Let y = u - -53. Is 6 a factor of y?
True
Is 4 a factor of (4560/80)/(-2*(-9)/96)?
True
Let r = 19 - 17. Suppose 8 = r*j - 2. Let o(v) = 4*v**2 - 8*v + 4. Is o(j) a multiple of 32?
True
Suppose 2*d - 2*q - 9 = -q, 4*q = -2*d - 16. Suppose 3*u - 62 = w - 0*w, -3*u = -d*w - 58. Does 6 divide u?
False
Suppose 230 = -2*t - 3*w, 0*t - 5*w + 115 = -t. Let x = 173 + t. Is x a multiple of 14?
False
Suppose o + 15 = 6*o. Suppose u - o = 3*b, 0 = -3*u + b + 36 + 13. Is u a multiple of 18?
True
Suppose -15*g = -2*g - 7696. Suppose 11*l = g + 1674. Does 42 divide l?
False
Suppose -5*a + 3*a + 4*g = 0, 0 = -2*g. Suppose 4*v = 0, a = 3*n - 2*v - 345 - 978. Is n a multiple of 15?
False
Suppose -116467 = -47*p - 5171. Is p a multiple of 9?
False
Let p(l) = l + 157. Is p(-21) a multiple of 7?
False
Suppose -17*f = -21*f + 12. Suppose 0 = -r - f*d, 4*r - 15 = -2*d + 5*d. Let h = r + 32. Is h a multiple of 8?
False
Suppose 4*d - 2*b + 3*b = -50, -3*b = 3*d + 42. Let h be ((-4)/d)/(2/30). Is 7 a factor of (-4)/h*(-35)/2?
True
Let y(d) = -9*d - 6. Suppose -3*a + 2*i - 24 = -6, -a - 10 = -2*i. Let c = a - 1. Is 16 a factor of y(c)?
False
Let k(v) = 2*v**2 - 6*v - 11. Let b be k(6). Let p be -2 - (8 - (3 - 2)). Let y = p + b. Does 8 divide y?
True
Let c be 2*((-26)/(-4) + -4). Suppose -21 = -2*s + 3*m, -m = -c*s + 2*s + 42. Suppose -5*r + 174 = k, 0 = r - k - 21 - s. Is r a multiple of 7?
True
Let i(c) = c**3 + c**2 + c + 1. Let m be i(-3). Let u = -10 + m. Does 13 divide (-6)/15 - 1182/u?
True
Suppose -5*p = -2*u - p + 378, 4*u + 3*p - 811 = 0. Let b = -104 + u. Is 5 a factor of b?
True
Let p(a) = a**3 + 5*a**2 + 2*a + 7. Let r be p(-5). Let k be -18*(r - 3/(-2)). Suppose 5 = o - k. Is 16 a factor of o?
True
Let k(y) = 2*y**2 + 5*y + 7. Let u be k(-3). Let f = u + 0. Does 7 divide f?
False
Let o(w) = -11*w**3 + 14*w**2 + 23*w + 8. Let g(q) = -2*q - 5*q - 4*q - 7*q**2 + 5*q**3 - 4. Let s(t) = 13*g(t) + 6*o(t). Is s(-7) a multiple of 11?
False
Suppose b = 5*v - 80, -3*b - 2*v + v = 272. Let g = b - -158. Is g a multiple of 24?
False
Suppose -12 = 3*c - 3*h, 0*h = 5*h + 20. Is (-15)/((-1)/(-6) + 4/c) a multiple of 9?
True
Let f(o) = 2*o**2 - 31*o + 87. Is 7 a factor of f(33)?
False
Suppose -p + 5*t = -7 - 2, -2*p + 4 = 4*t. Suppose p*r - 18 - 78 = 0. Suppose -k + 36 + r = 0. Does 17 divide k?
False
Suppose -m - 4225 = -4*a, 3*a - 14*m = -17*m + 3180. Does 4 divide a?
False
Let g be 3404/7 - (-2)/(-7). Suppose 3*l + v + 10 = 0, l - 2*v + 16 = 8. Is ((-4)/6)/(l/g) a multiple of 27?
True
Suppose -l = 2*l - 18. Let b(j) be the third derivative of -j**6/120 + j**5/10 + 3*j**4/8 - j**3/2 + 110*j**2. Does 14 divide b(l)?
False
Suppose -5*n - 1299 = 2*r, 0*r + 3*n = 5*r + 3201. Let v = r - -968. Does 29 divide v?
False
Suppose 4 = -2*s, 6*c - 3*s = 4*c + 402. Is 17 a factor of c?
False
Let k = -77 - -149. Suppose 2*r - 40 = k. Is 8 a factor of r?
True
Suppose 137*h - 146*h = -999. Is h a multiple of 31?
False
Suppose 4*h = 2*u - 3*u + 206, -5*h = -2*u - 264. Is 2 a factor of (-4)/26 + 476/h?
False
Let m be (1 + (-1)/2)*16. Let j be -12 - 4*6/m. Is ((-126)/j)/(6/30) a multiple of 21?
True
Let v = -102 - -115. Suppose -v*u - u = -1960. Is 20 a factor of u?
True
Let s be