- 5*s - 15 = b. Is 27 a factor of (s/(-4))/(3/876) + -3?
True
Let m(c) = -4*c**3 - 21*c**2 - 215*c - 33. Does 10 divide m(-12)?
False
Suppose -4*q + q = -15, 0 = t + 3*q + 207. Let y = t + 295. Is 6 a factor of y?
False
Suppose -44*w - 28 = -40*w, -14065 = -5*h - 5*w. Does 15 divide h?
True
Let j(r) = -7*r + 171 + 39*r + 24*r. Does 30 divide j(6)?
False
Let l(c) = -20*c - 4. Let u(t) = 59*t - 6. Let b(h) = 3*l(h) + u(h). Let k be 2*-1*(-2 - -14). Does 6 divide b(k)?
True
Let y be 27/18*20/6. Suppose -12*k - y*k = -2142. Does 7 divide k?
True
Let h(n) = -n**3 + 21*n**2 + 38*n - 16. Let d = -496 - -517. Does 13 divide h(d)?
False
Let z = -1682 - -5705. Is z a multiple of 27?
True
Suppose 4*m + 18 = a, -3*a + 5*m + 54 = -0*a. Suppose -a = -7*o + 5*o. Let v(b) = -b**3 + 12*b**2 - 23*b + 8. Is v(o) a multiple of 11?
True
Let f be 3/18 - (1 + (-2982)/36). Suppose -f = -13*n + 269. Does 9 divide n?
True
Let r = 30820 + -18716. Does 34 divide r?
True
Suppose -k + 5*f = -12576, -4*k - 27*f + 50228 = -28*f. Is k a multiple of 86?
True
Let y(p) = -7*p**2 + 3*p + p**3 + 3*p**2 + p - 6. Suppose -104*i + 65 = -91*i. Does 6 divide y(i)?
False
Does 15 divide (-29702)/(-12) - ((-949)/(-78) - 12)?
True
Let u(t) = -16*t + 57*t - 21*t - 24*t + 56. Let n be u(14). Suppose k - 139 = -4*b, n = k - 5*b + b - 99. Is k a multiple of 17?
True
Let d be (294/(-28))/(1/8). Let c = -79 - d. Suppose 0*w = c*w - 235. Is w a multiple of 39?
False
Let m(f) be the third derivative of f**5/60 - f**4/8 - 14*f**2. Let a be m(4). Suppose a*c = 8*c - 216. Does 18 divide c?
True
Let y(a) be the second derivative of -a**3/3 + 79*a**2/2 - a - 12. Is 22 a factor of y(18)?
False
Suppose 5*y - r = 11099, 713 + 3741 = 2*y + 2*r. Is 3 a factor of y?
False
Let a be ((-4)/6)/((-2)/(-36)). Does 11 divide 4/(-14) + a + (-26820)/(-35)?
False
Suppose 4*w - 30330 = -2*v, -4206 - 18537 = -3*w + 3*v. Does 34 divide w?
True
Let v(d) = d**3 + 29*d**2 - 40*d + 67. Let r be v(-31). Is 14 a factor of 6 + (-56)/7 - r?
False
Suppose -5*p + 4 = -n, 3*p - p = 5*n + 20. Suppose x - 8 + p = 0. Is (x - (7 - 0))*234/2 a multiple of 9?
True
Let m(o) = 91*o**2 + 894*o + 6143. Does 6 divide m(-7)?
True
Suppose 66*q - 103863 = 49455. Is q a multiple of 20?
False
Let g(q) = 40 + 47 + 320 - q**2 - 50 - 44*q. Does 2 divide g(-48)?
False
Suppose -7*m + 66*m = -167*m + 4600908. Is 58 a factor of m?
True
Let v = -40 + 42. Suppose 3*a - 5*x = 0, 0 = -v*a + a + x. Suppose a = -w + 172 + 6. Is 26 a factor of w?
False
Let v(k) = 7*k + 7*k - 2*k - k**2 + k - 16. Is 10 a factor of v(9)?
True
Is 8 a factor of 20 - (-168644)/70 - (-2)/(-2*5)?
False
Let h = -26 - -38. Suppose -r = -4*r + h. Suppose -7*l = -r*l - 168. Does 28 divide l?
True
Suppose 5*d + 852 = 2*o + 31, d - 1274 = -3*o. Let f = o + -267. Does 12 divide f?
True
Suppose -92*y = -96*y + 20. Suppose -5*b - 2*i = -2174, 0 = -i + 2 - y. Is 9 a factor of b?
False
Suppose -22*d + 32179 + 119007 + 42524 = 0. Does 15 divide d?
True
Let t(k) = 11*k**3 + 29*k**2 + 13*k - 16. Let o(g) = -5*g**3 - 14*g**2 - 6*g + 8. Let z(r) = -9*o(r) - 4*t(r). Is 20 a factor of z(-4)?
True
Let h = -547 + 542. Is 3*6/15*(h + 15) a multiple of 2?
True
Suppose 4*n = 5*u + 126, 3*n + u = 41 + 63. Suppose -27750 = 19*s - n*s. Does 74 divide s?
True
Suppose -2*n + 224 = 14*n. Let b be (-268)/28 - 6/n. Is (-33)/(-1) + (-30)/b a multiple of 2?
True
Let u be (84/56)/(1/4). Is 4 a factor of 1*u/4*48?
True
Let m = 539 - -1601. Is m a multiple of 26?
False
Let l(f) = 8*f**2 - 8*f - 14. Let y(s) = 7*s**2 - 8*s - 14. Let x(g) = 5*l(g) - 6*y(g). Let b be x(7). Is b/(-3)*42/4 a multiple of 16?
False
Let d(y) = 84*y**2 - 276*y + 1104. Is 12 a factor of d(4)?
True
Suppose -103625 = -9*p + 63622. Is 13 a factor of p?
False
Suppose m - 690 = 2*d, 5*m - 56*d + 55*d - 3441 = 0. Is m a multiple of 2?
True
Let k(b) = 8*b + 69. Let l be k(-8). Suppose 6*y - 363 = -l*y. Is y a multiple of 13?
False
Suppose -k - 10 = k, 5*k = 4*n + 127. Let a = -36 - n. Suppose -a*y + c - 46 = -4*y, -y - 4*c + 16 = 0. Does 6 divide y?
True
Suppose -3*j = -4*b - 18, 0 = j + 4*j + b - 30. Let d(q) = -q**2 + 8*q - 7. Let c be d(j). Suppose 5*a - 7*a - 2 = 5*n, c*a = n + 49. Is 3 a factor of a?
True
Suppose 0 = 37*p - 32*p + 150. Let k = 35 - p. Is 7 a factor of k?
False
Suppose -8*g + 4080 = -4*g. Suppose -g = -0*i - 6*i. Is i a multiple of 9?
False
Suppose 3*r - 1103 = f, -18*r - 4*f + 346 = -17*r. Is r a multiple of 3?
True
Let x = -82 - -80. Let s be 2/(-1)*(x - (-2)/(-4)). Is 8 a factor of (s/((-10)/16))/(5/(-105))?
True
Let f(z) = -261*z**3 - 3*z**2 - 7*z + 2. Is f(-4) a multiple of 48?
False
Suppose 30 = 4*x - 2*z, -z - 23 = -x - 18. Let u(j) = j**2 + 8*j + 15. Let c(t) = -2*t**2 - 9*t - 14. Let y(b) = -2*c(b) - 3*u(b). Does 3 divide y(x)?
False
Suppose 10*w = 6*w + 1908. Is 51 a factor of w?
False
Suppose -41*w = -19*w + 3960. Let g = 534 - w. Is g a multiple of 17?
True
Does 58 divide (-1 + (-166)/(-6))/(152/46284)?
True
Let g = -134 + 143. Let x = g - 4. Suppose 3*u = x*h + 127, -4*u - 4*h = -5*h - 141. Is 34 a factor of u?
True
Let j(a) = -a**2 + 5*a - 1. Let n be j(4). Suppose 0*b + 3*g = 4*b - 61, -n*b + 2*g = -45. Is b a multiple of 4?
False
Let h(t) = -266*t + 660. Is 25 a factor of h(-5)?
False
Suppose 4*s = s + 297. Let g be 54*(-5 + (-48)/(-9) + -2). Let n = s + g. Is 3 a factor of n?
True
Let p = 45 + -16. Suppose -4*s + 0*s = c - 9, 4*s = -5*c + p. Suppose 38 - 278 = -c*f. Is f a multiple of 16?
True
Suppose -9*m = 3*m + 4*m. Suppose 4*x + 12 = 0, m = -v + 5*x - 164 + 568. Does 20 divide v?
False
Suppose -42 = 5*f - 62. Suppose -y + 58 = 3*s - 625, f*y - 2807 = 3*s. Is y a multiple of 37?
False
Suppose 5*z = 2 - 12. Let j(g) = -41*g - 10. Let b(n) = -85*n - 20. Let s(w) = -3*b(w) + 7*j(w). Is s(z) a multiple of 7?
False
Suppose 11*v = -5*r + 8*v + 116, -5*v - 65 = -2*r. Suppose o - 5*j - 35 = 0, 5*j = -0*o - 2*o + r. Is o even?
True
Let z = 5674 - 3018. Does 16 divide z?
True
Let b be (1070/(-25))/(12/30). Let w = 302 + b. Is 16 a factor of w?
False
Let k(v) = 275*v - 56. Suppose 7*u + 28*u = 70. Is k(u) a multiple of 26?
True
Let a be 10 + -9 + -1 + -359. Let r = a - -513. Suppose -2*z = -0*z - r. Is 24 a factor of z?
False
Let f(p) = 6*p**2 + 3*p. Let n be f(-2). Let t = 0 + n. Is 34 a factor of 2295/t*8/10?
True
Suppose -13 = 2*z - l, 0 = -2*z - 2*l + 5*l - 7. Is 22 a factor of (-15786)/(-30) - (-3 - z)/25?
False
Suppose -5*l - s + 14241 + 13515 = 0, 3*l = 4*s + 16672. Let t = l - 3926. Is 15 a factor of t?
False
Let f(r) be the first derivative of -r**4/4 + 4*r**3 + 14*r**2 + 10*r + 42. Let z be f(14). Suppose t + 52 = 2*a, 5*t = 3*a - 82 - z. Is a a multiple of 3?
True
Suppose 6 = 2*b + 4*b. Is 17 a factor of b/13 + (-31272)/(-78)?
False
Suppose -63*o + 189783 + 89257 = -364946. Is 38 a factor of o?
True
Suppose -x + 3*h - 132 = 0, -h + 2*h + 112 = -x. Let m = 379 - x. Is m a multiple of 23?
False
Let w(z) = -z**3 + 6*z**2 + 5*z - 23. Suppose 2*u + 3*u - o = 0, 4*u = 2*o. Suppose 23 = 4*p - x + 2, -5*p - 5*x + 45 = u. Is 3 a factor of w(p)?
False
Suppose 5*l = 3*k - 12990 + 468, -6*k - l = -25044. Is 171 a factor of k?
False
Let c be 8*1*(18/(-48) - (-7)/8). Let k = -2 + 4. Suppose -x + 104 = c*b, k*b - 112 = -2*b + x. Is 27 a factor of b?
True
Suppose 0 = 3*w - 2*l - 1447, -3*l = -2*w - l + 964. Let c = w + -280. Does 29 divide c?
True
Suppose -53 = 2*h - h - 3*u, 0 = -5*h + 2*u - 252. Suppose 120 = -5*n + 3*j, 3*j + 96 = -4*n + 6*j. Let d = n - h. Does 8 divide d?
False
Let q(o) = 4*o**2. Let u be q(1). Suppose u*k + 19 = -57. Let f = k + 41. Does 5 divide f?
False
Let l(o) = -311*o - 900. Is l(-10) a multiple of 34?
True
Let g(q) = 6*q**2 + 157*q + 4221. Is 96 a factor of g(-45)?
False
Let o(t) = 86*t**3 + 3*t - 2. Suppose 32 - 29 = 3*b. Does 7 divide o(b)?
False
Is -11 + (-14 - -31394 - 23) a multiple of 14?
True
Let a = 12571 + 9868. Is a a multiple of 177?
False
Is (50 + -2973 - -28)/(19/(-16) - -1) a multiple of 18?
False
Suppose 0 = -14*x - 3*x + 34. Suppose 10*k - 1728 = -x*k. Is k a multiple of 16?
True
Suppose 3*h + 371 = 10*h. Let u = 653 - h. Suppose 3*w + 2*w = u. Is w a multiple of 10?
True
Let h(c) = 103*c - 149. Let z be h(15). Suppose b = 4*w - 0*b - z, 0 = -w + b + 352. Is w a multiple of 11?
F