ple of 63?
False
Let j(b) = -b**3 - b**2 - b + 1. Suppose -5 = 2*l - 3. Let i(u) = 2*u**3 - 6*u**2 + 5. Let c(w) = l*j(w) - i(w). Is c(5) a multiple of 24?
False
Suppose 225 - 240 = -3*i. Suppose -4*o - j = -0*j - 1349, i*j = 4*o - 1343. Is 16 a factor of o?
False
Suppose -5*b + 408 = -2217. Is b/50*(-54)/(-3) a multiple of 7?
True
Let l = -1590 - -6001. Is 16 a factor of l?
False
Let y(d) = 161*d**2 + 67*d + 299. Is y(-5) a multiple of 6?
False
Let q = 1515 - -437. Is 8 a factor of q?
True
Let g(l) = 7*l**2 + 46*l - 17. Let m be g(-7). Is 6 a factor of (29 - 1)/m - -218?
False
Let x(r) = -r**2 + 4*r + 534. Does 5 divide x(24)?
False
Suppose -8*q - 20*q + 93996 = 0. Is q a multiple of 15?
False
Let g(d) = -d**2 + 3*d + 5. Let o be g(0). Suppose o*k - 15 = 90. Does 15 divide k?
False
Let s(y) = -18*y**3 + 2*y**2 - y. Let r be s(-2). Let h = r - 153. Is h + (-10)/4 + (-309)/(-6) a multiple of 25?
True
Let k be 70/(-22) - -3 - 12/(-66). Suppose -5*v + 2*z = -5555, k = -0*v + 4*v - 4*z - 4444. Is 22 a factor of v?
False
Suppose 124*q - 136*q - 9684 = 0. Is 63 a factor of 6/(-4)*6 - q?
False
Let i(s) be the second derivative of 13*s**4/3 - 14*s. Let c be i(-1). Suppose 4*a = 164 + c. Is 9 a factor of a?
True
Let o = -9 - -15. Let d(f) = -6*f**2 + 14 - 3*f + f**3 - 6 - 12*f**2 + 13*f**2. Is d(o) a multiple of 13?
True
Suppose -67*y + 5*b = -70*y + 27057, -y - 2*b + 9019 = 0. Is y a multiple of 13?
False
Suppose 0 = -58*h + 61*h - 9. Suppose 0*a - h*a = -1200. Is a a multiple of 50?
True
Let i be (-5)/(-25) + 0 - (-121)/(-5). Let j be 76/3*i/16. Let t = 75 + j. Is 4 a factor of t?
False
Suppose -323 = n + u, -n + 3*n + 5*u + 631 = 0. Let w = n - -405. Is w even?
False
Let j(o) = 32*o - 4. Let r be j(5). Suppose -r = -3*a - 48. Is 2 a factor of a?
True
Let v(o) = o**3 - 44*o**2 + 91*o - 79. Is v(42) a multiple of 80?
False
Let d be 1660*42/(-196) - 2/7. Let t be -3 - (-6 - -3) - 252. Let u = t - d. Is 7 a factor of u?
False
Suppose 5*w = 2*p + 28991, 303*w = 306*w - 4*p - 17403. Is w a multiple of 42?
False
Let c(i) = i**3 - 7*i**2 - 16*i - 11. Let k be c(8). Let v be (0 - 1) + (-1)/(5/k). Suppose 20*h = v*h + 162. Is h a multiple of 2?
False
Is 51 a factor of (-510)/(-3 - (3 - 2 - (-11 - -14)))?
True
Let v(h) = 10*h**3 + 2*h - 3. Suppose 2*m = -2*f + 6, -2*m + 35*f + 12 = 31*f. Does 39 divide v(m)?
False
Let h(x) be the first derivative of 37*x**5/120 + 5*x**4/12 - 25*x**3/3 - 19. Let q(b) be the third derivative of h(b). Is 11 a factor of q(3)?
True
Let h(s) = s + 14. Let o = -15 - -36. Let r = -27 + o. Is 5 a factor of h(r)?
False
Let j(v) = 6*v**2 - 11*v + 15*v**2 + 35*v**3 + 51 - 26*v**3 - 10*v**3. Is j(17) a multiple of 54?
False
Suppose -12*d - 378 = 30*d. Is 18 a factor of (d - (-216)/10)*30?
True
Let l(t) = -t**2 - 11*t - 20. Let q be l(-6). Suppose 0 = -q*u + 7*u + 1062. Is 74 a factor of u?
False
Suppose 3 = -3*m, 74*w - 77*w + 19 = 2*m. Suppose -21*d + 12740 = -w*d. Is d a multiple of 94?
False
Suppose -3*b - 42152 = -2*o, -2*o - 5631 = 4*b - 47811. Suppose 3*f - 86938 + o = 0. Does 38 divide (f/36)/8 + (-4)/18?
True
Let u = -163 + 193. Let h(b) = 24*b - 455. Is h(u) a multiple of 7?
False
Is 38 a factor of (-114*(-4)/12)/((1/(-202))/(-1))?
True
Does 9 divide (24/228 + (-948)/342)/(4/(-2262))?
False
Let k(h) = 3*h - 38. Let l be k(12). Let w(c) = 25*c + 1. Let v be w(l). Let n = v + 85. Does 12 divide n?
True
Let p(n) = -3*n**3 - 3*n**2. Let v be p(-2). Suppose 0 = 10*c - 14*c - v. Does 32 divide (0 + (-801)/(-3))/(c/(-2))?
False
Let y(p) = p**3 + 11*p**2 - 10*p - 22. Let o be y(-8). Suppose -8 + 147 = m - 5*n, o = 2*m - 3*n. Is 41 a factor of m?
False
Let n = 237 + -209. Suppose -1820 = -n*l + 14*l. Is l a multiple of 39?
False
Let a be (1/(-7))/1 + 1056/336. Suppose 0 = a*k + 106 - 334. Is 12 a factor of k?
False
Let p = -18882 + 32578. Is p a multiple of 8?
True
Let t be -1 - (3 - 4 - 0). Let x be (t - (1 + 0))*(80 + -10). Let r = x - -166. Is 8 a factor of r?
True
Let i(a) = -7*a + 8*a**2 + 4*a**2 + 2*a**3 - 15*a**2 + 3 + a**3. Let y be i(4). Suppose y = 2*o + 5*o. Is o a multiple of 3?
False
Suppose g - a = 3, 6*a = 3*a + 3. Suppose -m = g*m. Suppose 33*y - 28*y - 700 = m. Is y a multiple of 28?
True
Let u = 8847 + -5394. Is u a multiple of 11?
False
Let o(l) = 54*l + 6. Let m be o(16). Suppose 1090 = 5*h - m. Suppose -3*p + 7*p = h. Is p a multiple of 35?
False
Let f = 6296 + -2606. Is 30 a factor of f?
True
Let s = 160 + -103. Suppose 94*j = 5*l + 90*j + 119, 50 = -2*l + 4*j. Let w = s + l. Is 17 a factor of w?
True
Suppose 8091 = 8*l + 8*l - 13797. Is 76 a factor of l?
True
Suppose -149*v + 143*v = -55626. Is 73 a factor of v?
True
Let b(c) = c**2 + 4*c + 12. Let h be b(-3). Let g(s) = s**3 + h*s**2 + 8 + 6*s - 4*s**2 - 13*s**2. Is 11 a factor of g(8)?
False
Let p = -62 - -62. Suppose 3*t + t - 136 = p. Let n = -11 + t. Does 19 divide n?
False
Suppose 0 = -14*x + 2*x + 6684. Let o = x - 279. Is 47 a factor of o?
False
Suppose -5*x + 31005 = 488*n - 484*n, 2*x = -4*n + 31002. Is 31 a factor of n?
True
Let y = -2603 - -3185. Is 6 a factor of y?
True
Let y = -739 + 811. Is 85 a factor of 27*-1*(-2040)/y?
True
Is 16 a factor of (4461/(-54))/(13/(-897)) - 5/(-6)?
False
Suppose -2*m - 226 = 5*q, 88 + 338 = -4*m + 3*q. Let a = 121 + m. Does 4 divide a?
False
Suppose b - 25 = d, 23 = b + 3*d - 5*d. Let k = b - 25. Suppose 0 = -c + 5*w + 29, 2*c + 4*w - 140 = -k*c. Is c a multiple of 11?
False
Suppose 4*q + w = -3*w + 184, 176 = 4*q + 2*w. Is 1/(-14) - (-2523)/q a multiple of 6?
True
Suppose 10*j - 45*j + 120400 = 0. Does 10 divide j?
True
Let s be 6*6/8*(-3102)/(-33). Suppose -s = -3*q + 1647. Is q a multiple of 31?
False
Suppose 0 = 6*w - 5*w + 10. Let p = -16 - w. Is 15 a factor of (9/p)/(-3)*250?
False
Let v(n) = -3*n + 59. Suppose -11*w = 6*w - 357. Let j be v(w). Is (79*6 + 0)*j/(-12) a multiple of 7?
False
Let c(t) be the first derivative of -t**4/4 - 5*t**3/3 + t**2/2 + 2*t + 18. Let o be c(-5). Is 32 a factor of (o - -7)/(6/417)?
False
Suppose -55 = -9*f + 53. Suppose 0 + f = -6*w. Is 27 a factor of 13018/69 + w/(-6)?
True
Let m(j) = -2*j**3 + 7*j + 4. Let i = 62 + -65. Does 19 divide m(i)?
False
Let h(x) be the third derivative of -31*x**4/12 - 10*x**3/3 - 35*x**2. Does 6 divide h(-3)?
False
Is ((-163839)/(-65) - -10) + -7 - 9/15 a multiple of 87?
True
Suppose 0 = -3*p - 5*n + 10, 5*p + 4*n - 8 = -0*n. Suppose 3*k + 0*k = p. Suppose k = -3*v - 0*v + 306. Is 18 a factor of v?
False
Let i(v) = 287*v**2 + 37*v + 124. Does 53 divide i(-3)?
False
Let b(q) = -q - 48. Let v be b(-12). Let p be (0 + v)/2 - 3. Let t = 63 - p. Is 30 a factor of t?
False
Suppose 0 = 3*z - 5*a - 102, 0 = -22*z + 17*z - 4*a + 133. Suppose z*i - 4*i - 17675 = 0. Is 11 a factor of i?
False
Suppose 3*i = -5*b + 25 + 9, -2*b = 5*i - 25. Suppose -b*k + 124 = -k. Let a = k - 4. Is 2 a factor of a?
False
Suppose 76 = w + 4*l - 41, 0 = 5*w - 5*l - 535. Suppose 21*o - 2125 = -w. Does 32 divide o?
True
Let q = -12113 - -24245. Is q a multiple of 18?
True
Let a be (-2)/10 + 4 + 34/(-5). Let b be ((-6)/(-8))/(a/(-16)). Suppose 4*r - 414 = -2*u + 320, 4*r = -b*u + 728. Does 14 divide r?
False
Let x = 6 + -109. Let g = x - -402. Let y = g + -204. Does 19 divide y?
True
Let f(r) = -23*r + 536. Does 2 divide f(18)?
True
Let r(a) = -a**2 + 13*a - 24. Let u be r(11). Is 5 a factor of 366/(-4*u/4)?
False
Suppose 40*b = 13*b + 9*b + 14040. Does 60 divide b?
True
Suppose 6*c + 420 = -4*c. Let a = c - -42. Suppose a = -5*h - 5*w + 60, -3*h + 6*h - w - 28 = 0. Is h a multiple of 2?
True
Let f = 115 - 116. Let l be ((f - -2)*-1)/(5/(-35)). Suppose -l*n + 121 = -6*n. Does 11 divide n?
True
Let o be (-31)/(-11) - 2/(-11). Let r be 16/o + (-3)/9. Suppose 3*h - 14 = 3*i + 91, 5*i - 225 = -r*h. Does 20 divide h?
True
Let j be -1*(4*-3)/4. Suppose j = 2*k - 3. Suppose 125 = -k*x + 4*u + 606, 5*x = -2*u + 819. Is x a multiple of 28?
False
Let x(f) = f**2 - 7*f + 10. Let n be x(5). Suppose n = -2*m + 373 - 53. Does 20 divide m?
True
Let m = -208 + 242. Let u = m + -19. Is u a multiple of 9?
False
Suppose -3*m - 6 = 2*z, -5*m - 13 = 3*z - 3. Suppose z = -5*j + 15 - 25. Is j/(-5) + 144/15 a multiple of 7?
False
Let j(o) be the second derivative of -2*o**2 + 19*o + 0 + 2/3*o**3 + 1/4*o**4.