 = -5*b. Let z = w + x. Is 4 a factor of z?
False
Let p be 14/2*(-2 - 9). Let f = p + 85. Suppose -321 + 97 = -f*b. Does 3 divide b?
False
Suppose 84*v - 577065 = 11*v. Does 17 divide v?
True
Let g(y) = 8*y**2 + y - 4. Let t be g(-4). Let h = 150 - t. Does 3 divide h?
True
Let r = -5045 - -6278. Is r a multiple of 6?
False
Let s(w) = 5*w**2 - 5. Let g be s(2). Suppose -7*i + 6 = -g. Suppose t = 40 + i. Is 3 a factor of t?
False
Suppose 22*d = 17*d - 5. Let x be (-1)/d + 4/(-4). Suppose 2*u + x = 192. Is 32 a factor of u?
True
Let o(j) = 9*j**2 + 23*j - 561. Is 9 a factor of o(15)?
True
Let f = -21824 + 30248. Is f a multiple of 54?
True
Suppose z = -3*z + 116. Let y(j) = -23*j**3 - 3*j**2 + z*j**3 - 2*j + j + 1. Does 18 divide y(3)?
False
Suppose 1988 - 184 = 2*y. Suppose 0 = 3*u - 5*b + 175 - y, 2*u + 4*b - 448 = 0. Is 27 a factor of u?
False
Suppose 0 = -r - 5*r + 126. Suppose 0 = 4*b - 5*c + 21, -r = -3*b + 2*b - 4*c. Is 5 a factor of (b - (-3)/3) + 33?
True
Let m(b) be the first derivative of b**3/3 - 29*b**2/2 - 146*b + 71. Does 3 divide m(37)?
True
Suppose -4*i = 5*s - 75439, 0 = s - 86*i + 82*i - 15107. Does 15 divide s?
False
Let u = 19050 + -6542. Does 106 divide u?
True
Let v be 6/5*10/3. Suppose 9*u + 48 - 66 = 0. Suppose -u*h - 5*w + 209 - 41 = 0, 3*h + v*w - 252 = 0. Does 14 divide h?
True
Let i(n) = -100*n - 41. Let u be i(-4). Suppose -4*s = x - u, 5*x - 18*s - 1879 = -17*s. Does 15 divide x?
True
Is ((-5780)/(-25))/(-1*((-8)/580)/1) a multiple of 14?
False
Let t(r) = 836*r**3 - 27*r**2 + 40*r - 7. Is 32 a factor of t(3)?
False
Let f be (-8)/((-6)/4 - -1). Suppose -f*s = -8*s - 4800. Is s a multiple of 63?
False
Suppose 4*h - 130 = -2*v, -3*h - 355 + 62 = -4*v. Is v a multiple of 18?
False
Suppose 40568 = 2*j + j + 5*n, -8*n = -5*j + 67548. Does 22 divide j?
False
Suppose 0 = -19*f - 4 + 4. Suppose f = -13*n - 75 + 140. Is n a multiple of 2?
False
Suppose -104*u + 51342 + 120050 = 0. Is u a multiple of 3?
False
Let y(j) be the second derivative of -j**4/12 - 5*j**3/2 - 2*j**2 - j. Suppose 0 = 15*x + 307 - 172. Does 10 divide y(x)?
True
Let t(a) = 4*a + 35. Let x be t(-8). Let b be 57*(x + -6)/(-9). Suppose 0 = -3*u - 0*h + 5*h + b, 2*h = 2. Does 8 divide u?
True
Suppose 3*z + 4*k + 283 = 0, -2*k + 2 + 168 = -2*z. Let c = 159 + z. Does 8 divide c?
False
Is 45 a factor of (40476/(-24))/(11/308*-7)?
False
Suppose 0 = b - 3*u - 47, 0 = -2*b - 2*b + 3*u + 161. Is (b/19)/((-4)/(-630)) a multiple of 45?
True
Let y(t) = -2*t**3 + 5*t**2 + 6*t + 7. Let z(w) = -7*w - 39. Let s = 32 - 37. Let j be z(s). Does 8 divide y(j)?
False
Let k(f) = 12*f - 15. Let d(z) = -19*z - 13. Let m be d(-3). Let t = m - 36. Is k(t) a multiple of 9?
True
Let d(l) = l**2 + 89*l - 260. Is d(-100) a multiple of 56?
True
Suppose 0 = -2*i + 173 + 23. Let s = i - 94. Suppose -555 = s*n - 6*n - 3*d, 3*n + 2*d = 830. Is n a multiple of 46?
True
Is 33 a factor of (-8)/6*(-3 + -211 - -16)?
True
Suppose 0 = -25*j + 35595 - 8745. Let c = j + -725. Does 12 divide c?
False
Let j = -109 + 114. Let o(w) = w**2 + 6*w + 4. Let g be o(j). Suppose c + 11 = g. Is c a multiple of 12?
True
Suppose -x + 12756 = -10355 + 1897. Is 188 a factor of x?
False
Let w = 235 - 233. Suppose -5*b + 1586 = -w*j - 681, 2*b - 2*j - 908 = 0. Is 8 a factor of b?
False
Let q = -718 - -8414. Is 148 a factor of q?
True
Suppose -2*t = -12, -50*k + 53*k - 28206 = -5*t. Is 16 a factor of k?
True
Does 23 divide (-784)/(-3 + (-1955)/(-667))?
False
Let w(t) = 2*t**3 - 12*t**2 + 176*t + 18. Is w(9) a multiple of 58?
True
Let r(x) = 7*x**2 + 115*x + 6264. Is r(-58) a multiple of 19?
True
Let n be 18*((-80)/(-36))/10. Is 5 a factor of 3/n + 110649/308?
True
Let j(a) = 889*a - 3782. Is 2 a factor of j(9)?
False
Suppose -7*a + 85 = 10*a. Suppose -3*o = 2*i - 29, -a*o + 60 = 3*i + 2*i. Suppose -28 = i*u - 8*u. Is u a multiple of 4?
True
Let i(g) = -25*g**3 - 5*g**2 - 3*g + 4. Suppose 3*s - 2*s + 2 = 0. Let k be i(s). Let v = k + -126. Is 34 a factor of v?
False
Suppose 9*p = -401 + 23. Let v = -38 - p. Suppose 402 - 150 = 3*m - 4*u, -m - v*u = -100. Is 44 a factor of m?
True
Let a(d) be the third derivative of 13/6*d**3 - 37*d**2 + 0*d + 121/24*d**4 + 0. Is a(2) a multiple of 25?
False
Let v = -47 - -528. Suppose -2*z = -15*z + v. Suppose -6*b + z = -5*b. Does 3 divide b?
False
Suppose 87 = 19*a + 30. Let i(z) = -z**2 + 5*z - 2. Let y be i(4). Suppose 0 = 3*s + 12, -3*w - y*s + 142 = a*s. Is 9 a factor of w?
True
Suppose -5129 = 10*x + 2761. Let t = x - -1908. Is t a multiple of 19?
False
Let u(i) = -8*i + 40. Let x be u(11). Let b = x + 51. Is ((-13)/b)/(-1 + 28/30) a multiple of 7?
False
Suppose 7*h - h = -3186. Let s = -207 - h. Does 6 divide s?
True
Suppose -d - 2*s = -1, -d - 10*s + 5*s = 2. Suppose t + f - 142 = -2*f, 5*t - 656 = d*f. Is 24 a factor of t?
False
Let n(z) = -z**3 - 9*z**2 + 3. Let y(r) = r**2 + 6*r - 1. Let k(c) = -c**3 + 4*c**2 - 3*c - 3. Let p be k(3). Let q be y(p). Is 14 a factor of n(q)?
False
Let t(y) = y + 29. Let d = -21 + 32. Suppose 3*s - 2*s + 3*q = 10, 0 = 2*s - 3*q - d. Is t(s) a multiple of 18?
True
Let c(d) = d**2 + 18*d - 4579. Is 2 a factor of c(85)?
True
Let v = 82 - 62. Suppose a - 24 = -v. Suppose 26 = 4*q - q + 2*r, 0 = -2*q + a*r + 12. Does 6 divide q?
False
Suppose -126*o + 360255 = -119701 - 34250. Is 11 a factor of o?
True
Let m be (74/(-2))/((-1 + -2)/3). Suppose 0 = -m*i + 27*i + 1020. Does 4 divide i?
False
Let c be 1*(184 - 7) + -4. Suppose -13*n + c + 360 = 0. Is n a multiple of 7?
False
Suppose 2*p = 4, 3616 = 10*k - 7*k + 2*p. Is 4 a factor of k?
True
Let j be 40/(-13 - -5) + 8. Suppose -15 = j*z, -5*b - 3*z - 1971 = -7*b. Is b a multiple of 10?
False
Does 33 divide 2578/(16/2816*22)?
False
Does 107 divide (6741/35)/((-36)/(-60))?
True
Let g = 931 + -590. Suppose 339*w = g*w - 710. Is 4 a factor of w?
False
Suppose -4345 = -10*y + 15*y. Is 18 a factor of y/(-4) - (-25)/(-20)?
True
Suppose 80*d - 86*d = -30. Suppose 3*l = -10*j + 15*j - 2317, 5*j + d*l - 2325 = 0. Is 58 a factor of j?
True
Let j(o) = 8*o**2 - 6*o + 7. Let t be 0 - 3/21 - (-195)/91. Does 11 divide j(t)?
False
Let h be (-55 - -1)/2 - (1 + 1). Let y(r) = -38*r - 43. Does 36 divide y(h)?
False
Suppose 2*h - 13 = -5, 4*o - 49196 = -6*h. Does 187 divide o?
False
Let x(c) = -c - 2*c**3 + c**3 - 6*c**2 + 34 - 32 + 0*c**3. Let g be x(-6). Suppose -g*v + 209 = -183. Does 10 divide v?
False
Is 3 a factor of (((-2)/4)/(98/21392))/((-42)/147)?
False
Suppose 3*j + 1267 = -137. Let b = j - -48. Is 5 a factor of b/(-8)*48/28?
True
Suppose 1028*a - 1166*a = -3211260. Is 25 a factor of a?
False
Suppose -5*a + 3*z = -77, -6*z = 5*a - z - 45. Suppose -3*g - 4*x = a, g - 3*g - x - 2 = 0. Does 31 divide 283/g + (-68)/17?
True
Let u be (5 - 6/1)*(-107 + 0). Let z = 46 + -97. Let w = u + z. Does 30 divide w?
False
Let g be (-12)/(-15)*(-10)/(-4) + 2. Suppose 3*c - 460 = -g*l - c, -l + 3*c + 123 = 0. Suppose -l = -2*s - 3*o + 131, 272 = 2*s - 3*o. Is 9 a factor of s?
False
Suppose 5*j = -6*m + 3*m + 6358, 0 = -5*j + 10. Suppose -m = -4*u - 132. Is 62 a factor of u?
True
Suppose 0 = -11*t + 130 - 97. Suppose -t*f + 630 = 18*f. Is f a multiple of 2?
True
Let r(l) = 2*l**3 - 35*l**2 - 32*l - 24. Let x be r(19). Let c = -356 + x. Is c a multiple of 9?
False
Let v(i) be the first derivative of 7*i**6/24 + i**5/40 - i**4/8 + 14*i**3/3 + 21. Let o(q) be the third derivative of v(q). Is o(1) a multiple of 15?
True
Suppose -4*a - 2448 = -h, 18*h + 2450 = 19*h - 2*a. Does 55 divide h?
False
Suppose 0 = 31*m + 61 + 63. Let t(p) = p**3 + 14*p**2 + 14*p - 2. Let b be t(-11). Is m + (-20)/(-4) + b a multiple of 26?
True
Let u = -81 - -89. Let v(f) = 3 + 9*f**2 - 2*f + 2 - 4*f - u. Is v(-4) a multiple of 11?
True
Suppose -3*c - 2*u - 11 + 21 = 0, 2*c - 28 = 4*u. Suppose -c*t + 1164 = 108. Is 44 a factor of t?
True
Let d be (4 - 3)*(-60 + 1). Let b = 203 + d. Suppose b = 6*f - 4*f. Is f a multiple of 24?
True
Let v(n) = 5*n - 13 - 5*n - 3*n. Suppose 0 = -5*h + 141 - 181. Does 11 divide v(h)?
True
Let t(z) = -9*z + 108. Let j be t(10). Does 4 divide 22/6*(0 + j/2)?
False
Let j(r) = 252*r**2 - 12*r + 32. Does 110 divide j(-8)?
False
Is 1/(1 - -1) + (-16)/32 - -14620 a multiple of 215?
True
Let r(a) be the first derivative of -3*a**4/4