 Suppose 0 = -9*h + p*h + 153. Let k = 87 - h. Does 16 divide k?
False
Suppose 3*c + 7*c - 3350 = 0. Suppose -5*n + 22 + c = g, 9 = -3*g. Does 9 divide n?
True
Let h = -2286 - -4567. Does 34 divide h?
False
Let a be 0/(-5) + -1*8. Let p be 108/9*6/a. Let d(g) = -g**3 - 9*g**2 - g + 10. Is 19 a factor of d(p)?
True
Let d(z) = -z + 26. Let t be d(11). Let m = t - -63. Suppose y - m = -k - 3*y, 3*k = -2*y + 244. Does 20 divide k?
False
Suppose -3*f - 59 - 22 = 0. Let l = 77 + f. Is l a multiple of 38?
False
Let r(u) = -2*u - 6. Let b(z) = -z**3 + 5*z**2 + 5*z. Let t be b(6). Let m be r(t). Let y = m - -13. Is 10 a factor of y?
False
Let w(j) = -2*j**3 - j**2 + 3*j - 1. Let l be w(-3). Let x = -26 + l. Is 3 a factor of x?
True
Suppose 0 = x + 5*t + 29 + 8, t = -5. Let m(p) be the first derivative of p**4/4 + 4*p**3 - 5*p**2/2 - 15*p + 1. Is 15 a factor of m(x)?
True
Let z(x) be the third derivative of -x**6/120 - 3*x**5/10 - 3*x**4/4 + 4*x**3/3 + 5*x**2. Is 24 a factor of z(-17)?
False
Suppose 0 = 3*t - 2*s - 0*s - 717, -4*s + 253 = t. Is t a multiple of 14?
False
Suppose f - 116 = -f. Let n = 281 - 199. Let d = n - f. Does 13 divide d?
False
Let x(n) = 27*n - 4. Suppose 3*t - 2 = 3*s + 8*t, -4 = -3*s + t. Does 10 divide x(s)?
False
Let l = -21 - -22. Let s(t) = t + 1. Let n be s(l). Suppose -w - 24 = -5*y - n*w, 5*y - 21 = -4*w. Does 2 divide y?
False
Suppose 6*d = 10*d - 20. Suppose -d*g + 599 = -2*p, -3*g = 2*p - 344 - 9. Is 25 a factor of g?
False
Let j = -7 + 3. Let g be (j/6)/(3/36). Is 1/(2 + 15/g) a multiple of 4?
True
Let s be 30/(-4)*(-40)/25. Let d be ((-16)/s)/(6/9). Does 6 divide (d/3)/(5/(-45))?
True
Let f(l) = -9. Let k(w) = w - 46. Let s(q) = 11*f(q) - 2*k(q). Let n = -32 - -24. Does 2 divide s(n)?
False
Let n(c) be the third derivative of c**6/120 - c**5/12 + c**4/12 + 2*c**3/3 + 8*c**2. Let w be n(3). Let d(t) = -t**2 - 8*t + 15. Is d(w) a multiple of 10?
False
Suppose 2054 = 5*l - 886. Is l a multiple of 49?
True
Let w be -1*(-3 - -1)*5. Let i = w - 6. Suppose 190 = 5*h - 5*f, h - i*f = 3*h - 88. Is h a multiple of 20?
True
Let k(b) be the second derivative of b**5/10 - 5*b**4/6 + 3*b**3/2 + 3*b. Does 18 divide k(6)?
True
Let d = 8 - 7. Let h(v) = 1 - 2*v + 11*v**2 - 4*v**2 + 24*v**2. Does 10 divide h(d)?
True
Suppose 34 + 32 = 3*a. Let z = a + 54. Is 19 a factor of z?
True
Let u be (-84)/(-9) - 3/9. Let c be 2/(3/u*2). Suppose 15 = c*v - 9. Does 8 divide v?
True
Let n be 295/10 + 2/4. Let d = -9 + n. Let z = -18 + d. Is 3 a factor of z?
True
Let u = 19 - 16. Let a = u - 6. Is (-2)/a - (-1498)/21 a multiple of 24?
True
Suppose -y = 5*c - 2*c - 17, -5*c = -2*y - 10. Is 4 a factor of 0/(-1) + (c - (-40)/2)?
True
Suppose 0 = 5*v - 11 - 9. Let t(r) = -19 - v*r**2 + r**3 - 8*r + 9 + 10. Is 24 a factor of t(6)?
True
Let w = 584 - 350. Is 18 a factor of w?
True
Let t be (0 - 0) + 5/((-25)/(-15)). Suppose 2*c - t*c = 4*l - 21, 5*l + 16 = 2*c. Is c a multiple of 2?
False
Suppose -4*z - 7 = -3, -23 = -5*f + 3*z. Suppose f*v - 3 = y - 39, -3*y + 33 = 3*v. Does 16 divide y?
True
Suppose -2 = -y, 2*z - 3*y - 17 = z. Is z a multiple of 23?
True
Suppose 11 = -2*r + 3*r. Let k = -13 + r. Is (28 - 0) + k/(-1) a multiple of 10?
True
Suppose -189*w = -194*w + 140. Let u = 33 + w. Does 17 divide u?
False
Suppose 31*z - 115103 = -16*z. Does 14 divide z?
False
Suppose 402 = 15*u - 1218. Suppose 10*s + u = 298. Does 9 divide s?
False
Suppose 2*x = 5*y - 0*x - 282, 0 = 5*y + 4*x - 306. Let p = y + -28. Is 9 a factor of p?
False
Let t be (-14)/2*(-6)/14. Suppose -t*o = -o. Suppose o*c + c = 94. Does 24 divide c?
False
Let y = 861 - 867. Let p(c) = 4*c + 2*c**2 + 2 + 2 - 1. Is p(y) a multiple of 26?
False
Let r(t) = -t**2 + 7*t + 7. Let u be r(8). Let c = u + 4. Suppose -8*s + 70 = -c*s. Does 7 divide s?
True
Let z(w) = -w + 1. Let h be z(1). Suppose 7*m - 2*m - 180 = h. Let t = m + -19. Is 6 a factor of t?
False
Let b(d) = -7*d + 4. Let q be b(-2). Let k = q + 36. Let g = -37 + k. Does 13 divide g?
False
Let s(d) be the second derivative of -1/6*d**3 + 6*d**2 + 5*d + 0 - 1/12*d**4. Is 4 a factor of s(0)?
True
Let k = -286 - -190. Let y = k + 212. Is y a multiple of 25?
False
Let g be ((-2)/6)/((-3)/18). Let y be (18/(-12))/(g/(-4)). Let l(r) = r**3 - r**2 - r - 3. Is 4 a factor of l(y)?
True
Suppose -4*k - k = -10. Suppose 0 = 2*t + k*o - 30, -3*t + 4*o + 32 = -20. Is t a multiple of 3?
False
Let b(j) = 60*j + 63. Does 8 divide b(3)?
False
Suppose 7*q - 510 = 722. Does 88 divide q?
True
Suppose -2 + 0 = -2*n. Suppose -n = -j + 9. Is j a multiple of 10?
True
Let z(w) = w**3 + 23*w**2 + 4*w + 63. Does 21 divide z(-10)?
True
Let t(o) = -7*o + 121. Does 9 divide t(-32)?
False
Let l(f) = -f - 67. Let d be l(0). Let k = -27 - d. Suppose -3*p + 66 = -5*o - 14, -k = -3*p - 5*o. Is p a multiple of 6?
False
Suppose -12*r = -17*r + 3735. Suppose r = 4*z - b - 0*b, 2*z = -b + 375. Is z a multiple of 16?
False
Let y(d) = 10*d**2 - 31*d + 35. Is 70 a factor of y(15)?
True
Let a = 870 - 384. Is 9 a factor of a?
True
Suppose -3*f + t + 8 = 0, 4*f - 9 = 4*t - t. Suppose 0 = 3*p + 5*v - 1027, f*v = -0*p + 2*p - 691. Does 54 divide p?
False
Let p(n) = -4*n + 13 + n**2 - 2 - 3. Is 4 a factor of p(4)?
True
Suppose -4*p - 116*c + 118*c + 4680 = 0, -p + 1170 = -5*c. Is 13 a factor of p?
True
Suppose -2*r = -5*s + 2172, -5*s - 5*r + 3*r + 2188 = 0. Suppose g = -g + s. Suppose 4*a - g = 42. Does 20 divide a?
False
Let d(m) be the first derivative of -471*m**4/4 - m**3/3 + 3*m**2/2 - 2*m + 6. Let n be d(1). Does 24 divide n/(-9) - (-5)/(-15)?
False
Let f be 5/(((-45)/6)/(-3)). Let k(h) = -7*h**3 + h**2 + 8*h**3 + 88 - h + f*h. Is k(0) a multiple of 28?
False
Let i be (-1)/(-1 - 0) - -5. Suppose 2*n + 0*n = 2*v - 4, 4*v - 5*n - i = 0. Suppose -2*s - v*p + 22 = 0, 4*s - 3*p - 7 = 4. Is 3 a factor of s?
False
Let g = -986 - -1622. Does 53 divide g?
True
Let n(f) = -2*f**3 - 9*f**2 + f + 24. Is n(-8) a multiple of 51?
False
Let l be (-21519)/(-15) + (-9)/15. Let u = l + 101. Does 14 divide 2/(-5) + u/25?
False
Suppose -2*f - 3077 - 2829 = -3*r, 0 = -3*r - 3*f + 5901. Does 12 divide r?
True
Let k = -86 + 91. Suppose p = 79 + 11. Suppose d + k*d = p. Is 6 a factor of d?
False
Let i(l) = -l**2 + 9*l + 3. Let k be i(9). Suppose 4*f - 5*s - 323 = 142, 0 = s - k. Is f a multiple of 30?
True
Let s(w) = -w - 11. Let j be s(-11). Suppose 3*m = 5*l - 5, -2*m - 3 = -3*l - j. Let u(t) = 62*t**2 - 1. Is 15 a factor of u(l)?
False
Let p = 259 - -381. Suppose 4*n = -0*n + p. Is 40 a factor of n?
True
Suppose 6 = -5*y - 5*q + 36, 0 = -3*y + q + 6. Suppose 0 = y*r + j - 19, -4 = -4*r + 4*j. Suppose -r*g + 9*g = 132. Is 11 a factor of g?
True
Let f(l) = 8*l**2 + 14*l - 53. Is f(7) a multiple of 19?
True
Let q be ((-3)/2)/(30/(-100))*1. Suppose -21 = -q*o + 149. Is o a multiple of 17?
True
Let v = -51 + 518. Is v a multiple of 7?
False
Let g = 2867 - 1165. Is 42 a factor of g?
False
Let q(g) = -109*g - 3. Let m(o) = 73*o + 2. Let c(l) = 7*m(l) + 5*q(l). Is 4 a factor of c(-1)?
False
Let b be 2/(-3 + (-13)/(-5)). Let f be (-151)/5 + b/(-25). Is (16*-1)/(20/f) a multiple of 24?
True
Let a(i) = -3*i + 836. Does 22 divide a(66)?
True
Suppose 0 = 5*x + 103 - 608. Let d = 129 - x. Does 19 divide d?
False
Suppose -9*p = -m - 7*p + 693, -5*p = 2*m - 1422. Is m a multiple of 36?
False
Let x(c) = c**3 + 4*c**2 + 4. Let a be x(-5). Let h be (-2646)/(-56) - (-2)/(-8). Let r = h + a. Is 12 a factor of r?
False
Let j = 30 + -28. Is 167/j - 1/2 a multiple of 18?
False
Let k = -1462 - -2132. Is 31 a factor of k?
False
Let x = 1102 + -603. Let m = x - 290. Does 11 divide m?
True
Let o(g) = 57*g**2 - 5*g - 8. Let c be o(-2). Suppose -3*b + 326 = j + 93, 3*b - c = -4*j. Is 13 a factor of b?
True
Let f = 743 + -638. Is 7 a factor of f?
True
Let p(b) = 7*b**2 + b + 1. Let y(z) = 13*z**2 + z + 1. Let t(k) = -5*p(k) + 3*y(k). Let c be t(-2). Suppose 54 - c = 2*s. Does 5 divide s?
False
Let r(s) = 74 + s**2 - 67 + s - 8*s. Suppose -2*p = -7 - 7. Is 7 a factor of r(p)?
True
Let x = -5 - -9. Let h be (9/(-12))/((-1)/x). Suppose -329 = -3*s - a, -h*s = a - 4*a - 309. Is 27 a factor of s?
True
Let d(q) = -q**3 - 41*q**2 - 35*q + 39. Is 107 a factor of d(-42)?
False
Let s(v) = 4*v**2 + 10*v + 84. Is 10 a factor of s(-13)?
Tr