False
Let x = 22 - 20. Suppose -3*a - 83 = -x*r, -4*r + 175 = -0*r + 3*a. Does 6 divide r?
False
Let j = 8097 - -5183. Suppose -2*u = -4*u - j. Is 18 a factor of u/(-72) - 2/9?
False
Suppose -4*q - 45 = 3*c, 0 = 5*q + 4*c - 0*c + 57. Let g(h) = -h**2 - 13*h - 10. Let w be g(q). Let m = w + 1. Is 9 a factor of m?
True
Is 12 a factor of (27/(-12))/(18/(-960))?
True
Suppose -15*v = 96 + 5049. Let g = -192 - v. Does 26 divide g?
False
Let l(w) = w**2 + 7*w - 91. Is l(-19) a multiple of 10?
False
Suppose -2*u - 2*k - 279 - 43 = 0, -4*u - 3*k = 645. Let p = u + 243. Does 9 divide (4/(-6))/((-6)/p)?
True
Let f = -173 - -408. Does 3 divide f?
False
Suppose 5*l - 10*l = -4*v + 4162, 4*l = 8. Is 29 a factor of v?
False
Let h(m) = -53*m + 7. Let x be h(2). Let i(f) = -34*f**3 - 1. Let t be i(1). Let j = t - x. Is 29 a factor of j?
False
Let r(q) = 16*q + 4. Let z(f) = -15*f - 4. Let s(k) = 2*r(k) + 3*z(k). Is s(-1) a multiple of 3?
True
Suppose 945 = 4*p + 3*k, 4*p - 2*k = 883 + 67. Is p a multiple of 8?
False
Does 22 divide 1754/18 - 28/63?
False
Let u(s) = -11*s**3 + 7*s**2 - 5*s + 3. Let r(i) = 5*i**3 - 3*i**2 + 2*i - 1. Let a(q) = -7*r(q) - 3*u(q). Does 31 divide a(-4)?
False
Let n = -86 + 221. Is n a multiple of 5?
True
Let n(l) = 2138*l - 78. Does 103 divide n(1)?
True
Suppose 8 = 2*l, -2*p - 4*l = -16 - 0. Suppose p*o = 3*o - 819. Is 26 a factor of o?
False
Suppose -3*n + 2*a = -4*n + 20488, 2*n - 40962 = 3*a. Does 9 divide n/324 - (2/9)/1?
True
Is 12/30 - (-39851)/35 a multiple of 17?
True
Suppose -t - t = 52. Is (2 + t)/(4/(-8)) a multiple of 6?
True
Let u be (40/32)/(10/12)*66. Let j = -43 + u. Is 5 a factor of j?
False
Let v be (-34)/(-3) + (-4)/12. Let i = v + -7. Suppose -i*k = 2*j - 22, -5*k + 43 + 22 = 5*j. Is j a multiple of 5?
True
Suppose -1770 = -4*y + 3*g, -3*y = -0*g - g - 1325. Is y a multiple of 64?
False
Let j(t) = t**3 - 13*t**2 + 29*t + 43. Is j(13) a multiple of 35?
True
Let m = 723 + -203. Suppose -130 = -i - g + 4*g, -4*i - g + m = 0. Does 26 divide i?
True
Let t = 382 + -380. Let r = 9 + -6. Suppose -r*i + 10 = -t*i. Does 7 divide i?
False
Let i(x) be the first derivative of 17*x**4/2 + 2*x**3/3 - x**2 - 44. Does 11 divide i(2)?
False
Suppose -132 = -2*m + k + 48, 3*m - 5*k = 256. Is m a multiple of 2?
True
Let r(b) = 21*b**2 + 9*b - 59. Is 40 a factor of r(4)?
False
Let m(x) be the third derivative of x**5/30 + 13*x**4/24 - 11*x**3/6 - 2*x**2. Let j be 8/2 + -3 + -9. Is 13 a factor of m(j)?
True
Suppose -22 = -5*d - k, 6*d - 3*k = 2*d + 10. Suppose 0 = 5*t - 5 - 10. Suppose -183 = -3*n - d*a + 5, -t*n - 3*a = -186. Is 12 a factor of n?
True
Suppose -4*r - 4 = -20, 572 = 2*t - 2*r. Is 58 a factor of t?
True
Let n(k) = -5*k**2 + k + 3. Does 2 divide n(0)?
False
Let x = -8 + 11. Suppose 0 = x*z + 6 + 9. Let i(b) = -2*b + 7. Is i(z) a multiple of 3?
False
Let d = 117 - 60. Let q = d - 41. Let w = 27 - q. Is 11 a factor of w?
True
Suppose -229 = -5*l - 4*h, 10*h - 7*h = -2*l + 93. Does 3 divide l?
True
Let p be (-4)/(-14) - (-494)/(-14). Let t(i) = 4*i + 64. Let m be t(-18). Let f = m - p. Does 9 divide f?
True
Suppose -2*g + 3*g + 6 = 0. Let f(m) be the first derivative of -m**4/4 - 4*m**3/3 + 7*m**2/2 - m + 4. Is 9 a factor of f(g)?
False
Let i(v) = -v**3 - 5*v**2 + 6*v. Let z be i(-6). Suppose 3*y - n = 3*n + 25, z = n - 5. Is y a multiple of 7?
False
Let k(x) = -60*x - 10. Does 10 divide k(-2)?
True
Suppose 483 = 5*q + 123. Suppose 5*f = -2*k + 22, -8*k + q = -4*k + 3*f. Is (3 - 0)*14/k a multiple of 2?
True
Suppose g - 4*l = 44, -33 = -5*g + 3*g - 3*l. Is 12 a factor of g?
True
Does 9 divide (-27330)/(-270) - (-2)/(-9)?
False
Let j = -26 - -39. Let g = j + -10. Suppose -5*f + f - g*z + 113 = 0, 5*z - 82 = -3*f. Does 5 divide f?
False
Is 97 + (8 + 4)/(-6) a multiple of 23?
False
Let k(g) = 28*g**2 - 7*g + 1. Is k(-4) a multiple of 4?
False
Let n(b) = 11*b - 8*b - 2 + 0. Suppose -18 = 40*c - 43*c. Does 5 divide n(c)?
False
Suppose -2*v - 3*g + 17 = 0, -60 = -5*v + 5*g + 20. Suppose 10*w - 96 = v*w. Does 8 divide 1/2 + (-1488)/w?
False
Let y(i) = -103*i**3 + i**2 + i. Let z be y(-1). Suppose -131 - z = -3*h. Does 8 divide h?
False
Suppose 4*l = 9494 + 6126. Is 74 a factor of l?
False
Let d = -245 + 322. Does 7 divide d?
True
Let f(u) = -u - 3. Let x be f(-11). Suppose -2*g - 4*w = 4, -4*g + 0*g - x = -4*w. Let b = 58 - g. Is b a multiple of 17?
False
Let b(u) = u**3 + 7*u**2 + 3*u + 5. Let t be 51/3 + (-3 - -1). Suppose -s + t = -3*g, -2*g - 4*s + 8*s = 0. Is 23 a factor of b(g)?
True
Suppose 5 = -5*t, 15 = 3*y + 2*y - 5*t. Suppose -y*c - 2 = 10. Is 6 a factor of c/3*(-51)/6?
False
Let k = 426 - -1342. Does 26 divide k?
True
Suppose 28 = 3*s - 5*a, -3*s - 5*a = -4 - 4. Suppose 3*y - 3*l + 30 = 0, 0 = -4*y - s*l + 2*l - 40. Let b = 22 + y. Is 12 a factor of b?
True
Suppose 2*r - 4*r + 11 = m, 5*m = -15. Let t(c) = 3*c + 14 - r*c + c**3 - 8*c**2 - 2*c**3 - 22. Does 6 divide t(-8)?
True
Suppose r - 5*w + 8 = 199, w + 5 = 0. Is 15 a factor of r?
False
Let g(v) = -21*v**3 + 2*v**2 + 2*v + 1. Suppose -1 - 1 = 2*w. Let p be g(w). Is ((-3)/2)/((-3)/p) a multiple of 11?
True
Suppose 24*l - 3*z + 772 = 29*l, -740 = -5*l + 5*z. Is l a multiple of 4?
True
Let r(x) = -x**3 + 6*x**2 - 5*x. Let b be r(5). Suppose -6 = -2*m - b. Is 3 a factor of 10*(7/2 - m)?
False
Suppose b + 18 = 4*r + 7, 0 = 3*b + 4*r - 31. Suppose b*y - 372 - 68 = 0. Does 11 divide y?
True
Is 20 a factor of 1099 - -6 - (2 + -13)?
False
Suppose -5*q = 5*l - 135, 26*l - 21*l + 4*q = 133. Is l a multiple of 4?
False
Suppose 6*f - 25 = f. Suppose 0 = -n + f + 11. Suppose -2*v + n = 4*g - 6*g, 0 = 2*v + 2*g - 20. Is 9 a factor of v?
True
Let o = 92 + -88. Suppose 178 = o*s - 18. Is s a multiple of 5?
False
Suppose -c = 2*s - 706, 0 = -3*s + 3*c + 792 + 249. Does 16 divide s?
False
Suppose -9 = -5*l - y, l = 2*l + 2*y. Is l + 3 + 33 - (-3 + 1) a multiple of 18?
False
Let s(b) = -b**3 + 4*b**2 + 2*b - 3. Let j be s(4). Let c = 166 + -22. Suppose -c = -j*u + u. Is 12 a factor of u?
True
Let b = 187 + -94. Suppose -b = -i - 3*s, -2*s = -4*i - 7*s + 365. Is i a multiple of 9?
True
Let z be (-94)/(-10) + 7/((-140)/8). Let t = -24 - -51. Suppose -f = -z - t. Is f a multiple of 9?
True
Let g be (0 + 1)/(7/35). Let m = g - 18. Is -120*(m/(-5) - 3) a multiple of 12?
True
Let t = -2 + 7. Let a(z) = 5*z + 1. Let b be a(t). Let u = 6 + b. Is 9 a factor of u?
False
Does 3 divide ((-1945)/(-5) - 4) + (-12)/(-3)?
False
Let z(u) = -7*u - 4. Let c(l) = -9*l - 4*l - 7 + 3 - 5. Let n(h) = 2*c(h) - 5*z(h). Is 14 a factor of n(3)?
False
Let o be ((-7)/2)/(19/(-4066)). Suppose w - 5*n = 6*w - 1875, 3*n = -2*w + o. Suppose -4*m = -w + 20. Is m a multiple of 9?
False
Let g = 12 - 312. Let o = 429 + g. Is 21 a factor of o?
False
Let k = 19 + -11. Suppose -2*a + 4 = -k. Suppose w = -0*w + a. Is w even?
True
Let j(x) be the third derivative of x**5/30 + x**4/24 + 40*x**3/3 + 10*x**2. Let g(m) = m**3 - 8*m**2 + 11*m + 6. Let u be g(6). Is j(u) a multiple of 21?
False
Let r = 107 - -56. Is r a multiple of 5?
False
Suppose 9 = 2*j - m, 0 = 4*j - 4*m + 2 - 22. Suppose -3*n + j*v = -209, 7*n - 3*n = -4*v + 260. Does 11 divide n?
False
Suppose 5*p = 5*n + 235, -p - 2*n + 44 = -18. Suppose 2 = -z + p. Is z a multiple of 5?
True
Let l(o) = 91*o - 97. Is l(10) a multiple of 78?
False
Let k be (21/28)/((-2)/(-8)). Suppose n - k*q - 2 = 0, 0 = -4*q + 3*q - 1. Is n*(-35 + 4) + 0 a multiple of 6?
False
Suppose 0 = -0*o + 4*o + s - 15, -9 = -2*o - s. Suppose -o*f + 27 = w, 58 = 4*w - 0*f + 2*f. Does 17 divide (15 - w) + 3*41?
False
Suppose -109 = -3*t - 19. Let q = 53 - t. Suppose -2*u + p + q + 31 = 0, -u = -p - 29. Is u a multiple of 25?
True
Suppose -28*d = -24359 + 7503. Is 86 a factor of d?
True
Let v(g) be the first derivative of 21*g**2/2 + 9*g - 3. Does 36 divide v(3)?
True
Suppose -4844 = -5*x - 2*t, 6*t - 3871 = -4*x + 3*t. Is x/3 + (-6)/18 a multiple of 41?
False
Suppose 0 = -2*h + f - 25, h + 7 + 4 = -f. Is (0 + -413)*h/42 a multiple of 24?
False
Suppose -z = -s + 3*z + 19, 2*s + 3*z + 6 = 0. Suppose 0 = 5*v - 2*q - 497, -v - s*q + 214 = v. Suppose 0 = 2*f - v + 29. Is 15 a factor of f?
False
Let f be (-16)/20 - (-1074)/5. Suppose -4*i = 5*c - 335, -3*c + f = 2*i + 49. Does 18 divide i?
True
Let c be 