2 + 2*o**3 - 8. Let l(c) be the third derivative of u(c). Is 14 a factor of l(10)?
True
Let v(l) = -23*l + 376. Is 20 a factor of v(-28)?
True
Suppose 33*f = 48*f + 450. Does 5 divide (-48)/30 - 14268/f?
False
Suppose 58*q - 4792 = -16160. Let g = 794 + -358. Let c = q + g. Does 30 divide c?
True
Suppose -p = 4*a - 21232, -3*a + 202*p + 15938 = 201*p. Is 15 a factor of a?
True
Let n(h) = -4*h**2 - 8*h - 15. Let i(s) be the second derivative of -s**4/3 - 3*s**3/2 - 8*s**2 - 15*s. Let r(j) = 3*i(j) - 4*n(j). Does 42 divide r(-5)?
False
Suppose 3*c + 2*h - 34 = 63, -3*c = h - 95. Suppose -9*r = -c*r + 3454. Is r a multiple of 8?
False
Suppose 10 = 5*r, 0 = y + 3*r + 44 - 51. Is (y + -4 + 5)*(28 + -1) a multiple of 18?
True
Let z(w) = -31520*w**3 - 3*w**2 + 3*w + 6. Is z(-1) a multiple of 197?
True
Let m(f) = -f**2 + 3*f + 2. Let b be m(-1). Let h be 1/((-7)/b) - (-1270)/14. Suppose d + h = 5*c - 0*c, -c + 13 = 5*d. Does 18 divide c?
True
Suppose -516*s = -508*s - 48. Let t(i) = 22*i - 1 - 35 + 10*i. Is t(s) a multiple of 20?
False
Let b = -74 - -91. Let q = b + -55. Is (q/(-6))/(10/120) a multiple of 19?
True
Does 43 divide (437/(-8))/(7/(-2408))?
True
Suppose -j = 5*u + 91, -u + 4*j - 13 = 1. Let s be (-512)/6*(-570)/380. Let a = s + u. Does 22 divide a?
True
Is -53 + -29 + 80 + 11946 + 0 a multiple of 47?
False
Is 225 a factor of (-8781198)/(-517) - 4/(-44)?
False
Is (-12)/(-18) - (-2 - (-490714)/(-21)) a multiple of 19?
True
Let u be (12/5)/2*5/2. Suppose 111 = m + 3*d, -504 = -5*m - d + u*d. Let a = m - -17. Is 41 a factor of a?
False
Let i(s) = -78*s + 976. Is 17 a factor of i(-33)?
False
Let w(r) = -r**3 + 75*r**2 - 165*r - 734. Does 9 divide w(72)?
False
Suppose -t - 11*v = -14*v - 945, -4*v - 940 = -t. Suppose -3*k + 7*k = t. Does 12 divide k?
True
Let r be 10/(5 + 55/(-10)) + 2. Let j(i) = 3*i**2 + 46*i - 44. Does 23 divide j(r)?
False
Let a(r) = 58*r - 4. Is 11 a factor of a(16)?
True
Is 14 a factor of (566 + -11)/((27/12)/(14 + 7))?
True
Let d(a) = a**3 - 12*a**2 + 12*a - 7. Let r be d(11). Suppose 5*x + 3 = -2*j, -3*j + r*x = -0*x - 7. Suppose o - j = 24. Does 10 divide o?
False
Suppose -3*a - 52 = 29. Let q = a + 86. Let u = q + -11. Is 16 a factor of u?
True
Suppose 1921*n + 114504 = 1927*n. Is n a multiple of 95?
False
Suppose 0 = 60*p - 393355 - 516005. Is 36 a factor of p?
True
Let c = -3992 + 3851. Suppose -f - 1108 = -5*u - 209, 0 = -2*u - 2*f + 362. Let a = u + c. Does 13 divide a?
True
Let h = 268 - 269. Let w(y) = -88*y + 14. Is w(h) a multiple of 3?
True
Suppose 5*q - l - 201711 = 0, -45382 + 5037 = -q + 3*l. Is q a multiple of 32?
False
Let z = -271 - -1180. Suppose 4*j - 5*m = z, j = -2*j + 4*m + 681. Let c = -115 + j. Does 29 divide c?
True
Let p(s) be the first derivative of 2*s**2 - 35*s - 15. Let n be p(8). Is 56 a factor of (-642)/(-5)*n/12*-10?
False
Let f(g) = -6*g**2 - 20*g - 23. Let n = 30 + -34. Let k(l) = -5*l**2 - 20*l - 22. Let d(w) = n*f(w) + 5*k(w). Does 9 divide d(-18)?
True
Let f = -715 - -413. Let q = f + 606. Is 13 a factor of q?
False
Let x(i) = -17*i**3 + 16*i**2 + i. Does 131 divide x(-8)?
False
Let o = -16 - -18. Suppose 0*s = 3*s + 5*u + 860, -575 = o*s + 3*u. Let l = -113 - s. Is 13 a factor of l?
True
Let f(t) = 75*t**2 - 4*t - 8. Let d be (-6 - 76/(-12))*-6. Is f(d) a multiple of 60?
True
Let a(s) = 4*s + 3. Let z(u) = 17*u**2 - 4*u - 4. Let d be z(2). Let p = -43 + d. Is 11 a factor of a(p)?
True
Suppose 0 = 10*c - 14*c, 4*t = -4*c + 110280. Is t a multiple of 15?
True
Suppose 140322 = 189*g - 271320. Is 6 a factor of g?
True
Suppose -27*j - 40 = -29*j. Let i be 101/(-1) + j/5. Let x = i - -170. Does 19 divide x?
False
Let a = 14173 + -5723. Is 50 a factor of a?
True
Suppose 4*i = 2*l + 3052, -5*l - 3044 = -4*i - l. Suppose 87*a = 88*a - i. Is 6 a factor of a?
False
Let s = 598 + -297. Let r = -53 + s. Is r a multiple of 19?
False
Suppose 7*v = 4*v - 5*w + 9, 3*v - 5*w - 9 = 0. Suppose 2*u = 3*a - 298, a = -v*a - 2*u + 374. Is a a multiple of 8?
True
Let r be ((-1)/3)/(1624/231 + -7). Let f(b) = 3*b**2 + 31*b + 4. Is f(r) a multiple of 2?
True
Let l(w) = 254*w**3 - 3*w**2 + 4*w - 2. Let z be l(1). Let i = z + -148. Is i a multiple of 21?
True
Let y(d) be the first derivative of 3*d**4/2 - 3*d**3 + 6*d**2 + 111. Is 7 a factor of y(5)?
False
Let p(l) = 151*l**2 + 314*l - 19. Is p(-5) a multiple of 151?
False
Let y(v) = 372*v + 2. Let p(n) = 37*n - 221. Let q be p(6). Is y(q) a multiple of 17?
True
Let z(i) = -2*i**3 - 45*i**2 + 22*i - 4. Is 17 a factor of z(-27)?
False
Suppose -72520 - 76750 = -67*k - 19826. Is k a multiple of 7?
True
Suppose 20*u + 2*u - 34800 = -8*u. Is u a multiple of 20?
True
Suppose 3*f - 18*d - 197 = -22*d, 5*d = f - 53. Suppose 4*x = b + f, x - b = -2*x + 48. Does 4 divide x?
False
Let g = -7 - -20. Suppose 2*a + g = 9. Does 3 divide a/1 + (-11 - -20)?
False
Let z = 452 + 1105. Does 9 divide z?
True
Suppose -2*d = 3*y - 3, 2*d + 0 = 2*y - 2. Suppose -5*x - 1 = -3*s, d = -s - 2*x + 4. Suppose -8 = -s*t, -t - 676 = -7*k + 3*k. Is 17 a factor of k?
True
Let g(f) = -125*f + 36. Let v be g(2). Let j = v - -410. Is 49 a factor of j?
True
Suppose -8583 = -4*x - 5*m, -39*m + 34*m + 4309 = 2*x. Is x a multiple of 4?
False
Let r be 10 - 1/(3 - 52/16). Suppose 65 = t - r*t. Is 15 a factor of 5*((-336)/t)/3?
False
Does 57 divide (565/(-5 - 0))/(9/(-1908))?
False
Suppose -3*x = -14 + 2. Let u(l) = 6*l**2 + 61*l + 117. Let r be u(-2). Suppose -x*g = -r*g + 315. Is g a multiple of 5?
False
Suppose -k - 16*i + 18*i = -2842, 4*i = 0. Does 45 divide k?
False
Let k(a) = -12*a + 288. Let c(g) = 14*g - 51. Let w be c(5). Is k(w) a multiple of 15?
True
Let q(i) = -4*i**3 - i**2 + 5*i + 312. Does 4 divide q(0)?
True
Let b(a) = a**3 - 7*a**2 - 2*a - 23. Let m be b(7). Is m*(3 + 12/(-3)) a multiple of 24?
False
Suppose 0 = -3*y - 2*y - 15. Let v = y + 28. Suppose -5*g - v = 0, 3*r - 5*r - 2*g = -6. Does 3 divide r?
False
Suppose 3*v - 2*d = 26105, 13*v - 11*v + d = 17415. Is v a multiple of 51?
False
Let k(m) = -2257*m - 41. Is k(-2) a multiple of 9?
True
Let d(f) = -f**3 + 5*f**2 - 3*f. Let a be d(4). Is (-3 + 4/1)*a - -353 a multiple of 17?
True
Suppose 23 = -0*w - 4*w - 3*h, 3*w = 3*h - 33. Let t(i) = -2*i**2 + 13*i + 8. Let u be t(6). Let b = w + u. Does 6 divide b?
True
Suppose 0 = -2*l + 2*c + 42, 2*l - c = 6*l - 74. Suppose l*x - 1194 = 535. Does 2 divide x?
False
Let o = 16111 + -7587. Is 20 a factor of o?
False
Does 16 divide 2724/((20/(-48))/((-30)/54))?
True
Suppose 205*w - 36*w - 2056332 = -5*w. Is w a multiple of 38?
True
Let y = -44 + 66. Let w be (-4)/y + 74800/121. Suppose 5*x + 163 - w = j, -5*x - j = -445. Is 18 a factor of x?
True
Let f(v) = 8*v + 77. Let i be f(-10). Is ((-1)/2)/(4630/1544 + i) a multiple of 33?
False
Let t be (-12)/20*2/(6/15). Let n be (-2)/(-3) - 7/t. Does 3 divide 3*1 - n*1/(-1)?
True
Suppose 22*y - 10*y - 1248 = 0. Let j = y + -97. Does 7 divide j?
True
Let k = 2968 - -5859. Does 97 divide k?
True
Suppose 249*p + 177372 = 267*p. Is 84 a factor of p?
False
Suppose 0 = 8*u - 23092 + 3724. Does 17 divide u?
False
Let q = -297 + 13188. Does 70 divide q?
False
Suppose 5*h - 5656 = -2*z + 5176, -5*z - 4356 = -2*h. Is 27 a factor of h?
False
Suppose 1050 = 3*n + 2*n. Suppose 37*y - 42*y + n = 0. Is y a multiple of 14?
True
Suppose 2*q = 4*i + 1446, 14*q = 15*q + i - 705. Is 22 a factor of q?
False
Let d = 79885 + -55410. Does 8 divide d?
False
Let y be (9/3 - 4)*(63 - 44). Suppose -3*c + 10 - 4 = 0. Let l = c - y. Is l a multiple of 3?
True
Let v(s) = s**2 - 14*s + 25. Let c be v(13). Suppose 405 + 1239 = -c*o. Let i = 155 + o. Is i a multiple of 18?
True
Let q be (-5)/(1/6*-15). Suppose 4*j + 2*y - 4*y = 1738, 3*y = q*j - 879. Is 18 a factor of j?
True
Let t(f) = f - 15. Let x be t(19). Suppose -3*u = 16 - x. Is 9 a factor of (u/4)/(2 - 218/108)?
True
Let s = 124 - 79. Does 48 divide 3008/141*s/4?
True
Suppose 5*j + c - 19 = -0*c, j = -3*c + 15. Suppose -24*u = 2*u - 78. Suppose -2*m = 5*f - 6*m - 40, 0 = j*f - u*m - 21. Is 2 a factor of f?
True
Let g(j) = -j**2 - 13*j - 17. Let w(s) = -689*s**2 + 9*s - 5 + s**3 + 4*s + 703*s**2. Let p be w(-13). Is g(p) a multiple of 7?
False
Suppose 0 = -4*v + 16, -47*b + 49*b = -v + 15628. Does 17 divide b?
False
Let c b