et v(l) = -l**3 - 17*l**2 - l - 9. Let s be v(-17). Let c(r) = -r**3 + 10*r**2 + 11*r - 16. Does 8 divide c(s)?
True
Let w be (-3 - (-1 - 0))/((-1)/(-7)). Let z(p) = p**3 + 14*p**2 - 5*p - 19. Is z(w) a multiple of 20?
False
Suppose 4 = -p + 6. Suppose 5*u - 45 = -5*g, 0 = -p*u - 6 + 14. Suppose -3*k = -g*s + 9, 2*k + 3*k = -4*s + 22. Is s a multiple of 2?
False
Suppose -2*w = -w + 34. Let v = 66 + w. Suppose -c + v = 3*u - 5*c, -u = -c - 10. Is u a multiple of 6?
False
Suppose 3*y + 24 = -3*y. Is (1 + y)/(-1 + (-8)/(-11)) a multiple of 4?
False
Suppose -6*n + 4032 = 6*n. Is 24 a factor of n?
True
Suppose -41 = -m + 234. Is 5 a factor of m?
True
Suppose -3*n = -0*b + 4*b, 0 = -2*b + 2*n + 14. Suppose 2*s - 40 = -b*s. Suppose 5*o - 67 - s = 0. Is o a multiple of 15?
True
Suppose -p + 4*b = 4, 3*b - 23 = -4*p - 1. Suppose 4*a - 372 = p*d, 3*d = 4*a - 78 - 290. Is 21 a factor of a?
False
Let l be (9/12)/((-2)/(-8)). Let c be 3 - (3 - 21/l). Suppose -c*k + 234 = -396. Is k a multiple of 15?
True
Suppose -105*a = 23*a - 131200. Is a a multiple of 10?
False
Let j(q) = 2*q - 9. Let z(g) = g**2 - 10*g + 7. Let n be z(10). Let x be j(n). Suppose x*y = 2*y + 162. Is y a multiple of 12?
False
Let c(v) = v**3 - 14*v**2 + 2*v - 10. Let l = -16 - -30. Is c(l) a multiple of 12?
False
Let v be (-28)/98 + 5/(-7). Let j(q) be the third derivative of -31*q**6/120 - q**5/60 - q**4/12 - q**3/6 - q**2. Does 23 divide j(v)?
False
Let i be 3/(-5) - 24492/30. Does 8 divide i/(-57) + 2/(-6)?
False
Let c be -2 - (-2)/(-5)*30/(-3). Suppose -98 = -2*k - a + 203, 0 = c*k + 4*a - 304. Does 10 divide k?
True
Let q(s) = s**2 - 12*s - 6. Let o(j) = -6*j + 7. Let v be o(-1). Is q(v) a multiple of 3?
False
Let a be 4 + (-21)/6 + 54/4. Suppose 1252 = a*x + 496. Does 9 divide x?
True
Let z(q) = q**2 + 5*q. Let j be z(-7). Suppose -17*m + 513 = -j*m. Does 14 divide m?
False
Let y be (34/(-3))/((-16)/24). Let b = y - 19. Let r(p) = -8*p - 3. Is r(b) a multiple of 13?
True
Suppose -1 = -w, 3*y + 4*w - 3*w = -17. Suppose c - 64 = 3*u - 9, -3*u + 5*c - 59 = 0. Let r = y - u. Is 6 a factor of r?
True
Let c(o) = -o**2 - 13*o - 16. Let l = -9 + 2. Is c(l) a multiple of 13?
True
Suppose 6*v - 7*v + 1256 = 5*f, 2*f - 2*v - 512 = 0. Is f a multiple of 63?
True
Let j be (1 - -1) + (-1 - -2). Is 11 a factor of 1*(1 + (94 - j))?
False
Let j be (6/7)/((-3)/(-42)). Let u be 6/8 + (-81)/j. Is 24/(-10)*100/u a multiple of 9?
False
Let y(q) = q**3 - q**2 + 2. Let z be y(0). Suppose -z*b = -5*i + 659, 2*i + 4*b = 6*i - 532. Is 30 a factor of i?
False
Let d be (1 - 0)/(7/49). Does 19 divide (-13)/((-546)/12) + 474/d?
False
Suppose 2*f - 12 = -t, f + 50 = 4*t + 11. Suppose 4*k + t = 5*j - 0*k, 5*j + 20 = -2*k. Let v(s) = -19*s - 2. Does 15 divide v(j)?
False
Suppose 2*g + 4 = 3*g. Suppose 3*x = -4*l + 25, -5*l - 7*x + g*x + 29 = 0. Is l a multiple of 4?
True
Let i be (28/(-8))/((-1)/2). Let u(q) be the second derivative of q**3/6 + 3*q**2/2 + 2*q. Does 8 divide u(i)?
False
Let h(q) = -8*q - 1. Suppose 3*n = 5*r + 11, 3*n + 5 = -0*r + r. Is h(n) a multiple of 15?
False
Let m be 1 - 561/27 - 12/54. Is 2 - m - ((-3)/(-1) + 0) a multiple of 13?
False
Let f = 723 - -397. Is 14 a factor of f?
True
Suppose -4*d + 8 = 0, -4*d + 18 = 2*l + 2. Suppose -5*q - 5*x = -2*q - 281, 2*q + l*x = 188. Is 15 a factor of q?
False
Let k(i) = -20*i**2 + 2*i + 2. Let t(o) = 39*o**2 - 5*o - 5. Let g(u) = -5*k(u) - 2*t(u). Is 14 a factor of g(1)?
False
Let g = 4822 + -1176. Is 13 a factor of g?
False
Does 17 divide (5 - 4)*(2 + 545)?
False
Let d = 236 + -236. Let l(u) = -u**2 - u + 51. Let m(w) = w**2 + 2*w - 101. Let r(y) = -5*l(y) - 3*m(y). Is 12 a factor of r(d)?
True
Let m = 22 - 34. Let v be ((-24)/(-4))/(m/(-8)). Is 28 a factor of ((-532)/(-42))/(v/18)?
False
Let r(n) = 2 - n**2 - 9*n - 2*n + n + 0*n**2. Let u be r(-7). Let g = u - -5. Does 6 divide g?
False
Is ((-2)/(-1))/(1 - 10535/10549) a multiple of 30?
False
Suppose -5*x + 886 = 3*c, 4*c = -0*c + 4*x + 1192. Does 4 divide c?
False
Let p(b) = b**3 + b**2 + b - 27. Let r be p(0). Suppose u - 5*y + 6 = -8, 0 = -5*u + 5*y - 170. Let k = r - u. Is k a multiple of 6?
True
Let k(u) = -2*u**2 - 56*u. Let m(b) = -2*b + 23. Let i be m(24). Is 6 a factor of k(i)?
True
Let n be 0*(4/(-6))/((-16)/(-12)). Suppose 8*i - 261 = 5*i - 3*c, 5*c - 5 = n. Is i a multiple of 10?
False
Let j(q) = -q**3 + 11*q**2 + 14*q - 15. Let w be j(11). Suppose 9*i - w - 995 = 0. Is 21 a factor of i?
True
Let u(p) = -3*p**3 - 3*p**2 - 7*p + 43. Let n(m) = 4*m**3 + 2*m**2 + 8*m - 43. Let f(o) = 4*n(o) + 5*u(o). Is 11 a factor of f(7)?
True
Let w = 0 + 0. Suppose -3*f + w*f = -42. Suppose s = -4*i + 3*i + f, 1 = s. Is 7 a factor of i?
False
Is 16159/55 - -1*2/10 a multiple of 9?
False
Suppose -2*y - 25 = -3*t - 2*t, 2*t + 5*y = -19. Suppose 90 = 5*i - t*i. Is i a multiple of 5?
True
Let j(h) be the second derivative of h**4/6 - h**3/2 + 2*h**2 + 5*h. Suppose 32 - 2 = 5*i. Is 16 a factor of j(i)?
False
Let l be 0 - (0 + 1*-2). Let n(j) = -j**2 - 12*j + 97. Let u be n(-17). Suppose -u = -2*w - 2*v, -l*w = -v + 6*v - 21. Does 2 divide w?
False
Suppose 0*z - 3*g = 5*z - 2672, -2*z + 5*g = -1044. Does 17 divide z?
False
Suppose -t - 1900 = -4*b, -163 + 143 = 5*t. Is b a multiple of 29?
False
Suppose -4 = -3*f - f. Does 37 divide 36*f + (-6)/(-6)?
True
Does 9 divide (28/(-5))/(42/(-105))?
False
Let k(l) = -6*l**3 - 10*l**2 - 3*l - 2. Does 43 divide k(-8)?
False
Let r(w) = 17*w**2 + 25*w - 6. Does 24 divide r(-3)?
True
Suppose 0 = -5*g + 5*v + 30, 6*g - g = v + 18. Suppose 4*f - 7*i = -g*i, -i = -2*f + 3. Suppose f*q - 264 = -q. Is q a multiple of 22?
True
Is (7 - (-666)/(-72))/((-3)/752) a multiple of 24?
False
Let i(r) = -11*r + 41. Let l be i(3). Is 2/(-4) - (-700)/l a multiple of 22?
False
Let p be 3 - 0/((-12)/4). Let u be (0 - p)*4/(-3). Does 3 divide u/(-2)*(-15 - -12)?
True
Let q = -5 + 28. Let d = 51 - q. Is 4 a factor of d?
True
Let v(y) be the second derivative of y**4/12 + y**3/2 + 9*y**2 + 11*y. Does 15 divide v(10)?
False
Let a(n) = -32*n - 127. Does 40 divide a(-17)?
False
Let m(s) = -s**2 - 13*s - 30. Let r be m(-5). Suppose 108 = -6*d + r*d. Is 4 a factor of d?
False
Suppose 3*i = 4*i - 26. Is 3 a factor of 1 + 2 - i*(2 + -3)?
False
Suppose 4*h + 1 = j, -3*h + 450 = 438. Let p be ((-26)/4)/((-3)/(-6)). Let d = j + p. Does 2 divide d?
True
Let m be (3/2)/((-30)/(-400)). Suppose -2*x + 4 - m = 0. Let q = x - -68. Is 30 a factor of q?
True
Let r(n) be the second derivative of n**3/6 - 4*n**2 - 4*n. Let b be r(5). Let x = 23 - b. Is x a multiple of 10?
False
Let k(r) = -7*r - 9. Let f(u) = u + 1. Let d(a) = 12*f(a) + 3*k(a). Is 10 a factor of d(-9)?
False
Let j = 5899 + -979. Is j a multiple of 82?
True
Let m = -41 - -61. Let t(p) = p**3 + 2*p**2 - 1. Let i be t(-1). Suppose i*u + m = u. Does 20 divide u?
True
Let h(u) = u**2 + 7*u + 11. Is 2 a factor of h(-9)?
False
Suppose -2 = -y - 0. Let i(a) = -a**2 + 3*a - 2. Let b be i(y). Suppose 3*v - 11 - 7 = b. Does 6 divide v?
True
Suppose -5391 = -5*l + 2469. Is 101 a factor of l?
False
Let t be (-4 - 1)*6/(-15). Suppose t*m + 12 = 6*m. Suppose m*u = -p + 8, -u - 4*p + 3 = 15. Does 2 divide u?
True
Let w(c) = 2*c**3 + 1. Let j be w(1). Suppose k = -0 + j. Suppose -3 - 78 = -k*p. Does 9 divide p?
True
Let z(n) = -n**2 + 21*n + 72. Let r be z(24). Let w be 1*-16*(-15)/12. Suppose -2*k + 52 + w = r. Is 18 a factor of k?
True
Let o = 1 + -13. Let a(f) = -f**2 - 14*f + 8. Is a(o) a multiple of 8?
True
Suppose 0*h = -8*h + 96. Let n(g) be the first derivative of g**3/3 - 2*g**2 - 17*g + 1. Does 17 divide n(h)?
False
Is (73 - (-20)/(-4))/(6/21) a multiple of 14?
True
Suppose -303 = k - 1099. Is 98 a factor of k?
False
Let t be (-228)/(-20) + (-2)/5. Suppose -t = -4*q + 21. Suppose p + 3*z = q*z + 12, 108 = 3*p + 3*z. Does 16 divide p?
True
Let j be -3*(-3)/9*-95. Let d = -62 - j. Does 12 divide d?
False
Let i(l) = -l**2 + 29*l - 84. Does 12 divide i(20)?
True
Let c = -6 + 11. Suppose -c*o + 4*q + 531 = 0, 506 = 4*o - 3*q + 81. Suppose 4*m + p = 29 + o, -4*m = -2*p - 124. Does 29 divide m?
False
Let y(k) be the second derivative of -k**3/6 + 9*k**2/2 + 3*k. Let g be y(4). Suppose -g*t + 185 - 35 = 0. Is t a multiple of 10?
True
Suppose -5*b + 885 = 2*k, 