e -441 = -2*a - 5*a. Let h = -39 + a. Does 13 divide h?
False
Let i = -64 + 68. Let n = -11 - -16. Suppose i*w = -2*o + 176, 219 = n*w + 2*o + o. Is 15 a factor of w?
True
Let t = 101 + -59. Suppose -t = -2*n + 4*d + 68, 0 = 2*n - 3*d - 114. Is 9 a factor of n?
True
Let m = 37 + 9. Suppose 11 = v - 0*v - d, -2*d - m = -4*v. Is 7 a factor of v?
False
Let s = -9 - -25. Suppose 12*l - 32 = s*l. Does 20 divide ((-4)/l + 2)*24?
True
Suppose -4*c + 2382 = n - 7*c, -4*n - 2*c + 9542 = 0. Is n a multiple of 15?
True
Let m(j) = j**3 - 9*j**2 - 53*j + 14. Is 12 a factor of m(14)?
True
Let k(j) = -j**2 - 10*j + 10. Let f(y) = y**2 + 10*y - 10. Let o(a) = -5*f(a) - 6*k(a). Let m be o(-11). Is 18 a factor of 1 + (-2 - m - -40)?
False
Let v(c) = c**3 - 9*c**2 + c - 5. Let k = 19 + -10. Let o be v(k). Suppose -o*z + 184 = -0*z. Is z a multiple of 23?
True
Let i = -84 - -154. Let h = -29 + i. Suppose -h - 31 = -4*n. Does 10 divide n?
False
Suppose 2*a = 235 - 17. Is 25 a factor of a?
False
Let f(w) = 4*w + 43. Let t be f(-10). Does 17 divide ((-112)/(-24))/7 + 430/t?
False
Let c(x) = -x**2 - x - 1. Let z(t) = -2*t**2 - 3*t. Let a(n) = -4*c(n) + z(n). Does 21 divide a(-5)?
False
Suppose -s = -4*n - 50, n + 2*s + 11 + 6 = 0. Let h = n + 17. Suppose 5*a - h*a - 45 = 0. Is 15 a factor of a?
True
Let p(q) = -2*q**3 - 8*q**2 + 4*q. Let a(h) = -h**3 - 7*h**2 + 3*h + 1. Let l(m) = -3*a(m) + 2*p(m). Let x be 0 - (-4)/(2 - 1). Does 2 divide l(x)?
False
Is (-2308)/(-7) + (-7)/49*-2 a multiple of 7?
False
Suppose -u - 3*h = u - 2000, -5*u = 2*h - 5022. Is u a multiple of 87?
False
Let i(s) be the first derivative of 3*s**4/4 - 5*s**3/3 - 3*s**2/2 + 2*s - 16. Is 7 a factor of i(3)?
False
Let a(o) = -o + 3. Let r(v) be the third derivative of v**4/12 + v**3 + 2*v**2. Let b be r(-6). Is a(b) a multiple of 9?
True
Suppose -g - t + 4*t = 21, -5*g + 3*t - 45 = 0. Let w be (-6)/(-21) - 9344/(-224). Let l = g + w. Is l a multiple of 7?
False
Suppose -3 = 3*i - 3*k - 0, 0 = 3*i - 5*k - 7. Does 6 divide i*4/9*-12?
False
Let p = 33 - -9. Suppose -3*f = -2*r - 225, 4*f + 3*r - 359 + p = 0. Let h = f + -43. Is 17 a factor of h?
True
Let r = 421 + -289. Is 4 a factor of r?
True
Let w = 50 + 8. Let t = w + 79. Suppose 0 = -4*x - 5*a + t, -3*x + 3*a + 108 = 5*a. Is 10 a factor of x?
False
Let b(d) = 5*d + 9. Let h(o) = 5*o + 10. Let i(x) = 5*b(x) - 6*h(x). Let a be i(-12). Let g = a + 11. Is 28 a factor of g?
True
Suppose -3*w - 19 = r, w - 9 = 4*r + 2. Let o(a) = a**2 + 5*a + 6. Let v be o(w). Suppose -2*p = 5*l - 172, -v*l + 3*p + 133 = -2*l. Is l a multiple of 21?
False
Suppose 2*z + 20 = 6*z. Suppose 2*s + 2*r - 3 = 3*r, 3*s - z*r - 1 = 0. Suppose -3*x + 5 = 2*x, -2*x - 32 = -s*n. Is 15 a factor of n?
False
Suppose -14 = 3*y - 5*y. Suppose 2*q - y*q = -210. Suppose -2*j - q = -222. Is j a multiple of 24?
False
Let v be 3 + -1 + (-12)/6. Suppose 3*k = 2*j + 197, v = 3*j - 6*j + 15. Is k a multiple of 25?
False
Suppose 0 = g + 2*g - 147. Let w = 100 - g. Is w a multiple of 17?
True
Does 19 divide (-27 + 30)/((-1)/(-19))?
True
Let g = 345 - 234. Suppose -2*d - d + g = 0. Is d a multiple of 23?
False
Let f = 229 - -739. Does 45 divide f?
False
Is 30 a factor of 9/((-18)/4) + (488 - 6)?
True
Suppose -7*n = 6*n + 910. Is (-30)/n - -65*(-2)/(-7) a multiple of 4?
False
Is 75 a factor of (2751 - -4)*(-36)/(-90)?
False
Suppose 0 = 4*q + 5*n + 47, 5*q + 55 = q + 3*n. Let a = -11 - q. Suppose -20 = -a*v + o, 2*o = v - 2*o - 3. Does 10 divide v?
False
Suppose -3*m = -2*b - 8, 2 = -m - 0*m - 4*b. Let g be 6 + -1 - 66/22. Suppose 0 = 3*h + g*c - 13, -m*c + 7*c - 1 = 3*h. Does 3 divide h?
True
Let c(b) be the third derivative of -7*b**4/24 - 17*b**3/6 - 10*b**2. Does 4 divide c(-5)?
False
Let k(s) = -2*s + 13. Let b be k(7). Let m be (b + 2)*(-20 + 20). Suppose m = -3*t + 265 + 71. Is t a multiple of 30?
False
Let s(i) = -12*i. Let t be s(-1). Let k = t + -11. Let z = k + 20. Does 15 divide z?
False
Let l be ((1 - 3) + 2 + 0)/(-1). Suppose l = -3*u - 3*u + 324. Is u a multiple of 15?
False
Suppose -274 = -j + w + 1206, -4*j + 5904 = 4*w. Is j a multiple of 60?
False
Suppose 149*c - 11970 = 128*c. Is c a multiple of 38?
True
Suppose -5*l = y - 29, 4*y = -y - l + 25. Suppose 5*g - 84 = -y*r + 4, -34 = -2*g - 2*r. Is g a multiple of 5?
True
Let u(w) = -10*w - 6. Let h be u(3). Let m be 0 - h*(0 + 1). Suppose -9*b = -10*b + m. Is 18 a factor of b?
True
Let x(t) = -7*t**3 - 2*t**2 + 8*t + 5. Let i be x(-3). Is 24 a factor of (-1 + i)/((4 - 7) + 4)?
False
Suppose -18*k + 798 = -4*k. Does 4 divide k?
False
Let l(b) = 33*b**2 + 5*b - 26. Does 18 divide l(4)?
True
Let j be 4 + 7 - (1 - 2). Suppose 0 = -3*o + j, 555 = 5*c + 2*o - 208. Does 16 divide c?
False
Let n = 434 + -318. Is n a multiple of 29?
True
Let o(i) = 1 - 3 + 4*i - 3. Suppose h + 0*h = 4. Does 11 divide o(h)?
True
Let s = 47 + -31. Let u be 1 + -26*3/(-3). Let v = u - s. Does 3 divide v?
False
Suppose 0*d - 3*d - 12 = 0. Let j be (364/(-16))/(d/16). Suppose 4*b = j + 217. Is b a multiple of 17?
False
Let n be -1 + 3 + -2 + -79. Let k = -45 - n. Let r = 49 - k. Is r a multiple of 3?
True
Suppose 4*g + 6*h - 18 = 9*h, 3*g = -4*h + 26. Does 6 divide g?
True
Let z(c) = -c**2 + 6*c - 7. Suppose -4*d + 14 - 34 = 0. Let u be z(d). Let a = 137 + u. Is a a multiple of 15?
True
Let g(p) = p**3 - 13*p**2 + 2*p - 10. Suppose 7 = -5*y + 32. Suppose -r + 44 = y*j + 11, 5*j - 20 = 0. Is g(r) a multiple of 6?
False
Let y(g) = g**3 - 6*g**2 + 4. Let p be y(6). Suppose -5*k + 20 = 3*h - 0*k, p*k - 16 = -2*h. Suppose h = 5*w - w - 164. Is 29 a factor of w?
False
Let m(n) = n**2 + 2*n + 5. Let r(g) = g**2 + 5*g + 9. Let l(s) = 10*m(s) - 4*r(s). Is 11 a factor of l(4)?
True
Does 9 divide 30/(-18)*-3 + (-2 - -167)?
False
Does 14 divide (2884/(-6))/((-1)/3 + 0)?
True
Suppose 5*g - 2545 = -4*a + 1164, g - 2779 = -3*a. Is 6 a factor of a?
False
Let l be 2/8 - (-103)/8*2. Suppose -13 = -z + l. Is 4 a factor of z?
False
Let q(g) = g - 2. Let t = -14 + 18. Let l be q(t). Suppose 6*k = 5*s + k - 355, 3*s + l*k = 198. Is s a multiple of 21?
False
Suppose 5*r - 937 = 178. Does 16 divide 25/25 - r*-1?
True
Suppose 0 = -4*f + 82 + 478. Does 5 divide f?
True
Does 10 divide 102 + 16*(-8)/(-16)?
True
Let q = -8 - -8. Suppose q = -6*g + 519 + 195. Is g a multiple of 17?
True
Does 52 divide (52/10)/((-25)/(-1500))?
True
Suppose 7 = 3*c - 8. Let m(d) = -d**2 + 12*d - 3. Is m(c) a multiple of 8?
True
Let l(k) = -k**2 + 7*k + 8. Let q be l(6). Suppose -2*y + 2*p = -2*p - q, -2*p = 2*y - 2. Suppose h - 28 = -y*h. Does 3 divide h?
False
Let l(i) = -i**2 + i + 12. Let h be l(-12). Let r = -79 - h. Is r a multiple of 26?
False
Let a = -9 + 1. Let y be (-1635)/(-6)*a/(-10). Suppose 5*z + 68 - y = 0. Is z a multiple of 30?
True
Let l(a) be the first derivative of a**5/10 + a**4/8 + 2*a**3 + 2. Let t(w) be the third derivative of l(w). Does 13 divide t(3)?
True
Suppose 0 = -4*q + 2*i + 38, -4*i + i - 1 = q. Suppose -4*h + q + 0 = 0. Suppose 3*v + 27 = -4*l + 80, -h*l + 24 = 2*v. Is l a multiple of 17?
True
Suppose 9*y - 4*i = 10*y - 1342, -1327 = -y - i. Does 82 divide y?
False
Suppose 6*b - 14*b = -5440. Does 15 divide b?
False
Suppose 6*n - 15 = 3*n. Let b = -27 - -49. Suppose -b = n*r - 287. Is r a multiple of 14?
False
Suppose -2*b - 4*l = -5*b + 579, b + 5*l = 193. Does 59 divide b?
False
Let h be (-15)/(-10)*(41 - -1). Suppose l + u - 4*u = h, 4*u = 3*l - 199. Suppose n + l = 2*n. Is 16 a factor of n?
False
Let u = 125 - 86. Does 2 divide u?
False
Suppose -4*y - 3*g - 131 = 0, 4*g - 11 = 1. Let q = y - -39. Suppose -3*j + 33 = 2*t, -q*j = -t - 8 - 36. Is j a multiple of 10?
False
Let u(i) = i + 355. Let z be u(0). Suppose 7*j = 2*j - z. Let d = -42 - j. Is 12 a factor of d?
False
Let n be (-51)/(-24) - 4/32. Suppose 2*k + 5*u - 145 = 0, 5*k + n*u = 6*k - 77. Is 15 a factor of k?
True
Let n = -606 - -898. Let x = -172 + n. Is 15 a factor of x?
True
Suppose 2*w + 3*w = -3*i + 751, i = -4*w + 255. Is 19 a factor of i?
True
Let m be -9*(28/6)/(-7). Let z(a) = a**3 - 8*a**2 + 12*a + 2. Does 2 divide z(m)?
True
Let r be (555 + -1)*(6 - 33/6). Suppose -3*b + 4*c + r = 0, 10*b + 5*c - 520 = 5*b. Does 12 divide b?
False
Let w(u) = -u**2 - 6*u + 9. Let m be w(-6). Let b(h) = h + 3. Let j b