ue
Let w(k) be the third derivative of -k**6/120 + 7*k**5/30 + 5*k**4/8 + 2*k**3 + 2*k**2. Suppose 5*m = 77 - 2. Is w(m) a multiple of 6?
True
Let y(u) = u**2 - 11*u - 15. Let t be y(13). Suppose b + 4 = 0, -6*a + t*a - 218 = 2*b. Is a a multiple of 6?
True
Let k = -218 + 362. Suppose -z + 3*p + 1 = 0, 4*z + 2*p - 26 = 3*z. Does 10 divide k/14 - z/56?
True
Suppose 0 = -8*i + 433 + 767. Does 10 divide i?
True
Let r(f) = 21*f**2 + 9*f + 8. Let g be r(7). Suppose 2 = -l, -3*h + 5*l - 352 + g = 0. Is h a multiple of 29?
False
Let c = 13 + -11. Suppose -c*m = 5*f - 22, 5 = 2*m - m + f. Is (-325)/10*(-2)/m a multiple of 13?
True
Suppose -2*w = 8, w + 1718 = 2*p - 3*w. Is 9 a factor of p?
False
Let k = 226 - 35. Does 14 divide k?
False
Let n = 4 - 3. Let f = -65 - n. Let q = f - -142. Is q a multiple of 11?
False
Let w(a) = -a + 11. Let i be w(11). Suppose i = 5*y + 2 - 12. Is 17 a factor of (0 + -3)*(y + -19)?
True
Let u(q) = -3*q - 12. Let f be u(-5). Let c(d) = d**3 - d**2 - 2*d + 1. Is c(f) a multiple of 5?
False
Let y = 24 + -29. Does 2 divide 15 + (3 - (y + 8))?
False
Suppose 0 = -4*i - 5*k + 350, -4*k + 348 = 6*i - 2*i. Suppose -253 = -4*a - i. Is 7 a factor of a?
True
Suppose 0 = -4*a - 3*w - 338 - 100, -4*a + w - 446 = 0. Let j = a - -64. Let v = j - -74. Is 9 a factor of v?
True
Suppose 22*f - 4648 = 15*f. Does 31 divide f?
False
Let a(u) = u**2 - 7*u + 6. Suppose 3*y - 45 = -21. Is a(y) a multiple of 10?
False
Let y(b) = b**2 - 23*b + 124. Let n be y(12). Let g(x) = x**2 - 7*x. Let a(d) = -d. Let k(v) = -6*a(v) + g(v). Does 18 divide k(n)?
True
Suppose 2*q - 12 = 64. Suppose -5*p - q + 143 = 0. Does 12 divide p?
False
Suppose 0 = -s - 104 + 22. Let p = 58 - s. Suppose 4*j - 6*j + p = 0. Is j a multiple of 14?
True
Suppose 5*o - 226 + 201 = 0, -4*k - 3*o = -2095. Is k a multiple of 10?
True
Let y = -17 - -33. Let k = y - 12. Let o(m) = m + 1. Is o(k) a multiple of 4?
False
Let s(t) = 2*t**3 - 6*t**2 - 7*t + 25. Let r be s(6). Suppose 3*h + 37 = -w + r, -5*w + 836 = 2*h. Does 44 divide w?
False
Suppose -5*l = -0*l - 65. Suppose 2*z - z = -5*w - 60, -l = 3*w - 4*z. Let q = w - -69. Is q a multiple of 29?
True
Let f = -69 - -42. Let p = f - -30. Is 3 a factor of p?
True
Let v = -22 - -26. Suppose v*j = -4*j + 208. Is j a multiple of 13?
True
Let r(s) = s**2 + 3*s - 6. Suppose 3*p + 3*j = 30, -p - 2*j = -4 - 7. Suppose 2*o = p - 1. Does 11 divide r(o)?
True
Suppose -f = -3*q - 41, -55 = -0*q + 5*q + f. Let a = 11 - 9. Does 23 divide 2*a*(-93)/q?
False
Let j(m) = 197*m - 2. Is 118 a factor of j(12)?
False
Suppose 0 = 9*j - 0 - 0. Let x(d) = 5*d + 44. Is x(j) a multiple of 4?
True
Suppose 18 = 3*k + 21. Let n be 5/(k + (-22)/(-12)). Does 16 divide n*(-1 - 76/(-12))?
True
Is 33 a factor of 67280/340 - 2/(-17)?
True
Let h be (16 - 1 - 1) + 1. Suppose 9 = -5*t - c - 39, 4*t + 2*c + 42 = 0. Let i = t + h. Does 2 divide i?
True
Let q = -3029 + 5537. Is 19 a factor of q?
True
Suppose 0 = 5*u - 2*w + 59, 4*u - 3*w + 45 = -5. Let n be u/(2 - 9/3). Is 9 a factor of 4/22 - (-97)/n?
True
Suppose -24*o - 668 = -28*o. Does 15 divide o?
False
Let y = 1 - 1. Suppose 2*v - v - 16 = y. Suppose p = -v + 64. Is p a multiple of 16?
True
Is 18 a factor of (10190/(-35))/(-2) + (-12)/21?
False
Let a(f) be the first derivative of -f**4/4 - 2*f**3 - f**2/2 + 3*f - 3. Is 14 a factor of a(-7)?
False
Suppose d + 313 = u, u - 3*u + 634 = 2*d. Is 3 a factor of u?
True
Suppose -3*b + m = -2*b - 27, -4*m + 24 = 2*b. Let p = -95 - -102. Let d = b - p. Is 15 a factor of d?
True
Suppose -12 = -0*s - 2*s + 4*l, 4*s - 24 = 2*l. Suppose 8*y - s*y = 42. Does 13 divide y?
False
Let q be 26/3 - 10/15. Suppose -3*s + q*s = 20. Suppose -24 = -v + 2*m, -s*v - 2*m + 52 = m. Is v a multiple of 9?
False
Let g be -1 + (3 - 2) - 194/(-1). Suppose s - g = 4*i, 5*i = 4*s - 235 - 508. Is s a multiple of 24?
False
Let w = -13 - -12. Let c = w - -3. Suppose 2*m + 5*v = 49, -m + v + c*v = -41. Is m a multiple of 15?
False
Suppose -2*b + 271 = -5*m, 2*m - 554 = -4*b - 0*b. Suppose -3 = -3*w - b. Is 18/w + 172/5 a multiple of 8?
False
Let d = -92 + 180. Let l = -48 + d. Does 10 divide l?
True
Does 71 divide ((-7)/((-154)/2343))/(1/14)?
True
Let k be (42/(-12))/(2/(-4)). Suppose 4*a + k = -1. Does 10 divide (-296)/(-10) + a/(-5)?
True
Suppose -7 = -3*w + 5. Suppose w*b - 400 = -72. Is 20 a factor of b?
False
Suppose 0 = 5*j - 10, 5*z - j = -3*j + 19. Is 10 a factor of ((-176)/(-11) - z*1)/1?
False
Suppose 4*m - 6734 = -5*g, 0 = -2*m + 2*g + 298 + 3078. Is 13 a factor of m?
False
Let k(s) be the third derivative of s**5/20 + s**4/12 - s**3/3 - s**2. Let x be k(-2). Suppose -v + c = -7, -22 = -4*v - 2*c + x. Is 7 a factor of v?
True
Suppose -d + 2*t + 2*t = -8, -5*d = 3*t - 17. Suppose 5*x = 20, x - 360 = -d*k - x. Suppose 3*j + 2*u - k = 9, -3*u = 5*j - 162. Is 6 a factor of j?
False
Does 47 divide ((-30)/8)/((-2)/((-1504)/(-3)))?
True
Suppose -2*u - 64 = -72, 0 = -5*j + 3*u + 3578. Does 14 divide j?
False
Let u = 21 + -25. Suppose -q = -0*q + 26. Is 13 a factor of (-923)/q + 2/u?
False
Let c(n) be the first derivative of -3 + 8*n + 1/2*n**2. Does 5 divide c(4)?
False
Suppose -3 = -w, 2*m + 8*w - 9*w = 1. Suppose 0 = -2*c - m*c + 296. Is 22 a factor of c?
False
Let p = -2 - -14. Is 6 a factor of (9/6)/((-45)/p)*-210?
True
Suppose u - 6*u = p - 1799, 0 = -5*p - 5*u + 9095. Does 38 divide p?
True
Let h be (615/6)/((-3)/(-6)). Suppose 0 = -5*m + 15, 0 = 5*x + 2*m - h - 46. Is x a multiple of 7?
True
Let y = 571 + -211. Is 10 a factor of y?
True
Let t = -7 - -12. Is 14 a factor of 387/t - (-21)/35?
False
Let q(x) = -x**3 - 2*x**2 + x + 5. Suppose -2 - 1 = f, 0 = -3*n + 2*f - 6. Let m be q(n). Is 11 a factor of m*1 - (-4 + 4)?
True
Let m = 2277 - 1593. Does 9 divide m?
True
Let d be -8*5/(-10) + -2. Suppose 4*m - 3*m + v - 70 = 0, 5*m + d*v = 338. Is 9 a factor of m?
False
Let z be (-9 - -1)*(57/(-2))/3. Suppose -n + 115 - z = 0. Is 11 a factor of n?
False
Let g = -630 + 910. Does 14 divide g?
True
Let w = 601 + -534. Is w even?
False
Let l(c) = 1 + 1 + 8*c - c**2 + 2. Let y be l(8). Suppose -t - 99 = -y*t. Is t a multiple of 16?
False
Let f be 20*(0 + (-21)/12 + 2). Suppose -c = -2*b + 10, 4*c + 26 = f*b - 2. Is b even?
True
Let r = -102 - -107. Suppose -2*o - o + 485 = r*t, 4*o - 641 = -t. Is 16 a factor of o?
True
Let p be (-4)/(-6) + 1/(-3)*2. Suppose 0 = 2*u + 8, p = 4*j - u + 4*u - 424. Is j a multiple of 15?
False
Suppose -3*z = -2*r + 1600, -3*r = -4*z + 1536 - 3937. Does 18 divide r?
False
Let n(a) = -11*a + 2*a**2 + 33 - 13 - 9 - 8. Is n(12) a multiple of 13?
False
Let q = 46 - 31. Suppose -6*x - q = -o - x, 8 = 4*x. Does 5 divide o?
True
Suppose -28 = -4*l - l - 4*b, 30 = 5*l + 5*b. Suppose 5*r + 22 = 6*r - 3*o, -110 = -l*r + o. Is 7 a factor of r?
True
Suppose 900 = -24*y + 27*y. Suppose -y = -3*u - 2*u. Does 12 divide u?
True
Let c(q) = -10*q - 196. Is c(-46) a multiple of 11?
True
Let w(k) = 11*k + 34. Suppose -10*p + 21*p - 66 = 0. Does 25 divide w(p)?
True
Let y = -72 - -156. Let k = y - 41. Is 3 a factor of k?
False
Let d be (-6 - -20) + 4/(-1). Let t = d - 16. Does 10 divide (-1)/(t/10)*18?
True
Is 26 a factor of 47/(-141)*(-313 - -1)?
True
Let n be -2 - -26*-1*4/(-8). Let o = 53 - 27. Let z = o + n. Does 11 divide z?
False
Suppose 13*l + 51 = -27. Let q(g) = -3*g + 68. Is q(l) a multiple of 19?
False
Let z(s) = -27*s - 17. Is 4 a factor of z(-7)?
True
Suppose -6459 + 1167 = -49*y. Is 12 a factor of y?
True
Let f(l) = -2*l**3 + 47*l**2 - 22*l + 10. Does 22 divide f(22)?
False
Let i = -45 + 83. Suppose -i = -q + 6. Is q a multiple of 11?
True
Let d = -6 + 13. Let p(o) = 9*o**2 + 6*o + 15. Let i be p(d). Is ((-2)/4)/((-3)/i) a multiple of 17?
False
Let j = 1599 + -747. Does 10 divide j?
False
Let z(j) = -j**3 + 4*j**2 + 9*j - 11. Suppose -b - 2*p = 1 + 4, p + 15 = 2*b. Does 7 divide z(b)?
False
Let r = -574 - -1121. Is r a multiple of 17?
False
Let i(n) be the first derivative of -36*n**2 + 2. Let z be i(-2). Suppose 2*l = -l + z. Is l a multiple of 20?
False
Let j = 1258 - 828. Does 43 divide j?
True
Let d(m) = 12*m**2 + 4*m - 3. Let n(s) = -5 - 3*s**2 + 26*s**2 + 7*s + 0*s**2. Let z(w) = -5*d(w) + 3*n(w). Is z(3) a multiple of 21?
True
Suppose 4*l - 1032 = 4*w, -4*l + 14*w = 11*w - 1034