pose 2*b + 3*o - 10 = 0, -10 + 30 = 4*b + 3*o. Let i be c(b). Let s = -26 + i. Does 11 divide s?
False
Let b be (7/(-3))/((-2)/60). Suppose 4*z - b + 30 = -4*t, -z = 4*t - 16. Is 18 a factor of (16/z)/((-2)/(-54))?
True
Let s(d) = d**3 + 100*d**2 + 29*d - 2*d**3 - 80*d**2 - 6. Let o be s(21). Suppose 0 = -0*p + 6*p - o. Does 10 divide p?
False
Let r = -30 - -32. Suppose r*a - 2*y - 56 = -7*y, -4*y = 8. Does 11 divide a?
True
Suppose -539*k + 534*k + 400 = 0. Does 2 divide k?
True
Let c = -1 - -31. Is 15 a factor of (-1 + c)/((-13)/(-65))?
False
Let o = 21 - 7. Let b = -9 + o. Suppose b*h - 94 = 131. Is h a multiple of 28?
False
Let k be (-4)/14 - (-12)/42. Let n be -1*(-1)/(-1) - -241. Suppose 0*a - 5*a + n = k. Is a a multiple of 12?
True
Let j(c) = 18*c - 33. Does 51 divide j(33)?
True
Let r be ((-24)/10)/((-6)/380). Let h = r - 89. Suppose -25 = -4*t + h. Does 10 divide t?
False
Suppose 5*o - a - 8 = 2*o, -4*a - 14 = -3*o. Suppose o*m - 12 = 5*m. Does 14 divide (-49)/m*(9 + -5)?
False
Suppose 0 = 176*o - 169*o - 5978. Is o a multiple of 48?
False
Let m be 20/5*482/8. Suppose 3*b - m = -73. Does 8 divide b?
True
Let a(b) = -33*b - 3. Suppose 0*d + 24 = -4*y + 4*d, -5*y = 5*d. Is 32 a factor of a(y)?
True
Suppose k - h = 338, -k + 0*h = 5*h - 368. Does 10 divide k?
False
Let z(w) = -1. Let a(y) = y**3 + 9*y**2 - 25*y + 17. Let f(u) = a(u) + 5*z(u). Does 15 divide f(-11)?
True
Suppose -5*g + 223 = 2*u, -4*g - 4*u + 176 = -3*u. Does 8 divide g?
False
Suppose -5*u + 4661 = 4*p, -5*u + 467 = p - 687. Is 13 a factor of p?
False
Let t(i) = i**3 - 7*i**2 + 5*i + 6. Let g be t(6). Suppose g = 2*j - 5*j + 72. Is j a multiple of 4?
True
Suppose -5*c - c - 12 = 0. Let z be (-121)/(c/(-2) + -2). Let y = -46 + z. Does 25 divide y?
True
Let x = 57 + -24. Is 16 a factor of 6/x + 2416/22?
False
Suppose 3*g - 91 = -5*r, 5*g + r = -0*r + 159. Suppose -8*a = -10*a + g. Does 9 divide a?
False
Let s = 170 + -74. Does 14 divide s?
False
Is (-184536)/231*(-14)/4 a multiple of 24?
False
Does 12 divide (11 - 43)/(6/(-198))?
True
Let w(p) = -13*p + 4. Let a be -2 + (5 - 2 - 4). Is w(a) a multiple of 32?
False
Suppose 3*z = 7*z + 64. Is 12 a factor of (94/8)/(z/(-64))?
False
Let f be ((-1)/2)/(6/540). Is (f/20)/(1/(-20)) a multiple of 6?
False
Let c(t) = -9*t - 21. Suppose 0 = a + 2*a + 15. Let n(b) = 2*b + 3. Let u be n(a). Is 14 a factor of c(u)?
True
Let u(t) = 43*t**2 + 29*t - 111. Is u(4) a multiple of 11?
True
Suppose c - 4*b - 196 = 0, c - 2*b = 254 - 68. Let g = 36 + c. Suppose 4*z = g - 52. Does 8 divide z?
True
Let v(x) = x. Let p(f) = -6. Let i(y) = -p(y) + v(y). Let d be i(6). Let k(r) = -r + 25. Is k(d) a multiple of 3?
False
Let z(d) = 4*d - 8. Let g be z(5). Let y(j) = -3*j**2 + 16*j. Let f(n) = 7*n**2 - 32*n. Let k(o) = 2*f(o) + 5*y(o). Is 16 a factor of k(g)?
True
Does 46 divide 6029 + (-23)/(322/(-56))?
False
Let t be (-12)/(-54) + 32/18. Let m = -124 + 222. Suppose -m = -2*b - t*r - 3*r, 4*r - 211 = -5*b. Does 7 divide b?
False
Suppose -g - 4 = -6. Suppose x - 8 = 5*v, g*x + 3*x - 40 = 4*v. Suppose -3*r - 37 = -5*l, -5*l - x*r = -3*r - 5. Is 5 a factor of l?
True
Is (-2)/42*-5802 + 8/(-28) a multiple of 12?
True
Let k be (-21)/14*10/(-3). Suppose 2*x + 27 = f, -f + 2*x + 17 = k*x. Does 4 divide f?
False
Let s be (2/(-8))/((-1)/8). Suppose 5*n = s*n + 162. Suppose 10*y - n = 8*y. Does 27 divide y?
True
Let t(h) = h**2 + 29*h - 404. Is 8 a factor of t(-44)?
True
Suppose -4*r - 399 = -6*r + 3*z, -3*r = -3*z - 606. Let c = 298 - r. Is 15 a factor of c?
False
Let f be -2 + 4 + -3 + 2. Let p be (-4 - -6)*2/f. Suppose -5*i - 5*a + 230 = -0*i, -p*a = 2*i - 82. Does 17 divide i?
True
Let u(y) = -y**3 - 10*y**2 - 2*y - 15. Let q be u(-10). Suppose -2*n - v - 3*v + 56 = 0, -5*n - q*v = -150. Is 8 a factor of n?
True
Is ((-3213)/18)/(1/(-4)) a multiple of 43?
False
Suppose -4*v = v - 25. Suppose -5*q + v*j - 8 = 7, -15 = 5*q + j. Does 6 divide 1/(q/(-144)*2)?
True
Let f(x) = x**3 + 2*x**2 - 3*x + 5. Let r be 4*-1 + -9 + 10. Is f(r) even?
False
Let w = 153 + -100. Let x = -1 - w. Is 10 a factor of (x/21)/(1/(-7))?
False
Let y(d) = -22*d**3 + d**2 + d + 1. Suppose 0*r - r - 2*n = 11, 27 = -2*r - 5*n. Is 7 a factor of y(r)?
False
Suppose 4*v = 5*q + 43, -3*v + q = -7*v + 25. Suppose -v*c - 15 = -10*c. Suppose -3*d + 33 + 177 = 4*x, -d + 81 = c*x. Is d a multiple of 24?
False
Suppose -a + 3*x = -51, -4*a = x + x - 274. Is a a multiple of 6?
True
Let o be (-5)/(15/(-12)) + -1. Suppose 15 = -5*b - o*k + 61, -4*k - 56 = -4*b. Is 3 a factor of b?
False
Suppose -3*q = 5*m - 5687, 0 = -0*m + 2*m - 5*q - 2250. Is m a multiple of 13?
False
Suppose 60 = -4*s - 76. Let j = 21 - s. Is 19 a factor of j?
False
Let t be 6/12 + 6/4. Suppose -4*n = t - 126. Does 12 divide n?
False
Suppose 1850 = -75*x + 76*x. Does 134 divide x?
False
Suppose -2*c + 5*a = 2*a - 56, -4*c + 112 = 5*a. Does 2 divide c?
True
Let y(f) = 4*f**3 - f**2. Let l be y(1). Suppose -4*j = v - 252, l*j - v = -0 + 189. Does 6 divide j?
False
Is 5 a factor of 52 - (3 + (0 - 8))?
False
Suppose 0 = -4*c + 506 + 1542. Is c a multiple of 64?
True
Suppose -4*m + 74 = -3*d, -3*d + 56 = -5*d - 4*m. Let x = d + 12. Let j = x - -32. Is 7 a factor of j?
False
Let a be (-1 + -2)*1/(9/(-21)). Suppose 116 = a*x - 283. Is x a multiple of 28?
False
Let t = 50 + -23. Suppose 3*j = -5*r - 89, 8 = -5*j - 7. Let i = r + t. Is i a multiple of 11?
True
Suppose 3*b - 953 = -4*g, -5*b = 3*g - 267 - 1303. Suppose 2*s = s - 2, -5*z = -3*s - b. Suppose -z + 6 = -i. Is 25 a factor of i?
False
Let x = -420 - -4564. Is x a multiple of 28?
True
Suppose 29*w - 13957 - 9533 = 0. Is 16 a factor of w?
False
Let x = -44 - -170. Is 14 a factor of x?
True
Suppose -2*t + 0*t + 206 = 0. Suppose t = 2*b - b. Is 5 a factor of b?
False
Is 17 a factor of ((-1548)/(-48))/(4 + 1626/(-408))?
True
Let a(z) = -5*z**3 - 4*z**2 - 1. Let o be a(-3). Suppose -2*f = 12 - o. Does 8 divide f?
False
Let p(g) = -9*g + 4. Let t be p(-9). Suppose -2*f - t = -5*k, 2*f = 4*f + 10. Let x = 5 + k. Does 10 divide x?
True
Is -3 - (-1)/((-2)/(-870)) a multiple of 48?
True
Let j = -515 + 632. Is j a multiple of 13?
True
Suppose -8*n - v = -10*n + 362, -5*n + v + 908 = 0. Is n a multiple of 56?
False
Let r(b) = -b**2 + b. Let n(s) = 2*s**2 - s - 9. Let d(c) = -n(c) - 3*r(c). Suppose 0 = q - 3*j - 16, -q - 5*j - 14 = -6. Is d(q) a multiple of 11?
True
Let d = 39 - 58. Let g(t) = t**2 + 15*t - 8. Is g(d) a multiple of 19?
False
Let d = -160 - -193. Suppose -d = -9*n + 183. Does 8 divide n?
True
Let c be 0/(4/(-1) + -3 + 3). Suppose -4*v + c*v + 288 = 0. Does 24 divide v?
True
Let d(b) = b**3 - 22*b**2 - b - 24. Let s be d(22). Let l = -34 - s. Is l a multiple of 6?
True
Let p = -9 - -17. Let z be 12/p*(-8)/(-6). Suppose 2*u - 156 = -z*u. Does 13 divide u?
True
Suppose s = 4*y + y - 22, 3*s = 4*y - 11. Suppose -x + 4*f + 63 = 0, s*x - 203 = -0*x - 2*f. Suppose -x - 35 = -w. Is 34 a factor of w?
True
Suppose 36*l - 32*l = 8. Let r = 76 + l. Is 5 a factor of r?
False
Let g = 428 + -387. Does 2 divide g?
False
Suppose 5*t - 26 = y + 88, 0 = -4*y - t - 456. Let k = 286 + y. Is 43 a factor of k?
True
Suppose k = 2 - 0. Is 48 + -2 + 0 + 0/k a multiple of 14?
False
Let g be 28/10 + 2/10. Suppose g*f + 321 = -4*p + p, -2*p - 112 = f. Let i = -72 - f. Does 15 divide i?
True
Suppose 5*a + 4*q = -361, -2*a - 3*a + 4*q - 369 = 0. Let z be a/(-3) - (-8)/(-6). Suppose -4*n - z = -5*n. Is n a multiple of 11?
False
Is (133820/(-32))/(-5) + (-60)/160 a multiple of 44?
True
Suppose 3*l = 3 + 45. Suppose 0*k = 4*k - l. Suppose 0 = -4*x, 2*u - 4*u - k*x + 38 = 0. Is 9 a factor of u?
False
Is 43 a factor of (-112)/140*((-2901)/6 - -1)?
False
Suppose 0 = -7*o - 9 - 5. Let z(c) = -c + 2. Let i be z(o). Suppose -425 = -y - i*y. Is 17 a factor of y?
True
Suppose 90*t = 2*q + 92*t - 5170, t = -4*q + 10334. Is 37 a factor of q?
False
Suppose -5*h + 45*z = 40*z - 3340, 0 = -4*h - 2*z + 2648. Does 4 divide h?
True
Let z = 129 + -107. Is 22 a factor of z?
True
Suppose -4*l + 940 = 8*u - 7*u, -3*u - 3*l = -2793. Does 36 divide u?
False
Let x(g) be the third derivative of g**6/36 + g**5/120 - g**4/24 + 7*g**3/6 + 5*g**2. Let u(v) be the first derivative of x(v). Is u(1) a multiple of 10?
True
Let b = 1122 - 561