nd derivative of -u**5/20 - 5*u**4/6 - 4*u**3/3 - 2*u**2 - u + 74. Let c = 0 - 10. Is v(c) a multiple of 13?
False
Let k = -33941 + 60181. Does 80 divide k?
True
Let s(u) = 2*u**3 - 2*u - 2. Let q be s(-2). Let t be 42/49*q/(-3). Suppose x + 116 = 4*i, -3*i = t*x - 78 - 9. Is 29 a factor of i?
True
Let t = -2129 + 3649. Does 38 divide t?
True
Suppose 4*m - 696 = -4*v, 351 = -2*v + 4*v + 3*m. Let g = 1088 - 1181. Let d = v + g. Is 13 a factor of d?
True
Suppose -9 = 9*u - 54. Suppose -4*h - 3*w = -225, 4*h + 48 = u*h - 2*w. Is h a multiple of 9?
True
Suppose 0 = 7*j + 2*j - 90. Suppose 5*h - j*o + 15*o = 1085, 4*h = o + 848. Does 35 divide h?
False
Let z = -3443 + 27464. Is 157 a factor of z?
True
Let d(b) = -29 + 79 - b + 78 + 0*b. Is d(14) a multiple of 6?
True
Let w = -11328 + 22097. Is w a multiple of 14?
False
Suppose 182*m - 196*m + 29582 = 0. Is m a multiple of 37?
False
Let l = 37286 - 19851. Is l a multiple of 36?
False
Suppose 3*k - 14260 = -30*d + 28*d, -d - 8*k = -7104. Is d a multiple of 29?
False
Suppose -7*t - 12 = -13*t. Suppose -l = -2*i - t*i + 651, -3*i + 488 = -l. Suppose i + 497 = 10*g. Does 11 divide g?
True
Let x = -32 + 53. Suppose -24*a = -x*a - 93. Is 3 a factor of a?
False
Let m be -6*(1 + 37) - (-3)/1. Let t = m + 505. Suppose 0 = -10*j - t + 760. Is 16 a factor of j?
True
Let i be 4/(-6)*(12 + -15). Suppose -8*s + 1830 = i*s. Is 10 a factor of s?
False
Let q(h) = 2*h**2 - 3*h + 4. Suppose 0 = -2*i - 4*s + 16, 3*i - 20 = -3*s + s. Let y = i - -1. Is 11 a factor of q(y)?
False
Let q = -23 - -39. Suppose 2*f + 8 - q = 0. Suppose 180 = 5*v + f*s, 5*v + 2*s - 180 = 4*s. Is v a multiple of 12?
True
Let o(t) be the first derivative of -t**3/3 + 11*t**2 - 16*t - 2. Let b be o(21). Suppose 275 + 295 = b*c. Is c a multiple of 59?
False
Let l be -8*(-1 - (-1)/2). Suppose -15 = l*b + b. Is 8/9*b*(-54)/8 a multiple of 10?
False
Suppose 9*t - 11*t = 14. Is (3 - 21)*t/7 a multiple of 15?
False
Let q(w) = -4*w**3 - 10*w**2 - 2. Let f be q(-7). Suppose 872*h - f*h + 2144 = 0. Is h a multiple of 12?
False
Let u(h) = 212*h - 366. Let s(q) = 428*q - 733. Let a(v) = -2*s(v) + 5*u(v). Is a(6) a multiple of 24?
False
Let s(v) = 301*v**2 + 18*v - 168. Is s(8) a multiple of 185?
True
Let y(s) = 5222*s - 13658. Is 5 a factor of y(6)?
False
Suppose 70065 = 79*u - 21232 - 33128. Is 35 a factor of u?
True
Suppose 2*p = -6*s + 5294, -4*p + 6*p - 3528 = -4*s. Is s a multiple of 5?
False
Suppose -8 + 1 = -u. Let k be 24/(-21)*2 + 2/u. Is 32 a factor of (-44)/(-11) - 34*k?
False
Let n(v) be the first derivative of 87*v**2/2 + 13*v - 105. Is n(7) a multiple of 10?
False
Let x be (-13394)/6 - 10/15. Let j = 3427 + x. Does 11 divide j?
False
Let o = 196 + -193. Suppose 2*b - 4 = 0, -17*h - o*b = -15*h - 644. Does 29 divide h?
True
Suppose 4*p = 2*f - 30, -p - 49 = -3*f + 3*p. Suppose 1 = -2*z + 13. Suppose -f*v + z = -17*v. Is v a multiple of 2?
False
Let c(q) = 59*q + 1. Let n = 210 + -202. Is c(n) a multiple of 43?
True
Suppose -3*t + 23 = 26. Is 148 + 35/(t - 6) a multiple of 3?
False
Let q(m) = 2*m**2 - 20*m - 112. Let o be q(-11). Suppose 3*r = -0*r - h + o, -3*r - 3*h = -348. Is r a multiple of 11?
False
Let f = 38 - 38. Suppose -10*y + 5*y + 10 = f. Suppose -7*o + 660 = -y*o. Is 22 a factor of o?
True
Suppose 18*f + 5*x - 687 = 14*f, -5*f + 900 = -2*x. Let p = f - 66. Is p a multiple of 8?
True
Let j(w) = -2*w**3 + 38*w**2 + 18*w - 12. Let h = -93 + 112. Does 55 divide j(h)?
True
Let s = 66 - 64. Suppose s*a - 10 = -x - 0, 5*x + 41 = 3*a. Suppose 0 = t - 6 - a. Is t a multiple of 11?
False
Let d = -462 + 460. Does 10 divide 1500/100*((-64)/(-6) + d)?
True
Suppose -25*r = -16*r - 621. Let v = 4 - 2. Is (-4 + v)/((-6)/r) a multiple of 4?
False
Let s(p) = -p**3 - 57*p**2 + 307*p - 61. Does 25 divide s(-62)?
True
Suppose 0*n - 2*n = -4. Let t(a) = -a**3 - 13*a**2 - a - 91. Let j be t(-17). Suppose -4*i - n*b = -0*b - j, 0 = -4*i - b + 1081. Is 54 a factor of i?
True
Let d(m) = -12*m + 146. Let v be d(0). Suppose 2*x - 256 = 2*p, x - v = -0*x - 5*p. Is 24 a factor of x?
False
Suppose 6*w - 2*w + 24 = 0. Let g(y) = y**3 + 5*y**2 - y - 10. Let j be g(w). Does 2 divide (5*(-2)/j)/((-1)/(-12))?
False
Let h(d) = -d**3 + 11*d**2 + 14*d - 8. Let n be h(12). Suppose a + f + n = 6, 2*f = 2*a + 4. Is 10 a factor of (-236)/a - (-2)/3?
True
Let c be 7 + -4 + -9 + 5. Does 21 divide (-38)/c + (5 - -2)?
False
Suppose 3*y + 507 = 2*j, 3*j - 288 = 2*y + 45. Suppose -1112 = 3*q + 5*g - 312, -2*q = -g + 529. Let v = y - q. Is v a multiple of 12?
False
Suppose -3*s = -2*z - 1877, s + 5*z = -3*s + 2518. Let r = s - 312. Does 63 divide r?
True
Suppose 5*y - m = 162998, 2*y + 640 = 5*m + 65807. Is y a multiple of 286?
False
Suppose -19*q - 8*q + 378 = 0. Is 15 a factor of (216*1)/(q/63)?
False
Suppose y - 3*a + 83 = 0, 4*a + 343 = -5*y + a. Let o(v) = 14*v**3 - v**2 - 8*v + 3. Let s be o(2). Let x = y + s. Is 6 a factor of x?
True
Suppose 0 = -c - c + 14. Suppose 5*p - c = 3. Suppose 3*m + 11 - 99 = -5*d, -p*m - 88 = -4*d. Is 10 a factor of d?
True
Suppose -2 = -2*x + 3*u, 0 = -3*x - 2*u + u - 19. Let z(n) = 6*n**2 + 9*n + 8. Let q be z(x). Suppose -3*i = h - 66, -i = -3*h + 75 + q. Is 9 a factor of h?
True
Suppose -4*l = -3*i + 204536, -5*i - l + 35245 + 305679 = 0. Suppose 3*x = -9*x - i. Is 14 a factor of 4/(-22) + (-7)/(231/x)?
False
Let y(k) be the second derivative of k**4/6 - 5*k**3/3 - 4*k**2 + 84*k. Does 38 divide y(13)?
False
Let m(f) = 18*f + 8. Let i(v) = 17*v + 8. Let q(s) = -5*i(s) + 4*m(s). Let t = -9 + 3. Is 14 a factor of q(t)?
True
Let a be (1*(-36)/16)/((-6)/64). Suppose 9*u = 3 + a. Suppose -405 = -u*f - 12. Does 12 divide f?
False
Suppose 56 = 11*d + 1. Let z(y) = -2*y**3 - y**2 + 2*y - 1. Let l be z(-4). Suppose -d*r = -f + 2*f - 25, -l = -3*f - r. Is 7 a factor of f?
True
Let a(i) = i**3 - 22*i**2 - 12*i + 15. Let s be a(22). Let h = -54 - s. Does 13 divide h?
True
Let b(t) = 4*t + 27. Let f be b(-6). Suppose -8*o - 30 = -f*o. Let y(i) = -7*i - 24. Does 10 divide y(o)?
False
Is 140/(-30)*3 - -4180 a multiple of 73?
False
Suppose -9*o + 6 = k - 10*o, 4*k + 2*o - 42 = 0. Suppose 2*l + k*l = 638. Is l a multiple of 23?
False
Suppose 4*v = -v + g + 54, 0 = 3*v + 5*g - 10. Suppose v*p + 62 = 12*p. Suppose 29*s = p*s - 80. Does 5 divide s?
True
Let p(i) = 7*i**3 - 20*i**2 + 2*i - 48. Let x(f) = 10*f**3 - 30*f**2 + 2*f - 71. Let o(s) = -7*p(s) + 5*x(s). Is 29 a factor of o(11)?
True
Is 141 a factor of (2884/(-6))/((-40575)/2385 - -17)?
False
Suppose -1393362 = 3*u - 144*u. Is 81 a factor of u?
True
Let q = 54 + -48. Suppose 0 = w + 3*x - 107, -q*w + 4*w = 4*x - 220. Let s = w - 74. Is 14 a factor of s?
True
Let v = -24 - -29. Suppose 30 = v*s + 15. Suppose 5*g + s*h = -h + 318, -4*h - 342 = -5*g. Is g a multiple of 27?
False
Suppose 2*q = 14*q - 1104. Suppose 94*v - 374 = q*v. Does 17 divide v?
True
Let w be 1*-6*(6/4 + 0). Let p(h) be the second derivative of -h**5/20 - 5*h**4/6 - 7*h**3/2 - 9*h**2 + 5*h + 3. Is p(w) a multiple of 4?
False
Let m(a) = -12*a - 263 + 7*a**2 + 0*a + 212. Is 10 a factor of m(-10)?
False
Let z(o) = o**3 + 4*o**2 - 5. Let x be z(2). Let m be (x + -1)/((-24)/36). Does 36 divide (m/6 + -3)/((-6)/40)?
False
Suppose 5*p - 5*u = -4*u + 330949, -u = 2*p - 132374. Does 66 divide p?
False
Let f = 86 - 84. Let n(w) = -6*w**f + w**3 - 6*w**3 + w**3 - w + 6. Does 10 divide n(-3)?
False
Suppose -34*l = 63*l + 3*l - 129600. Is 24 a factor of l?
True
Let r = 36 + -31. Suppose -3*s - 6 = -3*n, -2*n - 2*s = -5*s - 6. Suppose n = -r*l - 9 + 64. Is l a multiple of 4?
False
Let n = 797 - -4714. Does 48 divide n?
False
Suppose 2*u + 29471 = 2*q + 2905, 13273 = q + u. Suppose -16*s - 1694 = -q. Is s a multiple of 55?
False
Let f(w) = -w**3 - 23*w**2 - 11*w - 30. Suppose -23*x = -31*x - 184. Is 22 a factor of f(x)?
False
Let l = 344 - 346. Is 98*(l - -1)/((-2)/4) a multiple of 49?
True
Let h(z) = 218*z - 526. Is 157 a factor of h(32)?
False
Let l = -464 - -282. Let b = 314 + l. Suppose 3*j = 5*a - 220, 2*a + 4*j = 5*a - b. Does 11 divide a?
True
Let p be ((-4)/10)/(6/(-30)). Is 69 - p - (18/(-3) + 8) a multiple of 5?
True
Let v = -213 - -219. Suppose 0 = v*k - 1481 - 859. Does 30 divide k?
True
Let n(j) = j**2 + 25*j + 22. Let g be n(-24). Is 59