k/5 + 8 + -4. Is (-6)/((-24)/220)*c a multiple of 20?
True
Let d(y) = -12*y**2 + 15*y + 6. Let q be d(-5). Let x = -297 - q. Does 12 divide x?
True
Let y(b) = -51*b + 2856. Is y(-65) a multiple of 17?
True
Let v = -17933 + 31280. Is v a multiple of 153?
False
Let z(l) = 621*l**2 + 4*l + 2. Let p be z(-1). Suppose 0 = 4*w - p + 223. Let x = 187 - w. Does 22 divide x?
True
Suppose 2*y - 9684 = 3*w, -2688 = y - 5*w - 7544. Is 13 a factor of y?
True
Let n(p) = -6*p**2 - 3*p - 55. Let y be n(6). Let s = y + 747. Is s a multiple of 7?
False
Is 31 a factor of -45 - -37 - (-2 + 4)*-2143?
True
Suppose -3*n = -7*n - 60. Let w be ((-4)/12)/(-2 + n/(-9)). Let b = w - -25. Is b a multiple of 11?
False
Suppose -4*g = -2*w - 16896, 3*g - 1176*w = -1171*w + 12665. Is 13 a factor of g?
True
Let q(b) = 2*b**2 + 17*b + 56. Let d be q(-6). Suppose 0 = -7*h - d*h + 7260. Does 4 divide h?
True
Let c be 3/((-4)/(-10) - (-2)/10). Suppose 0 = 2*s - 5*s + 5*d + 80, 4*s + c*d = 95. Is s a multiple of 5?
True
Suppose 2*p = -2*p + 4*t + 220, 3*t + 107 = 2*p. Let f = p - 53. Suppose 0 = -f*w - y + 231, -y + 96 = 2*w + 3*y. Is w a multiple of 3?
False
Does 30 divide 10789/((104/156)/(-4*2/(-6)))?
False
Let r(p) = 2*p + 33. Let f be r(-14). Suppose f*b + 401 = 3*y - 444, 4*b = -5*y + 1396. Is 35 a factor of y?
True
Let k(y) be the third derivative of y**6/120 - y**5/15 + y**4/3 + y**3/6 + 29*y**2. Does 20 divide k(6)?
False
Suppose 3*n = 3*s - 6480, 0 = -15*s + 10*s - n + 10806. Is s a multiple of 8?
False
Let b = -26 + 23. Let l be 127/3 + b + 33/9. Suppose -2*n - 4*c = n - l, -100 = -5*n - c. Is 7 a factor of n?
True
Suppose u - 19 = -4*h, 5*u - 15 = -0*h - 4*h. Suppose -h*n - 20 = -30. Is (-12)/3 - -31*n a multiple of 12?
False
Let f(d) = 3*d**2 - 9*d - 2. Let i be f(5). Let c = i - 43. Is -1*(63/c)/((-2)/(-10)) a multiple of 21?
True
Let p(n) be the third derivative of n**6/30 - 11*n**5/60 - 11*n**4/24 - n**3 + 9*n**2 - 1. Is 22 a factor of p(6)?
True
Let f(h) = 6*h - 28. Let m be f(7). Suppose 5*z - 2*v = 41, -3*v - 2 = m*z - 13*z. Let t(q) = 9*q + 9. Does 6 divide t(z)?
True
Let o be 0 - (10 + -3) - (1 - -1). Let q(r) = r**2 + 10*r + 13. Let a be q(o). Suppose i - a = 14. Does 18 divide i?
True
Let k = -40 + 45. Let v be (10/k)/(-1) + 4. Suppose 2*u + 78 = v*b, 3*u + 201 = 5*b - 0*u. Is b a multiple of 21?
True
Suppose 9*t = -14*t - 22*t + 623565. Does 20 divide t?
False
Let o(f) be the third derivative of -f**5/60 - 7*f**4/12 + 5*f**3/3 - 3*f**2 - 12*f. Does 6 divide o(-9)?
False
Suppose -65*p + 37940 = -37*p. Suppose -p + 431 = -2*b. Is b a multiple of 42?
True
Let l = 16197 + -11031. Is l a multiple of 7?
True
Let p(y) be the first derivative of -23*y**4/2 - y**3 + y**2 + 4*y + 123. Does 38 divide p(-2)?
False
Let r = 19927 + -8919. Is 43 a factor of r?
True
Let o = -47 + 52. Suppose -o*x + 2*x = -171. Suppose 5*m - 5*n + 18 = 283, m - x = -3*n. Is m a multiple of 16?
False
Let j(i) = -2*i**2 - 12*i - 14. Let l be j(-4). Let c = 119 + l. Is 19 a factor of c?
False
Let a = 2471 - -1091. Is a a multiple of 26?
True
Let o(z) = 78*z**2 + 7*z - 27. Let h be o(7). Is 2/(-4) + h/8 a multiple of 15?
True
Suppose -2*o + 15*r = 11*r - 4904, -4*o + 9784 = 4*r. Suppose o = 16*b + 2*b. Is 8 a factor of b?
True
Suppose 3*y + 3 = 6*y, 26 = 2*m - 4*y. Suppose 13*r = m*r + 10. Let h(g) = -g**3 - 5*g**2 - 6*g - 5. Is 15 a factor of h(r)?
False
Suppose -124437 = -3*y - 7*o, 10*y - 11*y - 2*o + 41478 = 0. Does 18 divide y?
True
Suppose -21*g + 8*g - 8*g = -18879. Is g a multiple of 7?
False
Suppose 5*c + 14 = -6. Let d be 1*120 + 1 + c. Suppose 0 = 3*i - d - 99. Is i a multiple of 12?
True
Suppose -w + 0*o - 4*o + 675 = 0, 2*w = -3*o + 1350. Suppose w = 11*k - 8*k. Does 65 divide k?
False
Let h be (-7)/((-21)/27) + -3. Let s = -2 + 29. Is (-8)/h*s/(-6) a multiple of 2?
True
Let z(n) = -823*n - 571. Does 43 divide z(-2)?
True
Let k be 2526 - -1*((-6)/2 + -2). Suppose 8*v - k = 1959. Is 16 a factor of v?
True
Suppose 0 = 2*m - 4*r - 20, 2*m + 5 = 4*m - r. Let a(b) = b**3 - 2*b + 1305. Let i be a(m). Is i/12 + (-3)/4 a multiple of 18?
True
Let y = 311 - 1142. Let f = 1559 + y. Is f a multiple of 26?
True
Suppose 20*o + 43 = 3. Is ((-14)/(-28) - 193/o) + 4 a multiple of 3?
False
Is 62 a factor of (-114100)/(-80) - 6/24?
True
Suppose -77*p - 3*x + 6049 = -76*p, -2*p = -4*x - 12028. Does 35 divide p?
False
Suppose -7*c + 23 - 2 = 0. Suppose 3*j - 342 = -4*a, -178 = -2*a + c*j - 16. Suppose 5*m - a - 1 = 0. Is m a multiple of 4?
False
Suppose -15766674 = -495*j + 5468826. Is j a multiple of 390?
True
Let f = -7 + 14. Suppose 5*w = -5*l + 105, f*w + 2*l = 8*w - 27. Is w even?
False
Is 228 a factor of 11/((-198)/(-1317))*198?
False
Suppose 4*k = 2*d - 20, -4*d - d - 4*k + 36 = 0. Suppose 1342 + 546 = d*c. Is 22 a factor of c?
False
Suppose 41*n = 36*n + 15. Suppose n*r + z = -0*z + 443, 4*z + 433 = 3*r. Does 21 divide r?
True
Suppose 3*h - 4*h = 4*i - 4, -12 = -3*i - 3*h. Suppose -3344 = -19*u - i*u. Does 22 divide u?
True
Let q be (0/(-1))/(3 + (-3)/3). Suppose q*z - 51 = -3*z. Suppose 2*p + z = 25. Does 4 divide p?
True
Suppose -3*p - 1812 = 3*k, 7*k = 5*k - 4*p - 1204. Let g = k + 1509. Does 21 divide g?
True
Let q(v) = -1816*v + 456. Does 20 divide q(-9)?
True
Let c(w) = -27*w**2 + 3*w + 3. Let a be c(-1). Let h(o) = 7*o + 192. Is h(a) even?
False
Let w(x) = 4*x**2 - 3*x - 13. Let j be w(-4). Let i = 28 + j. Does 13 divide i?
True
Let t = 6651 + -5290. Does 73 divide t?
False
Suppose -5*n + 10*u - 7*u = -461, 4*n = -5*u + 354. Suppose 47 = c + 4*h, 2*c = 3*h + n - 30. Does 5 divide c?
True
Let y = -109 - -116. Let g = 19 - y. Let u(i) = 2*i**2 - 16*i + 23. Does 7 divide u(g)?
True
Let s(y) be the third derivative of -13*y**4/24 - y**3/2 - y**2. Let k be s(-9). Suppose -30 + k = o. Is 14 a factor of o?
True
Let l = 164 + -310. Is 16 a factor of (0 - l) + 8/(4/2)?
False
Suppose 3 + 3 = 2*p - x, -p + 2*x = 3. Let t(g) = 36*g + 20. Is t(p) a multiple of 8?
True
Suppose -62*o + 937320 = 71*o - 121*o. Is o a multiple of 32?
False
Let g = 5642 - 1264. Does 79 divide g?
False
Let v(l) = l**3 + 13*l**2 - 19*l - 16. Suppose 22 = -8*p - 2. Let k be (-3 - -6)/(p/14). Does 9 divide v(k)?
True
Let j be (28 + 0)*(-4)/8. Let z be -1 + 10 - (-11 - j). Does 9 divide 6/(z/27 - 0)?
True
Does 64 divide (-2)/8*(-57909 + (24 - 31))?
False
Suppose 39*v - 38*v - 5334 = -3*n, 3*v + 1758 = n. Does 12 divide n?
True
Suppose -i + 5*n + 2402 = 0, -3*n = -0*i - i + 2398. Let b = -1089 + i. Is 86 a factor of b?
False
Let g = -208 + -89. Let a = g + 570. Does 8 divide a?
False
Is 22/(-1232)*8 + 31893/7 a multiple of 37?
False
Suppose 3*z - 2*p = -3*p + 1282, -4*p = 20. Let w = z - 199. Suppose -w = -2*s + 3*h, 0*h + 575 = 5*s - 2*h. Is s a multiple of 20?
False
Let g(f) = -9*f**3 - 3*f**2 - f + 1. Let j be g(-1). Suppose -a + 372 = 4*q, 0 = -j*q + 13*q - 15. Does 42 divide a?
False
Suppose 314*f + 33904 = 328*f - 24896. Is 42 a factor of f?
True
Let p be 5/40 + (-35574)/48. Let c = p + 1235. Is c a multiple of 19?
True
Suppose 4*q + 29620 = -14*u + 18*u, 0 = 4*u + 2*q - 29572. Does 15 divide u?
False
Let o = 28 + -28. Suppose -m = -5*b + m - 48, -5*b + m - 49 = o. Does 2 divide (-6)/(-3) - (b - -8)?
True
Let c(g) = -g**3 - 12*g**2 - 2*g - 16. Let b be c(-12). Let m be 9/12 + (42/b - -2). Suppose -m*x + 89 + 1351 = 0. Is 45 a factor of x?
True
Let s = -32 + 37. Suppose 3*r - 7 - 83 = -s*c, -c + 137 = 4*r. Let k = 22 + r. Is k a multiple of 10?
False
Let s(o) = 37*o**2 + 2*o. Let d(p) = -p**3 + 33*p**2 - 62*p - 2. Let j be d(31). Is s(j) a multiple of 18?
True
Suppose 5957393 + 7389402 = 245*f + 3854760. Does 53 divide f?
True
Suppose -15*j = -84 + 39. Suppose -j*m = 23*m - 9230. Is m a multiple of 14?
False
Suppose 4*k - y = 1, -k - 5*y + 10 = -6. Let q(b) = 29*b + 3 - 3*b + 10*b. Does 4 divide q(k)?
False
Let w be 345/(-15)*2*-7. Let l = w - -723. Does 19 divide l?
True
Is -13 - (-1385 + 14 + -28) a multiple of 63?
True
Let n(x) = 3*x**3 - x**2. Suppose -27 + 2 = -3*l - 5*v, -l = 5*v - 15. Suppose l + 11 = 16*w. Does 2 divide n(w)?
True
Let a(z) = -8*z**3 - z**2 + 3*z - 1. Let p(c) = c**2 - 4*c - 11. Let b be p(6). Let w be a(b). Let s(i) = -i**3 - 7*i**2 - 3*i - 13. Is 8 a factor of s(w)?
True
Suppose 3*a - c - 1 = 0