3*k. Is k a multiple of 16?
True
Let b(s) = -2*s**2 + 8*s + 1. Let c(f) = -f**2 + 4*f + 1. Let n(a) = -6*b(a) + 13*c(a). Let h be n(5). Suppose -h*m + 37 + 11 = 0. Is 3 a factor of m?
True
Let a = 412 + -406. Does 61 divide (a/(-4) - 0)/(15/(-14600))?
False
Let o(u) = -u**2 + 14*u + 74. Let a be o(18). Suppose k - 2*r - 736 = 0, -3*k + 979 = a*r - 1261. Is 24 a factor of k?
True
Suppose -5*i = 5*r + 10, 0 = 2*i + 4*r + 3 + 7. Does 75 divide 1 - i*(7 - 156)?
True
Let d be 35 + (2 - 3) - 3. Suppose -319*o + 317*o = -402. Let m = d + o. Is m a multiple of 13?
False
Suppose -4317 = -5*k + 3*w, -27*w + 2597 = 3*k - 22*w. Suppose -60*n + 63*n = k. Is 48 a factor of n?
True
Let x(w) = 2*w**2 - 4*w + 3. Let r be x(2). Let a = -23 - -26. Suppose a*k = -2*g + 325, r*k = -0*g - 3*g + 486. Is 38 a factor of g?
False
Suppose -6*v + 29*v - 16*v - 11592 = 0. Does 69 divide v?
True
Suppose -7*r + 3 + 11 = 0. Suppose -2*i - 3*k + 1083 = 0, -4*i = r*k - 0*k - 2162. Suppose -7*c = -594 - i. Is c a multiple of 18?
True
Suppose 138348 = -18410*u + 18446*u. Is u a multiple of 7?
True
Let h be (((-3)/15*0)/(-1))/(-1). Suppose h = 4*y + 4, 2*g = 4*g - y - 1119. Does 43 divide g?
True
Let x(y) = -y**2 - y. Let a(r) = -3*r**2 - 2*r + 2. Let h(u) = a(u) - 2*x(u). Let v be h(0). Suppose z - 2*z = v*f - 99, f = -4*z + 403. Is 32 a factor of z?
False
Let x(y) = y**3 - 27*y**2 + 45*y + 82. Let w be x(25). Is 50 + w - (-35 - -1) a multiple of 8?
False
Let o(q) = -q**3 + 11*q**2 - 2*q + 4. Let j be o(8). Suppose 7*g - j = 5*g. Is g a multiple of 5?
True
Suppose 0 = 4*n + 4*t - 872, n - 5*t - 13 = 169. Is 9 a factor of n?
False
Let a = -3678 + 6898. Is a a multiple of 70?
True
Let v be 54/15*10/4. Suppose f + v = -s + 5*f, -2*s = -3*f + 3. Suppose -2*j - 3*j - s*l = -915, -4*l + 20 = 0. Is j a multiple of 20?
True
Let u = 18042 - 17952. Suppose 5*m = -4*l - 250, 2*l + 5*m + 120 = -0*l. Let z = u - l. Does 31 divide z?
True
Is ((-98)/(-35))/(26130/5225 + -5) a multiple of 3?
False
Let m be (-1 - (-2)/4)/(89/(-534)). Suppose -101 = -m*i + l + 163, 2*i - 5*l - 176 = 0. Does 41 divide i?
False
Suppose 11*u + 7734 = 12*u - 4*c, 5*c + 15 = 0. Does 9 divide u?
True
Suppose 326 - 30 = 2*d. Suppose 0 = -4*b + 4*v + d, 0*b - b + 4*v = -31. Is b a multiple of 3?
True
Suppose 3*f = -3*l + 21, -f - 3*l + 8 = -9. Suppose m = 3*z + 19, m + f*z = z + 15. Does 3 divide m?
False
Suppose 0 = -b - 4 + 8. Let m(k) = -k**3 + 5*k**2 + k - 5. Let d be m(b). Let p = d + 0. Is p a multiple of 2?
False
Let b = -15853 - -27447. Suppose -b = -51*n + 71077. Does 99 divide n?
False
Let o(y) be the third derivative of -y**6/120 + y**5/12 - y**4/12 + 5*y**3/3 - 3*y**2. Let g = 72 - 77. Does 30 divide o(g)?
True
Let u be 29/87 + (-83)/(-3). Suppose -u*w + w + 2214 = 0. Is w a multiple of 9?
False
Let q = 3940 - 2257. Let t = q + -819. Does 72 divide t?
True
Let f be 162/39 + 0 + 2/(-13). Suppose -3*t = t - 296. Suppose -w + 2*j + t = 0, 11 - 103 = -w - f*j. Is w a multiple of 16?
True
Suppose 3513 + 26275 = 14*h - 1628. Is h a multiple of 68?
True
Let a(l) be the first derivative of -l**2/2 + 21*l - 265. Is 9 a factor of a(-17)?
False
Let g = 91153 + -47508. Does 14 divide g?
False
Suppose 2*o = -2*s + 10, -3*o + 12 = -3*s + 3. Suppose 3*k - o + 60 = 4*w, -5*w = -k - 15. Is 30 a factor of (-2)/((k/8 + 3)/(-16))?
False
Suppose 0 = r + 4*r + 10. Is 41 a factor of 2 + (13410/(-60))/(1/r)?
False
Let d be (-3 - (-56 - 3)) + 0. Let k = d + -54. Suppose 128 = k*w - 124. Does 18 divide w?
True
Let x = 64 + -61. Suppose 3*l - g = 917, -17*g + 905 = x*l - 12*g. Is l a multiple of 11?
False
Suppose 295 = 15*g - 10*g. Suppose -85 = -2*a + g. Does 8 divide a?
True
Let p = 4418 - 1237. Does 56 divide p?
False
Suppose 2*v - 8 = 0, 4*n - 2*v + 5*v = 3176. Is n a multiple of 29?
False
Does 145 divide ((223888/30)/(66/(-99)))/(4/(-10))?
False
Let j = -47 + 39. Let z be (106/(-4))/(j/16). Is 1*z*(15 + -14) a multiple of 11?
False
Let a = -820 + 2388. Let u = -118 + a. Is 58 a factor of u?
True
Suppose 4*x + 5*y - 1280 = 32, 5*x - y - 1611 = 0. Let f = 552 - x. Is f even?
False
Suppose -28*l - 3*l = -175931 - 47548. Is 7 a factor of l?
False
Let l = 36 - 75. Let t = l + 44. Suppose 252 - 92 = t*n. Is n a multiple of 3?
False
Let d(x) = 7*x**2 - 48*x - 22. Does 18 divide d(-16)?
True
Let z(q) = -3*q + 29 - 4*q + 0*q**3 + 3*q**2 + 40 + q**3 - 4*q**2. Is 3 a factor of z(0)?
True
Let i(o) = -o**3 - 15*o**2 - 16*o + 3. Let x be i(-14). Let a = x - 32. Let b(s) = -24*s - 2. Is b(a) a multiple of 11?
True
Suppose -5*z + 1056 = -z. Suppose -i + 5*s = 3*s - 12, i = -2*s - 12. Suppose i*w - 2*w = -z. Does 32 divide w?
False
Let r(n) = 139*n**2 + 149*n + 2. Does 65 divide r(-2)?
True
Suppose 2*s = 4*s + 1960. Let i be s/(-2)*8/20. Let z = 304 - i. Is z a multiple of 18?
True
Let h = 67 + -63. Suppose -5*o + 107 = 4*a, -81 = -3*a - h*o - 0*o. Does 16 divide a?
False
Does 60 divide (-6 - (-140)/21) + 9708/18?
True
Suppose -6*v + 5*s + 95 = -11*v, 0 = -2*v - s - 43. Let f be (v/15)/(2/(-20)). Suppose 18*u = f*u + 68. Is u a multiple of 8?
False
Let f be ((-18)/12)/(-3) + (-1690)/(-4). Let t = f + 218. Does 22 divide t?
False
Let r be -2*(20/810*-9)/((-2)/18). Suppose 3*n + 241 = -2*t - 7, 2*n + 166 = -2*t. Does 5 divide (n/r + 1/(-2))/1?
True
Let m(k) = k**2 - k. Let q(v) = -15*v**2 - 5*v + 10. Let i(w) = -2*m(w) - q(w). Is i(-6) a multiple of 12?
False
Let u(t) = -t**2 + t - 38. Let k be u(0). Let z = k + 29. Let f(m) = -4*m + 2. Does 6 divide f(z)?
False
Let u = -22 + 25. Suppose 0 = -g + 3*c + 69, -u*c = -7*c - 16. Let m = g - 27. Does 5 divide m?
True
Suppose 0 = 3*w + 4*c - 39, 0 = -5*c + c + 12. Suppose -w*d = -14*d + 1920. Does 16 divide d?
True
Is ((-1378)/52 + 22)/((-6)/1784) a multiple of 4?
False
Suppose y + 610 = -3*t, -2*t + 6*t + 3*y + 805 = 0. Let b = t - -543. Suppose 175 = v - 2*d, -2*v + 5*d = 4*d - b. Is 21 a factor of v?
False
Suppose 2*b + 595 = 3*a, -5*a + 1150 - 159 = -3*b. Suppose 4*s - a - 399 = 0. Suppose 5*o = -2*z + s, z + 4*z = -o + 39. Is 29 a factor of o?
True
Does 13 divide (-268068)/(-21) + 66/77?
True
Suppose 0 = 5*n - 5*u - 10, 4*n - 4 = 2*n + 4*u. Suppose -2*y - 14 = -n*f, -y - 5 = f + y. Suppose 6*k - 288 = f*k. Is k a multiple of 7?
False
Suppose 17 + 17 = -t - 4*n, -4*t - 4*n - 160 = 0. Let r = 59 + t. Suppose -23 = r*z - 788. Does 3 divide z?
True
Let h = 5 - -4. Suppose -928 = -h*o + 251. Suppose 0 = o*v - 128*v - 75. Does 5 divide v?
True
Let o(a) = 3*a - 7. Let h be o(4). Suppose 2*g - 3 - 3 = 0, 0 = h*z + 4*g - 187. Suppose -2 = q - z. Is 7 a factor of q?
False
Let v(m) = -10*m + 7. Let q(z) = -z**2 - 9*z + 6. Let x(c) = -6*q(c) + 5*v(c). Let o(p) = 5*p**2 + 5*p - 2. Let t(n) = 3*o(n) - 2*x(n). Does 9 divide t(-5)?
True
Suppose 4*r - 11377 = 15263. Is r a multiple of 45?
True
Suppose 64*x - 258298 - 64518 = 0. Is 97 a factor of x?
True
Let f be (-601 + 4)/((-9)/6). Suppose f = -19*a + 2051. Is 12 a factor of a?
False
Let k(w) = -124*w**2 + 8*w - 8. Let y be k(2). Let j = 992 + y. Is j a multiple of 56?
True
Let j = -7813 - -14972. Is 22 a factor of j?
False
Let n(b) = -b**2 + 12*b + 30. Let h be n(14). Suppose 0 = -5*w + 4*u + 3145, -w - h*w = 2*u - 1909. Is w a multiple of 46?
False
Suppose -4*d = 3*w - 64724, -60*d - 16188 = -61*d + w. Is 56 a factor of d?
True
Let i = -93 - -44. Let x = 55 + i. Suppose 0 = x*o - 3*o - 66. Is 22 a factor of o?
True
Suppose 2 = -11*r + 10*r. Let z be r/(-9) - 2/(162/(-387)). Is 5 a factor of 5 - (z - (1 - -114))?
True
Let d = -50 - -53. Let w be ((-47)/d)/(7/(-189)). Suppose -10*q + w = -q. Does 20 divide q?
False
Suppose 357*w = 350*w + 33019. Is w a multiple of 89?
True
Suppose 8 = -4*d, -3*p + 28 = -2*d + 3*d. Suppose -p*m = -4*m - 192. Suppose -37*w + 240 = -m*w. Is 24 a factor of w?
True
Let y(r) = r - 11. Let b be y(8). Is b*(-6 - (-680)/(-12)) a multiple of 47?
True
Suppose 52 = 4*x + 4*w, 0 = x + 5*w - 5 - 0. Suppose -x*m + 8*m + 4746 = 0. Does 20 divide m?
False
Let g = -8888 - -11000. Is g a multiple of 16?
True
Is ((-9)/(-15) + (-93)/30)*444598/(-385) even?
False
Suppose 634*v - 4*y = 629*v + 12044, 0 = -4*v - 3*y + 9629. Is v a multiple of 8?
True
Let h = 340 - 335. Suppose 5*p - 2*w - 125 = 0, -7*p + w + 50 = -h*p. Is p even?
False
Let x = 169 - 52