se 5*f = d + 36, 5*d - 2*f = -17 - 71. Let n = d - -16. Suppose -5*r + 18 = -2*t - n*t, -4*t + 24 = 5*r. Is 4 a factor of r?
True
Suppose -4*b + s + s + 2 = 0, 3*b + 4*s = 29. Suppose -m + 125 = -o, -7 - 2 = b*m. Is 21 a factor of 2 - 4 - o*1?
True
Let q = -463 + 1130. Is q a multiple of 23?
True
Suppose -11 = -20*s + 9*s. Does 15 divide -2 + (-4)/(-1) + s + 1740?
False
Is 176 a factor of (11616/7)/((-1455)/105 - -14)?
True
Suppose -19*w + 26263 = -2921. Suppose -2*h + 6*h - 1520 = -4*q, 4*h = 4*q - w. Is 14 a factor of q?
False
Let j be (-12)/(-3) + (3/3 - 2). Suppose 0 = p - 1, -c - 2*p = -j*c + 104. Is c a multiple of 16?
False
Suppose -604*f = -625*f + 33222. Is f a multiple of 14?
True
Suppose -61*v + 82*v + 28398 = 295686. Is 60 a factor of v?
False
Let q = -34 + 34. Suppose q = 3*s - 3*b - 306, 2*s - 98 = s + 2*b. Is 10 a factor of s?
False
Let p(b) = 3*b**2 - b - 254. Let r be p(0). Let z = -44 - r. Is 46 a factor of z?
False
Let n be -3 + (-211)/(0/3 + -1). Let u be n/6*(-45)/(-10). Suppose 2*v - 5*v + l = -87, 0 = 5*v + 2*l - u. Is v a multiple of 3?
True
Suppose 2*i = 8*j + 43396, 2*i + 0*i - 43368 = 4*j. Does 328 divide i?
False
Suppose 5*y - 26*m + 21*m = 298615, 4*y = -3*m + 238864. Is 89 a factor of y?
True
Does 29 divide (-122398)/(-3) - 33/(-9)?
True
Suppose -10080 = -11*l - 0*l - 13*l. Is l a multiple of 9?
False
Let u = -1342 + 5632. Does 6 divide u?
True
Let v(o) = o**3 - 3*o**2 + 8*o - 16. Let w be v(12). Suppose -12*k - 224 + w = 0. Is k a multiple of 12?
True
Suppose 15*k - k - 210 = 0. Let d(p) = 9 - 12*p**2 + 13*p**2 + 2*p + 2*p. Is 21 a factor of d(k)?
True
Suppose -34*s + 14*s - 1756040 = -163*s. Is s a multiple of 40?
True
Let v(w) = -158*w - 927. Does 10 divide v(-10)?
False
Is 84 a factor of 5 - ((-2 - -7) + -7)*1166/4?
True
Let i = 4192 + -2516. Is i a multiple of 8?
False
Let p(v) = -2*v**2 + 12*v - 26. Let q be p(10). Let k(y) = 30*y**2 + 6*y + 10. Let t be k(-4). Let s = t + q. Does 60 divide s?
True
Let f(a) = 720*a**2 + 30*a - 7. Is 60 a factor of f(4)?
False
Does 17 divide (0 - -4)*214215/60?
False
Suppose 9*b = -0*b - 387. Let v = b - -121. Does 3 divide v?
True
Let q(n) be the second derivative of -n**3/3 + 12*n**2 - 5*n + 1. Suppose -t - 8 = -2*v + 9, 5*v - 2*t = 40. Is 3 a factor of q(v)?
True
Let y = 8322 + -1227. Is y a multiple of 33?
True
Let k(d) = 147*d + 28. Let g be k(-2). Let m = -130 - g. Is 34 a factor of m?
True
Let f(w) = -w**3 - 6*w**2 + 4*w + 26. Let x be f(-6). Suppose -x*g - 5 = -47. Is 28/g*(-2 + 38) a multiple of 8?
True
Suppose -i - j + 14132 + 5890 = 0, 2*i - 3*j = 40014. Is i a multiple of 61?
False
Let v(u) = 2534*u**2 - 35*u - 34. Does 16 divide v(2)?
True
Let y = 76723 - 31565. Does 64 divide y?
False
Suppose -5*u = 5*f - 555, 24*u - 20*u + 3*f - 449 = 0. Let c = 116 + u. Is 29 a factor of c?
True
Does 9 divide 2 - (-382126)/18 - (-788)/(-3546)?
True
Let f(j) = 127*j**2 - 13*j - 5. Let l(n) = -42*n**2 + 4*n + 2. Let x(g) = -2*f(g) - 7*l(g). Is 62 a factor of x(-6)?
False
Let v = -11940 + 19186. Is 33 a factor of v?
False
Let f be 796/12 + -4 - (-2)/(-6). Let u = f + -55. Suppose 269 = -u*b + 906. Is 13 a factor of b?
True
Let u = -6630 + 12077. Does 10 divide u?
False
Suppose 4*x + 4894 = 10*o - 15*o, -5*x - 1961 = 2*o. Let b = -256 - o. Is 15 a factor of b?
False
Let j(f) = 3*f**2 + 21*f + 2. Let x be j(-6). Let y(l) = l**3 + 16*l**2 - 34*l - 40. Is y(x) a multiple of 36?
True
Suppose -23*t - t + 29*t = 129265. Is 103 a factor of t?
True
Let s = 24 - 15. Let c(w) = 3*w**2 + w + 144. Let t be c(0). Is ((-15)/s)/((-2)/t) a multiple of 12?
True
Suppose -1122*c = -1117*c + 4*t - 148253, c = -2*t + 29659. Is c a multiple of 7?
True
Let h = -434 + 450. Suppose l - 501 = -h. Is 27 a factor of l?
False
Let u(h) = -3*h**2 - 22*h - 19. Let t be u(-7). Is t/20 + 73/5 a multiple of 2?
True
Let g(f) = 2*f**3 - f**2 + 3*f - 2. Let o be g(1). Suppose o*j = 3*h - 246, 0 = -3*j - 0*h - 2*h - 369. Let m = -72 - j. Is m a multiple of 51?
True
Let z(j) be the second derivative of 7*j**3/6 - 6*j**2 - 3*j. Let s be -8*((-1 - -1) + 72/(-48)). Is 14 a factor of z(s)?
False
Let a = -6811 + 6999. Is a a multiple of 47?
True
Suppose -52*y + 4*y + 1721016 = 84*y. Does 31 divide y?
False
Let u = -162 + 123. Is u/(-351) - 14380/(-18) a multiple of 17?
True
Let l(r) = -r**3 + 17*r**2 - 42*r + 7. Let b be l(14). Is 12 a factor of (25 - b)/(6/87)?
False
Let s = 1004 - 843. Suppose -t - s = -2*t. Does 8 divide t?
False
Let q(b) = b**3 - 3*b**2 - 4*b + 4. Let a be q(4). Suppose a*x - 130 - 626 = 0. Is 8 a factor of x?
False
Let n(o) = -2*o**2 + 22*o + 12. Let y(j) = j**2 - 3*j + 10. Let b(w) = w**3 - 19*w**2 + 35*w - 14. Let s be b(17). Let u be y(s). Is n(u) a multiple of 4?
True
Let c = -5426 - -28240. Is 94 a factor of c?
False
Let w(x) = 37*x**3 - 4*x**2 + 3*x - 1. Let a be w(1). Let n(i) = -i**3 + 37*i**2 - 40*i - 145. Is 11 a factor of n(a)?
False
Is 35 a factor of 1617/77*1220/6?
True
Let g(j) = -3*j + 4. Let q be g(7). Let a be 14/119 + (-185)/q. Suppose -240 = -15*w + a*w. Is 12 a factor of w?
True
Let q = -242 + 240. Let i(j) = -j**3 - 8*j**2 + 6*j + 3. Let s be i(-9). Is 10 a factor of 40/s*-75*q/4?
True
Let y(v) = -v**2 - 15*v + 107. Let z be y(0). Suppose 3*h + 5*b - 329 = 0, -z = -h - 0*b - b. Is h a multiple of 11?
False
Let g(d) = -19*d + 24. Let a be 1/((-2)/(-5) - 38/70). Let o be g(a). Suppose 2*b = 11 + o. Does 6 divide b?
True
Let m(u) = -133*u**3 + u. Let c be m(-1). Suppose 71*j + c = 68*j. Is (0/(-4) - 2) + (-2 - j) a multiple of 4?
True
Let u be (-2)/(-6) + 11/3. Let s(c) = c + 2*c - 2*c**2 + 104*c**3 + 2 - 103*c**3 + c. Is s(u) a multiple of 10?
True
Suppose -y + 656 = 5*h, 10*y = 8*y + 2*h + 1288. Does 28 divide y?
False
Suppose -277*r + 284*r = 2730. Does 8 divide r?
False
Suppose 0 = -194*l + 208*l - 168. Let f = -5 + 125. Suppose -l*h + f = -2*h. Is 6 a factor of h?
True
Let v be (4/(-6))/((-6)/27). Suppose -2*b + l + 4 = 0, -b = -5*l + 4*l - 1. Suppose 2*w - b*a - 15 = 0, 0 = w + v*a - 37 + 7. Is 11 a factor of w?
False
Let n(a) = -a**2 - 253*a - 7225. Does 15 divide n(-35)?
True
Suppose -62952 = 1035*d - 1039*d. Does 6 divide d?
True
Let r be (3/6)/((-12)/19584). Is r/(-200) - 4 - (-24446)/50 a multiple of 3?
True
Suppose -190621 = -64*m - 9*m + 56338. Is 2 a factor of m?
False
Let v be 8*69 - 6/(-3). Suppose y = -2*x + 501, 0 = -2*x + 3*y + v - 41. Is 28 a factor of x?
True
Suppose -157*r + 153*r = -12. Suppose r*y - 884 - 186 = -u, 4*y = 3*u - 3171. Does 12 divide u?
False
Let x(k) = 8*k - 36. Let c be x(7). Suppose c*f = 29*f - 3042. Does 23 divide f?
False
Suppose -51*l - 4097 + 22847 = -l. Does 3 divide l?
True
Let k(a) = 9*a - 25. Let n be (-3)/((-42)/(-40))*(-70)/20. Let v be k(n). Let t = v + -30. Is t a multiple of 5?
True
Let j(d) = -122*d - 2497. Is 4 a factor of j(-42)?
False
Let k(x) be the first derivative of -x**4/4 - 13*x**3/3 + 3*x - 18. Let c be k(-13). Suppose 0 = -5*b + 4*l + 230, -9 = -c*b - 3*l + 156. Does 12 divide b?
False
Suppose -m - 64 = -2*u, -3*u - 12 = 3. Let z = 115 + m. Let l = z - 19. Is 7 a factor of l?
False
Let k(a) = -2*a**3 + 4*a**2 + 10*a + 12. Suppose -13*p + 3 = 42. Is 14 a factor of k(p)?
False
Let z be 229/7 + (-8)/(-28). Let b = 35 - z. Is 0/b + 8 + 1 a multiple of 2?
False
Let z(j) = -j**3 + 2*j**2 + 6*j - 2. Let d(p) = -p**2 - 6*p + 1. Let c(h) = 4*d(h) + 3*z(h). Does 34 divide c(-4)?
False
Suppose 19 = 4*b + 3. Suppose -3*l - 4*k - 10 = 0, -14 = -l + 9*k - 6*k. Suppose 0 = -5*f + r + 102, -l*f - 26 + 74 = -b*r. Is f a multiple of 2?
True
Let o be (2/(-4))/(5/(-20)). Suppose 716 = 3*d - y, -4*d = y - o*y - 953. Is d a multiple of 41?
False
Let r(w) be the third derivative of w**5/30 - 5*w**4/8 + 5*w**3/2 - 95*w**2 + 2. Is r(10) a multiple of 13?
True
Let l(a) = a**3 + 8*a**2 + 10*a + 8. Let j be l(-4). Suppose -10*r = -12*r + j. Suppose 0 = r*b - 10*b - 198. Is b a multiple of 18?
False
Is 49 a factor of (16/(-6))/((-416)/2710188)?
False
Suppose -10*i + 65 = 3*i. Let n be (1/(-2))/(2/4) + i. Suppose -4*z + 0*z = 5*q - 212, -n*q + 148 = -4*z. Is q a multiple of 8?
True
Let x(s) = s**2 + 9*s - 2. Let z be x(-7). Let k be 0 - -1 - (z + 16). Let o(g) = 24*g**2 + 4*g - 1. Is 27 a factor of o(k)?
True
Suppose 0*d + d = -35. Let u be -6 