r be q(-9). Let c(h) = 72*h**2 + 4*h - 5. Let z be c(r). Suppose 75 - z = -4*d. Is 8 a factor of d?
False
Let w = -1767 - -938. Let t = -566 - w. Does 21 divide t?
False
Suppose -12*c = -4*d - 9*c, -d = -2*c + 5. Suppose -d*r - 2064 = -9*r. Is 35 a factor of r?
False
Let c = 44852 - 31924. Does 32 divide c?
True
Let p = -91 + 32. Let x = p - -59. Suppose -236 = -2*h - 5*m, -5*h + 4*m + 590 = -x*h. Is 21 a factor of h?
False
Suppose -10*b - 314415 = -78555. Let h be b/(-4) + 8/(-16). Is h/(-11)*1/(-2) a multiple of 14?
False
Let p = 132 + -130. Suppose -3*j + p*i = -106 - 113, 2*j + i = 139. Let b = j - 31. Does 9 divide b?
False
Let a = 498 + -341. Does 3 divide a?
False
Let i be -1*(12/(-3) + 1). Suppose x + 1 = -3*g - i, -12 = -3*x + 3*g. Does 4 divide ((-5)/x - -3)*26?
False
Let r(m) = 496*m + 220. Is r(4) a multiple of 5?
False
Let y(d) = -258*d**3 + d**2 + 2*d + 1. Let w be y(-1). Let f = -356 - -474. Let p = w - f. Is 14 a factor of p?
True
Let k(s) = 2*s**2 - 12*s + 22. Let z be k(4). Suppose 3*l + 2*u = z*l - 1779, -3*u = -9. Is l a multiple of 38?
False
Let f(u) = u + 4. Let t be f(-2). Suppose 72 = -t*c - 4*p, 0 = 4*c - 5*p - 0*p + 196. Is 5 a factor of ((-165)/c)/((-231)/120 + 2)?
True
Let m(w) = 459*w + 15810. Does 3 divide m(-31)?
True
Let m be 0/(2/(2 - 0)). Let g(k) = k**3 + k**2 - k. Let w be g(m). Suppose w*a - 3*h = 5*a - 120, 0 = -2*h. Is a a multiple of 11?
False
Let t be 6 + -22 - (-2 + 1 + 3). Let w be (-3)/t*-2*(3 - 198). Suppose w*n - 155 = 64*n. Is 14 a factor of n?
False
Suppose 2 = -2*m, -4*n - n - 5*m - 20 = 0. Let s be (2/n)/(10/(-120)). Is 8/(-32) + -43*(-6)/s a multiple of 8?
True
Let s(y) = 69*y**2 - 2*y - 1. Let z(f) = -f**3 + 8*f**2 - 11*f - 5. Let t be z(6). Is 5 a factor of s(t)?
False
Suppose 4504 - 29881 = -19*d - 14*d. Is d a multiple of 20?
False
Let r = 64 + -61. Let d be (230/6 - 1)*r. Suppose 4*p = 2*p + d. Is p a multiple of 28?
True
Let b(l) = -7*l + l**3 - 7*l**2 + l**3 - 1 - 3*l. Suppose 5*v - 8 = -3*q, -4*q - 4*v + 20 = -2*v. Is b(q) a multiple of 17?
True
Let b = -856 + 1819. Is 9 a factor of b?
True
Suppose 0*n = -10*n + 14721 + 10019. Is 6 a factor of n?
False
Suppose 37*x + 648 = 41*x. Let d = x + -2. Does 7 divide d?
False
Suppose 0 = -11*n - 1683 - 2321. Let d be (-4)/(-6) + (n/(-12))/7. Suppose -d*q + 592 = v, 2*v - 5*v = -4*q + 485. Is 17 a factor of q?
True
Let i(a) = 45*a - 360. Is i(82) a multiple of 9?
True
Suppose 25*d - 98566 + 9966 = 0. Does 7 divide d?
False
Let v(p) = 3*p**2 + 16*p - 38. Let x(d) = -9*d**2 - 49*d + 113. Let r(q) = -11*v(q) - 4*x(q). Is r(-15) a multiple of 13?
False
Suppose 0 = 5*j - 12*f - 13666, 80*j + 4*f = 78*j + 5440. Is j a multiple of 70?
False
Let h be ((-665)/(-30))/7 + 3/(-18). Does 13 divide 58 - (18 - 22)*h/(-2)?
True
Let k(z) = 5*z**3 + 7*z**2 + 5*z - 9. Let q be k(-4). Let n = 327 + q. Is n a multiple of 9?
True
Suppose -6 = -11*l + 687 + 4092. Is 29 a factor of l?
True
Let d(n) = -7*n**3 + 23*n**2 + 14*n - 35. Let b(m) = 3*m**3 - 11*m**2 - 7*m + 17. Let t(l) = 9*b(l) + 4*d(l). Does 12 divide t(-7)?
False
Is 3/(1/242*(-210)/(-3850)) a multiple of 121?
True
Let n be 1 - (4/(-6))/((-10)/(-45)). Suppose n*l = -2*l + 222. Suppose r - l + 136 = o, -5*r + 184 = 2*o. Is o a multiple of 20?
False
Suppose 2*t - 1820 = -t - 2*w, -t - 2*w = -604. Let q = t + -381. Is 22 a factor of q?
False
Suppose -4*g + 305 = n - 65, -3*g + 271 = 4*n. Suppose 0 = j - 2*q - g, 11*j - 10*j - 4*q = 99. Is 9 a factor of j?
False
Let s = -6730 + 7587. Is 20 a factor of s?
False
Let s = -314 + 319. Is 240 - 0*s/30 a multiple of 30?
True
Let q = 7158 - 6670. Does 11 divide q?
False
Let x(b) = b**2 + 5*b - 28. Let k be x(-12). Suppose 0 = w + 2 - k. Is 35 a factor of w?
False
Suppose -1417*n = -1409*n - 82536. Is n a multiple of 16?
False
Suppose -27*j = 2835 - 35478. Suppose -5*c + 53 = -d + 641, -j = -2*d - c. Is 67 a factor of d?
True
Let h = -310 - -418. Suppose h*i + 8000 = 116*i. Is 40 a factor of i?
True
Let h(f) = -11*f**3 + f**2 - 12*f - 13. Let p be h(-4). Suppose 2*z = 4*m + 760, -m + p = z + z. Does 21 divide z?
True
Let b = -661 - -8647. Does 39 divide b?
False
Let o = -124 + 51. Let s = o - -87. Let v(h) = -h**3 + 15*h**2 - h - 18. Is 41 a factor of v(s)?
True
Suppose -3*z + y + 6 = 0, z - 4 = -z - y. Suppose c - 1666 = -4*b, 3*b - 420 - 824 = z*c. Suppose -u - 4*j = -130, -53 = -4*u + j + b. Is 31 a factor of u?
False
Let r(v) = -v**3 - 21*v**2 + 19*v + 403. Let i be r(-21). Suppose 0 = i*z + 722 - 2022. Is 13 a factor of z?
True
Let k = -188 + 188. Suppose k = 5*m - 9*m - 4*t + 1112, 4*t = 2*m - 538. Is m a multiple of 11?
True
Suppose -4*x - 9 = l, -4*x + l - 18 + 3 = 0. Let j(o) = -26*o - 24. Let q(s) = -13*s - 11. Let v(u) = -4*j(u) + 9*q(u). Is 18 a factor of v(x)?
True
Suppose -131*s - 64*s + 9654390 = 79*s. Is 81 a factor of s?
True
Let p(b) = -14*b - 458. Let u be p(-34). Suppose u*m - 5002 = 470. Is 22 a factor of m?
False
Suppose 9*t = -7*t - 32. Is (9 + 1)/t - -889 a multiple of 68?
True
Let i = 81 + -77. Let x be ((-6)/i*-2)/((-3)/(-2)). Suppose 10 = f + 2*y - 48, 2 = -x*y. Is f a multiple of 15?
True
Let f be 2/((-3)/1968*-2). Suppose 4*o = 5*o - f. Suppose -5*x = -2*g - o, 0*x + 5*x + 2*g - 644 = 0. Does 30 divide x?
False
Let v(i) = -441*i + 887. Is v(-3) a multiple of 3?
False
Let l be (-54)/14 - (-13)/(-91) - -9. Let q(x) = 7*x**2 - 11*x + 8. Is q(l) a multiple of 32?
True
Let q(d) = -62*d**3 + 70*d + 365. Does 13 divide q(-5)?
False
Let j = 466 + -121. Let f = -286 + j. Is f a multiple of 4?
False
Suppose 17*y - 15568 = 3*y. Is y a multiple of 4?
True
Let d = 173 - 169. Let c(w) = 10*w**3 - w**2 + 4*w - 6. Let t(j) = -j**3 - j + 1. Let g(o) = c(o) + 6*t(o). Is 10 a factor of g(d)?
False
Suppose -2*l = -4*v - 8, 0*l + 2*l = -5*v - 10. Suppose l = -3*i + 4*i - 3, 2*a - 16 = -2*i. Suppose -a*f - t + 185 = -0*t, 5 = t. Is 6 a factor of f?
True
Suppose -8906*k + 1026238 = -8863*k. Does 16 divide k?
False
Suppose 4*k = -47*m + 43*m + 55888, m - 55861 = -4*k. Is k a multiple of 49?
False
Let r be 4/((-224)/(-231)) + 5/(-40). Suppose -r*v = -3*o - 4542, -2*o = v - 4*o - 1138. Is 14 a factor of v?
True
Let s be 3945/12 + (-50)/(-40). Let x = s - 177. Does 21 divide x?
False
Let b = 2797 - 2720. Is b a multiple of 77?
True
Suppose -5*j - 11*g = -15*g - 3056, 3*g = 3. Does 36 divide j?
True
Let b = 248 - -19. Let j = b - 11. Does 8 divide j?
True
Let x(j) be the second derivative of 31*j**3/6 + 8*j**2 - 3*j. Let f be x(4). Does 2 divide (-609)/(-13) - (2 + f/(-65))?
False
Let m(r) be the first derivative of -17*r**2/2 + 77*r - 141. Is 8 a factor of m(-7)?
False
Suppose -368 - 2596 = -12*h. Let r = h + -175. Is r a multiple of 9?
True
Let h(d) = -35*d + 1510. Does 37 divide h(-15)?
True
Let u = 13415 - 5620. Is 5 a factor of u?
True
Let y = 8616 + -3546. Is 169 a factor of y?
True
Suppose 205*t - 202*t - w - 3499 = 0, 2*t + 5*w - 2361 = 0. Is t a multiple of 4?
True
Suppose 0 = i - 28 - 2. Let d(s) = -s**3 + 19*s**2 - 17*s - 16. Let g be d(18). Suppose 24 = g*v - i. Is 12 a factor of v?
False
Let k = 6098 - 6071. Suppose -2*d + 49 = -121. Let s = d - k. Does 11 divide s?
False
Is 202 a factor of (-1 + 5 + 23832)*53/53?
True
Let u(j) = -j**3 - 3*j**2 + j + 14. Let w be u(-4). Suppose -w*h + 18*h = -32. Does 19 divide h/8 - (-600)/16?
True
Suppose 0 = 3*w + w - v - 92604, 3*w = -v + 69446. Is 25 a factor of w?
True
Let h = 8 + -6. Let g = 575 - 557. Suppose -s - h*s = -g. Is 3 a factor of s?
True
Suppose -4*t = -3*t + 74. Let a(s) = s**3 + 11*s**2 + 18*s + 36. Let d be a(-4). Let i = d + t. Does 2 divide i?
True
Let b be (12/(-8) - (-5)/10)*0. Suppose -4*h - u - 30 = b, -h = -3*h - 3*u - 10. Is -42*h/(5 - 1) a multiple of 12?
True
Does 15 divide 495/(-10)*((-120)/(-32))/(9/(-552))?
True
Let t(n) = -100*n - 57. Let p be t(-6). Suppose a - 2*f - p = -154, f = -5. Is a a multiple of 21?
False
Let u = -30 + 36. Let t be (((-60)/(-25))/u)/(1/(-110)). Is 4 a factor of t/3*-6*(-4)/(-8)?
True
Suppose 7*q - 59 = -10. Let v(j) = j**3 - 7*j**2 + j - 11. Let d be v(q). Is 17 a factor of ((-807)/(-6) - -1) + (-2)/d?
True
Let j(n) = -43*n - 21. Let h be j(-3). Let i be (h/(-45))/(4/(-10)). Let f(l) = 5*l**2 + 3*l + 9. Is 19 a factor of f(i)?
False
Suppose -x - 21768 = -2*h