 -0*a + 20. Let u be 2 - (-2 + 1 + a). Suppose u*s - 158 = 4*j + 131, -5*j - 111 = -s. Does 24 divide s?
False
Let p = 15 + -2. Suppose -7*u = -p*u. Suppose u = 5*h - 25, -4*c + 3*h = -71 - 10. Is 5 a factor of c?
False
Let j(s) = -s + 2. Let h(v) = 6*v - 12. Let c(k) = -6*h(k) - 39*j(k). Suppose 0 = 3*w - 2*p + 5 - 30, 2*w - 18 = 2*p. Is c(w) a multiple of 5?
True
Suppose 4*v = 52 + 564. Does 25 divide v?
False
Let o = 1038 - 522. Is 12 a factor of o?
True
Suppose -5*l + 789 = -3*w, 2*l - 318 = 7*w - 5*w. Does 12 divide l?
True
Let r be 6*(-6)/30*(-40)/6. Let l(p) = 8*p**3 + p**2 + 2*p - 25. Let q(x) = 7*x**3 + x - 24. Let h(w) = -6*l(w) + 7*q(w). Is h(r) a multiple of 35?
True
Let x be (4/3)/1*27/(-2). Let p = x - -83. Does 4 divide p?
False
Is -2522*(-8 - 0)/16 a multiple of 97?
True
Let m(i) = -i**2 - 23*i + 113. Is 8 a factor of m(-26)?
False
Let y = 6515 + -4473. Is y a multiple of 23?
False
Let r(a) = -17*a + 25. Let l be r(7). Let z = l - -209. Is 30 a factor of z?
False
Suppose -3*o = -8*o + 25. Suppose o*p = 2*p. Suppose -110 = -5*m - 4*c + 102, p = -4*c - 8. Does 22 divide m?
True
Suppose -l - 4*a = a - 400, 0 = 3*l + 2*a - 1252. Does 20 divide l?
True
Let r(y) = 3*y - 3*y - 4*y + 4 - 15. Does 6 divide r(-5)?
False
Let v(w) be the third derivative of w**4/24 + 2*w**3/3 - 32*w**2. Is v(4) a multiple of 8?
True
Suppose -6*d + 435 = -3*d. Suppose 0 = 6*v - 11*v + d. Does 12 divide v?
False
Let h = -233 - -341. Does 9 divide h?
True
Let x(j) = -2*j + 1. Let f be x(10). Let u(h) = h**2 + 20*h - 12. Let n be u(-14). Let c = f - n. Is c a multiple of 24?
False
Let c(f) = 17*f**2 + 6*f - 5. Let b be c(3). Let d = b - 16. Is 10 a factor of d?
True
Let c(b) = -3*b - 13 - 8 + 2*b**2 - 6*b. Is 35 a factor of c(-6)?
True
Let f = 1402 - 718. Does 17 divide f?
False
Is -1*((-604 - 10) + 7) a multiple of 18?
False
Let j(d) = -27*d**3 - 5*d - 8. Does 92 divide j(-3)?
True
Suppose -2*v + c + 0 = -4, 3*v = 4*c + 6. Suppose 8 = v*f - 4*f. Does 8 divide 2/f*-4 - -21?
False
Suppose 5681 = 13*c - 3679. Suppose 0 = -s - 5*s + c. Does 12 divide s?
True
Let i(m) = -m**3 + 5*m + 168. Is 8 a factor of i(0)?
True
Let t be 28/8 - (-2)/(-4). Suppose t*a = 3*j + 702, -5*a = -0*j - 3*j - 1164. Does 33 divide a?
True
Let j be (-537)/(-4) + (-6)/(-8). Let u = j - 57. Suppose u = 3*h - h. Is h a multiple of 11?
False
Is ((-35)/(-35))/(2/824) a multiple of 23?
False
Suppose -54 - 285 = -3*q. Suppose -5 = 5*i, -3*y + 4*y = -2*i + q. Is y a multiple of 22?
False
Let u = 22 + -20. Suppose u*o - 11 = -7. Is o a multiple of 2?
True
Is 13 a factor of (434/3)/(4/6)?
False
Suppose 3*u - b = 319, u - 5 = b + 100. Suppose -w + 41 = -c, -w + u = w + 3*c. Is w a multiple of 15?
False
Suppose 0 = -28*j + 31*j + 477. Let m = j + 339. Does 36 divide m?
True
Suppose 1019 - 18477 = -29*n. Is 14 a factor of n?
True
Suppose -6 = -4*p + w, 5 = -3*p + 4*w - 8*w. Does 21 divide (-26 + 29)/(p/45)?
False
Let q(n) = -n**2 + 5*n - 3. Let a be q(2). Suppose 0 = -3*z - a*i + 5*i + 8, 0 = -4*i + 8. Suppose -3*f + z*m = -68, 2*f = 4*m - 5*m + 60. Does 8 divide f?
False
Suppose j - 2351 = 4*g, 5*g + 3679 + 1008 = 2*j. Does 111 divide j?
True
Let p(j) = 101*j - 71. Is 62 a factor of p(5)?
True
Let i(x) = -18*x**3 - x**2 + 2*x - 2. Is i(-3) a multiple of 21?
False
Does 7 divide (74/(-6))/(21/(-189))?
False
Suppose -5*o = 3 - 13. Suppose -2*q + 3*s + 144 = 0, -2*q - 2*s + 272 = o*q. Is q a multiple of 14?
False
Suppose -2*n + 3*c + 2447 = -257, -5368 = -4*n - 4*c. Is 9 a factor of n?
False
Suppose -224*t = -222*t - 96. Is t a multiple of 6?
True
Let j(b) = -3*b**2 - 17*b + 3. Let y(w) = -w**2 - 6*w + 1. Let m(l) = 2*j(l) - 7*y(l). Is 19 a factor of m(-10)?
True
Let o(c) = c**2 - 26*c + 26. Does 3 divide o(35)?
False
Suppose 0 = -7*t + 6*t - g + 44, -127 = -3*t - 4*g. Is 2 a factor of t?
False
Let g(q) = -64*q + 64. Does 24 divide g(-8)?
True
Let w(p) = -p**3 + 7*p**2 + p - 1. Let l be w(7). Is 318/8 - l/8 a multiple of 13?
True
Let f(s) = -5 - 28*s - 2 - 5 - 8. Is 20 a factor of f(-5)?
True
Let r be (-1 + -34)*(-2 + 3). Let l be 4/(-14) + 2510/r. Is l/27*(-7 - -1) a multiple of 5?
False
Let b be -1*(6/4 + (-171)/18). Suppose 0 = 12*s - b*s - 144. Is s a multiple of 2?
True
Let n(u) = -4*u**3 - 8*u**2 - 9*u - 5. Is n(-5) a multiple of 34?
True
Does 56 divide 13446/16 + 27/(-72)?
True
Let y = -703 + 308. Let l = y + 590. Is 15 a factor of l?
True
Suppose o - 94 = 17. Suppose 0 = 5*k - 3*s - 166, -o = 2*k - 5*k - 2*s. Suppose 2*t - k - 1 = -5*q, 4*q = -t + 24. Is 8 a factor of t?
True
Let a = 8 - 4. Suppose -a*n + 3*u + 129 = 0, 0*n + 5*u = 5*n - 165. Is 10 a factor of n?
True
Suppose 1044*d + 1785 = 1047*d. Is d a multiple of 85?
True
Suppose -10 = 2*o - r - 123, -o = -2*r - 55. Let n = o + -1. Is n a multiple of 11?
False
Suppose -80*w = 17064 - 174984. Does 47 divide w?
True
Let c(a) be the third derivative of -5*a**4/4 - 37*a**3/6 - 30*a**2. Is 11 a factor of c(-6)?
True
Let r(o) = -5*o**3 + 2*o**2 + o. Let m be r(2). Let b be ((-36)/m)/(3/10). Suppose 9*a - 110 = b*a. Does 9 divide a?
False
Suppose -m + 3031 = -3*b, -14*m + 13*m + 4*b = -3033. Is m a multiple of 17?
False
Let d(q) = 2*q**3 + 30*q**2 + 22*q + 6. Does 6 divide d(-14)?
True
Suppose -43*u = -37*u - 1440. Is u a multiple of 20?
True
Let a be -2*(-1)/7 + 766/14. Suppose -60 = -a*c + 53*c. Does 5 divide c?
True
Suppose -4*y + 9*y = 15. Suppose 4*r - 260 = -y*i, -2*i = 3*i - 3*r - 414. Does 21 divide i?
True
Let j = 7 + 0. Suppose -2*u + 1 = -j. Is u a multiple of 2?
True
Suppose 4*j = a + a + 20, 5*a + 36 = -4*j. Let q = -11 + 12. Does 16 divide -4*60/a - q?
False
Suppose -5*i = -76*w + 81*w - 3615, 3*w - 2*i - 2164 = 0. Is w a multiple of 82?
False
Let b = 21 + -18. Suppose 49 = 5*o + 5*g - g, -b*o + 25 = -2*g. Let y = o + -6. Is y a multiple of 3?
True
Let w(t) = t**3 - t**2 + t + 1. Let b(l) = -5*l - 3*l**3 - 16*l**2 - 3 + 6*l**3 + 19 + 24*l. Let d(i) = -b(i) + 4*w(i). Is 3 a factor of d(-13)?
False
Let v(k) = -k**2 - 10*k + 13. Let o be v(-11). Suppose o*x = -2*x + 112. Is x a multiple of 4?
True
Let t = 39 - -387. Does 26 divide t?
False
Let b = 24 - 3. Let c be 6/b - 2/7. Suppose c = -3*l - d + 239, -6*l + 2*l - 4*d = -308. Does 31 divide l?
False
Let i = -40 + 46. Let g be 0 - ((-1)/(-1) - 10). Suppose i*o + 210 = g*o. Is 14 a factor of o?
True
Let b be ((-22)/10 - (-2)/10) + -146. Let c = -111 - b. Is c a multiple of 2?
False
Suppose 5*u - 92 = -4*o, 3*o - 8*u - 104 = -3*u. Let i be o + ((-48)/(-4))/(-4). Let v = i + -4. Is v a multiple of 5?
False
Let c(m) = -m**3 + 28*m**2 + 26*m + 27. Is c(28) a multiple of 45?
False
Is ((-48)/(-4))/(34/799) a multiple of 47?
True
Suppose 0 = -17*r - 84*r + 339764. Does 12 divide r?
False
Let n(t) = -5*t**2 + 2*t**2 + 15*t**2 - 4 + 16*t**2. Let f be n(2). Let s = -66 + f. Is s a multiple of 14?
True
Let l(u) = 4*u**2 - 6*u + 4. Suppose -c + 8 = c. Let t be l(c). Suppose f = -s + 5*s + t, 148 = 4*f - 2*s. Does 18 divide f?
True
Let u = -46 + 51. Suppose b + 4*b - 152 = -4*c, -3*b = -u*c + 153. Does 5 divide c?
False
Suppose -6236 - 364 = -30*t. Is t a multiple of 10?
True
Suppose 0 = h - 45 + 15. Does 6 divide h?
True
Suppose -6*k = -670 - 590. Does 35 divide k?
True
Let s be -4 + 1 + 2 + 85. Let z = s - 12. Is 12 a factor of z?
True
Let w(q) = 6*q**2 + 4*q - 4. Let n be w(7). Let o = 477 - n. Is 40 a factor of o?
False
Let a(r) = 3*r. Let u be a(6). Suppose -27 - u = -l. Suppose -47 - l = -4*x. Does 16 divide x?
False
Let o(w) = -8*w + 327. Is 17 a factor of o(0)?
False
Suppose 6*b = -2*d + b + 169, 124 = 2*d - 4*b. Let y(l) = 7*l**3 + 2*l**2 - 1. Let n be y(1). Suppose -3*z - 206 = -n*z + 4*v, -v = 2*z - d. Does 19 divide z?
True
Suppose -3*p - 120 = p. Let w = 390 - p. Suppose 9*c - 4*c = w. Does 21 divide c?
True
Let o(c) = -3*c - 4. Let p be o(-2). Let t = 26 - p. Does 18 divide t?
False
Suppose -4*b - 5*c + 94 = -3*c, 2*b - 4*c - 62 = 0. Suppose b*j = 30*j - 155. Does 4 divide j?
False
Let u(y) = -y**3 + 27*y**2 + 4*y - 22. Does 15 divide u(27)?
False
Let r(n) = -59*n + 24. Let h be r(-4). Suppose 4*c - 3*c = 3*g + h, 5*g = 3*c - 780. Does 20 divide c?
True
Let m = -114 - -86. Let p = m - -39. Is 5 a factor of p?
False
Suppose 3*z + 3*x = -3, -2*z + 0*x - 3*x = 5. Suppose -m + z*w + 7 =