(-13). Let k = 6 + b. Suppose -k*h - 795 = -7*h. Is h a multiple of 30?
False
Let o(d) = d**3 + 23*d**2 + 24*d + 53. Let b be o(-22). Does 11 divide (((-168)/b)/4)/(1/(-33))?
True
Is (-1190)/(-102)*(-2)/10*-6891 a multiple of 53?
False
Let p(s) = s**2 + 4*s + 2. Let h be p(-4). Let r be -18*h*(-21)/12. Suppose -5*u - r = -198. Does 9 divide u?
True
Suppose 3216 = -5*a + 29*a. Suppose -a = -2*w + 116. Does 5 divide w?
True
Is 10/(-12) - (-36450883)/6438 a multiple of 9?
True
Suppose 2*h = -4*w - 1370, 3*w - 3*h + 1368 = 327. Let i = w - -484. Is 14 a factor of i?
True
Suppose -5*g - 6 + 51 = 0. Suppose g*s = 2*s + 3031. Suppose -359 = -9*y + s. Does 16 divide y?
False
Let a(d) = -d**3 - 15*d**2 + 30*d - 29. Let c be a(-18). Suppose 0 = -3*k + c + 1829. Is k a multiple of 24?
True
Suppose 3*r - 7*r = 12. Let b be (((-9)/(-6) + r)*4)/(-2). Suppose -8*w + b = -117. Is w a multiple of 2?
False
Suppose -6609*z + 6608*z = -5875. Is 47 a factor of z?
True
Let z be (-30)/(-21) + -5 + 195/35. Suppose -i = z*b - 139, 4*b - 4*i - 16 = 244. Is 12 a factor of b?
False
Suppose -12 = -5*d + 2*d. Suppose 0 = 3*m - d*l - 74, l - 5*l = -2*m + 48. Suppose 240 = -m*r + 31*r. Is r a multiple of 24?
True
Let w = -179 + 261. Let c = w + 3. Is 12 a factor of c?
False
Let a be (-3)/((-36)/30)*(-18)/(-15). Does 22 divide ((-1)/(-3))/(a/909)?
False
Let x = 92 - 83. Let a = 65 - x. Is a a multiple of 4?
True
Let m = -378 - -621. Suppose 0 = -3*z - 3*b + m, -2*b - 61 = -4*z + 275. Let d = z - 59. Does 6 divide d?
True
Does 11 divide (-7)/(-1) + (2165/1 - 5)?
True
Let b(u) = -2*u**3 - 20*u**2 + 38*u - 51. Is 6 a factor of b(-16)?
False
Let m = 2707 - -8471. Is 68 a factor of m?
False
Suppose 0 = 18*n + 54*n - 564480. Is 140 a factor of n?
True
Let t = -45 + 45. Suppose t = x - 6*x + 10. Suppose 324 = 2*f + f + x*q, 0 = 3*f - q - 324. Does 26 divide f?
False
Let v(b) = b - 4. Let z(n) = -2*n + 71. Let i(r) = -5*v(r) + z(r). Does 12 divide i(-5)?
False
Does 3 divide (825/(-330))/((-2)/4832)?
False
Let s(v) = -2*v**2 - 73*v - 328. Let o be s(-5). Let b(t) = -74*t + 95. Does 7 divide b(o)?
True
Suppose -30*u + 48*u - 6966 = 0. Let v = -270 + u. Does 6 divide v?
False
Let q(t) = 55*t**2 - 3*t + 16. Let h(g) = -56*g**2 + 2*g - 12. Let z(k) = -4*h(k) - 3*q(k). Is 3 a factor of z(1)?
True
Is (-363625)/(-25) - (112/(-14) - (-4 + 0)) a multiple of 69?
False
Suppose 2*c + 4*d = 16 - 0, 2*d + 16 = 5*c. Is 6 a factor of (5 - c - 3/5)*210?
True
Is 23 a factor of (-11152)/(2/2 - (-21)/(-7))?
False
Let g(i) = -i**3 + 10*i**2 - i - 17. Let o be g(12). Let k = o + 565. Is k a multiple of 8?
True
Let s = -1246 - -1262. Let y = -59 - -105. Let q = y + s. Is 31 a factor of q?
True
Is 150/(-8)*(-552976)/642 a multiple of 190?
True
Let i = -3977 - -7557. Is i a multiple of 20?
True
Suppose 786 = 9*b + 201. Let y be ((-1)/(2/4))/1. Does 13 divide b/((-10)/y)*1?
True
Let u(p) be the first derivative of 2*p**3/3 + 39*p**2/2 - 56*p + 85. Is u(-26) a multiple of 21?
False
Let n(l) = l**3 - l**2 - 2*l - 2. Let a be n(3). Let f be ((-66)/(-55))/((-3)/(-5)). Suppose f*u - a = 28. Is u a multiple of 11?
False
Suppose 0 = -7*v + 1667 + 286. Suppose -1079 = -5*u - v. Suppose m + u = 6*m. Is m a multiple of 32?
True
Suppose 0*u = m - u + 10, -32 = 3*m - 4*u. Let h(r) = -r**3 - 7*r**2 + 9*r - 1. Let d be h(m). Is (-66)/(-18) + (-3)/d a multiple of 2?
True
Let s(g) = 3*g**2 - 14*g - 253. Let f be -3*2/(-1*12)*38. Is 47 a factor of s(f)?
True
Suppose -39*n = -111880 - 727556. Does 28 divide n?
False
Let q = 11 - 16. Let a(v) be the second derivative of -5*v**3/3 - v**2 + 892*v - 2. Is a(q) a multiple of 5?
False
Let o(x) = 7*x + 6. Let n(v) = -7*v - 6. Let d(u) = 5*n(u) + 6*o(u). Let a be -8*(-3)/(-6) - (-11 + -1). Is d(a) a multiple of 10?
False
Suppose -14 = 2*f + 3*s, 3 = 2*f + 5*s + 21. Let r(b) = 13*b**2 - 17*b - 29. Is r(f) even?
False
Suppose 3287 = 25*w - 638. Suppose 0 = f - 4*j - w, 3*f = 2*j + 161 + 270. Does 17 divide f?
False
Let c = -228 - -154. Let s = 3311 - 3433. Let u = c - s. Does 6 divide u?
True
Let a(r) = -2*r**2 - 6*r + 66. Let l be a(6). Does 44 divide 1*4 - (l + 2)?
True
Is (4 + (-39)/12)*(-44 + 1552) a multiple of 4?
False
Is 5 a factor of (-7918)/(-8) + 7/42*(-6)/(-4)?
True
Let b = -1703 - -2545. Let r be (1 + 3)*(-64)/(-1). Suppose 5*g + 238 - b = k, -4*k - r = -2*g. Is g a multiple of 12?
True
Let g(n) = -1 - 7*n**2 - n**3 - 8*n - 4*n**2 + 1. Let f be g(-11). Suppose -76 = -5*o + 3*m + 144, 0 = -2*o - 2*m + f. Is o a multiple of 24?
False
Let y = -53 + -68. Suppose 0 = -3*b - 2*b + 15, -5*h + 5*b = -865. Let g = y + h. Is 5 a factor of g?
True
Suppose -w + 2 = -3*x, -21 = -x + w - 5*w. Let y(a) = 7*a - 4. Let g be y(x). Suppose -3*c - u = g*u, 3*c - 9 = -u. Does 3 divide c?
False
Let g = 878 - 243. Is 4*(-9 - -8) + g a multiple of 25?
False
Is (324*13)/4*26/3 a multiple of 54?
True
Let c = 13 - 17. Let h(x) = 4*x**2 + 5*x - 6. Let l be h(c). Suppose 3*m + l = 2*g, m + 3*m = -3*g + 23. Does 2 divide g?
False
Let h = 2 + 5. Suppose -3*m - 4*k - 15 = 0, 0 = 2*m - h*m - 2*k - 11. Is 13 a factor of (2 - -40)/3 + m?
True
Is 10 a factor of 7167/3 - (-306)/51?
False
Suppose 79*v - 56*v = -74*v + 3204880. Is v a multiple of 20?
True
Let f(q) = -q**3 + 11*q**2 - 4*q - 11. Let x be 1 + -8*1 + 2. Let h be 10/x*5/(-2). Is f(h) a multiple of 21?
False
Let b(f) = 5*f + 6. Let j be b(4). Let d = 44 - j. Suppose d*a = -a + 247. Is 13 a factor of a?
True
Let o(b) = -6*b + 33. Let n be o(5). Is 71 a factor of -4 + n*(5 - -126)?
False
Let n = 1290 - 992. Is n a multiple of 2?
True
Let c(r) = 5875*r - 859. Is c(1) a multiple of 114?
True
Suppose 2*t - 27273 = -4*t - 9435. Is 3 a factor of t?
True
Suppose s + 6*g - 4835 = 3*g, -3*g + 19367 = 4*s. Does 21 divide s?
False
Let l(v) = -v**2 - 30*v + 60. Let j(w) = -2*w - 1. Let k(s) = -2*j(s) + l(s). Is 5 a factor of k(-22)?
True
Let g be (78/(-52))/(6/(-8)). Suppose -b + g*a + 202 = b, -109 = -b - a. Is 35 a factor of b?
True
Let s = -4390 + 14578. Does 140 divide s?
False
Suppose 44574 = 184*z - 167*z. Is z a multiple of 114?
True
Let b be -1 + 2 + -5 + -10. Let o be (-99)/(-21) + (38/b - -3). Suppose 7 = 3*f - g - 315, 5*f - o*g - 530 = 0. Does 9 divide f?
True
Let i = -4294 + 9814. Does 23 divide i?
True
Let u = -508 + 634. Does 40 divide 2/(-3) + 166404/u?
True
Let d be 3 + 3*4/(-12). Let o(m) = -m**2 + 2*m. Let y be o(d). Suppose -4*t - 69 + 261 = y. Does 24 divide t?
True
Suppose 23 = -4*w + 3*u, -3 = 3*u - 2*u. Let z = w + 10. Is 3 a factor of (-1)/4 + (z - 89/(-4))?
True
Suppose 10558 + 22615 = 52*j + 2181. Does 15 divide j?
False
Let o be 175/(-25) - 4712/(-1). Suppose 5*n - a - o = -6*a, 4*n = 2*a + 3734. Does 67 divide n?
False
Suppose -114 = -3*r + g, 3*r - 5*g - 47 = 55. Suppose -k + r = -1. Does 7 divide k?
False
Let q(i) = -2*i**3 + 41*i**2 - 53*i + 142. Does 52 divide q(17)?
False
Let z = -3646 - -410. Let g = z - -4556. Is 20 a factor of g?
True
Let d = -56 - -60. Let k be (6/d)/((-6)/(-124)). Suppose x = 3*r - x - 93, -k = -r + 4*x. Is 11 a factor of r?
False
Suppose 0 = 8*y - 1 - 7. Suppose 5 = -i - 3*u - y, 0 = -2*i - 3*u - 15. Let x(r) = r**3 + 12*r**2 - 2*r + 16. Is 12 a factor of x(i)?
False
Let r = -2 - -5. Suppose -r*c + 722 = 4*z, c = -3*z - 17 + 256. Is c a multiple of 58?
False
Let u be (-16)/((-64)/(-3)) - 489/4. Let z = u + 1137. Is 78 a factor of z?
True
Let q be (-9)/6*(-7 + 5). Let c(i) = 47*i**2 + 9*i + 6. Is 24 a factor of c(q)?
True
Let z be ((128/(-20))/8)/(8/(-29460)). Let o = z + -2101. Is 32 a factor of o?
False
Let l = -522 + 519. Let k(a) = -254*a - 18. Is 12 a factor of k(l)?
True
Let t = 3087 - 1987. Is t a multiple of 100?
True
Let o(l) = 134*l - 382. Does 15 divide o(23)?
True
Let c(p) = 12*p**3 + p**2 + 5*p - 5. Let u be c(1). Let t(m) = 2*m - 14. Let j be t(u). Is 16 a factor of (2/(-5))/(j/(-480))?
True
Let h be 1/((4/88)/(5/(-10))). Let g(t) = 3*t**2 + 42*t + 4. Let p(b) = b + 1. Let i(k) = -g(k) + 5*p(k). Is i(h) a multiple of 15?
True
Let h = 8671 - 2385. Is h a multiple of 46?
False
Suppose -7*c + 8*c = -2*v, -4*c + 36 = -4*v. Suppose 0 = 3*i + o - 305, 4*i - 2*o = c*i - 198. Does 31 divide i?
False
Suppose -5*h - 3*b + 15 = 0, 4*b + 3 = h - 0. Suppose h*p = 178 + 53. Suppose 79*y - 150 = p*y. Is 15 