Let o(i) be the first derivative of -7*i**3/3 + i**2/2 - 30*i - 13. Let d be o(18). Is 4/14 + d/(-56) a multiple of 7?
False
Suppose b = -2*w - 121, -5*w - 409 = 3*b - 104. Let u = w - -423. Suppose -4*j - j = -t - u, -t = 5*j - 365. Does 8 divide j?
False
Suppose -2*x = -x + 418 - 3361. Does 109 divide x?
True
Suppose -5*l + 282*u = 280*u - 22488, 5*l = 3*u + 22482. Is l a multiple of 100?
True
Let w be 624/(-28) + (-7)/(98/(-4)). Let q(j) = j**2 - 17*j + 192. Does 21 divide q(w)?
True
Let k(z) be the second derivative of -z**5/20 + 11*z**4/12 - 19*z**3/6 + 11*z**2/2 - 23*z. Is 17 a factor of k(8)?
True
Let n be -1*(0 + 1 + -4). Let c = -90 + 254. Suppose 2*s + n*i - 120 = 28, 0 = -2*s + i + c. Is 20 a factor of s?
True
Let f be 252/(-56) - 13/(-2). Suppose 49*h - f*y = 54*h - 3649, -8 = -4*y. Does 81 divide h?
True
Suppose 5*w + 2*q - 1274 = 0, 5*q - 41 = -w + 200. Is w a multiple of 25?
False
Suppose x + 27 = 22. Does 39 divide 1/(-1)*(-35 + 1 + x)?
True
Let r(y) = 23*y - 32. Suppose o = -2*o + 3*a + 15, -o + 15 = a. Is 3 a factor of r(o)?
True
Does 14 divide ((-4)/34 - 403575/(-102)) + (-19)/38?
False
Let c(v) be the first derivative of v**7/840 - v**6/90 - v**4/6 - 10*v**3/3 - 3. Let j(z) be the third derivative of c(z). Does 3 divide j(5)?
True
Suppose 3*g - 3032 = -5*l, -1125 = -5*g - 4*l + 3937. Is 26 a factor of g?
True
Let z(q) = 3*q**3 - 5*q**2 - 7*q + 8. Let k be z(5). Suppose 0 = -2*y + 5*y - 4*c - k, -y + 2*c = -75. Let w = y - -3. Is w a multiple of 19?
True
Let m = -108 + 125. Suppose 16*c = m*c - 125. Suppose -2*j - b = -61, -4*j = -b + 2*b - c. Does 16 divide j?
True
Let d be 49/112*-4*-28. Is 4 + 1 + 16366/d a multiple of 28?
False
Let m(x) = 40*x**2 + 328*x + 2328. Does 14 divide m(-7)?
False
Suppose -10*f + 18125 = -11105. Is 79 a factor of f?
True
Let t be (744/(-10))/(0 - 1/15). Suppose 4*h - t = -d + 524, -6612 = -4*d - 3*h. Suppose 13*w - w = d. Is 27 a factor of w?
False
Suppose -18*n - 5*i = -13*n - 24085, -n = -i - 4807. Is 11 a factor of n?
False
Let w be (30/(-8))/(18/96). Let d(r) = -11*r + 8. Is 21 a factor of d(w)?
False
Suppose 16*l - 570 = 1334. Suppose l = p - 66. Does 4 divide p?
False
Let l = 3784 + -6662. Let n = l + 4088. Is n a multiple of 22?
True
Let g(m) = 3*m**3 - 2*m**3 + 3*m + 5*m**2 + 10*m**3 - 3*m**2 + 2. Let h be g(-1). Let w = 97 + h. Is w a multiple of 10?
False
Let a = 1336 - -320. Is a a multiple of 9?
True
Let w(c) = 20*c**3 - 5*c**2 - 26*c + 161. Is w(11) a multiple of 84?
False
Let h = -15 - -17. Suppose 9 = -h*m - m, -3*m + 1650 = 3*l. Suppose -3*s - 718 = -7*s - 3*t, 3*s - l = 5*t. Is 31 a factor of s?
False
Let z(f) = 2140*f - 10704. Is 117 a factor of z(12)?
True
Suppose 5*a - 511 = -4*i + 3*i, -i = 2*a - 205. Let z(o) = -o**3 - 4*o**2 - 5*o + 4. Let g be z(-6). Let m = a + g. Is m a multiple of 40?
False
Let p = -182 - -188. Let s(o) = 39*o + 336. Is s(p) a multiple of 30?
True
Let c(i) = -4659*i**3 + 5*i**2 + 37*i + 64. Does 32 divide c(-2)?
False
Suppose -a = -3*k + 59, -2*k + 39 = 3*a - 15. Let v(y) = y**3 - 21*y**2 + 31*y - 38. Is 63 a factor of v(k)?
False
Let k = 5 + -10. Let v be -2 - (10/k)/1. Is 5 a factor of 3 + v - -57*1?
True
Let g = -536 + 534. Is 26 a factor of 2/(-5)*g - 14930/(-25)?
True
Suppose x + 3*w - 27 = -2*x, 4*x + w - 36 = 0. Suppose 2*a - x = 3. Suppose -2*h + a*h - 44 = -g, 1 = -h. Does 16 divide g?
True
Let r = -10559 - -20511. Suppose p + 15*p = r. Suppose 3*f - 463 = t + 169, 0 = -3*f - t + p. Is 11 a factor of f?
True
Let x be (-5)/(15/3) + 136. Suppose x = 3*d + 3*y, -3*y = -5*d - 2*y + 243. Is ((-2)/(4/(-9)))/(6/d) a multiple of 6?
True
Let y(k) be the second derivative of -1/20*k**5 + 0 - 8/3*k**3 + 11/12*k**4 - 3*k + 6*k**2. Is 28 a factor of y(8)?
False
Suppose 0 = 7*x - 615 - 687. Let v = x - 69. Suppose -t + v = 79. Is 14 a factor of t?
False
Suppose 5*t - 2423 = 4*n, -3*n - 3*t = -4*t + 1831. Does 17 divide 2/(2445/n - -4)?
True
Suppose -111*i + 107*i - 48 = 0. Let g(u) = u**2 - 17*u + 6. Does 15 divide g(i)?
False
Let p(h) be the first derivative of -1/3*h**3 + 16*h + 14 + 19/2*h**2. Is 35 a factor of p(7)?
False
Let s = -22867 - -41242. Is s a multiple of 42?
False
Let v(i) = 35*i**2 - 20*i + 30. Is 10 a factor of v(-8)?
True
Let p(g) = g**2 - 14*g + 38. Let z be p(8). Let c be z*-3*4/24. Suppose 1240 = 5*f - c*j, 5*j - 445 - 511 = -4*f. Does 10 divide f?
False
Let z be 2 + (-18)/(-8) - (-26 - 1853/(-68)). Let w = 140 + -92. Suppose -z*p = -2*p - w. Does 12 divide p?
True
Let a(c) = c**3 + 3*c**2 + 23*c + 5563. Is 5 a factor of a(0)?
False
Let s = 15 - 13. Suppose -3*r = -5*w - 6, 5*w - 1 = -s*r + 3. Is 3 a factor of (-10)/((4/8)/((-3)/r))?
True
Let x(m) be the second derivative of m**5/10 - 2*m**4/3 + 2*m**3/3 - 9*m**2/2 + 19*m. Let i be x(4). Does 8 divide 2608/112 - 2/i?
False
Let i = 11903 - 7481. Is i a multiple of 66?
True
Let q(x) = x**3 - 7*x**2 - x + 3. Let g be q(8). Let v = 65 + 32. Let r = v - g. Does 33 divide r?
False
Suppose m + 12 = -5*m. Let c be (7 + m)/(-5)*(-6)/2. Let q = 97 + c. Is q a multiple of 9?
False
Suppose 3*h - 20 = -y, -452 = -4*h - 3*y - 427. Let g(t) = 16*t - 21. Let k(j) = -32*j + 41. Let d(o) = -7*g(o) - 4*k(o). Is d(h) a multiple of 26?
False
Let j = 164 + 23. Suppose j = a + 55. Is 33 a factor of a?
True
Let c be 8/20 + (-467)/5. Let s = -65 - c. Is 12 a factor of s?
False
Suppose 44 = -h + 3*h. Let a be 3993/h*(-2 - -4). Suppose -4*s - 3*u = -a, -5*s + 0*u = -u - 449. Is 15 a factor of s?
True
Suppose -14*q = -q - 103534 - 14025. Does 17 divide q?
False
Let f(v) be the second derivative of -25*v**4/6 + 2*v**3/3 + 3*v**2/2 + 2*v. Let x be f(-1). Let y = 56 - x. Does 11 divide y?
False
Let r = 5 - -33. Suppose 0 = -2*f - 46 + r. Let y = f + 64. Is 6 a factor of y?
True
Suppose 114592 = 20*f - 63088. Is f a multiple of 12?
False
Let j = -25 - -30. Suppose -9 - 106 = -j*d. Is 2 a factor of 0 - (-1 + (4 - d))?
True
Let m(d) = -22*d**2 - 22 + 3*d**3 - 20*d**2 + 17*d + 27*d**2 - d**3. Is 17 a factor of m(9)?
True
Suppose 8*s = -0*s. Suppose 5*u + f = 812, s = 2*f - 0*f - 4. Let g = -92 + u. Is g a multiple of 10?
True
Let j = -27 + 27. Is 42 a factor of ((-6)/(-5))/(j + 6/1515)?
False
Let o(k) = 1692*k**2 - 470*k + 7. Does 160 divide o(3)?
False
Is 17 a factor of (-4 - -5)*-4 - (-1262 - -4)?
False
Let q(o) = -o + 56. Let z be q(-27). Suppose -g + z = 4*l, -2*g - 1 = -g. Is l a multiple of 3?
True
Let z(m) = m**3 - 11*m**2 + 23*m - 115. Does 22 divide z(11)?
False
Let w(i) = -10*i**2 + 7*i + 4. Suppose -24 = 10*p - 6*p. Let k(s) = 1. Let o(z) = p*k(z) - w(z). Is 55 a factor of o(-5)?
True
Suppose -10959*d + 10961*d = 741 + 40369. Is 150 a factor of d?
False
Let t be (-2)/11 - 2*200/(-22). Let k(q) = 4 - 15 + t*q + 0 + 45. Is k(7) a multiple of 8?
True
Let h(p) = p**2 - 27*p + 26. Let n be h(26). Suppose n = 10*o - 115 - 555. Does 8 divide o?
False
Let u = -1184 + 428. Let v = -741 - u. Does 15 divide v?
True
Is 34 a factor of (((-45)/18 - (-106)/12) + -7)*-31263?
True
Suppose 8 = 9*p - 55. Let d be (-1)/3 - p/((-21)/(-110)). Let r = 86 + d. Is r a multiple of 13?
False
Let z(s) = -8*s - 221. Let r(j) = -j. Let u(m) = -2*r(m) - z(m). Is u(-10) a multiple of 11?
True
Suppose -800*r + 844*r = 21912. Does 5 divide r?
False
Suppose -86 + 4 = -3*l + 4*a, 0 = l - a - 28. Is 2/(12/l) - -149 a multiple of 77?
True
Suppose p - a = -7, 6*a = -5*p + 4*a - 7. Is 8 a factor of (-1)/((15/1115)/p) - 1?
False
Let y = -11 + 16. Suppose 0 = -3*m - y*q + 36, 3*m + 0*q - 36 = q. Suppose 0 = m*i - 14*i + 56. Is i a multiple of 12?
False
Let x(i) = 4*i**2 + 12*i + 5 - 5*i**2 - 3 + 2. Let c be x(8). Does 10 divide (-34 + c)/(1/10 + 0)?
True
Let k(t) = 3*t**3 - 71*t**2 + 19*t + 7. Is 9 a factor of k(25)?
False
Suppose 2*z + 13 = 5, -4*o + 3*z = -52176. Is o a multiple of 23?
True
Let k(q) = -63*q - 2202. Does 15 divide k(-44)?
True
Suppose -i + 17*p + 53690 = 4*i, 2*p = i - 10745. Does 19 divide i?
False
Let v be (5 + (-1390)/2)*4/(-6). Suppose -6*w - v = -5*x - w, 2*w = -3*x + 256. Is 8 a factor of x?
True
Suppose 10*m - 458587 = -154*m + 639229. Does 80 divide m?
False
Suppose -14*q + 6291 = -72557. Is q a multiple of 9?
False
Let h(u) = -3*u**2 + 162*u - 678. Is 12 a factor of h(35)?
False
Let w(v) be the second derivative of -v**