e d - 2*h = 25, 75 = 3*d + 7*h - 5*h. Is 31 a factor of v(d)?
False
Let k(r) = 2*r**2 + 6*r + 12. Let a be k(9). Suppose 4*w - 5*w - 4*z = -63, a = 4*w + 4*z. Let x = w + -40. Is 10 a factor of x?
False
Let u = -7672 + 8647. Is u a multiple of 7?
False
Suppose -4*n - 76565 = -3*p - 21685, 4*n + 16 = 0. Is 9 a factor of p?
True
Let z be 3204/(465/(-225) - (-1 - 1)). Is (6/(-2))/(-12 + z/(-4008)) a multiple of 12?
False
Let x = 105 + -85. Suppose -4*a + 5*v + 263 = 0, 5*v = 5 + x. Is 13 a factor of a?
False
Let i be (-63834)/(-12) - (-3)/6. Suppose -3*n + i = 17*n. Does 19 divide n?
True
Let f(x) = x**3 - 29*x**2 - 100*x - 79. Does 159 divide f(33)?
False
Suppose -51*s + 17397 + 26525 = 3785. Is s even?
False
Let v(r) = 5*r**2 - 21*r + 376. Is v(38) a multiple of 11?
True
Let j = 193 + -46. Let z = 16419 + -16137. Let p = z - j. Is p a multiple of 5?
True
Is ((-495)/27 + 14)*-1236 a multiple of 18?
False
Let t(h) = h**3 - 7*h**2 + 6*h - 2. Let j be t(6). Let a = 318 - 183. Is 13 a factor of a + (-1 - (j - 2)) + -3?
False
Let t(b) = -15*b + 17. Let i(z) = 5*z - 6. Let c(r) = 14*i(r) + 4*t(r). Let h(y) = -66*y - 192. Let d be h(-3). Does 5 divide c(d)?
False
Suppose -34*o - 12 = -31*o + 3*v, 0 = 5*v + 20. Is 41 a factor of o - (7 + -5) - (-82 + -2)?
True
Let x be (4 + -1)*-1*-72. Suppose -5*s + 576 = x. Is 34 a factor of s?
False
Suppose 7*h = -2*h - 576. Let d = 67 + h. Let m(g) = 14*g - 2. Does 10 divide m(d)?
True
Let d = 315 - 36. Suppose 3*b - 5*b + 284 = 2*l, -3*l = -2*b + d. Does 4 divide b?
False
Let o be (-1 + 1)*(-3)/6. Let z(m) = m**3 - 39*m**2 + 5*m - 191. Let l be z(39). Suppose o = -l*u + 280 + 56. Does 21 divide u?
True
Let s(n) = -8*n - 2. Let y(w) = -17*w - 5. Let x(m) = -5*s(m) + 3*y(m). Let f(q) = 12*q + 6. Let a(d) = 3*f(d) + 4*x(d). Is 6 a factor of a(-6)?
False
Let i(j) = 2*j**2 + 20*j + 10. Suppose 3*s + 5*p = -48, -3*s = -p + 19 + 11. Is i(s) a multiple of 16?
True
Suppose -73*p - 129063 = -359743. Is p a multiple of 79?
True
Let u(c) = -c**3 + 4*c**2 + 2. Let f be u(4). Is 4 a factor of f/4 - ((-2750)/20 - -7)?
False
Let q(u) = 74*u - 22. Let d be q(7). Let p = d + 104. Is p a multiple of 60?
True
Let a = 42038 - 16922. Is 78 a factor of a?
True
Let f(g) = -g**3 + 19*g**2 - 29*g - 86. Let t be f(17). Is 462/(-1 - 1)*t a multiple of 77?
True
Suppose 7*w - 19797 - 2876 = 0. Let j = w + -1939. Is 13 a factor of j?
True
Let i be 19/(-3)*(-18 + 15). Suppose -5*d + 4*q - 240 = 0, -q - 4*q = d + i. Let w = d + 52. Is w a multiple of 6?
False
Let u(j) = j**3 - 142*j**2 - 60*j + 740. Does 12 divide u(145)?
False
Suppose -j + 20 = -5*y, 24*j = 26*j - 5*y - 20. Suppose j = -6*n + 1257 + 291. Is n a multiple of 40?
False
Let h(d) = -44*d - 17. Let r be h(4). Let a = -168 - r. Is 5 a factor of a?
True
Let l(y) = y**2 - y - 1. Let f(i) = -i**2 + i - 3. Let p(q) = -f(q) - 2*l(q). Let m be p(4). Let b(u) = -u**3 - 4*u**2 + 15*u - 10. Is b(m) a multiple of 4?
True
Does 32 divide ((-69718)/11)/(8/(-10)*100/40)?
False
Let a(b) = 40*b**3 - 6*b**2 + 16. Does 2 divide a(3)?
True
Let r be (18/99)/((-3)/(-33)). Suppose -r*k - 2*j = -44, 5*k + 2*j + 10 - 108 = 0. Is k a multiple of 3?
True
Suppose 27*n - 853766 = -5*n - 57158. Does 54 divide n?
True
Let t be (1 - (2 + -3))*2. Suppose l = -5*y + 19, t*y + 4*l - 6 = 6. Is 3 a factor of y?
False
Suppose 5*f - 10 = -0. Let o(u) = -u - 4. Let t be o(f). Does 28 divide -2 + 1959/12 + t/(-8)?
False
Let d(m) = 42*m**2 - 3*m - 2. Let s be d(-1). Suppose -89 - s = a. Let v = a - -301. Does 18 divide v?
False
Suppose j - 3*c = 960 - 52, 3*j - 2740 = c. Is 11 a factor of j?
False
Suppose 7*n - 78 = 13. Suppose -10*z + n*z = 105. Suppose -149 = -2*t + z. Does 46 divide t?
True
Does 75 divide 11/((-132)/(-1480))*1125/5?
True
Suppose 0 = 2*p, -4*p = -34*k + 39*k - 85090. Does 134 divide k?
True
Let y(k) = -2 + 7 + 9*k**2 - 2 + 1 - 3*k. Let l be y(-3). Is l/2 - 3/1 a multiple of 9?
False
Suppose 15 = -5*y, 2*w + 6 = 4*w + 4*y. Let x(p) = p - 9. Let g be x(w). Suppose g = 5*q + 3*m - 166, 4*m - 163 = -4*q - q. Does 7 divide q?
True
Let p be -3 + (-7)/(1 + 6). Is 11 a factor of 152 + p/((-16)/4) + 1?
True
Let q(l) = l. Let p(j) = -3*j + 9. Let w(g) = p(g) + 2*q(g). Let c be w(5). Suppose a - b = 71, b + c*b + 136 = 2*a. Does 17 divide a?
False
Let j = -12041 + 22614. Is 97 a factor of j?
True
Let q be 6 - (42/(-28))/(2/4). Suppose i - 1690 = -4*k, -5*i = -6*k + q*k - 1276. Does 18 divide k?
False
Let i = 12644 + -6371. Is i a multiple of 47?
False
Does 42 divide (-46204)/(-10) + (-1128)/1645 + (-4)/(-14)?
True
Suppose -140*c + 738661 = -65*c - 22*c. Is 11 a factor of c?
True
Is -1 - 11/(-5) - (-17 - (-672288)/(-60)) a multiple of 9?
True
Does 11 divide (-15 + 1276 - 15) + -14?
True
Let u(n) = -4*n**2 + 3*n - 26. Let q be u(7). Let p = 167 - q. Is p a multiple of 16?
True
Let o(x) = 727*x + 1010. Is 34 a factor of o(15)?
False
Suppose 0 = 13*r + 13*r - 21*r. Suppose r = 54*d - 51*d - 4176. Is 48 a factor of d?
True
Suppose 46*h - 51*h = 0. Suppose h*p + 4*v = 5*p - 2003, -4*v + 1189 = 3*p. Does 19 divide p?
True
Let h(z) = 40*z**3 + 4*z**2 - 16*z + 26. Is 8 a factor of h(2)?
False
Let r(b) = 6*b + 8. Let o be r(3). Let s = -24 + o. Let p(w) = 4*w**2 + 1. Does 16 divide p(s)?
False
Let k(c) = 275*c**2 + c. Suppose s + 9 = -5*w, 0*w - 3*w = -s + 7. Let m be k(s). Suppose q + 2*q - 6 = 0, 4*a + 2*q - m = 0. Does 17 divide a?
True
Suppose -6 = 8*x + 18. Let u(l) = 8*l**2 - 14*l - 6. Is u(x) a multiple of 9?
True
Does 10 divide (-226728)/(-36) + -6*3?
True
Let w(x) be the first derivative of -x**4/4 - 16*x**3/3 - 15*x**2/2 + 29*x + 44. Let u be w(-15). Let s = -2 + u. Does 3 divide s?
True
Let u(n) be the third derivative of -n**4/6 - 104*n**3/3 + 6*n**2. Let z(i) = -4*i - 208. Let y(h) = -3*u(h) + 2*z(h). Is y(0) a multiple of 52?
True
Suppose -4*s + 5*q + 5903 = 0, -5*q - 408 - 1079 = -s. Let l = s + -748. Suppose 4*u = -4*f + l, -6 = 4*u + 14. Does 31 divide f?
True
Let y be (2 - 1*-22)*7/14. Is 84 a factor of (-694)/(-4) + (-6)/y + -5?
True
Suppose -3918*x = -3930*x + 33516. Does 21 divide x?
True
Let a = 13189 - 10003. Is a a multiple of 54?
True
Suppose 4*j - 2929 = 5*y, -6*y - 25 = -y. Let b = j - 216. Is 17 a factor of b?
True
Let a be ((-6)/(-21) + (-2)/7)/3. Suppose 25 = 5*f - a*f. Suppose -f*i - o + 336 = -3*o, 4*o = -3*i + 186. Is i a multiple of 18?
False
Suppose -4*o = 5*n + 65, 4*n + 54 = -3*o + 2*n. Let c be (-16)/o*(0 + 15/6). Suppose c*g - 123 = 2*u + 317, 0 = 4*g + 5*u - 844. Does 54 divide g?
True
Suppose 0 = -v + w + 14911, 12*v - 4*w = 16*v - 59588. Does 46 divide v?
True
Is 4650 + (-18 - (-325)/13 - 1*9) a multiple of 28?
True
Let z = -98 + 101. Suppose 4*l + 392 = 2*t, 7 = -z*l + 10. Is 11 a factor of t?
True
Let r = 3677 + 7759. Is 4 a factor of r?
True
Suppose -5*h + 10995 = 3*s, 5*s - 15*h - 18288 = -11*h. Is 6 a factor of s?
True
Suppose -423 + 444 = 7*p, -2*w = -3*p - 54483. Is 6 a factor of w?
True
Suppose 0 = -69*u + 71*u - 8. Suppose 6*q + x - 37 = 5*q, -x = -u*q + 158. Is q a multiple of 14?
False
Suppose -2*r = 2*d - 3*r - 227, -5 = 5*r. Let b be (d/2)/((-3)/(-6)). Let w = -73 + b. Does 14 divide w?
False
Suppose 6*z + 4527 = 36*z - 6423. Is z a multiple of 5?
True
Suppose 0 = -4*b, -2*b - 498 = -4*r - 78. Let x(w) = -152*w - 1311. Let v be x(-8). Let m = r + v. Does 8 divide m?
False
Let u = 121 - 116. Suppose 2*d - 2417 = -3*v, -942 = 3*d + u*v - 4569. Is 51 a factor of d?
False
Let v = 48554 + -30284. Is 35 a factor of v?
True
Suppose -13*s - 2*o - 9780 = -15*s, 2*s + 2*o = 9760. Does 84 divide s?
False
Is 115/50*3022 + -9*1/15 a multiple of 45?
False
Suppose 17*v - 57381 - 262389 = 0. Does 198 divide v?
True
Let n(f) = f**2 - 23*f - 261. Is n(41) a multiple of 9?
True
Let d(s) = s**3 - 17*s**2 + 19*s - 48. Let x be d(16). Suppose -23*w + 598 = -x*w. Does 13 divide w?
True
Let z(v) = 2*v**2 - 9*v + 95. Let o be z(0). Suppose 1014 = o*s - 92*s. Is 8 a factor of s?
False
Suppose -15*j - 187 = -52. Does 13 divide 78/j*1*-21?
True
Suppose -5*v + 5*l = -51445, 0 = 4*v - v - 5*l - 30865. Is 21 a factor of v?
True
Suppose -22*b + x = -19*b - 10619, 2*x - 3549 = -b. Does 18 divide b?
False
Let h(i) = -i**3 + 28*i**2 - 50*i - 35. Let d be h(26). Suppose 22815 = d*x + 28*x. Is 13 a factor 