uppose -s*v + 12*v = -50. Is 10 a factor of v?
False
Let x(m) be the second derivative of -m**3/6 + 6*m**2 + 15*m. Let g be x(4). Suppose g*o = 7*o + 8. Is o a multiple of 4?
True
Let p = -399 - -512. Suppose -p*w + 4554 = -110*w. Is w a multiple of 11?
True
Let p(y) be the third derivative of -1/8*y**4 - 13*y**2 + 0*y + 1/120*y**6 + 1/60*y**5 - 1/2*y**3 + 0. Does 12 divide p(3)?
True
Suppose -3*m = 101 - 494. Let s(l) = m*l - 108*l - 3 - 1. Is 37 a factor of s(5)?
True
Let l(p) = -826*p - 775. Does 113 divide l(-6)?
True
Let n(u) = u**3 + u**2 - 32*u + 626. Is n(24) a multiple of 10?
False
Let c(v) be the third derivative of 7*v**5/60 - v**4/6 - 7*v**3/6 + 6*v**2. Let r be c(-3). Suppose -176 + r = -4*h. Is h a multiple of 7?
False
Let m(h) = 4*h**2 - 16*h + 3. Let n be m(4). Suppose -n*l + 232 = 16. Is l a multiple of 4?
True
Suppose -4*y = -4*l + 236, -3 + 1 = y. Suppose -l*i + 69*i - 1848 = 0. Does 14 divide i?
True
Suppose -q = -95*y + 99*y - 76, 0 = 5*q + y - 228. Does 2 divide q?
True
Is 89 a factor of (-3)/12 - (-439137)/(-48)*(-276)/207?
False
Is 91 a factor of 4579/4 - (-68)/272?
False
Suppose 68263 = 3*z + q, 32444 = 2*z + 3*q - 13060. Suppose 0 = 12*x - 27*x + z. Does 41 divide x?
True
Let l(r) = 89 - 7*r - 5*r + 31*r + 63. Is 38 a factor of l(16)?
True
Let f be 190 - (-1)/(5/(-30)). Let y = 262 + f. Does 34 divide y?
False
Does 6 divide -4 + 6*(-5 + (-4333)/(-21))?
False
Let s = -215 - -158. Is (-10)/15*3/6*s a multiple of 17?
False
Let d(q) = -q**3 - 10*q**2 - 3*q + 4. Let w be d(-10). Let f = w + 59. Let x = f + -23. Is 15 a factor of x?
False
Let d = -26895 + 30678. Is 13 a factor of d?
True
Suppose -m = -17 - 14. Suppose 2*l - m + 9 = 0. Let z = 40 + l. Is 17 a factor of z?
True
Let a(o) = -26*o - 10 - 10 - 25 - o. Does 69 divide a(-14)?
False
Suppose 0*k + k = 5308. Let i be k/28 - -3*(-3)/(-21). Suppose -5*t + 199 = 3*u + u, -5*t + 5*u = -i. Is 21 a factor of t?
False
Let i = 6255 - 1025. Is i a multiple of 43?
False
Suppose -4*h = -109 - 75. Let x = -37 + h. Let k = -2 + x. Is 2 a factor of k?
False
Suppose 181718 = 25*z + 31*z + 8678. Is z a multiple of 5?
True
Suppose 0 = -2*z - 6, 24 - 3 = 2*w - 5*z. Suppose -w*b = 1939 - 2047. Does 12 divide b?
True
Suppose -3*s + 22*s = 5*s + 92666. Is s a multiple of 90?
False
Let z(u) = -53*u - 3. Suppose -2*j = -0*v - v + 7, -4*v + 4 = -2*j. Let a be z(v). Suppose -622 = -7*n + a. Does 39 divide n?
False
Let k(f) be the first derivative of -f**4/4 + 5*f**3/3 - f**2 - 3*f + 315. Let i = -4 + 8. Is k(i) a multiple of 3?
False
Suppose -68*n - 6*n - 71*n = -338140. Does 22 divide n?
True
Let t(c) = -622*c**3 + 2*c**2 - 1. Let h(x) = 52*x + 415. Let k be h(-8). Is t(k) a multiple of 19?
False
Suppose 5*p = 288 + 87. Suppose 3*d = -p + 234. Let b = -23 + d. Is b a multiple of 15?
True
Let f(j) = -25*j**2 - 155*j + 17. Let t(g) = -9*g**2 - 52*g + 6. Let z(q) = -6*f(q) + 17*t(q). Is 14 a factor of z(14)?
True
Let f = 32 - 40. Does 11 divide (-3)/(-2)*(-442)/51*f?
False
Let k = -15164 + 16748. Is 12 a factor of k?
True
Is 30 a factor of 9/(-24) + (-4592718)/(-208)?
True
Let n be 1/(4/60*5). Suppose -437 = -3*l - g, -n*l + 223 + 198 = 5*g. Is 3 a factor of l?
True
Let a(w) = 0*w**2 - 3*w**2 + w + 0*w**2 - 6*w - 4 - 15*w**3. Suppose 3*m + 7 = -2*g, -8*g + 11*g = -4*m - 10. Does 62 divide a(g)?
False
Let y(z) = 3*z + 14. Suppose 0*g + 15 = 5*g, -5*g = 4*u + 1. Let j be y(u). Suppose j*f - 6*f = -320. Does 16 divide f?
True
Let m(v) = 10*v**2 - 5*v + 2. Let j be m(3). Suppose 3*x = 4*x + j. Let k = x - -145. Does 17 divide k?
True
Suppose 32*y - 31*y = 0. Suppose y = -3*a - 3*c + 210, 17*a = 18*a - 2*c - 85. Is a a multiple of 15?
True
Let q(l) = -556*l + 9. Let w be q(1). Let f = -364 - w. Does 91 divide f?
False
Let p = -2170 - -3120. Suppose 105*j + p = 115*j. Is j a multiple of 5?
True
Let u = 14923 + -14652. Is 5 a factor of u?
False
Let b = 9 + -4. Suppose 5*d = 13*w - 11*w + 25, -4*d = -2*w - 22. Suppose 0*c - 4*r - 118 = -c, d*c - b*r - 347 = 0. Does 38 divide c?
True
Let s be (-642)/16 - 3/(-24). Let b = 45 + s. Suppose 3*d = 1 - 4, 4*d = b*i - 364. Does 6 divide i?
True
Suppose 0*k - 280 = -5*k. Suppose -5*w = -4*w + k. Is 23 a factor of 968/14 - (-8)/w?
True
Let r(a) = -12*a**3 + 29*a**2 - 123*a - 1358. Is r(-16) a multiple of 177?
False
Let j(w) = w**2 + 12*w + 8. Let y be j(-10). Is 10 a factor of (-4 - -1)/y*(13 + 1335)?
False
Let z(u) = 184*u**2 + 107*u + 1357. Does 16 divide z(-15)?
True
Let o be ((-140)/(-50))/(4/10). Let q be (o/(-21))/(((-4)/18)/2). Suppose 243 = 5*j - q*a, 2*j - 4*a + 2*a - 98 = 0. Is 12 a factor of j?
True
Suppose 0 = -6*s + 3*s + 15. Suppose 0 = -4*o - s*a + 5, -24 = -3*o + 3*a. Suppose 0 = -o*n - 20, 0*n + 114 = 5*p - n. Is p a multiple of 11?
True
Suppose -5*c + 2*c - 2*j + 3187 = 0, 0 = -j + 5. Let s(q) = q**2 + 1055 - q - c + 5*q**2. Does 8 divide s(4)?
True
Let a(t) = 234*t - 96. Let y(i) = -118*i + 46. Let b(w) = 3*a(w) + 7*y(w). Does 47 divide b(-2)?
True
Let j(a) = -a**3 + 8*a**2 - 5*a - 5. Let r be ((-1)/2*-2)/((-5)/(-35)). Let t be j(r). Is 9 a factor of -18*(t/(-2))/3?
True
Let v = -305 + 305. Suppose v = 3*u - 2120 + 704. Is u a multiple of 42?
False
Let l be -4 + (-100)/(-8) - (-1)/(-2). Suppose 3*q - 3*m - 2529 = 0, l*q - m = 4*q + 3363. Is q a multiple of 15?
True
Does 21 divide (-122)/12*(316 - 1048)?
False
Suppose 747*k - 305270 = 712*k. Is k a multiple of 98?
True
Suppose x = -q - 2*q, 3*x - 28 = 5*q. Let d be (-2)/(((-12)/(-16))/(x/(-4))). Suppose -d*v + 315 = -2*v + 3*c, -5*v + 775 = -5*c. Is 12 a factor of v?
True
Does 13 divide 90366/18 + (-189)/81?
True
Suppose 4*j + 3547 = 3*q, 0 = 5*q + 1773*j - 1768*j - 5935. Is 5 a factor of q?
True
Suppose 4*a - 295 = 2537. Suppose -509 = -3*q + k, 3*k - a = -4*q - 51. Is 12 a factor of q?
True
Let y = -41 - -59. Suppose -r - 2*r = -2*n - y, -r - 2*n = 2. Suppose -5*t + 2061 = r*t. Is 49 a factor of t?
False
Does 112 divide ((-7)/2)/(-1 + 4856/4864)?
True
Does 35 divide 0 - 1 - -7870 - (-27 - 105)/22?
True
Let y(h) = -8*h + 213. Let v be y(25). Does 3 divide (v - (-784)/(-64))/(2/136)?
True
Suppose -j + 42 = -36. Let z = j + -83. Let g(r) = r**3 + 12*r**2 + 2*r - 9. Is 26 a factor of g(z)?
True
Suppose -38*d + 26*d = -19*d + 88725. Is d a multiple of 13?
True
Let q = -3297 - -9225. Is 114 a factor of q?
True
Suppose 2*f = 4*f + 1246. Let q = -376 - f. Does 13 divide q?
True
Does 14 divide (((-25704)/5)/(-18))/(-2 + 23/10)?
True
Let n(w) = 32*w + 60. Let h be n(3). Let m = 362 - h. Is 8 a factor of m?
False
Let f(q) = 20*q**2 + 4*q + 14. Let k be 1515/21 - (-5)/(-35). Let b be 3 + -1 - (-12)/(k/(-30)). Is 14 a factor of f(b)?
True
Let n(h) = 3*h + 17. Let a be n(15). Suppose 4*x = a + 1030. Suppose x = 7*b - 168. Is b a multiple of 7?
True
Suppose 5*z - 22 = 5*q - 2, 4*q = 16. Let t be (3/(-8) + 161/56)*z. Is (-1 - -4)*t + (-30)/(-10) a multiple of 15?
False
Let u(p) = p**3 - 15*p**2 + 15*p - 12. Let h be u(14). Suppose h*z - 6 = -0*z, 2*n + 3*z - 1461 = 0. Is n a multiple of 13?
False
Let v = 4732 - -1006. Is v a multiple of 38?
True
Let a(c) = -157*c - 1521. Is 15 a factor of a(-56)?
False
Suppose 14*t = 41*t - 81. Suppose -5*w = -j - 4100, -2*j - 3576 + 1116 = -t*w. Does 10 divide w?
True
Suppose 29*v + 88 = 18*v. Let h(p) = -17*p - 58. Is h(v) a multiple of 78?
True
Suppose 4*a + 0*a + 50 = 3*z, -34 = -3*z - 4*a. Let m = -12 + z. Does 8 divide 0/1*m/2 + 40?
True
Suppose 7468670 - 32848805 = -495*v. Does 16 divide v?
False
Let p(q) = -q**3 - 5*q**2 - 2*q + 4. Let c be p(-5). Let o(h) be the second derivative of h**4/4 - 25*h**3/6 + 5*h**2 + 2*h - 2275. Is 25 a factor of o(c)?
False
Suppose 0 = -6*u - u + 14. Suppose -5*v = u*k - 30, -k - 7 - 11 = -3*v. Is 12 a factor of (v*2)/((-3)/(-6))?
True
Suppose -k - 8035 = -s, k - 27819 = -5*s + 12344. Does 12 divide s?
False
Suppose 13725 = -23*j + 32*j. Is j a multiple of 61?
True
Suppose 5*t = -2*y - 354, 0 = t - 3*y + 14 + 50. Let q = 154 + t. Is 14 a factor of q?
True
Let k(s) = 5*s**2 + 19*s**2 + 4*s - s**3 - 15*s + 4*s + 30 + 11. Is 19 a factor of k(22)?
True
Let a = 34 - 124. Let y be (1/3)/((-15)/a). Suppose 9*o - 561 = -y*o. Is o a multiple of 21?
False
Suppose -4*y - 4 = 4*a, 0 = -y + 4*a + 19. Let f(r) = r - 25*r**y + r + 9*r**2 + 24*r**