ose 5*o + 2*y - 2 = -0*y, -v*o + 14 = -y. Suppose 5*h - 43 = 2*r, 17 = 3*h - o*r - 12. Is 5 a factor of h?
False
Let n(w) = -39*w - 97. Is 4 a factor of n(-5)?
False
Let l(z) = -3*z + 20. Let a(h) be the third derivative of -h**4/12 + 19*h**3/6 + 5*h**2. Let s(d) = 4*a(d) - 3*l(d). Does 8 divide s(0)?
True
Let p = 325 + 1268. Is 9 a factor of p?
True
Let p(c) = c**3 + 15*c**2 + 18*c + 20. Let o be p(-10). Suppose -13*n + 1263 - o = 0. Does 19 divide n?
False
Let o(h) = 36*h**3 - 2*h - 1. Let w be o(-1). Let t = w + 56. Is 12 a factor of t?
False
Suppose 4*j = -2*y - 22, -4*y - 3*j - 55 - 4 = 0. Let m = 29 + y. Does 4 divide m?
True
Suppose 115 = -4*a - a. Let l = a - -73. Is 16 a factor of l?
False
Let x(i) = 5*i**2 - 8*i + 7 + i**3 - 13*i**2 - i. Let g be x(9). Suppose 2*q = g*q - 195. Is 13 a factor of q?
True
Let h(x) = 12*x**2 + 6*x - 21. Is 25 a factor of h(-7)?
True
Let m(a) = -6*a**3 - 10*a**2 - 8*a + 5. Let x(v) = 5*v**3 + 9*v**2 + 7*v - 5. Let s(w) = -6*m(w) - 7*x(w). Is s(4) a multiple of 6?
False
Does 3 divide 170/(5/(1 + 4))?
False
Let y(b) = 3*b**2 - 3*b + 3. Let h(l) = -l**2 - 10*l - 1. Let u be h(-10). Let m be 2*u - (-4 + 0). Is y(m) a multiple of 9?
True
Suppose 4*y - 5*q - 4010 = 0, 178 = -2*y - 4*q + 2196. Is 67 a factor of y?
True
Let v = 14 - 19. Let b(t) = t**2 - 8*t. Let m(l) = 2*l**2 - 16*l - 1. Let o(x) = v*b(x) + 2*m(x). Is 6 a factor of o(3)?
False
Suppose 0 = -o, -4*p - o - 4 + 12 = 0. Suppose p*m = 282 - 64. Does 10 divide m?
False
Suppose -2*v - 388 = -4*x, x - 14 - 73 = -2*v. Is x a multiple of 5?
True
Let i be (12 - 9)/((-1)/5). Let v = -12 - i. Suppose 2*g + 3*h - 270 = 0, 4*g + v*h - 96 = 438. Is g a multiple of 27?
False
Let d(b) = 101*b - 17. Let q(i) = 34*i - 6. Let z(x) = 4*d(x) - 11*q(x). Let k be z(-1). Let l = -7 - k. Is 15 a factor of l?
False
Let x(o) = o**3 - 6*o**2 - 8*o + 11. Let f be 86/12 + 1 - 3/18. Does 15 divide x(f)?
True
Let r be 4 + 0 + -3 + 169. Suppose -5*z + r = -155. Is z a multiple of 12?
False
Let y = 104 - 99. Suppose -y*i - 2*c + 302 = 0, -3*c + 4*c - 241 = -4*i. Does 15 divide i?
True
Let b(k) = 370*k**2 - 13*k + 1. Is b(2) a multiple of 29?
False
Let m(f) = -f**3 - f + 17. Let r be m(0). Let v = r + 19. Is v a multiple of 18?
True
Suppose 5942 = 2*j + 4*s, j = -20*s + 16*s + 2981. Is 66 a factor of j?
False
Let g(h) = -21*h**2 - 2*h - 1. Let t be g(-1). Let j be (-4 - 14/(-4))*t. Let c = j - -4. Is c a multiple of 6?
False
Let w = 1 - -4. Suppose -3*d = -0*d + w*a - 95, 4*a - 64 = -2*d. Is 8 a factor of (11 + 1)/(d/20)?
True
Suppose u = -3*z + 13, 3*z - 28 = 2*u - 0*u. Let j be (-16)/z*(-10 + 7). Suppose p = -0 + j. Does 4 divide p?
True
Let d(u) = -u**3 - 8*u**2 + 10*u + 4. Let j be d(-9). Let v(k) be the first derivative of -5*k**2 - k - 2. Is 13 a factor of v(j)?
False
Let j = 945 + -290. Is 14 a factor of j?
False
Let r(w) = -4 + 4*w + 47*w**2 + w**3 - 48*w**2 - 4. Is 11 a factor of r(3)?
True
Suppose -3*f = z - 7 + 30, -2*f - 26 = 2*z. Let s = z - -116. Is s a multiple of 12?
True
Let i(x) = x**3 + 2*x**2 - 3*x - 3. Let c be i(-2). Let u be 3*(c/(-9) + 2). Suppose -4*b + 4*a = -64, u*b + 5*a = 103 + 7. Is b a multiple of 19?
True
Let d(w) = -53*w - 83. Is d(-5) a multiple of 26?
True
Let o(f) = 29*f**2 + f + 3. Let d be 48/28 + 4/14. Does 33 divide o(d)?
False
Let f be -35*(6 - 9)/(6 + -1). Suppose 0 = -2*a - b - 19 - 5, -3*b = -4*a - 48. Let d = f + a. Is d a multiple of 9?
True
Suppose 9*i = 3*i - 204. Let u = i - -103. Is u a multiple of 23?
True
Suppose 10*c - 16*c = -1290. Does 21 divide c?
False
Let j(a) be the third derivative of a**5/60 - a**4/2 + 7*a**3/3 + 4*a**2. Let k be j(11). Suppose -7*y = -k*y - 56. Is y a multiple of 7?
True
Let t be 53/(-9) - (-25)/(-225). Let i(v) = -4*v - 7*v**2 + 8*v - v**3 + 8 - 10*v. Is 3 a factor of i(t)?
False
Suppose -17 = -2*u + d - 7, -u + 4*d = 9. Let t = 14 - u. Does 7 divide t?
True
Is 21 a factor of (360/(-70))/((-4)/742)?
False
Suppose -w - 2*w - 3*u + 6 = 0, -u = -5*w + 10. Suppose 6*y = w*y + 72. Does 6 divide y?
True
Let x be -18*(5 + -4)*1. Let v be 3/18 + (-87)/x. Suppose -236 + 16 = -v*l. Is l a multiple of 23?
False
Let v(y) be the first derivative of 5*y + 7/2*y**2 - 4 + 2/3*y**3. Is 8 a factor of v(-4)?
False
Let l = 5 + -17. Let r = l - -8. Let b(g) = g**3 + 7*g**2 + 5*g. Is 14 a factor of b(r)?
True
Suppose 3*g - 25 = -4*l, -4*g + 5*l = -53 - 32. Suppose -3*t - 2*t = -g. Let u = 89 - t. Is u a multiple of 19?
False
Let p(y) = y**3 - 5*y**2 - 5*y - 2. Let v be p(6). Let b = -27 - -32. Suppose -43 = v*t - b*t. Is t a multiple of 9?
False
Let c = -15 - -15. Suppose 2*g - g = c. Suppose -2*v = -g*v - 32. Does 11 divide v?
False
Suppose -1211*z = -1218*z + 25557. Is z a multiple of 71?
False
Let z(c) = -c - 1. Let m(l) = -2*l**2 - 3. Let g(b) = -m(b) - 2*z(b). Does 44 divide g(7)?
False
Let a = -1787 + 3995. Does 24 divide a?
True
Suppose -3 = -3*l + 9. Suppose -l*q - 11 = 3*d, 2*d + 11 = 1. Is 5 a factor of q - (-2)/3*15?
False
Suppose 5*d + 4*i = 7812, -4*i = 3*d - 3995 - 697. Does 47 divide d?
False
Let g = 29 - 21. Let k(t) = -t**2 + 8*t + 12. Does 4 divide k(g)?
True
Let j(a) = -a**3 - 19*a**2 - 17*a - 108. Is j(-24) a multiple of 10?
True
Let v(n) = 2*n**2 + 16*n + 17. Suppose 3*b + 39 = -2*s, -2*s + 3*b - 4 = 5. Does 26 divide v(s)?
False
Let u be (-66)/627 + 287/19. Is 5 a factor of (u/6 - 1)/((-12)/(-280))?
True
Let m(y) = y**3 - 2*y**2 - 3*y + 1. Let l be m(2). Let q be (l/(-15))/(1/12). Suppose -3*i + 12 = g - 15, q*g + i = 75. Does 9 divide g?
True
Let a(z) = -z**3 + 28. Let p be a(0). Suppose 5*n - s = 14 + 2, -3*n - s = -16. Let f = n + p. Does 16 divide f?
True
Let q(t) = t**2 - 14*t + 15. Let a be q(6). Let h = 39 - a. Does 5 divide h?
False
Suppose 5*x - 234 = -4*x. Let a = x - -5. Is 29 a factor of a?
False
Let g be 5 + (1 + -3 - 1). Suppose 0 = g*k + 4*h - 2, -3*k + 8*k + h - 5 = 0. Suppose -2*b + 62 = 3*f, 3*f - k - 117 = -4*b. Is 14 a factor of b?
True
Let b(j) = -3*j**2 + 6*j + 1. Let w(f) = 10*f**2 - 19*f - 4. Let v(l) = -l**2 - 5*l - 2. Let g be v(-5). Let x(n) = g*w(n) - 7*b(n). Is x(-4) a multiple of 11?
True
Suppose 0 = -27*p + 25*p + 264. Suppose 9*w = 6*w + p. Does 11 divide w?
True
Let i(y) = y**3 + y**2 - 2*y + 9. Let w be i(0). Is 4/(-4)*-1 + w a multiple of 4?
False
Does 36 divide (8 - 132/(-9))*81?
True
Let s be 12/(-4)*4/(-3). Suppose -4*n = -s - 4. Suppose 0 = -4*p - 2*l + 59 + 81, 74 = n*p - l. Does 12 divide p?
True
Suppose 5*l + 5*s = -0*s - 1030, l - 4*s = -226. Is l/(-40) - (-2)/(-8) even?
False
Is (9692/(-16) - 10)/(6/(-8)) a multiple of 84?
False
Let c(g) = 6*g**3 - 3*g + 2. Let o(d) = -7*d - 1. Let w be o(-1). Suppose 0 = -n + w*n - 10. Is 15 a factor of c(n)?
False
Let t = 1345 - 916. Does 39 divide t?
True
Let t(y) = -17*y**3 - 5*y - 2. Is 14 a factor of t(-4)?
True
Suppose -35 = 3*r - d, 5*d - 31 = 4*r - r. Let z(a) = a**2 + 6*a - 3. Does 23 divide z(r)?
True
Suppose 0 = 3*f - f - n - 607, 3*f + 5*n - 891 = 0. Is f a multiple of 7?
False
Let h(n) = 1 + 2 - n + 6 - 3. Let u be h(-9). Suppose -i - 3*j + u = 0, -j - j = -2*i + 54. Does 6 divide i?
True
Suppose 3*f - 2*f = p - 177, -4*f = 0. Suppose 3*o - 63 = p. Is 10 a factor of o?
True
Is (9 + 46 - -9)*2/2 a multiple of 2?
True
Let g(h) = 28*h**2 + 18*h - 6. Let q be g(-3). Let r be (-39)/(-3) + (-1 - 0). Suppose -r*t + 16*t = q. Is t a multiple of 24?
True
Let j(n) = -n**2 - 16*n + 2. Let z be j(-9). Suppose -k + z = -28. Suppose -k = -5*i + 17. Does 5 divide i?
False
Suppose 9*g = g + 24. Suppose g*w = -4*z + 568, 2*w - 4*z + 11 = 363. Does 46 divide w?
True
Let y(x) = 86*x - 34. Is y(4) a multiple of 15?
False
Suppose -6*o = -9*o. Let h be 2 - 0 - (-433 - o). Suppose 9*g - 4*g = h. Is 29 a factor of g?
True
Suppose -6*v + 262 = -650. Does 3 divide v?
False
Let g(u) = -u**3 + 3*u + 1. Let a be g(-2). Suppose 3*v - 4*x - x = 8, -4*v - x + a = 0. Does 3 divide ((3 + -12)*-1)/v?
True
Let l be 0 + (-58)/2 + -1. Let i be (1/(-3))/(1/l). Is 24/(-60) + 94/i a multiple of 6?
False
Is (426/(-8) - -1)/((-101)/404) a multiple of 16?
False
Suppose 0 = -m + 1596 + 1577. Is 9 a factor of m?
False
Suppose -u + 342 = 186. Is 6 a factor of u?
True
Suppose n = -5*t + 35, -3*t + 21 = n - 0*n. Let f(q) = -2*q + 6*q - 14 + 20*q**3 + 20*q**