-8860 + 9170. Is 4 a factor of f?
False
Let v = -79 - -83. Suppose -5*q + 4*q = -1, v*b + 3*q = -633. Let g = -105 - b. Is g a multiple of 16?
False
Suppose h + 60 = 6*h. Suppose 3 = 5*q - h. Is 46 a factor of q/(36/(-8)) + (-497)/(-3)?
False
Let x = 9473 - 9133. Does 10 divide x?
True
Let t = -11 + 18. Suppose 0 = -t*x + 172 - 725. Let a = -62 - x. Does 10 divide a?
False
Let p(q) = -q**3 + 34*q**2 - 60*q - 4. Let k be p(32). Suppose -2704 = -6*r - k. Does 43 divide r?
True
Let n be (-2)/18 - (-34)/(-18). Let w be (n - 1)*4 + (-18)/6. Does 32 divide w/(-25) - (-634)/10?
True
Let o(w) = -7*w + 20. Let l be o(2). Suppose 8*p + 1844 = 5*r + l*p, 5*p = 5*r - 1850. Is 30 a factor of r?
False
Let m = 4256 - 3222. Does 4 divide m?
False
Let o(p) = -p**3 - 8*p**2 - 12*p - 6. Let t be o(-6). Is 4 a factor of 500/t*(-252)/105?
True
Let g be (1416/78 - 2) + 2/(-13). Let k(s) = 11*s + 142. Is 11 a factor of k(g)?
False
Let u be 0 - (-274 - (2 - 1)). Suppose -2*s - g = 4*g - u, -g + 279 = 2*s. Let m = s + -72. Is 17 a factor of m?
True
Let p(y) = 9*y + 1. Let g(z) = z**3 - 7*z**2 - z + 6. Let t be g(7). Let w be p(t). Is (-10)/w*(-15 - -59) a multiple of 11?
True
Let f be 1/2 + 262/(-4). Let x be 28/6*(-720)/945*54/(-8). Let s = x - f. Is s a multiple of 32?
False
Suppose -23186 = -13*k - 6321 + 1153. Is 41 a factor of k?
False
Suppose 0 = -4*y + 2*y - 12. Let n be (-2)/((-5)/(975/y)). Let i = -55 - n. Is i a multiple of 2?
True
Let m(z) = z**2 - 45*z + 130. Let n be m(42). Suppose -5*b + 4*s + 1965 = -1059, s = n. Does 16 divide b?
True
Let a = 459 + -455. Suppose -4*i + 4*t + 1872 = 0, a*i + i - 2358 = -t. Is 8 a factor of i?
False
Let v(b) = -12 - 54*b - 4 + 4*b + 3*b. Does 12 divide v(-4)?
False
Suppose 0 = 5*s - 3431 + 876. Is 15 a factor of s?
False
Let h = 1487 - 521. Suppose 6*n = 8*n - h. Suppose 4*k = -o + 378, 2*k - 4*o = -3*k + n. Does 16 divide k?
False
Let z = 7364 - 4340. Is 58 a factor of z?
False
Suppose -i = 5*h - 18, 5*h = -3*i + 9*h - 3. Suppose g = 3*l + 122, 311 = 3*g + i*l - 79. Does 42 divide g?
False
Let l be 12/(0 + 1/(-2)). Let m(w) = -w**3 + 9*w**2 - 882 - 24*w**2 - w + 894 - 9*w**2. Is 12 a factor of m(l)?
True
Let i be (-2)/(-17) + (-18772)/34. Let h be (i/(-30))/(4/10). Suppose 5*d = 7*d - h. Is d a multiple of 4?
False
Let h = 957 - 627. Suppose l + s = h, -s = -l + 3*l - 655. Does 14 divide l?
False
Suppose 55*i = 58*i + c - 389, -3*c + 381 = 3*i. Is i a multiple of 9?
False
Suppose -14*r + 12*r = 4*s - 840, -4*s = 4*r - 1680. Let i(g) = g**2 + 2*g + 3. Let q be i(-4). Suppose -n = -q*n + r. Is 7 a factor of n?
True
Let j(l) = -2*l + 18. Let v be j(13). Is 7/2*(-215)/70*v a multiple of 7?
False
Suppose -40592 = -10*y + 53*y. Let u = 137 - y. Is u a multiple of 23?
True
Let x(q) = -11*q - 9. Let u(h) = -5*h - 4. Let w(t) = 5*u(t) - 2*x(t). Let s be w(2). Is 74*(1 + -5)/s a multiple of 20?
False
Suppose 59*y - 203302 = 77420. Is 61 a factor of y?
True
Let p = -3534 - -5461. Is p a multiple of 47?
True
Let c(n) = -n**3 - 6*n**2 + 5*n - 5. Let d be c(-7). Let f be (-3)/d + (-5)/(-15) + -10. Does 35 divide -3 + (-724)/f + (-3)/(-5)?
True
Let y(v) = -165*v - 1284. Is 16 a factor of y(-8)?
False
Let j = -10 - -13. Is 30 a factor of 8/(-6) + (-6380)/(-15) - j?
False
Let i = -7438 + 22856. Is i a multiple of 74?
False
Suppose 82*m = 73*m + 45. Suppose 8 = -2*j, -m*g + 5182 = -5*j + 267. Is 11 a factor of g?
True
Is -20 + 2671*(-11 + 16) a multiple of 45?
False
Let a(y) = -4*y + 66. Let x be a(17). Let k(r) = 87*r**2 - 3*r + 3. Is k(x) a multiple of 24?
False
Let k(x) = 20*x**2 - 24*x + 1667. Does 29 divide k(37)?
True
Is 56 a factor of 115584/(-30)*(-50)/20?
True
Let m = -2 + 5. Let g(x) = 11*x**2 + x + 18. Is 8 a factor of g(m)?
True
Suppose 9*t - 2*t - 49 = 0. Let y be -3*1 + (t - -1). Suppose -357 = -y*w + 28. Does 11 divide w?
True
Suppose 0 = 130*s - 74*s - 83709 - 323411. Does 46 divide s?
False
Let c(n) = -3*n + 31. Suppose 4*w = 2*f - 0*f + 34, 5*f = 3*w - 22. Let o be c(w). Suppose -z - 11 = -3*u, -2*z + o*z = -2*u + 2. Is u a multiple of 3?
True
Is 41 a factor of (5 + 0 + (-88)/11)*-82?
True
Let p be 10 + 2 + -6 + 1. Let h be (p + -6)/(1/63). Suppose 5*n - h - 12 = 0. Does 5 divide n?
True
Is ((336/(-315))/(2/3))/(8/(-43340)) a multiple of 22?
True
Suppose 0*q = -5*q + 20. Let h be 352 + 29/4 + 2/(-8). Suppose -3*a + h = -q*t, -a + t + 72 = -48. Is a a multiple of 11?
True
Let j(d) be the second derivative of 4*d**4/3 + d**3/3 - 5*d**2 - 24*d + 3. Does 3 divide j(-2)?
False
Suppose -9*k = -3*k + 2*k - 38976. Is k a multiple of 8?
True
Does 55 divide (3/4)/(1008964/201792 - (6 - 1))?
False
Suppose -i - u - 4 - 27 = 0, 5*u - 5 = 0. Let y = 111 + i. Suppose -17 - y = -6*a. Does 10 divide a?
False
Is 11 a factor of 968 - (-1 - (2 + 8))?
True
Let v(i) be the first derivative of -i**4/2 - 3*i**3 - 5*i**2 + 3*i + 28. Is 26 a factor of v(-5)?
True
Suppose -3*g - 4 = 5*f - 4*f, 5*f + 20 = 3*g. Suppose 0 = -13*z - 25*z + 3344. Suppose 0*v - 5*v - 203 = -4*l, -2*l - 2*v + z = g. Does 4 divide l?
False
Let a = 1112 + -772. Suppose 5224 = 11*y + a. Does 10 divide y?
False
Let p(v) = 150*v + 11. Let m(h) = h**2 + 13*h - 47. Let w be m(3). Does 31 divide p(w)?
False
Suppose -2*j + 0*m = 5*m - 6, 5*j - 15 = 4*m. Suppose p + 4 = 3*o - 1, -j*p - 5*o = -55. Suppose -p*l + 24 = -26. Does 5 divide l?
True
Let b(l) = 8 - 21 - 28*l - 52 + l**3 - 30*l**2. Is b(31) a multiple of 5?
False
Suppose i - 1254 - 1950 = 0. Let b be 1 - 9/7 - i/(-42). Let f = b - 21. Is f a multiple of 5?
True
Suppose 3*u = -9, 20*u + 3 = -2*f + 17*u. Is (f + -1)*(2/(-4) - -3) a multiple of 2?
False
Suppose 3*l = 5*u + 1625 + 320, -5*l + 3255 = 5*u. Is l a multiple of 109?
False
Suppose -4*j - 2*q - 3058 = 0, 3*q + 1390 + 149 = -2*j. Let p = 866 - j. Is 43 a factor of p?
False
Let z = -357 - -246. Let b be 2/(6/z) - -4. Let v = 54 + b. Is 7 a factor of v?
True
Let h = 14846 + -4856. Is 10 a factor of h?
True
Let j be 2/7 - ((-7040)/56 + 3). Let s = j + 73. Is 24 a factor of s?
False
Let f = -3267 + 8681. Suppose 15*h - f = 31. Is 33 a factor of h?
True
Let m be 3 + (-92)/(-10) - 1/5. Suppose 0 = 4*u - 3*u + 2*g + 6, -4*u + m = -4*g. Suppose u = -42*d + 40*d + 102. Is 51 a factor of d?
True
Let u(o) = o**3 + 7*o**2 + 9*o + 3. Let f be u(-4). Suppose -111 + f = -3*x. Is x - 1/(-2)*-1*4 a multiple of 5?
True
Let q(j) = -7*j**2 - 4*j + 1. Let k be q(3). Let a = k - -184. Does 15 divide a?
False
Let k = -94 - -596. Let d = -259 + k. Suppose -d = -2*u + 3*s - 6*s, -5*u - s + 588 = 0. Is u a multiple of 39?
True
Let t be (-1)/(3/(-54)*2). Suppose k + u = 102 - t, 0 = 3*k + 4*u - 280. Is 23 a factor of k?
True
Let t = -126843 - -181260. Is t a multiple of 187?
True
Let t(g) = 2*g**2 + 22*g - 15. Let n = -93 - -106. Does 30 divide t(n)?
False
Suppose 22702 = 28*n - 15615 - 17655. Is 5 a factor of n?
False
Suppose -25*b = -137961 - 37514. Is 23 a factor of b?
False
Let u = -101 - -104. Suppose -u*d - 127 + 523 = 0. Suppose -6*s + 3*s + 4*g = -380, -s + d = -4*g. Is 17 a factor of s?
False
Let f be ((0/(-2))/(-8))/(-2). Suppose l - 115 - 184 = f. Does 13 divide l?
True
Suppose 41 = 5*u + 4*c - 7, -u - 4*c = 0. Let d be 78/18 + 2 + u/(-9). Suppose d*t - 2*t - 141 = 0. Is t a multiple of 8?
False
Let w(j) = j**3 + 15*j**2 - 12*j - 12. Let s(c) = -c - 4. Let g be s(11). Does 12 divide w(g)?
True
Suppose -3808 = 4*j + 4*h, 3*h = -2*j - 666 - 1242. Let d = -543 - j. Does 5 divide d?
True
Is 25 a factor of 23580/27*4*((-12)/15 + 2)?
False
Let d be (-6)/(-15)*5 - 4. Let u be (-722)/(-4) - d/4. Let h = u + -111. Is 7 a factor of h?
True
Suppose 3*t = 3*x - 69, -4*x + 1 - 17 = 0. Let h = 175 + t. Is h a multiple of 74?
True
Let w(v) be the first derivative of v**3/3 + 9*v**2/2 - 74*v - 180. Is 22 a factor of w(-21)?
False
Suppose -4*p + 1488 = o, 10*o - 12*o = 5*p - 2985. Suppose -o = 20*u - 30*u. Does 12 divide u?
False
Let u be -8 + 1020/130 - (-470)/13. Let h(q) = -q**2 - 6*q - 5. Let m be h(-5). Suppose -k + u = -m*k. Does 6 divide k?
True
Suppose -4*z - a - 1675 = -598, -3*z - 2*a - 804 = 0. Let w = 465 + z. Does 13 divide w?
True
Does 38 divide -4 + (-22408)/40*-5?
False
Is (14/(-28))/((-3)/158280) a multiple of 171?
False
Let y(g) = 278*g**2 - 1005*g. Is 214 a factor of y(4)?
Tr