 -3*v + 37, -5*v - 60 = -2*p. Let g be 6/(-10)*(-5100)/p. Let q = g + -74. Is q a multiple of 22?
False
Suppose 14*d = 18*d + 64. Let i be 1362/8 - (108/d - -7). Suppose -90 = 4*f - i. Is f a multiple of 7?
False
Let z(i) be the third derivative of i**4/12 + 9*i**3/2 + 19*i**2. Let a be z(-14). Let w(c) = -89*c**3 - c**2. Is 11 a factor of w(a)?
True
Let v = -147 - -52. Let x = v - -103. Suppose 15*w - 112 = x*w. Is 5 a factor of w?
False
Suppose -2*v - 230 + 4418 = 0. Is v a multiple of 6?
True
Let l be 5/(50/(-4))*-10. Suppose c = -l*c - 60. Is 15 a factor of (-182)/c - 2/12?
True
Let s be -3 + (7/3 - (-18)/27). Suppose s = 3*u + y - 109, 8*y - 4*y - 170 = -5*u. Does 5 divide u?
False
Suppose -43*h + 40*h + 3 = 0. Let c be -5 + -10 - (-1 - (h + 1)). Is 7 a factor of (-3)/4 - 237/c?
False
Let l = 5404 + -2548. Does 2 divide l?
True
Let c = 6041 + 2092. Is 13 a factor of c?
False
Suppose 0 = 29*x - 28570 + 4152. Is 84 a factor of x?
False
Let w(a) = a**3 + a**2 - 3*a. Let l be w(2). Suppose 24*s - 27*s = -l. Suppose k = 5*v - 863, s*v = -v + 4*k + 528. Is v a multiple of 18?
False
Suppose 2*j + 2*j - 280 = 0. Suppose 0*l = -l + 4. Suppose 2*u = -l*i - i + j, 0 = 5*i + 10. Is u a multiple of 8?
True
Suppose 19032 = 3*z - 45059 + 8441. Does 13 divide z?
False
Suppose 18 = 4*i + 3*m - 11, 0 = 2*i - 5*m + 5. Suppose 0 = i*c + 5, r + 110 = c. Let l = 217 + r. Is 16 a factor of l?
False
Let l(v) = 10*v - 104 - 92 + 31*v + 185. Is l(4) a multiple of 9?
True
Does 10 divide (2228163/(-27))/(-7) + (-18)/81?
False
Does 74 divide 27 + 145/(-5) - (0 - 27456)?
True
Let q(p) = -4*p**3 - 12*p**2 - 6*p - 10. Let o(k) = 11*k**3 + 36*k**2 + 18*k + 30. Let l(j) = -3*o(j) - 8*q(j). Does 7 divide l(-12)?
False
Suppose 0 = 194*s - 190*s - 3*v - 2235, 4*v - 554 = -s. Is s a multiple of 6?
True
Let k(l) = 195*l**2 - 160*l - 387. Is 29 a factor of k(-9)?
False
Let c be (0 + 56)/(-8 - (-516)/64). Suppose 0 = -3*d + c + 604. Is d a multiple of 50?
True
Let j be ((-4)/(-6))/(1240/618 - 2). Let y = 99 - j. Is (y - 0)/((-2)/13) a multiple of 26?
True
Let x(k) = -2*k - 3*k**3 + 0 + 4*k**2 - 4*k**3 + 4 + 2. Suppose -29*i + 34*i = -15. Does 23 divide x(i)?
False
Let d = -32 - -34. Suppose 0 = 4*l - 3*l + 2*q, d*l - 3*q - 7 = 0. Suppose -2*r = -2*t - 8, 0*r + 3*r - 5*t = l. Does 9 divide r?
True
Suppose 0 = -66*z + 20799 + 261945. Does 204 divide z?
True
Is 1791 + 0 - ((-224)/(-16) - 7) a multiple of 14?
False
Let z(j) = -2*j**3 - 6*j**2 - 3*j - 7. Let f be z(-5). Suppose c - 2109 + 2105 = 0. Suppose 44 = 5*h + 3*r - f, c*h = -3*r + 124. Is 7 a factor of h?
True
Let d be (9/(-12))/(42/(-392)). Is 3 - (26607/(-7))/d a multiple of 13?
True
Let y = 21525 - -2128. Is 31 a factor of y?
True
Let p(i) be the second derivative of -i**5/60 + 2*i**4/3 - 4*i**3/3 + 5*i**2 + 12*i. Let b(g) be the first derivative of p(g). Does 28 divide b(12)?
False
Let z be (58/4)/(40/80). Suppose 0 = -2*k - 8 + 2, -5*v = k - 312. Suppose -4*w - u + 158 = z, 0 = -2*w - u + v. Is 11 a factor of w?
True
Suppose 0 = -5*l - 8*u + 9*u - 7, -3*l - u = 1. Let n(s) = -523*s**3 + 6*s**2 + 4*s. Is 14 a factor of n(l)?
False
Does 58 divide ((-47792)/721)/(14/(-2989))?
True
Suppose 19*c - 543992 = -405*c. Is 57 a factor of c?
False
Let r = -95 + 99. Suppose 147 - 51 = r*d. Is 17 a factor of d?
False
Suppose 48*m - 77*m = 90*m - 3047947. Is m a multiple of 29?
False
Let t(a) be the third derivative of a**5/60 + a**4/24 + 7*a**3/3 + 40*a**2. Is 7 a factor of t(-7)?
True
Let m = 17 + -8. Suppose -j - 24 = -m*j. Suppose -p - j*t = -106, 8*p - 594 = 3*p + t. Does 24 divide p?
False
Let l(j) be the second derivative of 0 + 11*j + 11/2*j**2 - 23/6*j**3. Is l(-3) a multiple of 10?
True
Suppose b - 3 = -4*h - 4, -29 = -5*b - 3*h. Suppose 1 - 596 = -b*g. Does 35 divide 3 + g + 3 + -2?
False
Let f(r) be the first derivative of r**4/4 + 3*r**3 + r**2 + 7*r - 9. Let h be f(-6). Suppose -4*c + 375 - h = 0. Does 17 divide c?
True
Let i(b) = -8*b + 2017. Is i(-16) a multiple of 55?
True
Let r be (4/6)/(5/(-450)). Suppose -11*l - 1078 - 660 = 0. Let z = r - l. Does 15 divide z?
False
Suppose 8*l - 52*l + 380868 = -27*l. Is 12 a factor of l?
True
Let p = -136 - -138. Suppose 5*x = -4*j + 1602, -2*x = 3*x - p*j - 1614. Is x a multiple of 14?
True
Let b(k) = 418*k + 28. Let a = -388 + 390. Does 18 divide b(a)?
True
Suppose -d - 5*i + 3681 = -5618, -i + 37291 = 4*d. Is 36 a factor of d?
True
Let f be 295/4 + -4 + (-68)/(-16). Suppose 0 = -2*y - 5*v - 17 + f, 43 = 3*y - v. Is y a multiple of 16?
True
Let b(n) = 2*n - 38. Let u(g) = -5*g + 76. Let m(o) = 11*b(o) + 6*u(o). Let i be m(6). Does 49 divide ((-1144)/i)/((-30)/(-75))?
False
Let t(i) = -2*i + 25. Let o be t(6). Let w(f) = -2 - 22*f + o*f - 3. Does 15 divide w(-7)?
False
Suppose -4*n + 4*q = -1198 - 902, -2625 = -5*n - 5*q. Let s = -253 + n. Does 17 divide s?
True
Let o(p) = p**3 - 9*p**2 - 10*p + 3. Let m be o(10). Let d be (m + -3)/(-2 - 0) + 0. Suppose d = -8*z + 422 + 130. Does 15 divide z?
False
Let k(g) = 2*g**3 + g**2 + 5*g - 246. Is k(18) a multiple of 12?
True
Suppose x = 2*v + 10706, -2*v - 34708 = -3*x - 2582. Is x a multiple of 34?
True
Let w = 482 + -461. Suppose 0 = w*s - 33*s + 4356. Does 33 divide s?
True
Suppose -143 = -3*j + 16. Suppose 5*a - 2*o - 2958 = 0, -2*o = 6*a - 4*a - 1186. Suppose j = -7*x + a. Does 11 divide x?
True
Let x(k) be the second derivative of -31*k**3/6 + 25*k**2 + 43*k. Is x(-11) a multiple of 23?
True
Let z = -333 - -201. Let c(t) = 33*t**2 - 3*t - 3. Let k be c(3). Let v = k + z. Is v a multiple of 17?
True
Suppose -24*j + 44844 = -32*j + 109*j. Is j a multiple of 3?
True
Let m be 33/12 - (3 + 52/(-16)). Suppose -m*x - 224 = 5*x. Is ((-582)/8)/(21/x) a multiple of 19?
False
Let s(p) = 32*p**2 + 3*p + 20. Let z(v) = -v**2 + 3*v + 66. Let y be z(-7). Is 20 a factor of s(y)?
True
Suppose 10*g = -21*g - 1395. Let m(t) = -t**3 + 6*t**2 - 6*t + 7. Let n be m(6). Let p = n - g. Is p a multiple of 8?
True
Let g(w) = 304*w**2 + 2*w + 4. Let y be g(-2). Suppose -7 - 17 = -6*h, h = -3*p + y. Is p a multiple of 59?
False
Let u = -4 - -17. Suppose -5*w + 38 = u. Suppose -37 = 5*l + w*y - 442, -61 = -l + 3*y. Does 19 divide l?
True
Let r(k) = 7*k - 6409*k**2 + 8*k**3 + 6413*k**2 - 4*k**3 + 23. Is 48 a factor of r(5)?
False
Let r = -83 - -82. Let h(m) = 17*m**2 + 2*m - 6. Let j(u) = u - 1. Let s(x) = h(x) - 4*j(x). Is 3 a factor of s(r)?
False
Let c be 50/1 + 0 + (-4)/4. Let w be (-1 - (c - 2)) + -4. Let z = 10 - w. Is 15 a factor of z?
False
Let y(u) = -11*u**3 - 3*u**2 + 13*u - 9. Let z(w) = -33*w**3 - 8*w**2 + 39*w - 28. Let m(r) = -7*y(r) + 2*z(r). Is 53 a factor of m(4)?
False
Let u(l) = 3981*l - 41. Is u(1) a multiple of 5?
True
Is 18 a factor of -9 - -17 - (-4413 + 12)?
False
Suppose 5*t - 4301 = -3*d, 4*t = 24*d - 25*d + 3445. Does 4 divide t?
False
Let g be 1*0/((-9)/(-3)). Suppose -q - k = -5, g = -8*q + 3*q + 2*k + 11. Suppose -q*b + 0*m + 164 = -4*m, 5*b - 4*m = 284. Is b a multiple of 15?
True
Let k = 128 - 128. Suppose -5*h + 3*c = -48, -2*c + k*c = -2*h + 20. Is h a multiple of 9?
True
Suppose -15868*x + 292560 = -15776*x. Is 15 a factor of x?
True
Let a = -20439 - -20967. Does 6 divide a?
True
Let g(y) = -9*y + 194. Let l(c) = -c**3 - 8*c**2 - 5*c + 25. Let w be l(-7). Is g(w) a multiple of 21?
False
Let o(s) be the third derivative of s**6/120 + 3*s**5/20 + s**4/6 + 3*s**3/2 + 17*s**2. Let i be o(-9). Is (4/12)/((-3)/i) a multiple of 2?
False
Let y be (-676)/(-8) - 2/(-4). Let z = -51 + y. Suppose -2*b + b = -z. Is b a multiple of 17?
True
Suppose -7*n = -s + 35810 + 16702, -262560 = -5*s - 2*n. Is s a multiple of 16?
True
Let v(z) be the third derivative of -z**6/120 + z**5/6 + 11*z**4/24 - z**3/3 + 60*z**2. Let b be (10/(-4)*3)/((-9)/12). Is 18 a factor of v(b)?
True
Let u be (18/(-12))/((-1)/(-406)). Let f = -345 - u. Is 44 a factor of f?
True
Let a(r) = -13*r + 2208. Is a(43) a multiple of 25?
False
Let k(f) = -f**3 + 13*f**2 - 14*f + 12. Let o be k(12). Let v be (378/o)/(3/8). Is (-10812)/v + (-4)/(-14) a multiple of 14?
False
Suppose 4*j - 62*j + 6891 + 13873 = 0. Does 11 divide j?
False
Let a = -19 - -18. Let x be 3/(-9) + (-57)/9*a. Let d = 110 + x. Is 25 a factor of d?
False
Suppose 6*p - 414 = 690. Suppose 0 = 7*a - p - 208