ivative of 3*c**3 - 2*c**2 + 4*c. Let i = 95 + -93. Is m(i) a multiple of 23?
False
Suppose 124397 + 222200 = 122*z + 14879. Is 4 a factor of z?
False
Let u(s) = -2*s. Let b be u(-3). Let v(a) = -a**3 + 13*a**2 + 16*a - 13. Let y be v(14). Is 17 a factor of (y/b - 2)/(1/176)?
False
Suppose -8*v + 70104 = 2*k - 9*v, 105134 = 3*k + 4*v. Is k a multiple of 173?
False
Let p(a) = -a**2 + 35*a - 144. Let s be -33*(16/6)/(-4). Does 3 divide p(s)?
False
Let i(p) be the second derivative of p**5/20 - p**4/3 - 4*p**3/3 + 25*p**2/2 - 18*p - 4. Suppose x - 25 = 6*x, 4*x + 36 = 2*g. Is 29 a factor of i(g)?
False
Let i(q) = q + 17. Let u be i(-17). Suppose u = o - 7*n + 6*n - 211, 1051 = 5*o - 4*n. Is 14 a factor of o?
False
Suppose -10*j - 310018 - 5261922 = -200*j. Is j a multiple of 44?
False
Suppose -4*u + 44 = -3*s - 19, 4*s + 6 = u. Suppose -x + 72 + u = 0. Suppose 4*w - 710 = -x. Is 32 a factor of w?
False
Suppose 4*x = 5*d + 387, -8*d - 2*x - 294 = -4*d. Let h = -4010 - -3858. Let g = d - h. Is 7 a factor of g?
True
Let h = -34 + 29. Let g be ((-93)/15)/(1/h). Suppose 29*z = g*z - 10. Is z a multiple of 5?
True
Let r(u) be the second derivative of 199*u**3/6 + 36*u**2 + 2*u + 49. Does 43 divide r(4)?
False
Suppose 0 = -w - 0 + 8. Suppose w*q - 3*q = -210. Let t = q - -80. Is 5 a factor of t?
False
Suppose -51*b = -18*b + 28*b - 267058. Does 22 divide b?
True
Suppose -z = 2, 0*z + 696 = j + 2*z. Suppose 2*m - 413 = -m - 4*k, 5*k + j = 5*m. Suppose 4*p - 181 = m. Does 20 divide p?
True
Let w(n) = 229*n - 9*n**2 - 47*n - 122*n - 8 + 3*n**2. Does 23 divide w(9)?
True
Let q(v) = -v**3 + 4*v**2 - v. Let l be q(3). Let c be 2 - -2*(l - 4). Suppose 2*o + 36 = c*o. Is 5 a factor of o?
False
Suppose -3*a + 12410 + 4109 = 4*s, 2*a = -5*s + 20654. Is 5 a factor of s?
False
Is 14*(9 + 3)*(-8)/(1 + -5) a multiple of 18?
False
Let z(c) = 7*c**2 - c + 9. Let y(p) = 2*p**2 + p - 1. Let j(n) = -3*y(n) + z(n). Let g = 26 - 14. Does 12 divide j(g)?
True
Suppose -3*r - 9204 = -54*t + 50*t, -6932 = -3*t - 5*r. Does 31 divide t?
False
Suppose 60 = z + 11*z. Suppose -z*r - 33 = -0*k + 2*k, 5*k = -r - 25. Is 8 a factor of 2*(-62)/k + (7 - 10)?
False
Does 122 divide 1872/(-108) + 17 - (-5126)/6?
True
Suppose -152*t = 160*t - 1094496. Is 117 a factor of t?
False
Let c = 45 + -41. Suppose -4*b = -4 - c. Suppose b*a - 126 = 2*v, -3*a + a - 5*v = -161. Is 8 a factor of a?
False
Let z(p) = 59*p**3 + 6*p**2 - 3*p - 2. Let h be z(2). Suppose -4*c + 2004 = -h. Is 7 a factor of c?
True
Suppose 0 = 79*g - 83*g + 960. Suppose -5*b = 4*s - g, -157 = -3*b - 5*s - 0*s. Is b a multiple of 22?
True
Suppose 5*x = 4*d - 8, x = -2*x + d - 9. Is 1 + 491 + x + -12 + 14 a multiple of 9?
False
Let d be 8 - 11 - (1 - 14). Does 20 divide (-7988)/(-20) - (-6)/d?
True
Let i = 116 + -93. Is 4 a factor of i/1 + (8 - 8)?
False
Let d(n) = -7*n**2 + 32*n - 3. Suppose -45 + 15 = -6*f. Let x be d(f). Is 29 a factor of 6/(x/21)*(2 - 31)?
True
Let b(p) = p**2 + 12*p - 25. Let a be b(-14). Suppose x + 5*r = 100, a*r - 28 = -5*x + 384. Does 3 divide x?
False
Suppose 23*l + 0*l - 5704 = 0. Let r = -101 + l. Does 3 divide r?
True
Let s = -7328 - -9249. Does 5 divide s?
False
Let f(v) = 2*v**3 - 34*v**2 + 3*v + 21. Let g be f(17). Let i be (-2648)/g - 2/9. Let p = 201 + i. Does 23 divide p?
False
Suppose 5*q + 20*f + 6825 = 15*f, 0 = 2*q + 4*f + 2740. Does 3 divide (2/4)/(1*(-10)/q)?
False
Let g = 7275 + -4691. Suppose 4*r - g = -15*r. Is r a multiple of 7?
False
Suppose 4*a = 3*p - 42719, 710*p + 2*a = 707*p + 42743. Is p a multiple of 8?
False
Let z = -28 + 46. Suppose 4*d + 5*y = -9 + 29, 5*y - 30 = -5*d. Suppose k + d = z. Is k a multiple of 8?
True
Suppose -3*i + 20 = r, 2*r + 3*i = -0*r + 28. Let k(h) = 3*h - 26. Let s be k(r). Is s/(-5) - (-488)/20*4 a multiple of 14?
True
Suppose 5*i + r = 3*r + 5, 0 = 4*i + 5*r + 29. Let a(d) = d**2 + 5*d + 1. Let v be a(-4). Is 9 a factor of (v + -1)/i - -61?
False
Suppose d - 58*s = -63*s, 4*d = s. Suppose d = 5*u - 18 + 43, u = -2*j + 361. Is j a multiple of 3?
True
Let g = 12600 + -264. Does 175 divide g?
False
Suppose 33*o - 2945 = -s + 37*o, 0 = 4*o + 4. Does 17 divide s?
True
Let p = 229 - 391. Let t = p - -369. Does 23 divide t?
True
Does 24 divide 176/33*243/6?
True
Suppose 5*i = -35, 0 = m - 4*i - 7218 - 1452. Is m a multiple of 58?
True
Suppose -76*n + 88*n - 3120 = 0. Suppose -l = 0, l - n = -2*f + 118. Does 27 divide f?
True
Suppose -14 = 33*q - 19*q. Is ((-6)/10*-7)/(q/(-135)) a multiple of 63?
True
Let o(v) = -4*v**3 + 2*v**2 - v + 5. Suppose 0 = -5*l - 4*w - 25, -2*l - 10 = -w + 6*w. Is 14 a factor of o(l)?
True
Let g be 4/(-6)*4506*1/(-2). Suppose 0 = -4*j - 4*p - 0*p + 1204, -g = -5*j - 2*p. Suppose -972 = -6*i - j. Is i a multiple of 16?
True
Let o(u) = u**3 - 13*u**2 + 13*u - 3. Suppose -c + 3*c = 24. Let n be o(c). Is 27 a factor of n/27 - (-92)/3?
False
Suppose 47*r = 52*r - 5, s - 2*r - 1390 = 0. Does 87 divide s?
True
Let d(k) = -3*k**2 + 20*k + 5. Let i be d(6). Suppose -1208 = i*o - 21*o. Is o a multiple of 15?
False
Let z = -38 + 58. Let x = z - 10. Suppose -2*b - x + 68 = 0. Is b a multiple of 29?
True
Let m(h) = -h**3 - h**2 - 2*h - 5. Suppose 3 - 11 = 4*v. Let f be m(v). Suppose f*w + 3*w = 468. Is w a multiple of 26?
True
Let r(p) = 22*p**2 + 109*p + 1300. Is r(-11) a multiple of 19?
False
Let b(l) be the first derivative of l**3/3 - 7*l**2 - 72*l + 90. Is b(-15) a multiple of 12?
False
Let q(k) = 7*k + 3. Let w be ((-39)/26)/((-2)/12). Is 9 a factor of q(w)?
False
Let m(h) = 4*h**2 + 4*h + 2. Suppose 4*t - b = 4*b + 1, -4*b + 8 = -t. Suppose n = -2*p + 3, n + t*n + 5 = -5*p. Is m(n) a multiple of 39?
False
Let s = 25172 + -20022. Is s a multiple of 10?
True
Let j(f) = -7*f**2 - 68*f + 16240. Is 20 a factor of j(0)?
True
Suppose 0 = d - 2*x - 560, 5*x - 2378 = -3*d - 676. Suppose 204 = 2*h - d. Is 16 a factor of h?
True
Suppose -103*c + 106*c = 0. Suppose 4*n = -t + 461, c*n + t = 3*n - 351. Is n a multiple of 29?
True
Let u(f) = -2*f. Let j be u(-1). Suppose 1323 = j*t + h, 2*h = 5*h + 3. Does 18 divide t?
False
Let y = -4134 - -6234. Does 105 divide y?
True
Suppose 127*c - 35839 - 937743 = 0. Does 83 divide c?
False
Let k(y) = -138*y + 845. Is 5 a factor of k(4)?
False
Let n(m) = 10*m**2 + 30*m - 8. Let i be n(-7). Let y = 1680 - i. Is 64 a factor of y?
True
Let y(f) = -3 - 8 - 6*f - 14 - 4. Let c be y(-12). Suppose -2*p + 29 + c = 0. Does 12 divide p?
True
Does 14 divide ((-369)/(-492))/((3/(-156490))/(12/(-30)))?
False
Let s be (132/2)/(-6 + 8). Suppose -2*x = -s*x + 16647. Is x a multiple of 64?
False
Let m = -4 + 6. Let c be ((m + 2)/12)/((-2)/(-6)). Is 9 a factor of c*(1 - 2)*(-140 + -6)?
False
Suppose 392*j - 398*j + 14664 = 0. Is j a multiple of 4?
True
Let b = -34458 - -50334. Is 4 a factor of b?
True
Let h(a) = 849*a - 4335. Is 21 a factor of h(22)?
True
Let d = 5936 + -4457. Is 50 a factor of d?
False
Let d = 7419 - 1400. Does 37 divide d?
False
Suppose 0 = 5*h + 5*h + 37498 - 148378. Is h a multiple of 7?
True
Let s be -8*(10/(-12) + (-6)/(-18)). Let d be -2*(4 - (-51)/(-6)). Suppose 2*v = -3 + d, 0 = -s*b + 4*v + 448. Is b a multiple of 24?
False
Suppose -3*f = 8*o - 11*o - 4494, -1477 = -f + 4*o. Does 43 divide f?
True
Suppose -34*k = 25*k - 295. Suppose 23*a + 2242 = 28*a - o, -a + 458 = -k*o. Does 10 divide a?
False
Suppose -10*h - 4*o = -14*h + 6548, 5*o = 5. Is 4 a factor of h?
False
Let o be -2 - (4 + -5) - -4. Suppose 5*t + o*s - 5*s = 815, -t + 2*s + 171 = 0. Is t a multiple of 27?
False
Let m(u) = u**3 + 5*u**2 + 6*u + 6. Let f be m(-4). Let x(d) be the third derivative of -3*d**6/40 - d**5/30 - d**4/12 - d**3/2 - d**2. Is 13 a factor of x(f)?
True
Let f(w) = 4*w**3 + w**2 + w - 2. Suppose -4*v + 5 = 1. Let l be f(v). Suppose 5*p - l*q - q - 140 = 0, -2*p + 36 = 3*q. Does 15 divide p?
False
Let c = 51 + -54. Let g be -183*(3 + ((-48)/9 - c)). Let x = -63 - g. Is 16 a factor of x?
False
Suppose 4*u - 6886 = -3*l - 45, 3*l + 3*u - 6843 = 0. Does 21 divide l?
False
Let r(s) = 44*s. Let a be r(-4). Let o = a - -504. Suppose 3*k + o = 8*k + m, -6 = 3*m. Does 33 divide k?
True
Let m(u) = -u + 8. Let h be m(4). Suppose 2 = -l + h. Suppose 2*i + 3*i - l*z - 652 = 0, 3*i - 412 = -4*z. Does 22 divide i?
True
Suppose 0 = -167