 = 9*f + 9. Is 4/((-20)/(-185)) + f/3 a multiple of 12?
True
Let u = 21 - 18. Let m be u/(-9)*2*-3. Is (-24)/((-8)/m + 2) a multiple of 5?
False
Let c = 259 + -63. Is 28 a factor of c?
True
Suppose -5*o = -8 - 2. Let a = -125 + 157. Suppose -2*j = 8, -o*g - a = -3*g - 4*j. Does 16 divide g?
True
Let p = 26 - 44. Let r = 35 - p. Suppose -2*l = -b - r, -9*l + 4*l = 5*b - 155. Is l a multiple of 7?
True
Suppose 5*r - 3*q + 8*q + 20 = 0, 0 = -2*r - 5*q - 14. Let b be (-2)/r*2*-4. Is (-3)/(-1) - 64/b a multiple of 11?
True
Let d(q) = -14*q + 40. Is d(-4) a multiple of 3?
True
Suppose 5*g + y - 2 = -7, 5*y = -2*g - 2. Let z(k) = 18*k**2 - k. Does 10 divide z(g)?
False
Suppose -9 = -3*u + 3*p, 0 = -2*u + 6*u - 3*p - 16. Let n = u + -2. Suppose n = m + 1. Does 3 divide m?
False
Let m(v) = v + 2. Let r be m(2). Suppose 0 = 3*u + 7*j - 3*j + 8, -j - 2 = r*u. Let x(b) = -b + 23. Is x(u) a multiple of 15?
False
Let j = 333 + -205. Is 32 a factor of j?
True
Let o(l) = l**3 - 5*l**2 + 3*l - 20. Is o(8) a multiple of 14?
True
Let o be 8/(-44) + 642/22. Suppose 0 = z + 13 - o. Is z a multiple of 16?
True
Let t be (-3 - -2)*7 + 2. Let z = t - -10. Suppose 2*g - z = -1. Is 2 a factor of g?
True
Suppose -2*p = 5*k + p - 1295, -5*p + 1023 = 4*k. Let l = -324 - -145. Let j = k + l. Does 15 divide j?
False
Let k be (-85)/2*20/(-25). Let g = 88 - k. Suppose -3*x + 0*x + g = 0. Is x a multiple of 6?
True
Suppose 10*n - 7*n = 24. Suppose 3*h = 28 + n. Does 10 divide h?
False
Is ((-3 - -4)/(-1))/((-3)/2721) a multiple of 6?
False
Let o = 4987 - 2723. Suppose -11*j - 669 = -o. Is 42 a factor of j?
False
Suppose -n = -0 - 4. Suppose n*a = 3*a - 4*t + 43, 25 = 5*t. Suppose 4*d + 99 = 5*m, 4*m - 4*d - 57 - a = 0. Is m a multiple of 4?
False
Let o = -87 + 89. Does 6 divide (3 - 17)*o*(-9)/2?
True
Let h(y) = -8*y - 4. Let t be h(-3). Let b be ((-5)/(-21)*6)/((-4)/(-14)). Suppose 0 = p - t - b. Is 12 a factor of p?
False
Let a(f) = 58*f**3 - 6*f**2 + 6*f - 7. Is 11 a factor of a(2)?
False
Let k(c) = 10*c + 85. Is 43 a factor of k(13)?
True
Does 32 divide 960*(76/5 + -5 + -7)?
True
Let z(x) = x**3 - 8*x**2 + 12*x - 10. Is 97 a factor of z(10)?
False
Suppose 2*p + 99 = -3*u + 5*p, 0 = 5*u + 3*p + 173. Let f = u - -117. Let m = f - 39. Does 12 divide m?
False
Let y(s) = -3*s**2 + 30*s + 4. Let d be y(10). Suppose 4*c + g + 29 = 0, c + 2*c + 39 = 5*g. Does 20 divide d/(c/(-122)) - 3?
False
Suppose -2*l - 6 = 0, 0*j + 10 = -j - 3*l. Is (-44)/((-1)/(j + 3)) a multiple of 11?
True
Suppose -5*f + 430 = x, -2*f = -f + 3*x - 86. Let o = f + -44. Does 14 divide o?
True
Suppose -n = 4*i + 2 + 3, 0 = 3*i - n + 9. Let y be -4 - -2 - i - -59. Suppose 4*j - y = 1. Does 5 divide j?
True
Let q(v) = v**2 + 22*v + 7. Let n be q(7). Suppose -7*s = -1092 + n. Is s a multiple of 7?
True
Let l(z) = -z**3 + 7*z**2 + z + 7. Let t be l(4). Let a = t - 23. Is 17 a factor of a?
False
Let g(j) be the first derivative of 7*j**2/2 - 7*j + 1. Let a be g(-11). Let i = 158 + a. Does 25 divide i?
False
Let s = 49 - 14. Suppose -2*k = 5*k - s. Is k even?
False
Suppose 0 = -6*j + 5*j - 86. Let r = j + 155. Is r a multiple of 27?
False
Let w(l) = -4*l**3 - 3*l**2 - 24*l + 1. Is 25 a factor of w(-6)?
False
Suppose 5*u - 1196 - 1269 = 0. Is 9 a factor of u?
False
Let j = 47 - 42. Is -231*(j/(-3) - -1) a multiple of 31?
False
Let b = -41 + 48. Let h = -37 - -157. Suppose 4*v - b*v = -h. Is v a multiple of 15?
False
Let r be (-4)/(-34) - (-956)/(-34). Let c = r + 46. Suppose -c*q = -20*q + 12. Does 4 divide q?
False
Let z be (16/20)/(4/30). Let b = -1 + z. Suppose -4*j - b*y + 134 = -164, -y = 5*j - 362. Is j a multiple of 18?
True
Let v = -546 + 644. Is v a multiple of 10?
False
Suppose z = 2*u + u, -2*z = 2*u - 8. Suppose 11*d - 320 = z*d. Is 20 a factor of d?
True
Let l(o) = -25*o**3 + 4*o + 7. Let u be l(-2). Let f = u + -82. Does 18 divide f?
False
Is 14 a factor of 352/66*2/8*183?
False
Let c = -1150 + 1920. Is c a multiple of 10?
True
Let f = 2583 - 1767. Is f a multiple of 51?
True
Let f(h) = -h**2 + 4*h + 7. Let o = -9 + 14. Let g be f(o). Suppose 5*r - 507 + 41 = n, 4*n + 190 = g*r. Is 28 a factor of r?
False
Let v(o) = 3*o**3 - 6*o**2 - 2*o + 4. Let a(k) = 4*k**3 - 6*k**2 - 2*k + 5. Let t(b) = -4*a(b) + 5*v(b). Is 9 a factor of t(-7)?
True
Suppose 407 = 2*k + 3*p, -46*k = -41*k - 2*p - 970. Is k a multiple of 4?
True
Suppose 5*t = 8*t. Suppose -3*r + 16 + 81 = 2*i, -2*i + 5*r + 137 = t. Is 7 a factor of i?
True
Suppose 2*k - 4*s - 549 - 533 = 0, 2188 = 4*k - 2*s. Does 46 divide k?
False
Let p(g) = -8*g**3 + 10*g**2 + 35*g + 2. Is 15 a factor of p(-3)?
False
Let t(m) = -6*m**2 - 70*m + 28. Is t(-10) a multiple of 11?
False
Let i be ((-884)/(-12) + -1)*3/(-1). Let v = -28 - i. Is v a multiple of 38?
True
Let l = 7 + 3. Suppose l*r + 15 = 13*r. Let m = r + 2. Is m a multiple of 2?
False
Suppose 2*k + 13*k = 300. Does 3 divide k?
False
Let q(s) = -5*s**2 + 9*s. Let k(d) = 3*d**2 - 6*d. Let i(z) = -8*k(z) - 5*q(z). Let f be i(-7). Suppose l = -5*m + f, 4*m - l - 17 = -0*l. Is m a multiple of 5?
True
Suppose 3*h = 2*y + 6, -4*h + y + 12 = -3*y. Suppose h = 4*m + 2*w + 2, 3*m + 5*w - 4 = 12. Is 2/(m*3/(-18)) a multiple of 2?
True
Let i be 2/(-11) - (-1461)/(-11). Let k = -115 - i. Does 6 divide k?
True
Suppose -z - 3*n - 249 = -4*z, 312 = 4*z + n. Is 26 a factor of z?
False
Suppose 0*l - 5*l + 160 = -2*u, 2*u - 50 = -2*l. Let o(s) = s**2 + 3*s + 3. Let z be o(-3). Suppose -g + 29 = 4*w, z*g - l = -3*w + 5*g. Does 8 divide w?
True
Suppose a + o = 169, -3*a + 392 = -4*o - 122. Let c = -105 + a. Suppose 7*w = 2*w + c. Is w a multiple of 8?
False
Let o be 2/(-8) - (-39)/12. Suppose -o*n + 1140 = 4*p - 2*n, n = -p + 288. Suppose 3*m = 7*m - p. Does 28 divide m?
False
Let v be ((-20)/(-25))/((-8)/20). Does 21 divide -1 + 27 + (v - 1)?
False
Suppose 938*t + 22272 = 950*t. Does 8 divide t?
True
Suppose 2 - 10 = -v. Let c(s) = -s**3 + 7*s**2 + 10*s - 17. Let d be c(v). Does 19 divide 5/5 + 54 + d?
False
Suppose -6*u = -11*u. Is 2 a factor of 16*(0 - (u + 4/(-8)))?
True
Let t be 7/(-7) - 3*-1. Suppose -3*y + t*y + 8 = 0. Is 4 a factor of y?
True
Suppose 0*i = i + 1. Let u(n) = -36*n**2 + 2*n + 2. Let t be u(i). Is 2 a factor of (5/(-2))/(18/t)?
False
Let c(b) = -8*b + 153. Let p be c(0). Let n = p + -101. Is n a multiple of 13?
True
Let c = 71 + -51. Suppose c = -3*m + 182. Is m a multiple of 18?
True
Let l be 476/(20/5) - 2. Let w = -62 + l. Is w a multiple of 8?
False
Let c be 1262/12 + (6 - 148/24). Let p = 174 - c. Is p a multiple of 5?
False
Let w = -331 + 901. Is w a multiple of 20?
False
Let x = 210 + -149. Is x even?
False
Let w be 247 + 0/(-2) - -1. Let u = w + -164. Is u a multiple of 14?
True
Suppose -c - 531 = -2*q, -4*q + 614 + 453 = 3*c. Does 15 divide q?
False
Let o(c) = -c + 7 - 3 + 9*c + 2. Let u be o(6). Let m = -28 + u. Does 13 divide m?
True
Let w = 190 - 278. Let m = 13 - w. Does 26 divide m?
False
Is (-18)/(-21)*359 - (-4)/14 a multiple of 15?
False
Let h = 20 + -42. Let g = -19 - h. Suppose 8*m - g*m - 10 = 0. Is m a multiple of 2?
True
Let d be 140/(-21) - (-8)/(-6). Does 10 divide (10/d)/((-9)/72)?
True
Let s(j) = 6*j**2 + 9*j - 263. Is 14 a factor of s(13)?
True
Does 13 divide (-169)/(30/(-9) - -3)?
True
Suppose 10*v - 7*v + w - 16 = 0, -5*v + 4*w + 55 = 0. Does 5 divide v?
False
Let t = 5 + -4. Suppose -3 = -2*l - t. Let b(u) = 9*u**3 + u**2. Is b(l) a multiple of 10?
True
Let m(b) = -92*b + 26. Is m(-2) a multiple of 5?
True
Is (15965/(-124))/(1/(-8)) a multiple of 14?
False
Let m = 1096 - 370. Is 66 a factor of m?
True
Suppose 0 = j + j + 542. Let u = 411 + j. Suppose 25 = 5*q, u = 5*f - 7*q + 2*q. Is f a multiple of 11?
True
Suppose 2*r - r = 3*u - 213, -2*r = 0. Let l(a) = a**2 - 14*a + 6. Let i be l(7). Let q = i + u. Is 7 a factor of q?
True
Let k(n) = n - 7. Let c be k(7). Suppose c = -4*p - p + 490. Does 14 divide p?
True
Let m be 743/13 + 4*(-4)/104. Suppose -5*s + m = 4*g, -5*s - 2*g = -73 + 22. Does 3 divide s?
True
Let q be 1 - (4 + -3)/(-1). Let x(a) = -2*a**3 - a**2 + 1. Let t be x(-1). Suppose 4*n + 8 = t*s, q*n + 24 = 4*s - 2*n. Does 3 divide s?
False
Suppose -w + 6*w = 25, -3*c + 4*w = 35. Does 17 divide 26/(-130) + (-201)/c?
False
Suppose 5*f = 4*q + 236, 3*f = -q + 2*q + 14