16*x + 20*x. Does 11 divide x?
True
Let s(h) = 3*h**2 + 8 - h**2 - h**2. Suppose 4*k + 0 - 38 = 3*w, -w = -k + 10. Is 18 a factor of s(k)?
True
Let r(v) = 133*v + 3. Let w be r(-2). Let d = 653 - 258. Let g = w + d. Does 12 divide g?
True
Is (-1)/(8869/(-39870) + (-26)/(-117)) + -1 a multiple of 28?
False
Suppose 4*q = -14 - 218. Let v = -243 - -176. Let l = q - v. Does 2 divide l?
False
Let c(t) = -28*t - 2. Suppose -3*b - 9 = -4*b. Let a be (3/2)/(b/(-24)). Is 12 a factor of c(a)?
False
Let f(k) = -16*k - 30. Let q be f(-2). Suppose -3*o + 6 = 0, q*w - 356 = o + o. Is w a multiple of 20?
True
Is 2289 - ((-217)/(-28) - (-6)/(-8)) a multiple of 8?
False
Let q be (-19)/(0/3 + -1). Let n = 24 - q. Let z(p) = -p**2 + 5*p + 5. Is 5 a factor of z(n)?
True
Let h = -1830 + 2543. Is h a multiple of 31?
True
Let t(d) = -d**3 - 6*d**2 - 7*d - 7. Let u be t(-5). Suppose o - 211 = -u*l - 0*l, -2*l - 226 = -o. Is o a multiple of 11?
True
Let g(z) = -2*z**3 + 21*z**2 + 6*z + 7. Let l(q) = -q - 1. Let r(w) = -g(w) - 6*l(w). Suppose 2*d - 3*s = -18 + 31, 5*s - 4 = d. Is r(d) a multiple of 41?
False
Is 81 a factor of ((-30)/(-5) + -161)*-2*687/15?
False
Let n(k) = 3*k**3 + 7*k**2 + 3. Let p be n(-3). Let o be (5 + 69/p)*-15. Is 7 a factor of (-117 - -12)*o/9?
True
Let o be (-268)/(-16) - (-21)/(-28). Suppose 947 + 2173 = o*m. Is m a multiple of 11?
False
Let a(v) = -v**2 + 10*v - 19. Let w be a(10). Let l = 7 - w. Let z = l + 7. Is z a multiple of 14?
False
Let i(q) = 20*q**3 + 2*q**2 - 8. Suppose d + 3*h = 5*h - 1, -2*d = h - 8. Is 9 a factor of i(d)?
False
Suppose -8*r + 66880 = 22*r + 14*r. Does 80 divide r?
True
Is 13 a factor of 13*(-13)/(221/(-5049))?
True
Let f = -5655 + 18631. Does 13 divide f?
False
Suppose -3*n + 17*u + 579 = 21*u, 0 = n - u - 200. Is n a multiple of 7?
False
Let m = 2 + 0. Suppose 0*v - 274 = -4*n + m*v, -71 = -n - 2*v. Let f = n + -47. Is 10 a factor of f?
False
Let d(r) be the second derivative of 1/6*r**3 + 0 - 4*r**2 + 6*r + 1/6*r**4. Is d(8) a multiple of 16?
True
Suppose -41*i - 23*i = -5*i - 53926. Is 2 a factor of i?
True
Let t(m) = -784*m**3 - 2*m**2 + m + 1. Let h be t(-1). Suppose -15*c = h - 4457. Is 10 a factor of c?
False
Let r(z) = -z**3 + 5*z**2 + 8*z - 6. Let j be r(6). Does 14 divide 3 - (-100 - (-30)/j)?
True
Suppose 39*k - 44*k = -130. Suppose 3*r + 5*d = 6*r + 8, -k = 3*r + 4*d. Is (-15)/90 + (-841)/r a multiple of 10?
True
Let a(w) = 1138*w + 22354. Is a(-6) a multiple of 32?
False
Suppose -5*w - z = 0, 0 = -0*z - z. Suppose 2*y - 60 = g, -5*g = -w*y - 2*y + 268. Let a = g - -61. Is a a multiple of 2?
False
Let b(l) = -23*l**3 + 3*l**2 + 2*l. Let y(a) = a**3 + a**2 - a + 1. Let o(g) = g**2 - 2*g - 2. Let v be o(0). Let f be y(v). Is 7 a factor of b(f)?
False
Let h(q) = -q**2 - 14*q - 22. Let z be h(-9). Suppose 5*r + z = 298. Is 7 a factor of r?
False
Let h(v) = -v**3 + 11*v**2 - 8*v - 15. Let d be h(10). Suppose -t - 2*t - d*i = -3, 0 = -t + i + 1. Is (8/4 - 74)*(-3 + t) a multiple of 24?
True
Let j(h) = 127*h**2 - 45*h + 45. Is j(-8) a multiple of 2?
False
Suppose -11*w = 13*w. Suppose -3 = -f, w = 2*r - 2*f - 690 + 258. Is 16 a factor of r?
False
Let a(s) = s**3 - 7*s**2 + 16*s + 4. Suppose -24 = -3*z - 0*z. Is a(z) a multiple of 36?
False
Suppose -2*x - 10 = -5*c, 2 = 4*c - x - 3. Suppose c + 5 = s. Suppose -4*d + 367 = s*r, d + 2*d - 369 = -5*r. Does 25 divide r?
True
Let v = -90 - -46. Let g be (v/(-10))/((-16)/(-40)). Suppose 42 = -g*h + 14*h. Is 14 a factor of h?
True
Let n be (88/12)/(-11) + 78/9. Suppose 0*t + 15 = -5*t - 5*o, 12 = -t - 4*o. Is 12 a factor of 251/3 + n/(-12) + t?
False
Suppose -6*z + 5*a = -8*z + 63, 5*z - 210 = -2*a. Suppose 4121 + 8067 = z*d. Is 3 a factor of d?
False
Suppose 1300110 = 42*k - 914970. Is k a multiple of 10?
True
Suppose -4*r + 2*u - 5*u = 64, u = r + 16. Is (-4)/r - (-17034)/24 a multiple of 42?
False
Is 6/(-21) + 5/(490/542066) a multiple of 6?
False
Suppose -3*b = 5*t + 2081, -2996 = 5*t - 4*b - 894. Suppose -732 = -4*f + 8*f. Let g = f - t. Is 47 a factor of g?
True
Suppose -46*g + 33549 + 26803 = 0. Is g a multiple of 32?
True
Suppose v = -3*u + 3, 1 = 3*v - 2*v + 5*u. Suppose 293 = v*j - 457. Suppose 9*l - 4*l - j = 0. Is l a multiple of 6?
False
Let x(l) = -36*l. Let m be 6/36 - (-681)/18. Let o be (m/(-4) - -8)/((-3)/(-8)). Is 36 a factor of x(o)?
True
Let p = 463 + -566. Let y = p - -259. Does 52 divide y?
True
Suppose 0 = 4*s - n, 0 = 2*s - 2*n + 4*n. Suppose -k - 2*y = -38, 8*k - 6*k - 2*y = 58. Suppose s = -2*d + k + 10. Is 3 a factor of d?
True
Let j(w) = w**3 + 5*w**2 - 16*w - 40. Let m be j(-7). Does 17 divide (5049/(-165))/(m/20 + 1)?
True
Let p = -3224 - -3737. Is 2 a factor of p?
False
Suppose -2*j + 384 = -j. Suppose -7*h + j = -13*h. Is 15 a factor of (30/2)/((-8)/h*8)?
True
Let a be (30/9)/((-1)/(-39)). Suppose -132*s + 728 = -a*s. Is 26 a factor of s?
True
Let v be (-17376)/(-12) + (-3 - 2). Suppose -50*h = -53*h + v. Is 21 a factor of h?
False
Let p = 1248 - 571. Let i = p + -651. Is i a multiple of 2?
True
Let i be 21475/(-25) + 36/4. Let h = 130 - i. Does 70 divide h?
True
Let d(k) = 5*k - 119 + 119 + 2*k**2. Suppose q - 4*b - 7 = -0, -2*b - 11 = q. Is 25 a factor of d(q)?
True
Let o(u) = -u**3 + 12*u**2 - 18*u + 14. Let k be o(8). Suppose -920 = -121*l + k*l. Let n = -112 - l. Does 36 divide n?
True
Let h = 2875 - 1255. Suppose -19*i = -28*i + h. Is 9 a factor of i?
True
Let c = -3101 + 8155. Is 38 a factor of c?
True
Let b = 109 - 92. Suppose -3643 = -b*q + 3395. Suppose 0 = 5*o - q - 191. Does 31 divide o?
False
Let u(y) = -2*y**3 + 44*y**2 - 11*y + 113. Is 43 a factor of u(18)?
False
Suppose -642533 = -45*c - 46951 + 160958. Is c a multiple of 36?
True
Let t = -385 - -389. Suppose 7*m - t*m - 210 = 0. Is 22 a factor of m?
False
Suppose -1654 = -18*w + 1874. Suppose 4*i - 4*c = i + 558, -2*c + w = i. Is 5 a factor of i?
True
Suppose -2 = 2*i + 64. Let v be -1*i/(-4)*-88. Suppose -v = -5*y + 159. Is y a multiple of 12?
False
Let s be (-2610)/60*(-32)/3. Suppose 16 + 160 = 2*i - 4*n, 5*i - 4*n - s = 0. Is i a multiple of 8?
True
Suppose -120 = -6*k - 126. Is 7 a factor of 197 - k*(6 + 0)?
True
Suppose -6*q - 5*d - 8 = -8*q, 4*d = q - 7. Let j be 28/(-96)*-6 + q/(-4). Suppose -4*c + 32 + 599 = 3*y, 4*c + j*y = 634. Is c a multiple of 16?
True
Let t(k) = 5*k**3 - 5*k**2 - k - 2. Suppose -158*j = -155*j - 12. Does 26 divide t(j)?
True
Let m(j) = 663*j**2 + 38*j - 4. Is m(-5) a multiple of 60?
False
Suppose -7*p + 51*p - 352 = 0. Suppose -p*i - 16*i = -288. Is 7 a factor of i?
False
Let p(o) = 21421*o**3 - 13*o**2 + 13*o - 1. Is p(1) a multiple of 60?
True
Suppose -h - 1 = 5*m + 6, -4*h = -3*m - 18. Suppose -14*k + 10*k + 1244 = h*x, 0 = -3*x. Is k a multiple of 9?
False
Suppose -4*f + 6*m = 5*m - 5683, 0 = 4*f - 6*m - 5678. Does 49 divide f?
True
Suppose 2*j + 10 - 600 = 0. Let r = j + -235. Is 10 a factor of r?
True
Let v be (1*2)/(6/(-24)). Let s be (-22)/v + 4/16. Suppose -3*k = 2*r - 421, s*r + 4*k - 244 = 386. Is 33 a factor of r?
False
Suppose 329*w = 291*w + 1120050. Does 25 divide w?
True
Suppose 0 = -27*l + 40*l - 65. Suppose -2*t - 5*g + 711 = -t, -691 = -t + l*g. Is t a multiple of 32?
False
Let z be (5 + 0)*2694/30. Let d = z - 62. Suppose -6*s = -3*s - t - d, -s + 3*t = -121. Is s a multiple of 13?
True
Let z = -36 - -39. Suppose -z*u - 3*c = 9, 16 = -3*c + 1. Suppose s + 221 = 4*m, 5*s - 61 = -u*m + 66. Does 16 divide m?
False
Let r be 10/(-25)*320/(-2). Suppose -69*i = -r*i - 20. Suppose -2*t = i*c - 1102, -4*c - c + 1364 = -2*t. Does 60 divide c?
False
Suppose j = -2*c + 1083, j + j = c - 549. Let l = c + -103. Is 48 a factor of l?
False
Let w(l) be the third derivative of 5*l**4/24 + 16*l**3/3 + 6*l**2 - 18. Does 3 divide w(-4)?
True
Let h(o) be the third derivative of -1/12*o**4 + 0*o - 1/60*o**5 - 6*o**2 + 1/3*o**3 - 1/60*o**6 + 0. Is 3 a factor of h(-2)?
True
Does 19 divide (10320/43)/(-40) - (-7765 - 1)/2?
False
Suppose -23 = -4*q + 21. Suppose 0 = q*u - 4006 + 728. Is u a multiple of 16?
False
Let j be 1*(5853 - 0) - (37 + -39). Is 368/552*(-1 + j/2) a multiple of 20?
False
Does 16 divide 14*(605/77 + -8) + 11*562?
False
Let o be 356/24 - (15/18 - 1). Does 19 divide (-318)/(-4)*((-950)/o)/(-5)?
True
Let f(a) = 2*a**2 +