)*72/5. Does 13 divide -2 + 6 - (h + (-5 - -1))?
False
Let p be (16/10)/(18/9405). Is 2 a factor of p/57 - (-2)/6?
False
Suppose 4*t + 5 = 13. Suppose t*m = -3*s + 114 + 79, -273 = -3*m + s. Let j = m - 64. Is 3 a factor of j?
False
Let w be (-8)/(-6) + 10/15. Suppose 3*m + 7*t - 530 = 6*t, 0 = -w*m - t + 352. Does 26 divide m?
False
Suppose 25*h = 4*h + 63. Suppose 6*d - h*d - 768 = 0. Does 31 divide d?
False
Suppose 0 = -p + 18*q - 16*q - 72, p = -q - 75. Let y = 88 + -177. Let n = p - y. Is 15 a factor of n?
True
Let y = -66 - -2. Let k be (13 - 13)/((-1)/(-1)). Let p = k - y. Is 8 a factor of p?
True
Let q = 18 + -14. Suppose -4*w = q*p - 2268, 5*w - 26*p = -22*p + 2808. Does 49 divide w?
False
Let t(b) = -b**3 + 8*b**2 + b - 12. Let h be t(8). Let w be h/18 - 992/(-9). Suppose n - r = 56, -2*n - 3*r + w = -4*r. Is n a multiple of 7?
False
Let f be (-10)/(-105)*7*9. Suppose 5*n + 25 = 4*r, -2*n + 3*r = -r + 22. Does 27 divide 10/(n + f)*55?
False
Suppose -4 = c + 3*g, 3*c - 22*g = -18*g + 14. Suppose c*k + 3*k = d + 250, d = -3*k + 158. Does 2 divide k?
False
Suppose 0 = -4*o - 3*j + 216, 0 = -8*o + 3*o - 4*j + 271. Suppose -4*d - o = -67. Does 33 divide 136 - (8 - 13)*d/(-5)?
True
Suppose -4*z = -4*c + 21077 + 15443, 3*z - 18250 = -2*c. Is c a multiple of 123?
False
Suppose 19*q - 9873 = 4723 + 9078. Does 311 divide q?
False
Let c = 3022 - -8586. Is 27 a factor of c?
False
Suppose 4*a + 1529 = 5*t + a, t = -2*a + 298. Suppose t = 4*h - 44. Suppose 5*y - 598 = h. Does 27 divide y?
False
Let k be (-4)/(-6) + 339/(-27)*-6. Let x = -35 - -57. Suppose 0 = -2*b + x + k. Is b a multiple of 37?
False
Is 40 a factor of ((-11160)/(-62))/((-6)/(-16))?
True
Let f = 11222 + 10999. Is f a multiple of 188?
False
Let x(s) = 43*s**2 + 40*s + 9. Let c(r) = 29*r**2 + 26*r + 6. Let w(q) = 8*c(q) - 5*x(q). Is 6 a factor of w(-3)?
True
Suppose 8904 = -2*f + 3*f + 6*f. Is 4 a factor of f?
True
Let q = 28322 + -4203. Does 55 divide q?
False
Suppose -28*r + 18*r = -50700. Suppose -28*c + 15*c + r = 0. Is 26 a factor of c?
True
Suppose -2290134 = -39*l - 38*l. Is l a multiple of 12?
False
Let z = -14543 - -55848. Does 11 divide z?
True
Let a(r) = -3*r**2 - 18*r - 6. Let m be a(-7). Let c be (4 - -8)/(-3 - m/6). Suppose -c*p = -12*p + 360. Does 11 divide p?
False
Let y(k) = k. Let o(j) = -4*j + 3. Let l(f) = 2*o(f) - 18*y(f). Suppose -2*s + s = 3. Does 21 divide l(s)?
True
Let q = -312 + 327. Suppose -4*j - q*j = -2584. Is j a multiple of 12?
False
Suppose -79*d + 62*d = -748. Suppose 2*x = -4*o + d, 3*o + x + 9 = 41. Is 10 a factor of o?
True
Is 79 a factor of 474*40/(-3)*(-48 - -46)?
True
Let q(y) = -3*y + 11 - y**3 + y - 2*y + 5*y**2 + 8*y. Let x be q(6). Does 3 divide (x + 3)/((-2)/(-27))?
True
Suppose 41*v + 44*v = -86*v + 31122. Is v a multiple of 5?
False
Let f(a) be the first derivative of 47*a**3/3 - a**2/2 - 18. Does 21 divide f(3)?
True
Let a(y) be the third derivative of y**8/6720 + y**7/630 + y**5/24 + 17*y**4/12 + 20*y**2. Let h(v) be the second derivative of a(v). Does 26 divide h(4)?
False
Let l(t) = 222*t - 16. Is 4 a factor of l(8)?
True
Let v = 44 - 146. Is (-2)/17 + (-4 - 33876/v) a multiple of 20?
False
Let m(s) = -s**2 - 4*s - 3. Let l be m(-2). Let g(j) = -48*j + 12. Let v be g(-1). Is ((v/(-7))/5)/(l/(-7)) a multiple of 12?
True
Does 168 divide (-6 + (20/9)/((-6)/(-27)))*3764?
False
Let t(s) = 538 - 84*s - 1025 + 523. Is t(-11) a multiple of 24?
True
Let i be (2/4)/((-2)/(-36)). Let n = -35 + 39. Suppose i*z = n*z + 480. Is 12 a factor of z?
True
Let d = 54218 - 36486. Does 52 divide d?
True
Suppose 8 = 28*g - 24*g. Suppose -2*n = g*n. Suppose -8*w + 211 + 325 = n. Does 7 divide w?
False
Let s = 18637 + -7167. Is 62 a factor of s?
True
Suppose -24673 + 60797 = 3*f - 4*u, 0 = 5*f - u - 60201. Suppose 33*b + 7*b = f. Is b a multiple of 17?
False
Suppose -6*t + 837 = 25*t. Suppose -2 = s, j = -s + t + 587. Is 28 a factor of j?
True
Suppose 2*y - 5*s = 35, -s + 2*s - 95 = -3*y. Suppose 4*z = 2*l - 26, -5*l + 5 + y = -4*z. Is (-243)/z - (-2)/5 a multiple of 5?
False
Let i = -726 - -743. Is i a multiple of 17?
True
Let m(l) = -l**3 - 25*l**2 + 28*l + 340. Does 16 divide m(-26)?
True
Let u(y) = -y**2 + 41*y + 316. Does 4 divide u(44)?
True
Let f = 55 + -36. Suppose -1128 = f*k - 6372. Is k a multiple of 6?
True
Suppose -5226 = 6231*p - 6233*p + a, 5*p - 3*a = 13063. Is p a multiple of 4?
False
Suppose 2*f = -7*n + 3*n + 528, -2*n + 256 = 5*f. Let q = -61 + n. Is 12 a factor of q?
True
Let k(l) = -l**2 - 6*l + 3. Let y be k(-6). Suppose -y*m - 25 = -5*c, 0*c + 1 = -2*c - m. Suppose -514 = -4*w + c*d, -74 = 3*w - d - 457. Does 21 divide w?
True
Let u be (-3 - -3)/((-18)/3). Suppose u = 4*d - 4*h - 884, -h = -d - 2*d + 661. Does 20 divide d?
True
Let q be (-1 - (-14)/16) + (-73250)/(-400). Let o(k) = 7*k - 2. Let y be o(3). Suppose -j + 69 = 5*z + y, 4*j + 3*z = q. Is j a multiple of 13?
False
Let i(t) = 6*t**3 - 12*t**2 + 13*t + 5. Suppose 201*p - 212*p + 66 = 0. Is i(p) a multiple of 68?
False
Let b = 293 + -176. Suppose b*s + 984 = 119*s. Is s a multiple of 82?
True
Suppose -2*u = -k - 37, 5*u = 7*u + 5*k - 19. Let d(p) = 2*p**3 - 7*p**3 - u*p**2 + 11*p + 15 + 4*p**2 + 4*p**3. Is d(-14) a multiple of 29?
False
Let f = -8661 + 15329. Suppose 4882 = 25*p - f. Does 22 divide p?
True
Let k(r) = -r**3 - 11*r**2 + 17*r - 41. Let u be k(-13). Let y = u + 68. Is y a multiple of 7?
False
Let v(c) = -16*c + 9*c**2 + 836 - 5*c**2 - 792. Does 37 divide v(16)?
False
Let a(k) = -1 + 40*k**3 - 20*k**2 - 14*k**2 - k + 36*k**2 - k**2. Let p be 1/(-1 - 2/(-1)). Is 39 a factor of a(p)?
True
Suppose 4*d - 6 = 2*x, 4*d + 5*x + 1 + 14 = 0. Let b(v) = -8*v**2 + v + 270. Is b(d) a multiple of 27?
True
Let a be 286/4 - ((-10)/(-4) - 3). Let q be a/(-40)*1/(3/(-10)). Is q*(-41)/(-4) + (-12)/8 a multiple of 14?
False
Suppose 5*m + 2*v + 961 = -394, -2*m - 551 = -v. Does 11 divide -4*(-3)/30 - m/5?
True
Let x = -245 + 77. Is 21 a factor of (x/1)/((-24)/(-9) + -3)?
True
Let f = 22 + -45. Let n(w) = 3*w + 67. Let z be n(f). Is 7 a factor of ((-6)/21)/z - 328/(-7)?
False
Let w = 4 + 0. Let u(k) = -14*k - 1. Let v(p) = -12*p. Let a(g) = -7*u(g) + 6*v(g). Does 14 divide a(w)?
False
Suppose 2*m - 820 = -3*t, 4*t - 36*m = -34*m + 1112. Does 4 divide t?
True
Suppose -2*n - 80 - 2 = -k, -4*k + n + 363 = 0. Suppose w - 61 = -5*z, -5*w - 4*z = -3*w - k. Suppose 0 = -7*i + 330 - w. Is i a multiple of 12?
False
Suppose -3528 = 625*b - 627*b. Does 36 divide b?
True
Let b = -81 - -85. Suppose -b*x + 307 = -53. Is 10 a factor of x?
True
Let g(i) = 6*i + 194. Let y be g(-31). Suppose -y*n - 1895 = -5719. Is n a multiple of 7?
False
Suppose 636 = -5*y - 4*k + 10884, -3*k - 9 = 0. Is y a multiple of 54?
True
Let n be -2 + -1 + 14/(-42)*-9. Suppose -t - 2*r + 71 = 0, n = 7*r - 2*r + 15. Is 11 a factor of t?
True
Let g = -12 - -14. Let i(n) = 142*n**2 + 143*n**2 - n - 283*n**2 + 3. Is i(g) a multiple of 9?
True
Let a(n) = n + 5. Let p be a(-3). Suppose 0 = -f + 1 + p. Suppose w + 39 = 4*m, 2*m + 2*w = -f*w + 25. Is 5 a factor of m?
True
Let y(a) = -221*a**3 - 2*a**2 + 1. Let m be y(-1). Let r = -206 + m. Is r a multiple of 14?
True
Let s = -999 + 609. Let h = -70 - s. Does 5 divide h?
True
Let m(j) = j**2 + 17*j - 153. Let p be -1 + 4 - (-4)/(12/(-81)). Is m(p) a multiple of 6?
False
Let r = 43 - 41. Let u be (-3 + 2 - r) + -13. Is (u/(-10))/(4/70) a multiple of 14?
True
Let c be ((-14)/10 - -1)/((-9)/360). Suppose -13*f = -9*f - c. Is (-27)/f*(3 - (-100)/(-12)) a multiple of 5?
False
Suppose -i - 3 = -4*l + 5, -5*l = -4*i + 1. Suppose -4 + i = 2*u. Suppose 0 = -5*r + 3*m + 248, m = -u*m + 4. Is 26 a factor of r?
True
Suppose 35 = -15*m + 10*m. Let z be -1 + (-450)/m - 2/7. Does 49 divide z*(1/2 + 125/30)?
True
Let y = 7472 - 3890. Let a = y - 2523. Is 23 a factor of a?
False
Does 12 divide (-39)/(585/12) - (-17764)/5?
True
Let d = -410 - -417. Suppose 909 = d*b - 4*b. Is b a multiple of 16?
False
Let y(o) = -4 - 5 + 8 + 10*o. Let r be y(3). Let d = r + 58. Does 23 divide d?
False
Let f(z) = z**2 + 2*z - 20. Let h be f(-6). Suppose -2390 = -4*n - 3*w, 3*n - 998 - 791 = -h*w. Does 59 divide n?
False
Suppose -340*d = -342*d - 4*k + 12476, 0 = -4*k - 16. Is 18 a factor of d?
True
Let b(u) be th