2*d + 12 = -s. Let m = 62 + d. Is 25 a factor of m?
False
Suppose 526*q + 88 = 528*q. Is 22 a factor of 1 + -3 - (-2 - 4 - q)?
False
Let l be (-4)/(16/(-372)) - -2. Let x = l + -89. Suppose 3*k + 210 = x*k. Is k a multiple of 21?
False
Let m(p) = -28*p**3 - p. Let k be m(1). Suppose -2*t - 5*c + 100 = 0, 8*t = 3*t + 5*c + 250. Let u = t + k. Does 19 divide u?
False
Let x = 133 + -139. Is (-2 - 1)/3*1 - x a multiple of 5?
True
Let s be (((-3282)/4)/3)/((-13)/(-26)). Let w = s + 778. Does 77 divide w?
True
Let w = 40970 + -15110. Is 60 a factor of w?
True
Let c(m) = -m**3 + 25*m**2 + 17*m + 62. Let y be c(26). Let o = y + 443. Does 41 divide o?
False
Let p(q) be the first derivative of 3*q**3 + 7*q**2/2 + 14*q - 43. Does 26 divide p(-4)?
True
Let z(h) = 12*h**2 - 10*h - 144. Does 136 divide z(24)?
True
Is 6 a factor of 19766/(1 - 1/(-1)) - -5?
True
Suppose 0 = 5*d - 7*s + 4*s - 10, -d + 2*s + 2 = 0. Suppose -4*z = m - 3224, 0 = 28*z - 30*z - d*m + 1618. Is 11 a factor of z?
False
Suppose -29*n + 28*n - 4*j + 6506 = 0, n - 3*j - 6541 = 0. Is n a multiple of 13?
True
Suppose -40658 = -110*y + 1222142. Does 14 divide y?
True
Let s(r) = 2191*r - 5823. Is 17 a factor of s(4)?
True
Suppose -2*j - 204 = -230. Does 6 divide (-586)/(-4)*(j - 9)?
False
Let k be (873/(-388))/(1/232). Let h = -380 - k. Is 10 a factor of h?
False
Suppose 0 = 11*o + 39 - 50. Does 12 divide (-12 - -1460) + (-2 - o)?
False
Let w(m) = -3*m**3 + 253*m**2 - 57*m - 856. Does 248 divide w(84)?
False
Let a = -73 + 76. Suppose 160 + 904 = 3*h - 4*t, 3*t = -a*h + 1092. Is h a multiple of 20?
True
Let v(c) = -7*c - 91. Let j be v(-14). Is 28 a factor of (j + -5 + -64)/(0 + -2)?
False
Let l(c) = 5*c**2 + 45*c - 4. Let i(n) = -n**3 + 17*n**2 - 17*n + 7. Let f be i(16). Let v be l(f). Let d(j) = -2*j + 29. Is d(v) a multiple of 30?
False
Does 247 divide -15 + (-37)/((-518)/155512)?
False
Let q = 4197 + 955. Does 23 divide q?
True
Suppose 3*r + k - 11 = -3*k, -4*r + 23 = -3*k. Suppose -4*j + i = -177, -3*j + r*j + i - 87 = 0. Is j a multiple of 12?
False
Let k = -15 - -23. Let w be (58/k - 2)*(-8)/(-3). Is 22 a factor of 24*26/28 + (-4)/w?
True
Suppose 115 - 907 = -4*j - 2*u, -5*u = 4*j - 780. Let s = j - 25. Suppose -6*n = -n - s. Is 19 a factor of n?
False
Let a be ((-3)/5 + 1)/((-14)/(-980)). Let r = a - 14. Is (-98)/(-4)*(96/r)/4 a multiple of 3?
True
Let g = 29 - 29. Suppose 2*u + 3 = 2*c + 1, g = -c - u + 7. Suppose -t = -6*t + o + 22, 0 = c*t - 3*o - 22. Is 2 a factor of t?
True
Let s = 332 - 1028. Let v = s - -1380. Is 12 a factor of v?
True
Let k(b) = 19*b**3 - 33*b**2 + 25*b - 107. Is k(4) a multiple of 13?
False
Suppose -16*o - 14 - 34 = 0. Let u(f) = 90*f**2 + 20*f + 70. Is u(o) a multiple of 41?
True
Let g be 2/(-12) - 2*388/(-48). Let o be (g/(-12))/(-2 - 80/(-42)). Is 28 a factor of (-6)/4 + 1 - (-1183)/o?
True
Let a(b) = b + 0*b + 186 - 371 + 4*b. Is 20 a factor of a(46)?
False
Let d = -61 + 65. Suppose -3*y + 37 = -t - d*y, -4*t - 141 = -3*y. Let n = 79 - t. Is n a multiple of 13?
False
Let x = -146 + 150. Does 22 divide (-31 - -103)*11/x?
True
Suppose 5*t - 61*y + 54*y = 26064, 0 = 2*t - y - 10431. Is 37 a factor of t?
True
Suppose 5*d = 7*d - 28. Suppose 12*m - 4 = d*m. Is m*(-2 - (-57)/(-2)) a multiple of 12?
False
Let n(k) be the third derivative of k**5/30 + 5*k**4/8 + 3*k**3 - k**2 + 27. Let d(o) = 8*o**3 + o. Let v be d(-1). Is n(v) a multiple of 9?
True
Let p(s) = -64*s**3 - 59*s**2 - 467*s - 13. Is p(-9) a multiple of 57?
False
Suppose -3*j + 483 = 4*x - 7861, -x + 13918 = 5*j. Does 8 divide j?
True
Let z(i) = -388*i + 164. Let d be z(4). Let q = -178 - d. Does 11 divide q?
True
Let s = -139 + 140. Suppose a - 17 = s. Does 9 divide a?
True
Suppose 0 = 3*l - 5*o + 4*o - 4, 5*l + 5*o - 20 = 0. Let y = -8 + l. Is 15 a factor of (315 + 3)*(-3)/y?
False
Let n = 328 + -325. Suppose -5*m = g - 1146, -5*m + 1166 = -g - n*g. Does 10 divide m?
True
Let s(z) = 4*z**3 - z**2 + 7. Let i(p) = -11*p**3 + 3*p**2 - 20. Let d(a) = -6*i(a) - 17*s(a). Is d(-3) a multiple of 35?
False
Let f(a) = -3 + 15 - 1605*a + 1607*a + 9*a**2. Does 14 divide f(10)?
False
Let h(u) = -5*u**3 - 6*u**2 - 3*u + 2. Let i = 66 + -70. Is h(i) a multiple of 17?
True
Let g(m) = -6*m. Let n be g(12). Let i = -70 - n. Does 15 divide ((-103)/(-1)*2)/(i/1)?
False
Let v(r) = -r + 62. Let i(h) = 4*h + 46. Let t be i(-17). Does 42 divide v(t)?
True
Let t(w) be the third derivative of 17*w**4/8 + 26*w**3/3 - 107*w**2. Is t(8) a multiple of 73?
False
Does 40 divide 1831 - (-2)/(1/((-8)/(-16)))?
False
Suppose -96*o - 21788 = -930332. Is 31 a factor of o?
False
Suppose -437*s + 438*s - 5*v - 3182 = 0, 0 = 5*s + 5*v - 15970. Is s a multiple of 24?
True
Suppose 8 = 5*t + 18. Is 61 a factor of (1244/(-24)*t - 2)*6?
True
Suppose 23*z = 18*z + 30. Suppose -5*q + z*q = 0. Suppose 15*i - 2*i - 2184 = q. Is i a multiple of 21?
True
Suppose 21*w = 143 + 193. Suppose 2*j - 183 + w = -h, -5*h + 5*j + 820 = 0. Is 62 a factor of h?
False
Let u = 224 - 216. Let f be 14/3*(-18)/(-4). Suppose -u*w + 107 = -f. Does 4 divide w?
True
Suppose -10*s + 38220 = 7*s + 4*s. Does 130 divide s?
True
Suppose 29*v - 10*v = 0. Suppose v = 27*u - 6188 + 221. Is u a multiple of 13?
True
Let f be 1/(3/(-6)) + 3 - -1. Suppose f*j - 67 = -11. Suppose -n + 4 = -j. Does 16 divide n?
True
Suppose 0 = -5*j - 3*l + 350, 5*j + 0*l - 320 = 3*l. Suppose -j*c + 68*c - 125 = 0. Is c a multiple of 25?
True
Let i(x) = 6*x + 10. Let k be i(-6). Let s(r) = r**2 + 20*r - 27. Let c be s(k). Suppose 0 = -3*y + o + 168, 3*y + 4*o = 39 + c. Is 14 a factor of y?
True
Suppose t - 6*i = -2*i, -2*t - 4*i = -24. Suppose -11*u = -t*u - 990. Suppose -5*f - 3*a + u = 0, a = 2*a. Does 15 divide f?
False
Let s be (1 - 28/16)*(-16)/4. Does 12 divide ((-564)/8)/(s/(-4))?
False
Suppose -2*y + 605 = -0*n - n, -5*n - 617 = -2*y. Suppose 736 = 17*s - y. Does 55 divide s?
False
Let b = -93 + 105. Suppose 0 = -8*l + 4*l + b. Suppose -3*a + a = -4*u + 142, -l*u = 4*a - 101. Does 35 divide u?
True
Let u(q) = -q**3 + 9*q**2 - 13*q + 1. Let z be 16/9 - 4/(-18). Suppose 3 = -3*k, 2*m - 2*k - 16 = z*k. Is u(m) a multiple of 7?
False
Suppose l + 8 = -3*l + 4*i, -5*l - 13 = -4*i. Let f(p) = -82*p + 29. Is 33 a factor of f(l)?
False
Suppose 0 = y - 0*y + 3. Let q be 6 + (y - -4) + 2. Does 16 divide (305/15)/(3/q)?
False
Suppose 5*b - 21496 = -2*i, 44*i = 42*i + 4*b + 21496. Does 28 divide i?
False
Let d(f) = -2*f**3 + 9*f**2 - 4*f - 6. Let n(c) = c**3 - c**2 - c + 1. Let g(j) = d(j) + n(j). Let s = 768 - 762. Does 7 divide g(s)?
False
Let g(j) = 56*j**2 - 23*j - 69. Let s be g(-5). Suppose -4*t - 398 = -s. Is t a multiple of 21?
False
Let g(u) = -u**3 - 21*u**2 + 51*u + 455. Does 7 divide g(-24)?
True
Suppose -32*x - 16*x = -71*x + 388102. Is 129 a factor of x?
False
Let r be 445/(-30) - 11/66. Suppose -3*l + 4*a = 67 + 117, -2*l = 5*a + 92. Let h = r - l. Is 19 a factor of h?
False
Suppose -35820 = -628*r + 608*r. Does 5 divide r?
False
Suppose -11*h = -5858 - 2381. Suppose -4201 - h = -25*d. Is 22 a factor of d?
True
Let j = -259 - -261. Does 59 divide -2 + (-2836)/(-3) + j/3?
True
Let o(q) = 3864*q + 334. Does 31 divide o(7)?
False
Let f(n) = 1273*n + 6292. Is 13 a factor of f(3)?
False
Is 13 a factor of 13*-346*110/(-220)?
True
Suppose -2*j - 10 = -3*q, -3*q = -4*q - 2*j - 10. Let b be 238/6 - 2*2/6. Suppose q = -4*r + 205 + b. Does 7 divide r?
False
Let o = 15419 + -5717. Is 14 a factor of o?
True
Let g be (74 - 63)/((-2)/(-512 + 0)). Suppose h + g = 5*j, -33*j - 1692 = -36*j + 3*h. Does 20 divide j?
False
Let o(y) = -y + 13. Let j be o(9). Suppose -3*f - 2 = -k, -j*k = 2*f + k + 24. Is 4 - (-20 - (-2)/f) a multiple of 14?
False
Suppose -2*h = 172*w - 169*w - 4152, -3*w + 4*h + 4134 = 0. Does 9 divide w?
False
Let t(z) = -383*z + 1. Is 13 a factor of t(-2)?
True
Let j(d) = 54*d - 159. Suppose -39 + 24 = -3*k. Is 8 a factor of j(k)?
False
Let r be 2634/(-42) - (-6)/(-21). Let l be (1 + -2)/(-7) - 54/r. Does 6 divide (l/(-2))/(30/(-1320))?
False
Let j(v) = 3*v**2 - v - 1. Let p be j(-1). Suppose 51 = -b - 2*w + w, 2*b + p*w + 105 = 0. Let a = 60 + b. Does 12 divide a?
True
Let v be (-2)/(9 - 9500/1055). Suppose 118 = -p + v. Is 17 a factor of p?
False
Suppose -5*d = 30 - 60. Let p(i) = i - 