 - 557. Is b a multiple of 14?
False
Suppose -3*c = -3*w - w + 3, 2 = -4*w + 2*c. Let f be -4 + w + 3 + -2 + 6. Suppose -2*j + 182 + 16 = f. Is j a multiple of 33?
True
Suppose -3*z = -5*v + 23746, 3*v = 12*z - 9*z + 14244. Does 21 divide v?
False
Suppose 2*u + 151 = -5*p, -6*p = 4*u - 2*p + 296. Let s = 208 - 350. Let q = u - s. Is 18 a factor of q?
False
Let h = -5566 + 7029. Is 11 a factor of h?
True
Let d(h) = -h - 10 + 3*h + 0*h - h. Let v be d(12). Is (6 - 14)*(v - 4) a multiple of 8?
True
Let i = 96 - -34. Is 16 a factor of 2/((-12)/(-30)) + i?
False
Let x = 47375 + -26185. Is x a multiple of 26?
True
Let r be (175 - 1)*-3*4/(-12). Let s = -108 + r. Is 3 a factor of s?
True
Let d = -208 - 9. Let k = d + 72. Does 10 divide (-17 + k)*2/(-4)?
False
Suppose -2*y - 34 = -86. Suppose -8*o = 78 + y. Is 11 a factor of (-1 + 38/3)/(o/(-39))?
False
Let g be (-26)/(-8) - (-3)/(-12). Let s(m) = -m**3 + m**2 + 11*m + 3. Let y(f) = f**3 - 11*f - 2. Let v(u) = g*s(u) + 2*y(u). Does 30 divide v(-5)?
True
Let u = -243 + 1837. Suppose 0 = -10*g + u + 1446. Is g a multiple of 38?
True
Let i(v) = 17*v - 94. Suppose 0 = 5*c - 234 + 184. Is 40 a factor of i(c)?
False
Suppose 5*m = 4*o - 3885, o - 1085 = -m - 107. Let x = o - 435. Does 27 divide x?
True
Let t = -271 + 295. Suppose t*l = 39*l - 2235. Is 7 a factor of l?
False
Let v(a) = 19482*a**2 - 19468*a**2 - 19*a + 3 - 18 - 67. Is v(-8) a multiple of 40?
False
Suppose -244*f + 3947973 = -157*f. Is f a multiple of 35?
False
Let l = -74 + 155. Let u be (2 - -5) + -3 + 0. Suppose 0 = b - 4*f - l, 2*b - u*b - f = -153. Does 11 divide b?
True
Let m(l) = -12*l**2 - 13*l - 74. Let g(b) = 12*b**2 + 14*b + 74. Let j(p) = 5*g(p) + 4*m(p). Is 10 a factor of j(-5)?
False
Let s = 5097 - 4413. Is s even?
True
Suppose q - 29 + 27 = 0. Suppose -q*l + 1217 = 5*i, 3*l + 6*i = 4*i + 1853. Is l a multiple of 27?
True
Let x(q) = 39*q**2 - 34*q - 136. Is x(-12) a multiple of 17?
False
Suppose 44*r - 87*r + 9*r = -141372. Does 9 divide r?
True
Let o(a) = -9*a**2 + 264*a - 18. Does 23 divide o(20)?
False
Let w = -32 - -39. Suppose w*c - 47 = -775. Let m = 145 + c. Does 41 divide m?
True
Let i(p) = 219*p**2 + 8*p - 611. Is i(-11) a multiple of 20?
True
Let u(b) = -b**3 - 10*b**2 + 7*b - 36. Let c be u(-11). Suppose o = -c*o + 6273. Is o a multiple of 17?
True
Suppose 2114*n - 2116*n = -9463 - 4205. Is 111 a factor of n?
False
Let o = -648 + 647. Let u = -651 - -291. Is 9 a factor of u/(-12) - (-1)/(o/4)?
False
Let c(p) = 2*p**2 + 46*p - 39. Suppose u = -5, 3*u + 0*u - 120 = 5*a. Is c(a) a multiple of 17?
False
Suppose 0 = -f - 35 + 43. Let a be (525 + 0)/(f - 7). Suppose 2*t + a = 9*t. Is 11 a factor of t?
False
Let b(f) = 4*f - 10. Let l be b(4). Suppose l*z = 4*z + 632. Is 28 a factor of z?
False
Let c(b) = b**3 - 13*b**2 - 28*b - 32. Let y be c(15). Is (-9716)/(-77) - (y - (-48)/22) a multiple of 18?
True
Suppose 5*w - 7 = 18, 0 = h - 5*w + 29. Let t(a) = 5*a - 3. Let z(q) = -4*q + 3. Let k(r) = 2*t(r) + 3*z(r). Is k(h) a multiple of 4?
False
Suppose 3*r + 12 - 9 = 0, -3*r - 115203 = -5*y. Does 60 divide y?
True
Let b be 0/21*(-1)/1. Suppose b = -0*v + 5*v + 10. Is 24 a factor of 72/(v*(-12)/32)?
True
Suppose -10*p + 16*p - 30 = 0. Suppose -p*d + 20 = -d. Suppose -2*f - 3*s - 7 = -23, -d*f + 57 = -s. Is f a multiple of 11?
True
Let i be (-1)/1 - (-102)/(-17). Suppose 2*n - 4*n - 56 = 0. Does 10 divide (-3)/i + (-1388)/n?
True
Let v(a) = a**3 - 14*a**2 - 16*a + 19. Let s be v(15). Is ((-42)/s)/((-5)/30) a multiple of 21?
True
Let h(c) = 418*c + 58*c**2 + 54 - 203*c - 204*c. Is 21 a factor of h(-5)?
True
Let q(w) be the second derivative of -w**5/20 - w**4/4 - 9*w**2 + 28*w. Let v be q(-6). Suppose -2*t = -3*i + 404, i - 226 = t - v. Does 33 divide i?
True
Let m(k) = 356*k + 6572. Does 4 divide m(-13)?
True
Does 7 divide ((-2)/(-4))/((-1)/(-8656))?
False
Let q(v) = -327*v + 539. Does 80 divide q(-22)?
False
Let o = -1363 + 2051. Suppose -55*y = -56*y + o. Is 46 a factor of y?
False
Suppose 515*q + 472732 = 541*q. Is 12 a factor of q?
False
Suppose 0 = 4*o - 5*o + 4. Suppose w - o*a - 585 = -5*a, -5*a - 555 = -w. Is 58 a factor of w?
True
Let d be (-18)/24 - (-351)/4. Suppose 89*l - d*l = 40. Is 10 a factor of l?
True
Let f(i) = -7*i - 85. Let d(z) = 4*z + 43. Let l(s) = -5*d(s) - 3*f(s). Let v be l(-19). Is (-23 + v)*13*(-3)/1 a multiple of 13?
True
Suppose 0 = -7*u - 24*u + 77221. Suppose -12*c + 2465 = -u. Is c a multiple of 59?
True
Suppose -4*y + 119 + 121 = 0. Suppose y = 2*q + 4*q. Does 13 divide -4 + (80 - q/5)?
False
Let q be 5*((-18)/(-24) - (-2)/8). Suppose -2*c + q*o + 160 = o, 5*c - 424 = 4*o. Is c a multiple of 11?
True
Let y(b) = 7*b - 187 + 14*b + 10*b**2 - 77*b + 16*b + 19*b. Is y(-13) a multiple of 47?
False
Suppose -5*a + 2*y = 4*y - 29, -7 = -a - y. Suppose -3*s - a*m + 18 = s, -3*m = -4*s + 2. Suppose -u = -3*g + 6*g - 364, 5*g + s*u - 605 = 0. Does 5 divide g?
False
Suppose 5*x = -2*b - 831 + 116, 429 = -3*x - b. Let k = x + 290. Is 21 a factor of k?
True
Suppose -12*z - 80*z = -6*z - 355954. Does 105 divide z?
False
Suppose -3*o - 13931 = -5*r, -2*r + 7*o = 3*o - 5578. Let j = r + -1579. Does 12 divide j?
False
Let c(m) = -m**3 - 37*m**2 - 479*m + 33. Is 46 a factor of c(-37)?
True
Suppose -405867 = -155*i + 105790 + 3123093. Is i a multiple of 10?
True
Let f(y) = -254*y + 131. Does 7 divide f(-14)?
False
Is 6 a factor of (1680/72)/(((-18)/(-48))/((-306)/(-4)))?
False
Let m(s) = 2*s + 2. Let f be m(-2). Let q(p) = -p**3 - 9*p**2 - 19*p + 1. Let h be q(-5). Is 24 a factor of (-8680)/(-364) + h*f/52?
True
Suppose 168683 + 61107 = 55*u. Is 24 a factor of u?
False
Suppose -199*h + 7397740 = 66*h. Is h a multiple of 7?
True
Suppose 5*a = 4*p + 8*a - 190, a + 90 = 2*p. Is (p - -149) + (-16)/2 a multiple of 12?
False
Let u be 1 + -2 + -3 + 9. Suppose 14*o - u*o = 918. Is 17 a factor of o?
True
Is 58 a factor of (-8702)/(-6) + 31/(-13 + -80)?
True
Suppose -2*r = -t + 116, 41*t + 95 = 42*t + 5*r. Is 12 a factor of (-8)/(-14) - (-4)/14*t?
False
Let g(h) = -44*h - 221. Let w be g(-39). Suppose -5*c - w = -5*n, 1182 = 4*n - 17*c + 20*c. Is n a multiple of 14?
False
Suppose -5*m + 81344 = -33*t + 36*t, 11*t = -5*m + 298368. Is t a multiple of 80?
False
Let z = -667 - -1236. Suppose -b = -524 - z. Is b a multiple of 27?
False
Let t(z) = -1002*z - 618. Is 114 a factor of t(-9)?
False
Let r = 29 + 621. Let x = r + -452. Is 22 a factor of x?
True
Suppose 5*w = w + 18*w - 990612. Is 18 a factor of w?
True
Let b(u) = 64*u**3 - 1. Suppose -3*t - 3*w - 2*w = -24, 5*w - 18 = -t. Suppose h + 2*x - t = -10, 2*h - 3*x = 14. Is 13 a factor of b(h)?
False
Suppose 5*h - 21 = h + v, 2*v + 12 = 3*h. Suppose -h*l + 640 = -l. Suppose -l*x + 123*x + 1350 = 0. Is 16 a factor of x?
False
Let v(o) = -440*o + 1704. Does 100 divide v(-15)?
False
Let m be (-7)/42 - 6950/60. Let d be 0 + (-3)/(3/(-59)). Let z = d - m. Is 25 a factor of z?
True
Let m = -8 - -10. Let h(a) = -2*a**3 + a**3 + 11 - 8*a - 20*a**m + 7*a. Is 31 a factor of h(-20)?
True
Let z be 5/((-30)/(-12)) + 3. Suppose 1710 = z*p + 630. Does 27 divide p?
True
Let y(w) = 107*w**2 + 31*w + 106. Is y(-3) a multiple of 16?
True
Let o = 31 - 35. Let g be ((-22)/o - 1)/((-22)/(-132)). Let k = 115 - g. Does 22 divide k?
True
Let g be -3 + 3 + 1620/(-12). Let i = g - -511. Does 29 divide i?
False
Let d be 2 + 1 - 0 - (-3508)/4. Let l = 308 - d. Does 13 divide (-1 - 0)/(4/l)?
True
Let x be 1 - -4 - (5 + -27). Let n(u) = 7*u - 12. Let k be n(9). Suppose 0 = -2*d + 3*f + 42 + x, -3*f + k = 2*d. Is d a multiple of 28?
False
Let f(j) = 89*j + 210. Does 4 divide f(-2)?
True
Suppose 2*c = u + 380, 13*u = c + 8*u - 190. Suppose c + 62 = 9*f. Is f a multiple of 14?
True
Let x = -272 + 31. Is 4 a factor of -4 + (1/(-1))/(1/x)?
False
Let z = 22312 + -7795. Is 11 a factor of z?
False
Suppose -5*t + t + 4*c + 24 = 0, 0 = 5*t + c - 6. Suppose t*b - 3*y - 63 = 0, 4*b + y + 0*y = 161. Let d = b - -3. Is 12 a factor of d?
False
Let h be ((-7)/6)/(7/(-42)). Suppose 0 = 3*d + d - 5*a - h, 8 = 4*d - 4*a. Suppose -116 = -w - d*i + 40, 5*i = 5*w - 700. Does 18 divide w?
True
Let h = -237 - -239. Suppose 0 = 2*u + 2, h*v + u = -2*v + 1215. Does 13 divide v?
False
Let i(l) be the third derivative of -l**6/120 +