1 - 63*v + 5 - 4 + 4*v**2. Does 3 divide o(-5)?
True
Let u(d) = 4*d**2 - 4*d - 2. Let k be u(7). Let y = k + -85. Is 4 a factor of y?
False
Let l(c) = -c**2 + 91*c + 2255. Is l(88) a multiple of 26?
False
Let b(c) = -c**3 - 2*c**2 + 9*c + 1. Let y be (-1 - 1) + 8/(-3 - 1). Let t be b(y). Is 6 a factor of t/((-15)/10) - (2 + -55)?
False
Suppose 0 = 2*z + 2*c - 230, 0 = -2*z + 4*c + 154 + 106. Suppose 0 = 118*r - z*r + 220. Is 11 a factor of r?
True
Let m = 24091 + -15733. Does 21 divide m?
True
Let a = -74 - -74. Suppose 12*c - 1701 - 483 = a. Suppose -c = -3*q + 4*d, -4*q + 2*d - d = -234. Is 19 a factor of q?
False
Let z = 255 - 245. Is (-51)/((-1587)/(-3220) + (-6)/z) a multiple of 34?
True
Suppose 3*n = 4*j - 20, 15 = -j - 3*n + 5. Suppose 3*h - 13 = j*h. Let c = h - -23. Is c a multiple of 7?
False
Suppose 40 = -6*i + 28. Let f = i - -197. Is f a multiple of 13?
True
Suppose 3 = -4*b + 11. Let z be 4/14 - (10 - 1870/119). Is 31 a factor of ((-380)/(-6))/(b/z - 0)?
False
Let m(z) = -232*z**3 + 5*z**2 + 10*z - 25. Is m(-3) a multiple of 53?
True
Let j(l) = -20*l**3 - 3*l**2 + 2*l. Let h be j(-2). Let b = 74 - h. Is 14 a factor of (-7860)/b - (-4)/(-14)?
True
Let n(s) = -4*s**2 + 2*s - 5. Let y(d) be the first derivative of -d**3 + d**2/2 - 6*d + 11. Let t(h) = -4*n(h) + 5*y(h). Is 3 a factor of t(7)?
True
Let q(g) = 30*g + 58 - 110*g + 93. Is q(-11) a multiple of 25?
False
Let i(d) = -7*d**3 + 21*d**2 + 68*d + 40. Does 11 divide i(-12)?
True
Let v = -65 - -71. Is (-10041)/(-24) + v/(-16) a multiple of 29?
False
Let i be (-11)/((-216)/213 + 1). Let a = -458 + i. Does 8 divide a?
False
Suppose 5*w + 6 - 11 = 0, 0 = u - 2*w. Let r(m) = -m**2 - 2*m**2 + 8*m**u - 3*m + 9 - 6*m**2. Is 2 a factor of r(0)?
False
Let m(w) = -7*w - 13. Let s(h) = 4*h + 7. Let l(p) = 6*m(p) + 11*s(p). Let u be l(2). Is 11 a factor of ((-2)/4)/(u/(-2 - 328))?
True
Let w = -117 - 60. Let n = 372 + w. Does 15 divide n?
True
Let q be (19/38)/(2/(-8)). Let a be ((-15)/9 - q)*6. Suppose 0 = a*i + 3*d - 124, -3*i - 18 = -3*d - 219. Is 5 a factor of i?
True
Let z = -1786 - -1087. Let r = -429 - z. Does 8 divide r?
False
Let i = -49 + 61. Suppose -3*c + 5*x + i = 0, 4*c - 22 = -2*x - 6. Suppose 0 = 8*d - c*d - 300. Does 20 divide d?
False
Let o(h) = 334*h**2 + h. Let s be o(-1). Let y(u) = 179*u + 1112. Let l be y(-7). Let z = s + l. Is z a multiple of 16?
True
Let x(l) = -9*l + 1116. Is x(40) a multiple of 27?
True
Suppose 14*i = 11*i - 3*n + 31818, 5*n = -i + 10610. Is 43 a factor of i?
False
Let w = 4849 + -4247. Is w a multiple of 75?
False
Let y(a) = -a**2 - 2*a + 2. Let c be y(-2). Suppose 0 = 5*d + m - 10, c*d - 4 = 5*m - 0. Suppose -2*p = -5*o + 202, o = p + d*p + 30. Is 28 a factor of o?
False
Let k = 453 + -357. Is 7 a factor of (-4)/(-6) - (-77216)/k?
True
Is 22 a factor of (-2304316)/(-38) - (-1 - (-612)/684)?
False
Suppose -70*t + 60*t + 30 = 0. Suppose -t*y + 564 = 4*b, 27 = -3*b + 3*y + 429. Does 69 divide b?
True
Suppose 3*h + 1 = 43. Suppose 6533 + 2035 = h*j. Does 18 divide j?
True
Suppose -2*l - 31*z + 17094 = -35*z, -z = -4*l + 34202. Is 20 a factor of l?
False
Let m be (3/12*3)/((-6)/(-24)). Let f(v) = 13*v**3 + v**2 - 6*v + 27. Is f(m) a multiple of 41?
True
Suppose 91*b - 2746 = 87*b + 2*q, 2*q = -3*b + 2070. Does 43 divide b?
True
Suppose -32*g + 11629 = -3*g. Suppose 8*r = g + 943. Is 42 a factor of r?
True
Is 41 a factor of (1563 - 0) + 54/(-24)*(-16)/6?
False
Suppose 0 = -14*w + 5373 + 8585. Suppose 11*c - 12*c - m + w = 0, 2*c + 5*m - 2009 = 0. Is c a multiple of 31?
True
Let r(i) = -i**3 + 76*i**2 + 106*i - 409. Is r(72) a multiple of 73?
True
Suppose 142*v + s = 145*v - 8410, 3*s + 5588 = 2*v. Is 76 a factor of v?
False
Let g(p) = -p - 3. Let q be g(-5). Suppose -r + 3*i + 0*i + 105 = 0, 0 = -2*r + 5*i + 211. Suppose 2*h = -2*h - q*s + 166, 4*s = 3*h - r. Is 20 a factor of h?
True
Suppose -3*j - 5 = k, j - 2*k - 1 = 2. Let c be (18 + -20)/(j/(-4)). Let q(p) = 5*p**2 + 24*p. Does 23 divide q(c)?
False
Let u(t) be the second derivative of -40*t**3/3 + 33*t**2/2 + 38*t. Let z be u(-5). Let q = -181 + z. Does 42 divide q?
True
Suppose 5*n = -116 - 114. Let a = n + 49. Suppose 0 = -4*f - 4*w + 252, 3*w + 116 = a*f - f. Is 8 a factor of f?
False
Suppose 2*j = 5*j + b - 17, -2*b = -10. Suppose u - y = 61, j*u = -5*y + 51 + 193. Is u a multiple of 45?
False
Let a(j) = 392*j**2 - 4*j - 65. Is 25 a factor of a(-3)?
True
Suppose -3*y - 67 = -d, 2*d - 4*y - 176 = -d. Suppose 0 = -3*r - 0 - 0. Suppose -4*t - d + 236 = r. Is t a multiple of 15?
False
Let z = -15798 + 16050. Is z a multiple of 14?
True
Let n(l) = 35*l - 1408. Is n(94) a multiple of 60?
False
Let f be 0 + 0 - (72/(-3) + -4). Let v be (-4)/28 + 2104/f. Suppose -b - 3*a + 127 = 0, -2*b - v + 305 = -2*a. Is 30 a factor of b?
False
Is (2/(-12)*(899 + 3))/(1/(-6)) a multiple of 11?
True
Let w(y) be the third derivative of -y**4/6 - 7*y**3/3 + 21*y**2. Let h be w(-8). Is 12 a factor of -6*h/((-4)/((-24)/(-9)))?
True
Suppose 0 = 11*t - 16576 + 6170. Is t a multiple of 12?
False
Suppose 8*k + 2*n = 3*k + 25, 32 = 4*k + 4*n. Is 6 a factor of -3*1*k*(-10)/3?
True
Let a(z) = 779*z + 902. Is 171 a factor of a(17)?
False
Let o(t) = 19*t**2 - t. Let p be o(4). Suppose 48 = -b + p. Let l = -156 + b. Is 12 a factor of l?
True
Let a be ((-4)/(-8))/(2/(-44)). Let s = -4 - a. Is s/(-35) + (-258)/(-15) a multiple of 3?
False
Suppose 0*w = 4*w + 16, 3*r = 4*w + 400. Let i be ((-65)/39)/(1/57). Let k = i + r. Is k a multiple of 25?
False
Let y be (-12)/27 - (-196)/36. Suppose 3440 = 11*m + y*m. Is 11 a factor of m?
False
Let i = -30 - -32. Suppose -i*k + k = -33. Let t = k + -13. Is t a multiple of 10?
True
Suppose 1 = 2*f + o - 4, 0 = 3*f + 3*o - 6. Let d(q) = q**3 - 4*q**2 + 4*q - 3. Let y be d(f). Suppose -2*c - 2*c + 192 = y. Is 5 a factor of c?
False
Let l be 413/14 + ((-15)/6)/5. Suppose 23*f + 4380 = l*f. Is f a multiple of 73?
True
Does 49 divide (-272)/14*(-101185)/590?
True
Suppose -453*b = -462*b + 18. Suppose 2*r - 1161 = -5*c, -b*c = -4*r - c + 2355. Is 14 a factor of r?
True
Let g = -13388 + 41254. Is 150 a factor of g?
False
Let w = 1520 - -216. Suppose -5*l = -19*l + w. Does 30 divide l?
False
Let d(p) = -p + 11. Let w be d(6). Suppose w*z = g + 18, 4*z - 4*g = g + 6. Suppose -z*o + 2*m = -o - 80, 5*o + 3*m = 165. Does 10 divide o?
True
Let v = 7194 - 4091. Does 20 divide v?
False
Suppose 5*b + 240 = -5*z, -15*b - 96 = 2*z - 19*b. Is ((-50)/(-6))/((-4)/z) a multiple of 50?
True
Suppose -2*p + 6 = 3*x, -5*p + x + 2 - 4 = 0. Suppose -4*y - 34 + 238 = p. Suppose y - 9 = w. Is 42 a factor of w?
True
Let y be -835*8*(-4)/20. Suppose 35*b - y = 2864. Is 6 a factor of b?
True
Let x be (-4)/12*1*0. Suppose -8*k + 2*k + 2790 = x. Is 15 a factor of k?
True
Suppose 4*i - 39142 = -3*q - 9104, i - 2 = 0. Is 22 a factor of q?
True
Let a(l) = -l**3 - 1. Let w(s) = -2*s**3 + 8*s**2 + 17*s + 16. Let r(h) = a(h) - w(h). Does 11 divide r(11)?
False
Suppose 73*l - 16497 = 60*l. Does 18 divide l?
False
Suppose -8*u - 34 = -98. Let b(d) = -d**3 + 10*d**2 - 11*d + 3. Does 3 divide b(u)?
False
Let n(q) = -104*q**3 - 3*q**2 + 4*q - 4. Let v(f) = -f**3 + f**2. Let j(g) = -n(g) - 5*v(g). Let x be j(2). Suppose 13*i - 18*i + x = 0. Does 14 divide i?
False
Suppose 16*z = 3887 + 23857. Let o = z - 1031. Is o a multiple of 95?
False
Let a(v) = -8*v - 2. Let m(d) = -9*d - 1. Let l(t) = -6*a(t) + 5*m(t). Let q(s) = -s**3 + 2*s**2 + 3*s - 2. Let h be q(2). Is l(h) a multiple of 5?
False
Suppose 0 = 93*q - 23*q + 272*q - 11306520. Is q a multiple of 20?
True
Let b(z) = 10*z - 5. Let l be b(1). Is 61 a factor of 678/8*((-330)/(-18) - l)?
False
Suppose 5*r - 7 = 18, 0 = s - 3*r + 9. Let d(m) = 8*m**2 - 21*m - 3*m**2 + 9*m**3 + s*m**2 + 6 - 10*m**3. Is d(6) a multiple of 20?
True
Suppose -n + 5*a = 7, -n + a = 5*a - 11. Let p(c) = -7*c**3 + c**2 - c - 1. Let r be p(n). Let b = -16 - r. Is b a multiple of 23?
False
Suppose 0 = 3*q, 17*o + 434 = 19*o - q. Is o a multiple of 6?
False
Is 204309/282*33/(-18)*-4 a multiple of 165?
False
Let a be 16/(-4) - -6 - 5*-213. Let f = a + -957. Does 10 divide f?
True
Suppose -27*a + 22*a + 74549 = k, 14911 = a - k. Is 35 a factor of a?
True
Does 7 divide ((-1672650)/(-20))/15 - (-12)/24?
False
Suppos