68 = 0. Is (3 + y)/(12/q) a multiple of 14?
True
Let g(y) = y**2 - 3*y. Let i be g(3). Suppose -4*m + i = 4, 2*o - 94 = 4*m. Does 9 divide o?
True
Does 26 divide 7/14 + 3 + 37080/16?
False
Is (15878/9)/1 - (-84)/(-378) a multiple of 18?
True
Let o(d) = -517*d + 45. Does 38 divide o(-3)?
True
Let f be (1/2)/(5/100). Let o = 22 - f. Let d = o - 5. Is d a multiple of 4?
False
Let u(b) be the third derivative of b**8/10080 + b**7/1008 + b**6/720 - b**5/15 - 3*b**2. Let j(s) be the third derivative of u(s). Does 13 divide j(-4)?
True
Let j(l) = -l**2 - 10*l + 5. Let v be j(-10). Suppose -z = v*z - 342. Is z a multiple of 19?
True
Does 15 divide (70/(-21) + 0)*-183?
False
Let d(y) be the second derivative of -y**4/12 - 2*y**3/3 - y**2/2 - 5*y. Let l be d(-3). Is 5 a factor of (l - 0)/((-16)/(-80))?
True
Does 42 divide ((-7)/(210/288))/((-2)/70)?
True
Suppose 0 = 8*d - 6*d + 18. Let y = d - -49. Let s = 61 - y. Is s a multiple of 10?
False
Suppose -4*l + 296 = -128. Suppose 50 = 4*u - l. Is u a multiple of 21?
False
Let i(q) = -515*q + 2 - 2*q**3 + q**3 + 3*q**3 + 4*q**2 + 509*q. Does 5 divide i(3)?
False
Suppose -17*o + 12444 = -1292. Is 11 a factor of o?
False
Let w(f) = 2*f**2 + 15*f - 10. Let q be w(-15). Let u = -119 + q. Is 8 a factor of u?
True
Suppose -h - 1852 + 2045 = 0. Is 27 a factor of h?
False
Suppose 5*z - 929 = 3*i + 1031, i = -5*z + 1960. Is 75 a factor of z?
False
Let k(w) be the second derivative of w**5/20 - 7*w**4/12 - 3*w**3/2 + 5*w**2 - 4*w. Let h be k(8). Suppose -h*d = -6*d + 112. Does 28 divide d?
True
Let j(q) = -15*q - 8 + 8*q + 3*q. Does 2 divide j(-5)?
True
Let x be 103/4 + 3/12 + 4. Suppose -4*p + x = -34. Does 16 divide p?
True
Suppose 0 = -3*m - 2*h + 6138, -m - 4*h + 1075 = -961. Is m a multiple of 32?
True
Let q(k) = k**3 + 9*k**2 - 6*k + 11. Let w be q(-8). Let j(h) = -h**2 + 7*h + 10. Let y be j(13). Let i = w + y. Is i a multiple of 27?
False
Suppose 10*i - 911 - 3739 = 0. Does 93 divide i?
True
Let r(v) = 253*v**2 + 4*v. Is 9 a factor of r(3)?
False
Let q(w) = 15*w - 43. Let l be q(5). Is (-658)/(-6) - (l/12 + -3) a multiple of 22?
True
Let y be 2/(-5)*10/2. Let t = 6 + y. Suppose 3*l = -2*w + 117, -5*w - 56 = 3*l - t*l. Does 12 divide l?
False
Let j(d) = d**3 - 65*d**2 + 4*d - 20. Is j(66) a multiple of 149?
False
Let y(n) = -8*n - 5. Let q be y(-1). Let u(c) = -c**2 + 1. Let o be u(4). Is (-6)/3 - (o + q) a multiple of 10?
True
Let v(j) = -j - 12. Let w be v(-12). Is 25 + ((-20)/(w - 4) - 4) a multiple of 11?
False
Suppose 16 = 6*y + 1480. Let u = y + 366. Does 25 divide u?
False
Suppose -77 = -6*t + 5*t + 2*d, -d + 396 = 5*t. Is 8 a factor of t?
False
Let k(h) be the third derivative of -h**5/60 + 11*h**4/24 - 3*h**3 + 19*h**2. Is 3 a factor of k(8)?
True
Suppose -3*t + 2958 = -4*a + 7*a, 4*t + a = 3947. Does 41 divide 5/(30/t) + (-4)/8?
True
Let c be (-291*(-4)/48)/(2/8). Let t = 41 + c. Is 11 a factor of t?
False
Let m(c) = -130*c - 115. Is m(-4) a multiple of 38?
False
Let a = 557 - 492. Is a a multiple of 15?
False
Suppose -2*v - 2*o - 20 = 4, v + 3*o = -22. Let h be 0 - (v + 3 + -1). Suppose 0 = -h*p + p + 64. Is p a multiple of 8?
True
Does 20 divide (-19677)/(-24) - (-3)/24?
True
Let s(i) = i + 12. Let h be s(-18). Let a be h - (-3)/(-6)*8. Let f = 35 + a. Is 25 a factor of f?
True
Let n be (-681)/8 + 9/72. Let h = -57 - n. Does 14 divide h?
True
Let i = -351 - -698. Does 10 divide i?
False
Suppose -m - 4*m = 3*t - 272, 0 = 3*t + m - 292. Does 11 divide t?
True
Suppose 0 = -11*j + 2248 + 2020. Is j a multiple of 20?
False
Suppose 3*k - 3*l + 6 = -9, 2*k = 5*l - 10. Let a = 8 + k. Suppose -6*j = -a*j - 210. Does 14 divide j?
True
Let s(f) = -8*f**2 + 20*f - 1. Let y be s(6). Let v = 30 - y. Does 27 divide v?
False
Suppose 0 = 15*z + 7 - 22. Does 14 divide (-147)/(6/(-4)*z)?
True
Suppose x + 9*g - 4*g = 198, 4*x - 822 = -5*g. Is x a multiple of 14?
False
Suppose 3*i = 4*s + 645 + 1797, -4*i - 5*s + 3225 = 0. Does 45 divide i?
True
Suppose 2*c + 249 = 1617. Is 36 a factor of c?
True
Let d = 6797 + -3800. Does 102 divide d?
False
Let i be 2 - (-93)/(-6)*-2. Is 11 a factor of i*(4 + (-6)/2)?
True
Let r be ((-465)/(-6))/(2/4). Let z = r + -90. Does 23 divide z?
False
Let k(g) = 8 + g + 59*g**2 - 8*g - 60*g**2. Is 6 a factor of k(-5)?
True
Suppose -8*f + 4566 = -1818. Is 14 a factor of f?
True
Let q be (-19071)/(-63) + (-2)/(-7). Suppose 0*c + c + 2*j - 77 = 0, -4*c + q = 3*j. Does 8 divide c?
False
Is 1/3*213 - 5 a multiple of 8?
False
Suppose 7*h + 180 = 3*h. Let z = h - -65. Does 20 divide z?
True
Let w = 12 - 11. Suppose -b - b - w = -5*i, 0 = i - 2*b - 5. Is 12 a factor of 7/(-7) - (-24 + i)?
True
Let v(x) = -2*x**3 - 19*x**2 - 9*x - 3. Let p be v(-9). Let f = 8 - p. Is f a multiple of 11?
True
Let s = 453 + -252. Is 26 a factor of s?
False
Suppose -4*g + 525 = -5*x, 2*x = -5*g - 0*x + 648. Suppose -2*b - 5*m = -g, 6*m - m = 3*b - 170. Is 6 a factor of b?
True
Does 34 divide -9 + 2093 - 20/2?
True
Let d be (-84)/(-20) - (-3)/(-15). Suppose 3*b = -3*f + 6*b + 309, 3*f = d*b + 312. Is 20 a factor of f?
True
Suppose 0 = 12*t - 7*t + 15. Let g be (0 - 0)*t/(-6). Suppose g = -s + 3*s - 190. Is 26 a factor of s?
False
Let k = -3 - 0. Let f = k - -5. Is (-206)/(-13) - f/(-13) a multiple of 16?
True
Suppose 1 + 17 = -6*p. Let n be (p/6)/((-2)/(-4)). Let g(k) = -47*k - 1. Is g(n) a multiple of 12?
False
Let z(k) = 14*k**3 - 12*k + 16. Is z(4) a multiple of 24?
True
Suppose -3*i + 32 = -7*i. Let w = 10 + i. Suppose j = 3*z - 266, -6*z = -w*z - 4*j - 368. Is 23 a factor of z?
False
Is 55 a factor of (3/2)/(10 + 8257/(-826))?
False
Let m = 348 + -196. Let r = m + -92. Is r a multiple of 12?
True
Let b = -226 + 268. Is 29 a factor of b?
False
Does 20 divide (-1 - 2)*50774/(-159)?
False
Let x be 12 + (4/(-8) - 1/2). Suppose 6*o = x*o - 85. Is o a multiple of 6?
False
Does 16 divide 27*((-1)/(-2))/(9/186)?
False
Let a(l) = 29*l**2 - 12*l - 92. Is a(-5) a multiple of 21?
True
Suppose -14 = a - 11. Does 9 divide (6/(-10) - a)*45/6?
True
Suppose 31*p = 34*p - 918. Suppose 10*u = p + 354. Is u a multiple of 28?
False
Let b(w) = 4*w**2 - 25*w + 22. Let y(u) = 5*u**2 - 25*u + 22. Let x(k) = -4*b(k) + 3*y(k). Is x(17) a multiple of 19?
True
Let g = 35 - -277. Does 26 divide g?
True
Suppose -9800 = -35*q + 7*q. Does 10 divide q?
True
Suppose -550 = -16*t + 11*t. Does 30 divide t?
False
Let v(w) = 60*w + 2. Let s(k) = 5*k + 31. Let j be s(-6). Is 8 a factor of v(j)?
False
Let f = -246 + 334. Is 11 a factor of f?
True
Suppose -3*u = -5*t + 95, -51 = -3*t + 3*u + 12. Let c(m) = 17*m + 0*m**3 + 4 + 48*m**2 + 0*m**3 - 65*m**2 - 1 + m**3. Is c(t) a multiple of 19?
True
Suppose -2*v + 3 = -3*v + 2*o, 0 = -5*v + 3*o + 20. Suppose -v - 5 = -4*z. Suppose z = -g + 21. Does 17 divide g?
False
Suppose 7*p - 12 = 2. Let f(r) = 57*r - 4. Is 36 a factor of f(p)?
False
Let v = 195 + -174. Suppose -4*l = l. Suppose v = i - l. Is 4 a factor of i?
False
Let r = 0 - -69. Let x = r + -37. Suppose 2*f - x - 4 = 0. Is 3 a factor of f?
True
Let z = -2 + 3. Let i be (-9 - -14)/(z/2). Suppose -2 = -2*y + i. Is y a multiple of 5?
False
Let i be (-19 - -17) + 1*5. Suppose -i*n = -n + 3*b - 379, 3*n + 5*b = 569. Is 18 a factor of n?
False
Let z(n) = 3*n**3 - 6*n**2 + 13*n + 6. Does 32 divide z(7)?
True
Suppose 3*g + 110 - 1286 = 0. Is 5 a factor of g?
False
Let v = 0 + 30. Suppose -5*g + v = -0*g. Is 2 a factor of g?
True
Let m(i) = -29*i + 266. Is m(-11) a multiple of 13?
True
Let a(p) = 19*p + 1175. Is 20 a factor of a(0)?
False
Let f = 6 - 2. Suppose v + v = 2*s - 78, -5*s + 197 = -f*v. Let g = s - 10. Is g a multiple of 11?
False
Does 38 divide 8/28 + (-58760)/(-91)?
True
Suppose 2*x = 24 - 16. Let v(c) = -9*c**3 + c + 8*c**3 + 1 + 3*c**2 - x*c**2. Is 5 a factor of v(-3)?
False
Suppose 0 = -p + 2*i + 17, p - i - 19 = 2*i. Does 15 divide 388/p + (-4)/(-26)?
True
Let f(u) = 4*u**2. Let m = -8 + 7. Let x be f(m). Suppose -2*z + 0 = -x, 5*z - 25 = -p. Does 15 divide p?
True
Let f = -178 - -316. Is 12 a factor of f?
False
Suppose 4*z = -5 - 35. Let g be 5229/35 - (-4)/z. Suppose 3*u - g = -5*m, -4*u + 6*m - 3*m + 160 = 0. Is u a multiple of 15?
False
Suppose 0 = p - 2*b - 362 - 11, -p + 370 = b. Is p a multiple of 7?
True
Let f(d) = -112*d**3 - 3*d**2 