 first derivative of 41*k**3/3 - 5*k**2/2 - 4*k + 1. Let y = 9201 - 9202. Is f(y) a multiple of 6?
True
Is ((-3)/(-2)*48/(-90))/(4/(-23850)) a multiple of 31?
False
Let t(v) be the third derivative of 0 - 1/2*v**3 + 1/60*v**5 + 0*v + 24*v**2 - 1/8*v**4. Is 12 a factor of t(-5)?
False
Suppose 5*i + 5*a = -15, 3*i = -7*a + 10*a - 15. Let y(s) = -14*s**3 + s**2 + 7*s - 14. Is y(i) a multiple of 44?
False
Let z be (-1*1)/((-4)/(-628)). Suppose 0 = -6*n + 1051 + 491. Let o = n + z. Is o a multiple of 7?
False
Let l(g) = -g**3 - 5*g**2 + 6*g + 3. Let b be l(-6). Suppose 0 = -b*y + 174 - 18. Does 13 divide y?
True
Let g(n) = 367*n - 129. Let i be g(9). Suppose -55*j = -52*j - i. Is 61 a factor of j?
False
Let g be (-1 - (-8)/(-3))*(-6 + -15). Suppose -8*n + n = -g. Suppose -n*r = -3214 - 75. Is 13 a factor of r?
True
Let n = -1952 - -1351. Let l = n + 859. Let p = -134 + l. Is p a multiple of 14?
False
Let m be (0 + 42)/(-8 - (-12460)/1554). Suppose 85*d - m = 22*d. Does 17 divide d?
False
Let a be (-4)/30 + (-304)/(-30). Let g be (-10 - -9)/(637/(-318) - -2). Suppose -a*l + 22 = -g. Is 4 a factor of l?
False
Let z(i) = 7*i - 11. Let k be z(6). Suppose 0 = k*q - 3148 - 12569. Is q a multiple of 13?
True
Let c(l) = 10*l**2 - 4*l - 8. Let d be c(-3). Does 3 divide d - 28 - (-1 + -3)?
False
Let s(w) = w**2 - 50*w + 21. Let h be s(46). Let r = 77 + -152. Let l = r - h. Does 15 divide l?
False
Let r(n) = -n**2 - 7. Let d be r(11). Let b be -1 + 2 - (1 + 0)*d. Let c = b - 50. Does 42 divide c?
False
Let u = 597 + -600. Let g(y) = 15*y**2 + 8*y + 36. Does 13 divide g(u)?
False
Suppose -87*n + 8216 = 19*n - 2*n. Is 39 a factor of n?
False
Let j = -112 - -115. Suppose -2*z - 198 = -d - 1033, 1250 = j*z - 4*d. Does 10 divide z?
False
Let u(z) = -12*z**3 - 4*z**2 - 8. Let i be u(-5). Suppose 0 = -3*j + 7*j - 4*x - i, -3*x - 346 = -j. Is 16 a factor of j?
False
Let q(j) = 42*j**2 - 360*j - 3882. Does 12 divide q(-11)?
True
Let z(a) = 98*a + 1476. Does 53 divide z(52)?
True
Suppose -42*y + 2132886 = 57*y - 13*y. Does 57 divide y?
False
Let n(q) = -10*q + 52. Suppose 0 = 3*s - 5*j + 7 + 23, 4*s - 2*j + 26 = 0. Does 4 divide n(s)?
False
Is 5 a factor of (-4 - -8 - -6176)/(6/8)?
True
Let x(z) = z + 7. Let r be x(-2). Let l be 5*-3 + 1 + (-10)/r. Is 4 a factor of 48/l - (-17 + (2 - 1))?
False
Let y = -5497 - -6555. Does 92 divide y?
False
Suppose -36504 = -2*t + 614*i - 618*i, -2*i - 54756 = -3*t. Does 13 divide t?
True
Is 31 a factor of 1091*(-1625)/(-35) - (-81)/189?
True
Let x(o) = 1248*o**2 - 30*o - 28. Is 10 a factor of x(-4)?
True
Suppose -118*a = -47*a + 1491. Is a/35 + (-2188)/(-5) a multiple of 41?
False
Suppose 0 = -3*w + 15, -14477 = -3*f - 2*w - 2770. Is 86 a factor of f?
False
Let i = 2277 + -13209. Is 19 a factor of (i/8)/(30/(-20))?
False
Let p(u) = -2*u**2 - 52*u - 33. Let m be p(-30). Let k = m - -322. Is 12 a factor of k?
False
Let t = 278 + -409. Let m = 124 + t. Let z(b) = -2*b + 36. Is z(m) a multiple of 6?
False
Let h be 44/(-14) + (-8)/(-56) + 387. Let x = h + -327. Is 19 a factor of x?
True
Is ((-990)/22)/(3*(-1)/830) a multiple of 166?
True
Suppose 35*o - 11 = 59. Suppose 4*r + r - 1888 = t, t - 758 = -o*r. Does 6 divide r?
True
Suppose 4*o + 4*t - 3*t = 16, 0 = 2*o - t - 2. Let j(x) = 14 + 24 + o*x + 9. Is j(16) a multiple of 19?
True
Let n be (-2)/(-6) + 379/(-3). Let f = 169 - n. Is 59 a factor of f?
True
Suppose 13*s - 28*s = -22012 - 51938. Is 29 a factor of s?
True
Let s be 6*17*(-16)/(-24). Suppose 0 = 4*i - v + s, 4*i - 3*v - 20 = 6*i. Does 2 divide i/4*3/(-2)?
True
Let f = -19016 + 20353. Does 3 divide f?
False
Suppose 2*d = 5*a - 3574, 13*d - 18*d - 8968 = 4*a. Is 52 a factor of (117/12)/((-48)/d)?
True
Suppose 0 = 4*i - 5*i. Let s be (i/((3 - 6) + 0))/(-3). Suppose -2*n - 6*k + k + 206 = s, -10 = 5*k. Is n a multiple of 18?
True
Let c(y) = y**3 - 4*y**2 - 20*y + 85. Let l = 408 + -403. Is c(l) even?
True
Let l = 875 - 354. Does 2 divide l?
False
Suppose 4965 = 10*m - 1655. Does 52 divide m?
False
Suppose 158*i - 34*i = -7*i + 1728152. Is i a multiple of 17?
True
Let r = 30 - 19. Suppose -6*v + 19 + r = 0. Suppose 5*g = -0*b + v*b - 340, 0 = -3*b + g + 208. Is 14 a factor of b?
True
Let j = 2602 + -2567. Is 9 a factor of j?
False
Let h = -16452 - -19322. Is 14 a factor of h?
True
Let z = -12373 - -24589. Does 12 divide z?
True
Is 34 a factor of 102/(-12)*3256/(-22)?
True
Let v = 280 + 767. Let k = -573 + v. Is k a multiple of 8?
False
Suppose -6*c - 260 = -10*c. Suppose -5*l + 410 - c = 0. Does 3 divide l?
True
Suppose d + 23 = -0*g - 5*g, 0 = -d + 3*g + 17. Suppose -8544 = d*r - 14*r. Is r a multiple of 9?
False
Suppose 83*c = 82*c + 480. Let i = 347 + c. Is 23 a factor of i?
False
Let y = -114 + 110. Let k be ((-892)/y - (2 + -4))/1. Let z = 363 - k. Is 48 a factor of z?
False
Let z be (-181)/(-3) - (-9)/(108/8). Let h = 64 - z. Is 16 a factor of h - (0/(3 - 2) - 141)?
True
Suppose -6537 = 31*o - 197249. Is o a multiple of 3?
False
Suppose -516*t - 2442 = -549*t. Does 2 divide t?
True
Let c = 59 + 435. Suppose 3*m + c = 623. Is 5 a factor of m?
False
Let u = -7666 + 7955. Does 17 divide u?
True
Suppose 52 = 4*u - 5*h + 1129, 2*u + 549 = -h. Let y = 163 + u. Let b = 182 + y. Does 24 divide b?
True
Let z(p) = -10*p + 39. Let f be z(4). Let t be 4/f + 8 - 4. Suppose 5*r + 4*c - 88 = t, 3*r - 69 = -0*r + 3*c. Is r a multiple of 7?
False
Suppose 1796640 = -33*i + 230*i. Is i a multiple of 2?
True
Suppose 47*x - 50*x - 558 = 0. Let z = 251 + x. Does 9 divide z?
False
Is 16 a factor of -10 - -3 - (11 - 3496)?
False
Let k = 9265 - 8305. Does 6 divide k?
True
Suppose -2*l = -2*j + 8546, 4*j - 24748 = 5*l - 7652. Is 51 a factor of j?
False
Suppose 746 - 2942 = -2*y - 2*f, 4*f = 24. Is 91 a factor of y?
True
Let l(n) = -n**2 - 14*n + 35. Let i be l(3). Let x = i - -46. Is x a multiple of 7?
False
Let a(y) = -3*y - 28. Let o be a(-11). Suppose q - 13 = -o*g, 4*q + q - 4*g = 210. Let m = q - 3. Is m a multiple of 7?
True
Suppose 4*t - 9*t = -3*r - 1495, -3*t - r = -897. Does 3 divide t?
False
Let r(l) = l**2 + 11*l - 5. Let x(f) = 2*f**2 + 21*f - 10. Let k(g) = 5*r(g) - 2*x(g). Let u be k(5). Suppose -13 = 4*s - u. Does 18 divide s?
True
Let y be 4 - 388/6*30/(-20). Suppose -o + 93 = 5*b, o + 5*b - y = 8*b. Is 14 a factor of o?
True
Let c(t) = 6*t - 4. Let f be c(5). Suppose 12*l = f*l - 6762. Is 54 a factor of l?
False
Suppose -w - v + 16 = 1, -2*v + 8 = 0. Let b(y) = y**2 + w*y**2 + 0 - 5*y**2 + 6*y - 4. Does 12 divide b(-4)?
True
Suppose 24*p = -18478 + 769222. Is p a multiple of 178?
False
Suppose 8 = -3*z + 7*z. Suppose 5*w + 588 = 2*c, w + 676 = z*c + 80. Does 23 divide c?
True
Suppose -3*x - 5*h - 1882 = 0, -26*h + 27*h - 1906 = 3*x. Let q = 935 + x. Is q a multiple of 6?
False
Let d = 5502 - 5437. Is d a multiple of 2?
False
Suppose 4*m - 5 = 4*i + 3, -4*i + 4 = -m. Suppose -3*h + 2*x = -9, 0 = h + m*h + 2*x - 31. Suppose -h*u + 225 = -4*u. Is u a multiple of 15?
True
Let z(i) = i**2 + 19*i + 78. Let r be z(-12). Is 152/r*((-6 - 6) + 3) a multiple of 38?
True
Let h(c) be the first derivative of c**4/4 - 7*c**3/3 - c**2/2 + 5*c + 3. Let z be h(7). Is (-3)/((-9)/(-444)*z) a multiple of 17?
False
Let o be (8 + -29 + 11)*433/(-2). Suppose -n - 4*l = -436, -5*n + 8*l = 13*l - o. Is n a multiple of 27?
True
Suppose 5*r - 6 = -2*j + 18, 2*r - 12 = -2*j. Suppose -j*o - 16*o + 1386 = 0. Does 11 divide o?
True
Suppose 5*m - 72 = -4*m. Suppose 5*r - m = 267. Suppose g + 3*n = r, -2*n + 56 = g + 5. Is 5 a factor of g?
False
Suppose -15*i - 6*i = -1008. Does 12 divide (202/(-4))/((-24)/i) + 1?
False
Let s be 0/(-2) + (-6 - -10). Let n be (-2)/6*(-5 - s)*1. Suppose 52 - 204 = -4*m + d, -n*m = 3*d - 114. Is 38 a factor of m?
True
Let m be (3 - (-11)/(-3))/(1/(-3)). Is 3 a factor of ((-1)/(6/333))/(m/(-4))?
True
Let t = 904 - 232. Let a = 819 - t. Is 81 a factor of a?
False
Let k be 3/((-6)/10) - (-3 + -150). Let r = k + 536. Is 36 a factor of r?
True
Let g(t) = 3*t**3 - 5*t**2 + 5*t - 24. Let f(v) = v**3 + 26*v**2 + 25*v + 6. Let i be f(-25). Does 19 divide g(i)?
False
Let m = -2953 + 4413. Is 10 a factor of m?
True
Let u(o) = -81*o - 150. Let k = 562 + -582. Is 35 a factor of u(k)?
True
Let m(z) = -z**3 + 7*z**2 + 8*z + 5. Let x be m(8). Let f(