) = -21*s - 5. Let u be b(-6). Suppose v = -d - 4*d + u, y*d - 47 = v. Is d a multiple of 6?
True
Let i(b) = 2*b**2 + b - 4. Let n be i(4). Suppose -35*h = -n*h - 351. Is h a multiple of 9?
True
Does 12 divide (-26268)/16*2/(-3) - (-207)/(-138)?
False
Let v = 8612 - 3007. Does 59 divide v?
True
Let x be (108/(-21))/(6/(-21)). Suppose x*q = 7*q + 495. Let k = -21 + q. Is k a multiple of 21?
False
Let i(y) = -y**3 - 7*y**2 + 73*y + 8. Let k be -3*6 - 4/(-8)*10. Is i(k) even?
False
Let m(t) = t**2 + 2*t - 46. Let n be (0 + -5)/((-6)/(-10 - 2)). Does 2 divide m(n)?
True
Let x(d) = -34 + 64 + 55 - 14*d + 12*d**2. Is 21 a factor of x(5)?
True
Suppose 2*z + 825 = 13*z. Let s = 102 - z. Is 9 a factor of s?
True
Let w(p) = 2*p**3 - 32*p**2 + 12*p + 10. Let t be w(15). Let h = 1062 + t. Is h a multiple of 28?
False
Suppose -w + 2 = 0, -21 = -5*a - 10*w + 7*w. Suppose -a*f + 5*x + 139 = 0, x = f + 4*x - 37. Is 43 a factor of f?
True
Suppose 50*d = 6*d + 12232. Let x = d - 96. Does 13 divide x?
True
Suppose 14 = -s + 208. Let d = s + 76. Is 24 a factor of d?
False
Suppose 28*f + 3395 = 33*f - 2*o, -5*o - 1337 = -2*f. Let n be 1413/(-6)*(1 - -1). Let s = f + n. Does 38 divide s?
False
Let t = 396 - 256. Suppose r + l - 12 = 0, -5*r + 3*l = -42 + 6. Let s = r + t. Is 34 a factor of s?
False
Suppose -6 = 3*r + 3. Let a be (r - -2)/((-1 - 0)/(-1)). Is 31 a factor of 7/((-105)/(-1398)) + a/5?
True
Suppose 4*r = -16, 4*m = 9*m - 5*r - 7485. Is 2 a factor of m?
False
Suppose -9 + 237 = 6*z. Let t = 93 - z. Suppose 4*w - 33 = -j, -2*j + 0*j + 3*w = -t. Is 23 a factor of j?
False
Let b be (-3)/(-6)*(-1 + 5) + 0. Suppose w = -b*v - 56, 7*w = -4*v + 3*w - 104. Is 7 a factor of (-28)/((20/v)/(4/3))?
True
Does 55 divide -6 + 30205 + (-5 + 7 - -3)?
False
Suppose 40*y - 10288 - 12738 = -7346. Does 5 divide y?
False
Let m = -8954 + 16757. Is m a multiple of 51?
True
Suppose -3441 - 4623 = -24*v. Let d = 516 - v. Is 5 a factor of d?
True
Let m = -7495 + 24595. Is 36 a factor of m?
True
Suppose 5*t = t, 223335 = 5*w - 2*t. Does 75 divide w?
False
Let r(v) = -v**3 + 22*v**2 + 45*v + 34. Let o be r(24). Is (-8360)/o + -5 + -2 a multiple of 7?
False
Suppose 1695963 = 19*y + 95*y + 15*y. Does 15 divide y?
False
Let p = 103 - 109. Is 87 a factor of (-58376)/(-40) + p/15?
False
Let o be -2 + 0 - (2 + -5 + 6). Let n be (o - 56/(-12))/((-1)/1599). Suppose -29 + n = 8*w. Does 7 divide w?
True
Let i(j) = -4*j - 13. Let u(m) = -4*m - 11. Let a(b) = -6*i(b) + 5*u(b). Let z be a(0). Is (z/2 - -1)/((-9)/(-18)) even?
False
Let t(w) = 16*w**3 + 343*w**2 - 18*w + 56. Does 13 divide t(-17)?
False
Is 38/(-513) - 2370620/(-270) a multiple of 39?
False
Suppose 4*a = -4*f - 24, -3*f + 1 = -a + 11. Let m be a*(7/(-4))/((-6)/(-84)). Suppose 8*h = d + 5*h - m, 0 = -2*h - 4. Is 9 a factor of d?
False
Is 15 a factor of 236/(-531)*(-7 - 32816)?
False
Let h = 1155 - 1161. Let g(t) be the second derivative of -t**5/20 - 5*t**4/12 + t**3/3 + 5*t**2 - t. Is 17 a factor of g(h)?
True
Let g(i) be the second derivative of 7*i**4/12 - i**3/2 + 2*i**2 - 17*i. Suppose -3*c = -3 - 3. Is g(c) a multiple of 26?
True
Let v(f) = 4*f - 10. Let l be v(3). Suppose -l*c - 3*b = 201, -4*c + 17 = -2*b + 459. Let h = -12 - c. Is h a multiple of 13?
False
Let b(z) = -z**3 + 134*z**2 - 865*z - 201. Is 23 a factor of b(124)?
True
Let n be -1 + -5 - 9/(-3). Let q be n - (-1)/(2/276). Suppose -3*a + 3*i = -q, 2*a + a + 3*i - 129 = 0. Does 11 divide a?
True
Let g(v) = v**2 - 11*v + 1. Let s be g(11). Let q be 1184/32 + -2 + s + 0. Let w = 80 - q. Does 10 divide w?
False
Let w(s) = -s**3 - 8*s**2 - 6. Let o be w(-8). Let g be ((-36)/(-8))/(o/(-4)). Suppose -4*d = 5*r - 90, 69 = 2*d + d + g*r. Is d a multiple of 3?
False
Suppose 136707 = 3*y - 54*q + 51*q, 3*q + 91134 = 2*y. Is y a multiple of 103?
False
Let g(w) = 283*w + 438. Is 28 a factor of g(22)?
True
Suppose 7*q - 201 = -3435. Is (0 + 2)*33/(q/(-1820)) a multiple of 10?
True
Suppose 0 = 5*y - 13*y + 6*y + 4522. Is y a multiple of 119?
True
Let c be 2*(2/4)/1. Suppose -3*q + 18 = -s + q, 0 = 2*s - q + c. Suppose 0 = -s*w - 34 + 262. Is 27 a factor of w?
False
Suppose -v - 1917 = -4*s + 2350, -4*s = -5*v - 4279. Suppose 0 = 13*b - 5278 - s. Is 52 a factor of b?
False
Let a(y) be the third derivative of y**5/15 - y**4/4 + 9*y**3/2 - 20*y**2. Is 11 a factor of a(7)?
False
Let f = -2744 - -7645. Is 20 a factor of f?
False
Let v = -147 + 144. Is 8 a factor of (-231)/33 - 109*v?
True
Let o(p) = 94*p - 117 + 47 - 32*p. Is o(15) a multiple of 43?
True
Suppose 317*h + 10140 = 327*h. Is 6 a factor of h?
True
Let b(j) be the second derivative of 11*j**4/2 - j**3/2 + 9*j**2/2 + 12*j - 6. Is 18 a factor of b(-5)?
True
Let w be (-1 - 1041)/((-61)/(-122)). Let m = -1220 - w. Is 18 a factor of m?
True
Let t(q) = -215*q + 134. Is t(-27) a multiple of 43?
False
Let t = 42 - 146. Let w = t + 107. Suppose 4*b = -w*p + 226, -b - 30 = 3*p - 253. Is p a multiple of 9?
False
Let u(g) = -6*g + 2*g + 3 + 5*g + 0*g**2 + g**2. Let o be u(0). Suppose o*a - 4*v = 6*a - 68, -5*a + 5*v = -125. Does 6 divide a?
True
Let x = 66 + -60. Suppose -5*z = -4*j + 405, 3*j = -z + x*z + 305. Let q = 244 - j. Is q a multiple of 18?
True
Suppose 0 = 4*d + o - 74, -3*o - 30 = -0*d - 2*d. Suppose -2*v = -d - 4. Does 16 divide (4/(-3))/(v/(-132))?
True
Let q = 1591 - 297. Suppose q = 3*g + 241. Does 9 divide g?
True
Suppose 395*z + 298168 = 421*z. Is z a multiple of 122?
True
Let p = -4 - -4. Suppose p = -8*s - 106 + 34. Let j = 6 - s. Is 5 a factor of j?
True
Let z be 36/2 - (-16)/4. Let c(u) = 0 - 12*u + z + 6*u + 14*u. Does 10 divide c(11)?
True
Let b(s) = 90*s**2 + 210*s + 1056. Is b(-7) a multiple of 9?
True
Suppose -1895 = 33*d - 36*d + 6928. Is 138 a factor of d?
False
Let i = 224 - 24. Let a = 18 - 18. Suppose a = 4*t - i - 20. Does 10 divide t?
False
Let a be 6/(-8) + 81/(-36). Does 2 divide 9 - 0*a/(-18)?
False
Let h(a) = 5*a**2 - a + 1. Suppose -99 = -2*p - 103. Does 4 divide h(p)?
False
Let l(z) = 12*z**2 - 84*z + 6. Let t be l(7). Let g(a) = -2*a**3 + 8*a**2 + 0*a**3 + 1 - 8*a + a**3. Is 3 a factor of g(t)?
False
Let u be (-1202 - (8 - 4)) + (-10 - -14). Let z = -165 - u. Is z a multiple of 84?
False
Suppose 5*k + 445 = 5*r, -2*r - 3 + 1 = 0. Let i = k - -92. Suppose 83 = -3*l + 3*y + 227, -98 = -i*l + 3*y. Is 23 a factor of l?
True
Let n be 346/10 - 15/25. Let u = n - -2. Suppose 2 - u = -m. Is m a multiple of 7?
False
Let f = -39209 - -65858. Is f a multiple of 141?
True
Let g(c) = 11*c**2 + 35*c - 1286. Is g(26) a multiple of 62?
False
Suppose l = -3*k - 11, -l = 4*l + 5*k + 15. Is (21 - 302)/(1/((-3)/l)) a multiple of 20?
False
Let n(f) = -56*f - 736. Is 66 a factor of n(-32)?
True
Is ((-39838)/(-2) - -5) + (-44)/33*3 a multiple of 29?
False
Let p = 4325 + 5100. Is p a multiple of 30?
False
Let l = 19 - 3. Let m(c) = -11*c - 20*c - 40 + 2*c**2 + 43. Is 10 a factor of m(l)?
False
Does 39 divide ((-3320)/(-16) + 0)/(219/(-110) - -2)?
False
Let w = 29436 - 16072. Is 26 a factor of w?
True
Suppose 3*x + 160 = 7*x. Let d = -38 + x. Does 23 divide (-2)/3*(903/d)/(-7)?
False
Let p be -1 - 1 - 1832/(-4). Let o = 556 - p. Is o a multiple of 26?
False
Is 9 a factor of (-300)/(-250) + ((-13668)/(-10))/1?
True
Suppose -47109 = -4*d + 3*f, 4*f - 17165 = 5*d - 76051. Does 20 divide d?
False
Let l = -51 - -63. Let h be (-28)/(-5) + l/(-20). Suppose 210 = k - 5*u, h*k = 9*k + 4*u - 768. Is 39 a factor of k?
True
Suppose 3*c - 9995 = -3515. Suppose 0 = -27*z + 33*z - c. Is 24 a factor of z?
True
Let m(c) = 8*c**2 - 65*c - 874. Does 45 divide m(-33)?
False
Suppose 2*l = 9*l. Let a be l - (1 + -7)*1. Suppose -2*t + a*t - 680 = -5*m, -t = 5. Is m a multiple of 10?
True
Suppose 2*m = 4*i - m - 5, 3*i = 3*m + 3. Suppose 4*w - 18 = i*b, -2*w - 3 = b - 2. Is 12 a factor of 0 + 59 - (-4)/5*b?
False
Let w be (-74 + 1/(-1))/(-1). Suppose 3402 - 9933 = -21*o. Suppose 3*k + w = r, -o = -r - 4*r - k. Does 9 divide r?
True
Suppose -789269 + 27729 = -116*x. Is x a multiple of 42?
False
Suppose 67*j = 78*j - 9130. Suppose 10*o = j + 1150. Is 22 a factor of o?
True
Let i(c) = -5*c**2 - 14*c + 136. Let h(j) = 3*j**2 + 6*j - 68. Let k(n) = 7*h(n) + 4*i(n). Is k(9) even?
False
Let v(d) = 5*d**3 + 8*d**2 + 19*d - 1. Let f(m) = -3*m**3 -