3. Suppose -3*k = r - 5 - f, 3*r + 45 = 3*k. Suppose -m - k = -44. Is m a multiple of 9?
True
Let i(o) = -44*o + 406. Does 6 divide i(-22)?
True
Let g be (-1)/(((-5)/75)/((-1)/(-3))). Suppose 273 = g*s - 0*n + 3*n, -2*n + 110 = 2*s. Does 9 divide s?
True
Suppose -2*i = -4*r + 10, 0 = 4*i - 2*r - 2 - 2. Suppose x = 2*z - 25, -i*x - 17 - 28 = -3*z. Is 5 a factor of z?
True
Let r be 3*2/12 + (-18)/(-4). Suppose -128 = -t - r*k, -5*k - 110 = -t - k. Does 16 divide t?
False
Let k be 2 + -4 - (-4 - 0). Suppose y - 23 = k*m + 10, -1 = -m. Is y a multiple of 6?
False
Suppose 4*d = 6*d - 276. Suppose -3*r - d = -r. Let u = r + 120. Is u a multiple of 17?
True
Suppose 4*i - 3428 - 1105 = -5*r, 2*i + 5*r - 2279 = 0. Is i a multiple of 23?
True
Does 13 divide (6825/210)/((-2)/(-172))?
True
Is (-1028)/(-10) + 456/380 a multiple of 13?
True
Let d be ((-12)/9)/((-2)/9). Let g(i) = 0*i - 7 + 7 + 3*i - 3. Is 5 a factor of g(d)?
True
Suppose 3*u = -2*g - 10, -2*u + 2*g = -2*g - 4. Let c be u/(-7) + 132/28. Suppose 5*h = 4*f - 48, -2 = 2*f + c*h - h. Does 7 divide f?
True
Let b = 243 + -172. Suppose 3*u = -4*d + 52, -2*u - 5*d = 2*u - b. Is u a multiple of 6?
True
Suppose -5*u - 40 = -5*d, 4*d + 45 = -5*u - 31. Is -6 + u/(-4) - -55 a multiple of 9?
False
Let f(o) = 206*o**3 - o. Let u be f(1). Suppose -u = -6*v + 59. Suppose 0*d = d - v. Is d a multiple of 11?
True
Let l(q) = -q**3 - 9*q**2 - 11*q - 4. Let r be l(-6). Suppose 0 = -4*i - 4*d + 348, 107 = -3*i + 4*i - 4*d. Let s = i + r. Is s a multiple of 15?
True
Suppose -2*n - 1330 = -16*n. Is n a multiple of 19?
True
Let q(w) = -w**3 - 4*w**2 - 8*w - 4. Let z be q(-3). Let o be (-6 + 4)/((-2)/63). Suppose -4*c = -o + z. Is c a multiple of 13?
True
Suppose 373 = -5*k - 3*g, -4*k - 59 - 261 = -3*g. Let l = -7 - k. Is (3/(-2)*l)/(-1) a multiple of 29?
False
Suppose m - 3 = -1. Suppose -m*q = -14 - 58. Is q a multiple of 6?
True
Let r = 332 + -162. Is 5 a factor of r?
True
Let n(u) = u**3 - 7*u**2 + 5*u - 8. Let d be n(10). Suppose 6*x - 4*j = 3*x - d, -x + 4*j - 114 = 0. Let i = x + 177. Is i a multiple of 16?
False
Suppose 6*x = 3*x. Suppose 5*q + 32 = -2*w + 5*w, w + 4*q + 12 = x. Suppose 2*g - 6 = -0*g, -4*g = -w*j + 76. Is 22 a factor of j?
True
Suppose -566 = 26*m - 27*m. Is 15 a factor of m?
False
Let w(r) = -r**3 - 7*r**2 + 9*r - 4. Let x be w(-9). Let l be 7*(9/7 + -1). Suppose l*q = x + 7. Is q a multiple of 14?
True
Let r(c) = 2*c + 8. Let m be r(-6). Let v(f) = 16*f**2 + 15*f + 3. Let j(b) = -5*b**2 - 5*b - 1. Let i(a) = -7*j(a) - 2*v(a). Is i(m) a multiple of 29?
True
Let t(j) = -j - j**2 - 5 + 3*j + j - 6. Let u be t(-7). Let a = 172 + u. Is a a multiple of 18?
False
Let q be (398/3)/(9/(-27)). Let a = -793 - q. Does 20 divide a/(-10) + (-2)/(-4)?
True
Let x = -77 + 165. Suppose 2*g + 5*p = -104, 0 = -2*g - p + 4*p - x. Is -2 - (g + -2 + -1) a multiple of 12?
True
Let o = 180 - 111. Is 4 a factor of o?
False
Suppose -t - 12 = 221. Let l = t + 402. Is l a multiple of 25?
False
Is 120/(28/7)*(-39)/(-5) a multiple of 63?
False
Let r(i) = i**2 + 4*i - 4. Let p(g) = -5*g + 2. Let l be p(-1). Is r(l) a multiple of 10?
False
Let l = 1720 + -615. Does 11 divide l?
False
Let t(o) = -76*o + 64. Is 8 a factor of t(-8)?
True
Does 33 divide (2/2)/(46/13478)?
False
Let f(c) = 2*c**3 + 33*c**2 - 5*c + 36. Is 3 a factor of f(-15)?
True
Let a be 0*(-1)/(-2 + 1). Suppose a = -4*j - 8 - 0. Does 17 divide j*1*(-102)/4?
True
Let q(n) = 2*n**2 - 5*n + 32. Does 20 divide q(12)?
True
Let j = 24 - 19. Suppose -j*k + 232 = 47. Suppose 6*a - k - 17 = 0. Is a a multiple of 3?
True
Suppose 1426 = 2*s - 2*u, -4*s + u = 6*u - 2825. Is 8 a factor of s?
False
Let d(n) = 21*n**2 + 21*n**2 + 2*n - 43*n**2 + 3. Let m be d(0). Suppose -5*v + 3*x = 8*x - 50, -4*v = m*x - 43. Is v a multiple of 7?
False
Let z = 2 + 14. Let o(c) = 19*c - 6. Let g be o(2). Suppose -g - z = -2*m. Is 12 a factor of m?
True
Suppose 11*h + 258 = 13*h + 3*m, -244 = -2*h + 4*m. Is 63 a factor of h?
True
Suppose 0 = 5*b - 3*a - 7, -b - 5*a = -4*b + 1. Suppose b*k - 26 = -2. Is 11 a factor of k?
False
Let j = 424 + -119. Is j a multiple of 20?
False
Let j = 146 - -42. Let n = j - 124. Is n a multiple of 13?
False
Suppose 2*x - 390 = 5*u, -25 = -3*x - 2*x. Let y = -19 - u. Does 12 divide y?
False
Let o(a) = -3 - 4*a + 12 + 3*a. Let f be o(5). Does 22 divide f/(16/(-82))*-4?
False
Let d(n) = -n**3 + 7*n**2 + n - 8. Let z be d(7). Let s(q) = q**3 - 7*q**2 + q + 2. Let y be s(8). Let w = z + y. Does 29 divide w?
False
Suppose 23 = -s + 21. Let y be s/14 - (-110)/35. Suppose 3*t - 75 = 3*q, -5*t + 48 = y*q - 45. Does 13 divide t?
False
Let a(o) = 9*o**2 + 13*o - 68. Is 28 a factor of a(7)?
False
Suppose 0 = 5*s - 10. Does 19 divide 40 + (1 - s)*2?
True
Suppose 7*z - 25 = -2*n + 4*z, -5 = z. Let m be 3*(-16)/(-60)*n. Let j = -9 + m. Is 2 a factor of j?
False
Let g(y) = 14*y**3 + 2*y**2 + 3*y - 2. Let q be g(-2). Let h = -64 - q. Is 16 a factor of h?
True
Suppose -6*j + 9 = -3*j + 3*y, 0 = -4*j - y + 18. Suppose -j = 4*o - 13. Suppose 0 = h - 5*l - 22, 21 = h - o*l - 1. Is h a multiple of 12?
False
Let b(o) = -o**3 + 3*o**2 - o. Let a be b(2). Suppose -z + 73 = 7*j - 3*j, -a*j = -z - 29. Is j a multiple of 5?
False
Let s = 37 + 1. Let m = -21 + s. Suppose -110 = -4*h - j - m, -5*h + 4*j = -90. Is h a multiple of 11?
True
Let q = -1405 + 4088. Does 79 divide q?
False
Let t(o) = -146*o - 787. Is 34 a factor of t(-37)?
False
Let a(g) = -g**3 - 30*g**2 + 22*g - 4. Is a(-31) a multiple of 4?
False
Is 18 a factor of (703 - 1) + (-480)/80?
False
Let t(o) = -7*o + 121. Is t(-7) a multiple of 11?
False
Let u be (-3)/2*-2 - (-9 + 9). Suppose -u*v = -198 - 285. Does 23 divide v?
True
Let f be (-4)/(-4) + -1 + 15. Suppose -4*h = -h + f, -107 = -4*o - h. Is o a multiple of 20?
False
Let m(j) = -213*j**3 - 2*j**2 - 8*j - 7. Does 6 divide m(-1)?
False
Let g(a) be the first derivative of -a**4/4 - 2*a**3/3 + a**2/2 + 2*a - 1. Let q be g(-4). Suppose 0 = -3*o + q + 9. Does 5 divide o?
False
Let h = -60 - -65. Suppose 140 = -3*s + h*s. Is s a multiple of 14?
True
Suppose q = -3*a + 642, -2*a + 2512 = 4*q - 4*a. Does 15 divide q?
True
Let q = 211 - 241. Let u(a) = a**3 - 6*a**2 - 11*a + 6. Let t be u(8). Let f = t - q. Does 19 divide f?
True
Suppose 39 = -2*t + 3*t. Suppose 0 = 2*z + t - 113. Suppose -1 = 2*r - z. Is 6 a factor of r?
True
Suppose -3*z = -0*z - 90. Let y(d) = -23*d**3 - d. Let m be y(1). Let r = z - m. Is 18 a factor of r?
True
Suppose -9 = -11*r + 8*r. Let w(v) = -3 + 5 - 3*v**3 + r*v + 4*v**2 + 2*v**3. Is 13 a factor of w(4)?
False
Suppose 1 = a - q, 5*a = 4*q + 10 - 1. Suppose 4*w = a*w. Let o(r) = -2*r + 36. Does 4 divide o(w)?
True
Let o = -10 + 14. Suppose -q = -57 - 110. Suppose q = 3*x + o*l, 2*l = 6*x - x - 313. Is 16 a factor of x?
False
Let p(n) = n + 0*n + 2 + 4*n + 2*n. Let r be p(-6). Is (-2)/5 - 6016/r a multiple of 31?
False
Let w(j) = -36*j + 81. Is w(-11) a multiple of 15?
False
Suppose -4*y + 2*y + 26544 = 0. Suppose 2*a = 8*a + y. Is 23 a factor of a/(-24) - 4/24?
True
Let s = 6857 + -4172. Does 14 divide s?
False
Suppose -10*d - 6590 = -19090. Is d a multiple of 54?
False
Does 23 divide (-8)/2 - (-2770)/(-15)*-6?
True
Let n(r) = r**2 - 13*r + 25. Let j be n(11). Suppose j*v - 51 = -4*h, -3*h - v - 5 = -42. Is 4 a factor of h?
True
Suppose 2*q - 1137 = -0*f + 5*f, -2*f - 457 = -3*q. Let y = -114 - f. Does 16 divide y?
False
Suppose v - 4 = -v. Suppose 0 = n - v*n + 2. Suppose -f + 99 = n*f - 3*h, f = 4*h + 18. Is f a multiple of 13?
False
Let c(z) = z**3 + z**2 + z - 1. Let b be c(0). Let v be b/(-3)*(6 - 0). Is (v + 13 + 0)/1 a multiple of 14?
False
Suppose 3*k - 4*k = 53. Let y = -38 - k. Let g = 7 + y. Does 22 divide g?
True
Let k be ((-62)/(-4))/(4/8). Suppose -35*c = -k*c - 312. Is c a multiple of 24?
False
Suppose 4*w = 12*w - 144. Is 24 a factor of 4/54*3 + 1724/w?
True
Suppose -5*a + 4*o + 102 = 0, -3*o = -2*a - a + 63. Let h be 4/a + (-390)/54. Is 0 - h/((-21)/(-6)) even?
True
Let u be 0 - 0/2 - 354. Let v = u + 511. Let s = -109 + v. Is s a multiple of 16?
True
Suppose 0 = g + d, -2*g + 3 - 6 = -d. Let w be g/4 + (-85)/(-20). Suppose 2*m + 0*m - 4*o = 0, -5*o + w = -2*m. Is 4 a factor of m?
True
Suppose -4 = 2*s + d, 20 = -4*s - 4*d + 4. Su