v. Suppose 2*k + 3*j = -k + 339, 0 = 5*k - j - v. Is k a multiple of 21?
False
Is (9 + -8)*-2 - -528 a multiple of 16?
False
Let x(o) = -o**2 - 14*o - 20. Let j be x(-13). Let m(t) = -4*t**3 - 9*t + 3. Let d(i) = i**3 + i**2 + i - 1. Let c(a) = -5*d(a) - m(a). Is 18 a factor of c(j)?
True
Let j = -15 - -357. Does 18 divide j?
True
Let b = 2 + -5. Let y be (-12)/(-8)*(-4)/b. Does 18 divide (-70)/y*(-3 + 2)?
False
Let x = 165 - 71. Suppose 0 = 2*q - b - 89, -4*q + b + 85 = -x. Does 9 divide q?
True
Suppose -2*h + 4*h - 6 = 0. Suppose h*c - 6 = -b, -4*b = -c - 14 + 3. Suppose -2*g - b*v + 94 = 0, -2*g = 3*g + v - 222. Is 12 a factor of g?
False
Suppose -16*l - 6 = -19*l. Suppose 5*m - 8*d + 3*d - 455 = 0, -3*m + l*d = -277. Does 19 divide m?
True
Suppose -5*p = -7*p + 10. Suppose 8*u - p*u = -237. Let s = -49 - u. Is s a multiple of 6?
True
Suppose k + 5*b = -0*b + 323, -3*k + 1025 = b. Suppose k = 4*z - 57. Is z a multiple of 28?
False
Suppose -25 - 377 = 6*o. Let p be ((1 - 1) + -1)*19. Let x = p - o. Is x a multiple of 24?
True
Let u = 219 - 117. Is u a multiple of 20?
False
Let h be 24/14 - (-4)/14. Suppose -2*m + 122 - 30 = -h*v, 47 = m - 2*v. Is 12 a factor of m?
False
Let f = -19 + 12. Let u(v) = 31*v**2 + 27*v + 37. Let y(n) = 7*n**2 + 7*n + 9. Let d(l) = 2*u(l) - 9*y(l). Is d(f) even?
False
Is (-69)/(-3*(-6)/(-108)) a multiple of 9?
True
Let x = 9 - 5. Suppose -x*m + m + 153 = 0. Let p = -36 + m. Does 8 divide p?
False
Does 6 divide (-4)/(-3)*(-2511)/(-54)?
False
Let a be (-8)/28 - 1605/(-7). Suppose g - a = -4*x - 0*g, -3*x + 4*g = -148. Is x a multiple of 14?
True
Let p(g) be the second derivative of -g**3/6 + 2*g**2 - 2*g. Suppose -12*i - 189 = -129. Is 9 a factor of p(i)?
True
Suppose 0 = 6*b - 28*b + 17842. Does 39 divide b?
False
Suppose 5*l = 3*v - 29 - 8, -1 = v + 5*l. Suppose -4*u + v = -3. Suppose 2*y + 2*s = 90 + 14, 4*y = u*s + 208. Is y a multiple of 15?
False
Let k be (-4 + -6)*4/(-10). Let o(x) = -2*x + x - k*x - 2*x - x**2 + 4. Is o(-6) a multiple of 3?
False
Let f = -54 - -59. Suppose 246 = 5*h + i, f*h - 3*i - 254 = -2*i. Does 10 divide h?
True
Let h(d) = -2*d**2 + 6*d - 12. Let c be h(14). Is 20 a factor of (c/50)/(2/(-25))?
True
Suppose -3*u - 5*o = 29, 0 = 7*o - 4*o + 12. Is 10 a factor of 30/(u/(-24)*15/5)?
True
Let b(p) = 17*p + 7. Let a(c) = -18*c - 7. Let o(f) = 4*a(f) + 5*b(f). Is 10 a factor of o(11)?
True
Let g = -28 + 45. Let c = -16 + g. Is 10 a factor of 47*c - (-5)/5?
False
Does 2 divide -7 - (-34 + (-2)/1)?
False
Let w = -558 - -377. Let c = w - -489. Does 44 divide c?
True
Is 2 a factor of (4/24)/((-1)/(-2238)) + -2?
False
Let c(b) = b**2 + 7*b + 7. Suppose 3*v + 3 = 4*v. Suppose 11 = -3*s - 3*a - 1, -4*s + v*a - 37 = 0. Does 2 divide c(s)?
False
Let n(l) = -l**2 - 8*l - 12. Let c be n(-6). Suppose -3*x + 2*u = -c*x - 92, 2*u = -5*x + 164. Is x a multiple of 10?
False
Suppose -2*l + 4*z + 10 = -0*z, z - 11 = -l. Suppose l = -w + 19. Suppose 8 = 3*o - w. Is o a multiple of 3?
True
Suppose -14*c + 27 = -15*c. Let a be -6*(-6)/c*-3. Suppose 0 = -3*h - p + 163, 3*h - 2*h - 76 = a*p. Is 15 a factor of h?
False
Let w(p) be the first derivative of -p**2/2 + 6*p - 1. Suppose 13*m + 2*r = 8*m - 50, 5*r + 50 = -5*m. Does 16 divide w(m)?
True
Let l(g) = -4*g - 4. Let d be l(-1). Suppose d = -4*a - 2*h + 446, 550 = 5*a + 3*h - 8*h. Is 15 a factor of a?
False
Let t(p) = p**2 - 2*p - 7. Let l be t(5). Suppose 4*m - 2*m - l = 0. Let a = m - -41. Is 18 a factor of a?
False
Let d(w) = -3*w**3 + 0*w**2 + 4*w**3 + 8 - 8*w - 9*w**2. Let k be 35*8/28*1. Is 8 a factor of d(k)?
False
Let t be (-16)/6*15/(-10). Suppose 0 = g + 3*i - 20, -t*g + 3*i = -80. Does 9 divide g?
False
Let n(l) = 4*l**2 + 11*l + 12. Let f be n(9). Suppose 0*w - 5*a - f = -5*w, 0 = 5*w + 2*a - 414. Does 14 divide w?
True
Suppose 3*r - 4*d + 119 = -17, -d = 3*r + 131. Let x = 23 + r. Is -1*8*x/14 a multiple of 12?
True
Let w = 83 + 22. Does 15 divide w?
True
Suppose -2*g - 5*j = -1985, g - 4*j = -2*j + 970. Is g a multiple of 31?
False
Let j = -578 + 1493. Does 15 divide j?
True
Let n(u) be the second derivative of u**3/2 - 7*u**2/2 + 14*u. Let g = -2 - -10. Does 9 divide n(g)?
False
Let f be (-2 - (-9)/4) + (-1)/4. Suppose 15 = 3*a + d, -5*a + 17 = -f*a - d. Is a a multiple of 2?
True
Is (-20)/12*(-28 + 7) a multiple of 9?
False
Let a(s) = s - 5. Let n be a(7). Suppose -2*l + n*c - 11 = 7*c, 0 = -5*c - 15. Suppose -3*o - 4*v + 100 = 0, o + l*v = -0*o + 34. Does 11 divide o?
False
Let v be 2/(-4) + 3/(-2). Suppose 2*z - 20 = -14. Is 5 a factor of (-15 + z)/v*2?
False
Let v(z) = 39*z + 2. Let o be v(2). Is (-3)/(-2)*(-13)/((-156)/o) a multiple of 5?
True
Let k(y) = y**3 - 18*y**2 + 3*y - 31. Let u be k(18). Suppose -h + c = -138, 5*c + 2 = -u. Is h a multiple of 10?
False
Let p(k) = -20*k + 12. Does 8 divide p(-3)?
True
Let h(m) = -m**2 + m + 1. Let c(a) = -a**2 + 2*a - 5. Let y(z) = -c(z) - 4*h(z). Does 7 divide y(3)?
True
Suppose 20 = -4*c + 4. Let l = c + -8. Let v = 48 - l. Is 20 a factor of v?
True
Suppose 3*s + 8 + 19 = 5*v, -9 = v + 3*s. Suppose v + 16 = u. Is u a multiple of 4?
False
Let h be (-6 - -9)/(8/5 + -1). Suppose 88 + 200 = 4*n - 3*q, h*n = 4*q + 360. Is n a multiple of 11?
False
Let u(h) be the third derivative of h**4/24 + 11*h**3/2 + 28*h**2. Is 6 a factor of u(-15)?
True
Let i(d) = d**2 - 10*d - 27. Let z be ((-32)/(-12))/(1/(-3)). Does 15 divide i(z)?
False
Suppose -26*u = -41*u + 9375. Does 25 divide u?
True
Is (-1080)/(-63)*28/6 a multiple of 3?
False
Let n be (-5)/(-20) - (-19)/4. Suppose -4 = n*g - 24. Suppose g*f = -2 + 130. Does 8 divide f?
True
Suppose 5*k = -2*k - 56. Let w(u) = u**3 + 10*u**2 - 3*u - 7. Let h be w(k). Is h/(-2)*(-6)/5 a multiple of 15?
False
Suppose -2*p = -0*p + 4. Let n = 5 + p. Suppose 4*z + 1 = 4*j + 177, 131 = n*z - 4*j. Is z a multiple of 7?
False
Suppose 0 = -6*w + 3514 + 1526. Does 14 divide w?
True
Let y be (8/(-20))/(1/(-5)). Let p be -110*(-4 - -3)/y. Suppose 3*t = 2*t + p. Is t a multiple of 15?
False
Let z(r) = 307*r - 110. Is z(2) a multiple of 6?
True
Suppose -4*o = 3*j + j - 396, 210 = 2*o - j. Suppose -5*u = -2*k + o, -3*k + 7*k - u = 179. Suppose -4*l + k = -8. Is 9 a factor of l?
False
Let l be -1 + (-63 - 1) + -1. Let n(y) = -y**3 - 10*y**2 - 7*y - 12. Let r be n(-5). Let p = l - r. Is 12 a factor of p?
True
Let l = 13 - 5. Is 2 a factor of (-7)/14*l*-1?
True
Suppose 0 = -5*w - 5, 3*x = -5*w + 135 + 793. Let h = x + -216. Is h a multiple of 19?
True
Suppose 0 = 133*h - 131*h - 3608. Is 89 a factor of h?
False
Let y(p) = 43*p**2 + 4*p - 2. Let t be (-3)/(-9)*(5 - 2). Is 15 a factor of y(t)?
True
Let f be 54/9 - (-4)/(-2). Suppose 4*y = 3*i + 83, f*y = 3*i - y + 88. Let d = i - -65. Is 18 a factor of d?
False
Suppose -3*n + 56*n = 37206. Does 39 divide n?
True
Is 8 a factor of -8 - (-42)/7 - (-441 - 1)?
True
Suppose 5*i - 3*t = 1, 6*t - 2*t = 3*i + 6. Suppose 0 = -i*k + 2*n + 87 + 49, -3*k = n - 192. Does 13 divide k?
True
Let o(x) = x**2 + 1. Let t(w) = 3*w**2 + 9*w + 13. Let p(d) = 5*o(d) - t(d). Is 3 a factor of p(7)?
True
Let a be (-7 + 5)/((-6)/15). Suppose 3*q - a*q + 14 = 0. Let c = 97 - q. Does 18 divide c?
True
Let r(z) = -z**2 + z + 1. Let c(g) = -10*g**2 + 2*g + 14. Let x(n) = -c(n) + 8*r(n). Let t be x(-11). Suppose -47 + t = 3*p. Is 10 a factor of p?
False
Suppose -3*k + 47 = j, 109 + 31 = 4*j - 4*k. Suppose j + 13 = 3*x. Suppose -5*w = -x - 188. Does 13 divide w?
False
Is 32643/169 - (-8)/(-52) a multiple of 6?
False
Let g(m) = 23*m**3 - 11*m**2 + 8*m - 7. Does 9 divide g(4)?
False
Let k be 0/(5*1/(-1)). Suppose -12*g + 934 + 2198 = k. Is 21 a factor of g?
False
Let o be -4*(-916)/32*-2. Let k = o + 417. Is k a multiple of 15?
False
Let l = 22 - -32. Suppose 5*b = l + 6. Does 17 divide 0 + b + 3 + 2?
True
Let k = 9 - 6. Let s be k/(-27)*-3*12. Suppose -j = 4*y - 74, s*y + j = 3*j + 68. Is y a multiple of 6?
True
Let k(h) be the first derivative of -h**7/840 + h**6/45 + h**4/6 + 2*h**3 + 8. Let i(v) be the third derivative of k(v). Is 34 a factor of i(4)?
True
Let b be (-2)/13 + (-9025)/65. Let w = b + 226. Is w a multiple of 17?
False
Let o(a) = 4*a + 1. Let d be o(1). Suppose -2*y - 23 = 4*z - 7*y, -d*y = 3*z - 9. Is 17 a factor of 1/z + (-470)/(-20)?
False
Suppose a = -w