 + 29 + k*m**2 - m + 0*m**2. Does 5 divide j(0)?
False
Suppose n - 5*n = -5*r - 64, n - 5*r - 31 = 0. Let l be 2/(3 + -1) - -166. Suppose -n = 3*i - l. Is i a multiple of 4?
True
Let i = 69 - 72. Let o(s) = -7*s**3 - 9*s**2 - 19*s - 3. Does 9 divide o(i)?
True
Is 3 a factor of -8 - (-5 + -10) - -1706?
True
Suppose 3*l + 9*l = 36. Suppose 4*i - 2*n - 2096 = 0, -2*i + 834 = -l*n - 218. Is 13 a factor of i?
False
Let p = -19825 - -33299. Does 28 divide p?
False
Let u(r) = 121*r - 573. Is 5 a factor of u(6)?
False
Let u = 27475 + -26257. Is u a multiple of 111?
False
Let z = 25 - 17. Suppose -3*o = 2*w - 24, 4*o = z*o - 4*w - 52. Suppose 4*x - 5*j = 139, 0 = x + 2*j - 15 - o. Is x a multiple of 3?
False
Let f be (-2 + (-204)/(-8))*26. Let g = f + -339. Is 17 a factor of g?
True
Let k(s) = -219*s + 15. Let h = 122 - 124. Is k(h) a multiple of 11?
False
Let m = 1869 + 170. Does 16 divide m?
False
Suppose 0 = -6*q + 20 - 110. Is 86 a factor of -344*((-990)/(-24))/q?
True
Suppose -13*q - 168468 - 49854 = 0. Does 38 divide q/(-34) - (-11)/187?
True
Let n(y) = y**2 - y - 1. Let c(l) = 9*l**2 - 12*l - 12. Let f(q) = -c(q) + 12*n(q). Let h be (-16)/(-6) + (-2)/(-6). Is f(h) a multiple of 9?
True
Suppose -6*n + 91502 = 23534. Is n a multiple of 96?
True
Let z(j) = -j**3 + j**2 + j + 83. Does 13 divide z(-10)?
False
Let x = -597 - -1297. Is 5 a factor of x?
True
Suppose 4*q - 4*g = 0, -2*q - 4*g = -0*q. Suppose q = 14*d - 2816 - 2014. Is 36 a factor of d?
False
Let n = -188 - -190. Let c be 141 + (-2)/(-2 - 0). Is 14 a factor of (-5*(-2)/5)/(n/c)?
False
Suppose -u = 4*u + 165. Let l = -31 - u. Suppose 2*z - 336 = -3*z - 3*d, -l*z + 4*d + 124 = 0. Does 13 divide z?
False
Suppose 48*s + 432 = 66*s. Let h(a) = 21*a + 162. Is 9 a factor of h(s)?
True
Suppose 0 = -q + 4*o - 8*o + 20, -4*o + 24 = 2*q. Let n(p) = 76*p**2 - 9*p + 4. Is 37 a factor of n(q)?
True
Let o = 240 - 205. Suppose 30*r - o*r = -1310. Is r a multiple of 8?
False
Suppose 6*x - 800 = -104. Suppose 12*r = -4 - x. Is 11880/50 - (-6)/r a multiple of 18?
False
Let n(f) = 170*f - 1197. Is n(46) a multiple of 10?
False
Let o be (19 + 0/(-2))*(100 + 21). Is 2 a factor of (-1 - o/(-77))/((-4)/(-14))?
False
Suppose -5*f + 5*p - 50 = 0, 56 - 30 = -5*f - 3*p. Is (f - 160/(-12))*27 a multiple of 19?
True
Let q(v) = -3*v**3 + 4*v**2 - 22*v + 6. Let u(b) = 8*b**3 - 13*b**2 + 64*b - 19. Let d(p) = 11*q(p) + 4*u(p). Is 36 a factor of d(-10)?
False
Let v(h) = 3*h**3 + 4*h**2 - 3*h - 13. Let n(o) = 5*o**3 + 7*o**2 - 6*o - 25. Let x(c) = -4*n(c) + 7*v(c). Let y be x(0). Is 13 a factor of 634/7 - y/(-21)?
True
Suppose -2*s + 4*c = 20, 0 = -5*s - c + 5*c - 26. Let v be 429/s - 5*9/30. Let u = 356 + v. Is 20 a factor of u?
True
Let u(c) be the first derivative of c**4/4 + 4*c**3/3 - 2*c**2 + 7. Suppose 2*t - 2*x + 6 = 0, 2*x + 12 = -4*t - 0*x. Does 3 divide u(t)?
True
Suppose 208 = -13*v + 9*v. Let t = -52 - v. Suppose t = 4*n - 0*n - 132. Does 2 divide n?
False
Suppose -2*f = 3*f - 9635. Let j = -684 + f. Suppose 5*y - 157 = j. Is 28 a factor of y?
True
Does 3 divide 86612/26 + 63/(-2730)*10?
False
Let y = 9473 + -7648. Does 73 divide y?
True
Is (8 + (-364)/39)/((-2)/273) even?
True
Is -2 + 7018 + (2 - (9 - 0)) a multiple of 3?
False
Let u(k) be the third derivative of -41*k**4/12 - 56*k**3/3 - 56*k**2 - 2*k. Does 10 divide u(-6)?
True
Let j be (-3)/((-42)/(-110)) - 2/14. Let y be (-1)/(j/(-140))*-42. Suppose 993 = 8*s - y. Is 33 a factor of s?
False
Suppose 0 = u - 2*u + 5. Suppose -16325 = 5*b + u*k, 5*k - 1356 = 2*b + 5139. Does 10 divide (-1)/(-8) + b/(-32)?
False
Let y(w) = 15*w + 60. Let l = -117 + 139. Does 13 divide y(l)?
True
Let j be (-9325)/(-9) + (-22)/198. Suppose 4*n + 106*s - j = 101*s, 0 = n + 4*s - 270. Does 56 divide n?
False
Suppose -4*q + 57*s + 1374 = 54*s, 5*q - 1704 = -3*s. Is q a multiple of 7?
False
Let p(r) be the second derivative of r**3/2 - 8*r**2 - 23*r. Let i be p(5). Let k(d) = -46*d**3 + d**2 + 3*d + 2. Does 23 divide k(i)?
True
Let v = -124 + 187. Let k = -114 + 72. Let m = v + k. Is m a multiple of 17?
False
Let o be (-1)/(-18)*9 + 22/(-4). Does 7 divide (362 - -7) + (o - 0)?
True
Let l(w) = -4*w + 19*w - 5*w + 4. Let b(v) = -3*v - 1. Let m(p) = 11*b(p) + 4*l(p). Is 13 a factor of m(3)?
True
Suppose 0 = 7*j - 40 - 44. Let y = -4 + j. Suppose y = 2*q + b, -4*b + 11 = 3*q - 1. Is 4 a factor of q?
True
Let z = 85 + -82. Suppose -4*t - 632 = -z*y, -3*y + 2*t + 424 = -y. Does 18 divide y?
True
Let g(w) = -w**3 + 15*w**2 - 19. Let x be g(16). Is (-5 + -1)/(15/x) a multiple of 22?
True
Let g(o) = o**3 + 62*o**2 - 22*o + 488. Is g(-60) a multiple of 21?
False
Suppose 0 = 2*j + 4 + 16. Suppose -2*g + 16 = 4*x + 46, -5*x + g = 27. Does 16 divide (48/j)/(x/40)?
True
Let s(f) = -f**2 - 2*f + 33. Suppose 0 = 164*m - 168*m + 16. Is s(m) a multiple of 5?
False
Suppose 0 = 3*c + 3*s - 12336, -23*c + 20*c + 5*s = -12376. Is 23 a factor of c?
True
Let w = 16837 + -14147. Is w a multiple of 4?
False
Let f be (-20)/(-60) + (-2)/(-3) + 1. Suppose 7*o - 4596 = 3*o + f*i, -5750 = -5*o + 5*i. Is 25 a factor of o?
False
Let y(s) = -s**3 + 15*s**2 + 2*s + 13. Suppose 0 = -2*b + 21 + 9. Let r be y(b). Suppose -3*w = -182 - r. Is w a multiple of 15?
True
Suppose 9*a + 0*a = 27126. Is 47 a factor of 4*(-3)/16 - a/(-8)?
True
Let r = -90 - -410. Suppose 4*j = -3*q + 7 + 25, 4*q = 5*j - 9. Suppose q*d = -s + 101, -3*s = -7*s + 5*d + r. Does 14 divide s?
False
Suppose 2*l + 4*d = 124, -6*l - 2*d = -3*d - 437. Is l a multiple of 6?
True
Let o = 6272 - 5034. Does 30 divide o?
False
Suppose 42*w = -106*w + 3145526 - 1017286. Does 5 divide w?
True
Let k(t) = -38*t**3 - 3*t**2 - 10*t - 28. Does 12 divide k(-2)?
False
Is 16 a factor of 8172 + (-30)/105*-14?
True
Let l = -229 - -433. Suppose -205*y + 156 = -l*y. Does 26 divide y?
True
Suppose 7*j - 215 = 2*j. Let y = j - 41. Suppose -2*l - 3*c = -138 - 2, 5*l - 312 = y*c. Is 12 a factor of l?
False
Suppose 2*v + 21*v = 138. Suppose v*g - 10*g + 1012 = 3*l, 2*g - 8 = 0. Is 9 a factor of l?
False
Let x(c) = -6*c - 100. Let a be x(-17). Suppose 3*z = -2*g - 2*g + 720, a*z = 0. Does 10 divide g?
True
Let v(r) = r**2 - 44*r + 44. Is v(-13) a multiple of 2?
False
Suppose -57*w - 1 = -58*w. Does 4 divide ((-973)/(-14) + 0)/(w/2)?
False
Let m = 11 - 6. Let h(p) = 6*p - 37*p**2 + p - 3 + 25*p**2 - 3 + 14*p**2. Is 13 a factor of h(m)?
False
Suppose 57 = 4*g + 1. Suppose 5*n = -2*o + 2, 4*o - n = -6*n + g. Suppose -39 + 591 = o*v. Does 16 divide v?
False
Let a(q) = 28*q - 17. Let h be a(2). Suppose 3*d + h = 6*d + 3*p, 0 = -d + 2*p + 13. Does 3 divide d?
False
Let q(g) = g**2 - 5*g + 13. Let l be q(4). Suppose 450 = 10*n - l*n. Is 45 a factor of n?
True
Let a = 136 - 128. Suppose -3*w - 4*d + 554 = 0, 13*w - 4*d = a*w + 966. Is w a multiple of 10?
True
Let h = 4103 - 2805. Suppose -87*j = -86*j - h. Is 59 a factor of j?
True
Suppose -309*k + 311*k + 5*z = 81209, 0 = -2*z + 6. Is k a multiple of 17?
False
Let z = -486 - -478. Let u(r) be the second derivative of -r**3/6 + 17*r**2/2 + 3*r. Is 25 a factor of u(z)?
True
Let m be 5100/14 + (-10)/35. Suppose 8*v = m - 1948. Let u = v + 303. Does 21 divide u?
True
Let u = 34028 + -19721. Does 19 divide u?
True
Let i(l) be the first derivative of 58*l**3/3 - 3*l**2/2 + 41*l + 56. Does 76 divide i(5)?
False
Let l(s) = 1682*s + 476. Is 93 a factor of l(11)?
False
Let t be 22/4 + 2/(-4). Let d(c) = 9*c**2 - 9*c - 10. Let h(q) = 19*q**2 - 19*q - 21. Let p(b) = 13*d(b) - 6*h(b). Is 18 a factor of p(t)?
False
Let a = 5622 + -3302. Does 29 divide a?
True
Suppose -507 = -7*b - 1242. Let a = b - -274. Does 13 divide a?
True
Suppose -2*n = -g + 1378, -42*n = 3*g - 40*n - 4150. Let r = g - 682. Is r a multiple of 7?
True
Let u(d) = d**2 - 35*d + 249. Let m be u(10). Let i(s) = 226*s**2 + 7*s + 4. Does 10 divide i(m)?
False
Suppose -52 = -c - 4*n, -3*c + 0*n = n - 134. Let t(q) = -140 - 181 + 272 - c*q. Does 21 divide t(-7)?
False
Let w(b) = 9*b**2 - 1069*b - 552. Does 6 divide w(122)?
False
Let q = 9 - 39. Is 36 a factor of (332/(-8))/(5/q)?
False
Let j(p) = 5*p**3 + 76*p**2 + 6*p - 39. Let i(r) = r**3 + 15*r**2 + r - 8. Let s(x) = 11*i(x) - 2*j(x). Let f be s(-13). Is 16 a factor of 4/((-1)/(-3) - f/36)?
True
Suppose -3*v + 7572 = -3*y, -v - 4