vide b?
False
Let z = 49 + -34. Let d = -4536 + 4761. Suppose -3*w + d = 5*u - 2*u, -3*w = z. Is 20 a factor of u?
True
Let y = 13 + -13. Suppose -3*z + 9 = y, 0 = 2*s + 3*s + z - 33. Suppose -2*g = s*w - 7*w + 32, 56 = 3*w + 2*g. Does 11 divide w?
True
Let z(o) = 127*o**2 + o. Suppose 11*h - 3 = 2*v + 8*h, 4*v + 2*h - 18 = 0. Suppose -5*l = -3*f + 17, -3*f = -0*l - v*l - 15. Is z(l) a multiple of 16?
False
Let p = -14934 - -21644. Is 62 a factor of p?
False
Let w = -227 - -231. Is (w/6*-1)/((-70)/315) a multiple of 3?
True
Let p = 512 + -1114. Let v = 912 + p. Does 10 divide v?
True
Let m(d) = -13*d**3 - 3*d**2 + 9*d - 2. Let i(h) = h**3 + h**2 - h. Let y(g) = -6*i(g) - m(g). Is y(4) a multiple of 39?
True
Suppose 12*l - 2979 = 69. Does 5 divide l?
False
Let r(k) = 51*k - 1. Let q be r(1). Let c = 65 - q. Suppose 0 = t - 1 - c. Is t even?
True
Let c(z) = -17*z**3 + 5*z**2 + 5*z - 10. Let i(k) = -6*k**3 + 2*k**2 + 2*k - 3. Let x(t) = 3*c(t) - 8*i(t). Does 23 divide x(-3)?
True
Suppose 0 = -23*o - 34*o + 204617 + 156877. Is o a multiple of 2?
True
Let k = -3329 - -7791. Does 10 divide k?
False
Let y = 139 + 303. Suppose 2*j - y = -3*b + 4*j, -b - 3*j + 162 = 0. Suppose 12*f + b = 702. Is f a multiple of 23?
True
Suppose 3*d + 3 = -3*n, -2*d + 2*n = -3*d. Let m(f) = -f**3 - 5*f**2 - 2*f + 2. Let c be m(d). Is c/(3 - 68/20) a multiple of 5?
True
Let k be (-4612)/(-18) - 24/108. Suppose -4*v + 0*v + k = 0. Suppose -3*c + 2*c = -v. Does 16 divide c?
True
Let m = 162 + -159. Suppose y + n - 124 - 298 = 0, 0 = m*y - 5*n - 1234. Is y a multiple of 11?
True
Let h(r) = -371*r**3 + 3*r**2 - 57*r - 189. Does 3 divide h(-3)?
True
Suppose 2*r - 2*v + 732 = 3*r, 3*r = 5*v + 2174. Suppose 637 = 3*a - r. Is a a multiple of 34?
False
Suppose 63 = -a + 148. Suppose -l + 3*l + 120 = 0. Let c = l + a. Is c a multiple of 9?
False
Suppose -3*x + 49484 = 4*j - 39459, 111177 = 5*j + 4*x. Does 30 divide j?
False
Let p = 6593 - 4642. Suppose -2*l - 2 = 0, 5*y + l - 1678 = p. Does 23 divide y?
False
Let r(g) = -g**3 - 13*g**2 - 19*g + 37. Let m be r(-13). Let h = m - 188. Is h a multiple of 12?
True
Let c = 1200 - 1871. Let m = c + 996. Does 25 divide m?
True
Suppose -150 = 2*i + 10. Suppose -4*r + 284 = -4*o, -5*o + 2*r - 142 - 222 = 0. Let t = o - i. Does 2 divide t?
True
Suppose d + 3*o = -31 - 5, -d = -4*o + 43. Let h be 6/d - (-76)/(-13). Let v = h - -124. Does 22 divide v?
False
Let b = 126805 + -89369. Is 26 a factor of b?
False
Let o = -84 - -84. Let m be (o - 4/(-3))*(-63)/42. Is 2 a factor of 2/(-6)*(-15 + (m - -8))?
False
Suppose -5*d - 3*i + 93075 = 0, -3*d + 55811 = -19*i + 14*i. Is d a multiple of 22?
True
Let o be (-30 + -4)*10/8*-2. Let i = o + 128. Is i a multiple of 10?
False
Let p = 85271 - 54395. Is 11 a factor of p?
False
Let v = -1353 + 7783. Is v a multiple of 66?
False
Let b(p) = -p - 9. Let i be b(-9). Let w be 0 + 6/(-63) + ((-67926)/(-126) - 1). Suppose 5*r - 87 - w = i. Is 9 a factor of r?
False
Let n(j) = -8*j**2 + 15*j + 57. Let u be n(7). Let w = 415 - u. Is w a multiple of 43?
True
Let k(c) = -c**3 + 110*c**2 - 86*c + 277. Does 30 divide k(109)?
False
Is 3/21*2264612/124 a multiple of 9?
False
Let o = 429 - 423. Is 10 a factor of 9831/18 - o/36 - 2?
False
Suppose -9*f - 8 = 127. Let b(t) = -t**2 - 36*t - 13. Does 17 divide b(f)?
False
Let w be -3 + (4/2 - -6). Suppose -79*l = t - 81*l - 935, 4707 = w*t - 2*l. Does 41 divide t?
True
Suppose 4*a + 385 - 14 = j, 5*a - 1463 = -4*j. Suppose -381 = -2*y + j. Does 25 divide y?
False
Let i(o) be the third derivative of -25*o**4/24 - 5*o**3/6 + 7*o**2 + 4*o. Does 15 divide i(-5)?
True
Let m be (-12)/18*(1737/(-2) + 3). Let n = -173 + m. Is n a multiple of 39?
False
Suppose -r - 215 = -220. Suppose 3*w - r*l - 770 = 0, -2*w + 5*l = -7*w + 1350. Does 23 divide w?
False
Suppose 12*x - 33360 = -35*x + 7*x. Is x a multiple of 30?
False
Let r = -157 - -159. Suppose -4*w - w = -2*q + 118, -77 = -q - r*w. Does 3 divide q?
True
Let z be ((-12)/7)/(4*4/112). Is (z/24)/((-1)/350) a multiple of 5?
True
Suppose 30*q = 2 - 2. Is (-28 + q + -2)*(-264)/9 a multiple of 44?
True
Let u(y) = 3*y**3 + 4*y**2 - y + 1703. Is 13 a factor of u(0)?
True
Suppose -68*m + 185733 = -65391. Is 8 a factor of m?
False
Let t be 6 - 5 - -54945 - -2. Is 10 a factor of t/323 - (-2)/(-17)?
True
Is (-83990)/5*(54/297 + (-30)/44) a multiple of 37?
True
Let p be 17*(2 + -8)/(-6). Suppose -p*f = 609 - 2819. Does 14 divide f?
False
Let h = 40364 + -14255. Does 60 divide h?
False
Let d(u) = 112*u**2 - 346*u - 1. Is 35 a factor of d(9)?
False
Suppose -279*i + 285*i - 216 = 0. Let z(x) = 15*x + 36. Is z(i) a multiple of 9?
True
Let b(k) = -14*k + 20. Let f be b(-5). Suppose -f = -18*u + 17*u. Is u a multiple of 5?
True
Let n(w) = 64*w**3 - 2*w**2 + w + 1. Let h be 22 - 20 - 1*-1 - 1. Is 18 a factor of n(h)?
False
Suppose 73 = -5*d - 2*t, -5*d - 4*t - 55 = 16. Does 18 divide 5*2/d - (-5728)/6?
True
Suppose 102*f - 491872 = -178222. Is f a multiple of 41?
True
Let v(d) = d**2 + 27*d + 63. Suppose -17*y + 1682 - 492 = 0. Suppose 0 = j - 4*m + 34, 5*j + y = -5*m - 50. Is v(j) a multiple of 10?
False
Let w = 42 - 42. Let o(k) = -k**3 - k**2 + k + 2. Let p be o(w). Let b(j) = 25*j - 4. Does 4 divide b(p)?
False
Suppose 26 = 3*y - 55. Suppose y*z = 32*z. Is 35 a factor of z + 2 - 2 - (2 + -72)?
True
Let o(r) = 5*r - 159. Let g be o(7). Let p = -83 - g. Does 5 divide p?
False
Suppose 0 = 373*z - 399*z + 731640. Is 210 a factor of z?
True
Let g be 15*-2 - (14/(-7) + 2). Is (-49)/3*g/7 a multiple of 26?
False
Suppose 3*d + 22 = 4*y, -d - 16 = 5*y - 53. Let n(v) = 4*v**3 - 11*v**2 + 15*v + 17. Does 13 divide n(y)?
False
Let c(v) = -12*v. Let u be c(-1). Let g = 912 - 903. Let s = g + u. Is s a multiple of 3?
True
Is ((-3)/3 - 25)/(19/(-1026)) a multiple of 13?
True
Let p(l) = 2*l**2 - 6*l + 5. Let c be p(2). Is 6 a factor of c/(-1) - 522/(-29)?
False
Let n(v) be the second derivative of -8*v**3/3 - 67*v**2/2 - 25*v. Is 6 a factor of n(-18)?
False
Let r be (112/(-6))/(-4)*-3. Suppose -72 = -10*j - 62. Does 6 divide ((-63)/r)/(j/8)?
True
Is 3 a factor of (22 + 2)/((-17)/(-51))?
True
Let y(t) = t**3 + 3*t**2 + 5*t - 6. Let o(h) = -h. Let a(b) = -5*o(b) - y(b). Let u be a(-4). Let l(w) = -w**3 + 21*w**2 + 23*w + 43. Is l(u) a multiple of 26?
False
Suppose 15*t + 2*t + 510 = 0. Does 12 divide (-31188)/t + 1*3/(-5)?
False
Is 78 a factor of (-1 - ((-4)/(-10) + (-19)/10))*27416?
False
Suppose 36*y - 35*y - 280 = 0. Let w = -150 + y. Suppose 4*l + l = w. Does 10 divide l?
False
Suppose -3*v + 15 = 0, -3*k + 47*v + 12513 = 50*v. Does 35 divide k?
False
Suppose -5*f = -5*h - 15, -2 + 8 = 4*f + 2*h. Suppose 963 - 122 = g - 5*l, f*l = 3*g - 2484. Is 14 a factor of g?
True
Suppose -34 = -2*y + 164. Let z = -164 + y. Is z/(-2)*(-2 - (-76)/10) a multiple of 42?
False
Suppose -r + 5*p = -16855, 4*r + 390*p - 385*p = 67570. Is 8 a factor of r?
False
Suppose 5*o + 30 - 5 = 0, 0 = d + 5*o + 34. Let n(x) = -14 - 6*x + 2*x - 5*x. Is n(d) a multiple of 15?
False
Let f(u) = 206*u - 2432. Does 23 divide f(75)?
True
Is 13 a factor of ((-15362)/(-60) + 1099/942)*5?
False
Let m = -4475 - -5393. Is m a multiple of 29?
False
Let q be (-4 - -13) + 12/(-4). Suppose q*u - 364 = 470. Let j = -51 + u. Is j a multiple of 22?
True
Let n(m) = -m**3 - 6*m**2 + 4. Let j be n(-6). Suppose -f + y + 274 = 0, -j*y - 36 = -3*f + 785. Let c = -81 + f. Is c a multiple of 12?
False
Suppose 10 + 2 = -6*c. Let m be -3 - 1*c/1. Does 6 divide (27/6*(-40)/6)/m?
True
Suppose 18 = 17*h - 14*h. Let n be 99/(-6)*-1*8/h. Is 6 a factor of ((-55)/n)/((-1)/6)?
False
Let b(i) = -i**3 - 5*i**2 - 6*i - 6. Suppose f - 5*w = 4*f + 19, f = 4*w + 5. Let p be b(f). Let y(q) = 4*q**2 - 3*q - 25. Is 44 a factor of y(p)?
False
Suppose -4*b = -20, -2075 = -5*k + 3*b - b. Is 4 a factor of k?
False
Suppose m = 5*h - 88795, 4*h + 705*m - 706*m = 71035. Is 6 a factor of h?
True
Suppose -q - 83654 - 1765 = -3*z, 2*z - 2*q - 56942 = 0. Is z a multiple of 7?
False
Suppose 3*d - 5*m - 84 = 0, 2*m = 5*d + 4*m - 109. Suppose -480 = -d*u + 21*u. Is 8 a factor of u?
True
Let r be (-2652)/26*2/(-3). Is 2 a factor of ((-2414)/r)/(2/(-4))?
False
Suppose 2*q + 9 = -3*q + 3*r, q - 5*r = -15. Let o(t) = -9*t**2 + 5*t + 27. Let d(s) = -11*