 -5*g + 189, 2*g - f = l. Is g a multiple of 20?
True
Let k be -1 + (-3 - 1/(-1)). Let c(s) = s**2 - 6*s - 7. Let n(h) = -3*h**2 + 11*h + 14. Let l(r) = -5*c(r) - 3*n(r). Is l(k) a multiple of 19?
True
Let g = -311 + 2075. Is g a multiple of 21?
True
Suppose y - 23 - 45 = 5*s, 0 = -5*y - 2*s + 205. Is 9 a factor of y?
False
Suppose 23*h - 14746 = 12164. Is 90 a factor of h?
True
Let o = 84 + -36. Suppose q = -3*z - 36, -o - 132 = 5*q + 4*z. Let c = 30 - q. Does 17 divide c?
False
Let v = -3 + 9. Let k be (-4)/v + (-22)/(-6). Suppose k*h - 3*y + y - 17 = 0, 3*y = -3. Does 2 divide h?
False
Let h = 1821 + -1733. Does 11 divide h?
True
Let k be ((-30)/(-8))/(69/184). Is k/(-25) - 544/(-10) a multiple of 9?
True
Let z = 11 - 19. Let a(c) = c**3 + 9*c**2 + 9*c + 10. Let p be a(z). Is p/(-4) + (-798)/(-12) a multiple of 33?
True
Let w(z) = 6 - 12*z**2 + 5*z - 3*z**3 + z**3 + 4*z**2. Let y be w(-6). Suppose -3*o = -7*o + y. Is o a multiple of 15?
True
Let a(y) = y + 3. Let x be a(-11). Let g = -3 - x. Let m = 18 - g. Does 4 divide m?
False
Let y(h) be the second derivative of -4*h + 5/6*h**3 - 3*h**2 + 0. Is 13 a factor of y(7)?
False
Suppose 10 = 5*o - 5*f, -3*f = -o - o - 1. Suppose -o*b - 2*b = -234. Is b a multiple of 15?
False
Let k = 247 - -537. Is 43 a factor of k?
False
Let p(u) = -2*u**3 + 7*u**2 + 10*u + 4. Let f be p(-3). Suppose 5*h - 360 = a + 3*a, -h = 3*a - f. Is h a multiple of 19?
True
Suppose -v = -4, 5*v = p + 7*v - 4. Does 3 divide (132/(-18))/(((-24)/(-27))/p)?
True
Suppose -t = -3*t + 6. Does 13 divide 1/(t/(3 + 153))?
True
Let x = -25 - -29. Does 34 divide (7 - x)*1 + 115?
False
Does 27 divide (0 + 2)/(-6) + 19110/117?
False
Suppose 4*m = 3*d - 2, d + 14 = 6*d - 4*m. Is 7 a factor of 2*28/d - 12/36?
False
Let z = -486 + 583. Does 3 divide z?
False
Let w be -2 - 1 - 463*(-6 + 3). Suppose -w = -5*z - 2*z. Does 33 divide z?
True
Suppose 2*o + 846 = 2*p, 2*o + 18 = -3*p + 1262. Is 22 a factor of p?
True
Suppose 4*v = -0*v. Suppose 2*x - 27 - 22 = -p, v = -2*x - 3*p + 55. Does 6 divide x?
False
Let x(w) = -w**2 + 6*w + 2. Let d be x(7). Let l(u) = -u + 39. Let t be l(0). Let i = t - d. Is i a multiple of 10?
False
Suppose 5*h - 834 = -2514. Let w = -222 - h. Is 6 a factor of w?
True
Let c(p) = -85*p - 280. Does 12 divide c(-24)?
False
Let w = 1318 - 838. Does 12 divide w?
True
Let q be (-10)/35 - ((-30)/7 - 0). Suppose q*b + 265 = 757. Is b a multiple of 19?
False
Suppose 2*k - 2*w - 147 = -49, -5*w = 4*k - 169. Is 2 a factor of k?
True
Let b(u) = -40*u - 199. Does 32 divide b(-14)?
False
Let r = 1135 - -604. Is 15 a factor of r?
False
Let b(u) = -u**3 + 7*u**2 - u. Let g be b(7). Let w(l) = l + 24. Is w(g) a multiple of 17?
True
Let w be 13/(-3) - 2/3. Let p = 17 + w. Is (-3)/9 + 292/p a multiple of 12?
True
Suppose 4*a + a - 2*b = -28, -2*a - 3*b - 15 = 0. Is 497/5 - a/(-15) a multiple of 31?
False
Suppose -4*t + 5*t = 5. Is t/(4 - 135/35) a multiple of 35?
True
Let c be -3 - (-4 + 3)*-72. Let f = -39 - c. Does 12 divide f?
True
Does 21 divide (5 - 4)*-3 - -189?
False
Let n = -1 - -15. Suppose -n*t + 54 = -11*t. Is t a multiple of 2?
True
Suppose 0*f - 4 = -2*f. Suppose s - 3 = 0, -2*m - m = f*s - 3. Does 18 divide (-180)/(-50)*(m + 6)?
True
Suppose -77 = -d - 4*a + 128, -d + 4*a = -221. Does 2 divide d?
False
Suppose -1 = -3*x + 2. Let l be (1 - x)*(-1)/2. Suppose 4*g + l - 20 = 0. Is 3 a factor of g?
False
Let a(o) = -9 + o**2 + 3 - 7*o + 8 + 9. Let w be a(6). Suppose -w*f = d - 7*f - 16, 4*f = 3*d - 50. Does 9 divide d?
True
Suppose 3*a = -5*v - 13, -5*a - 5*v + 5 = -2*v. Let q be 7/a - (-17)/68. Suppose -10 = -2*p, -2*k - q*k + 296 = 4*p. Is k a multiple of 12?
False
Let j(g) = g**3 - 3*g**2 - g - 4. Let q be j(4). Let f = q + 2. Does 13 divide ((-212)/6)/(f/(-15))?
False
Does 6 divide 7 + 13*(7 + -2)?
True
Let c(q) = -6*q**3 - q**2 - q. Let y be c(-1). Let u(o) = -3*o - 2. Let z(a) = -4*a - 1. Let t(f) = -3*u(f) + 2*z(f). Is 10 a factor of t(y)?
True
Let h be (-1)/2*90/9. Let t be (4/h)/((-4)/130). Suppose 4*f + 148 - 60 = 4*n, -n - f + t = 0. Does 22 divide n?
False
Let j(z) = 24*z**2 - 15*z + 32. Does 2 divide j(2)?
True
Is 54 a factor of -2*8/56 - (-299394)/63?
True
Suppose -g + s + 76 = 5*s, 0 = -5*g + 2*s + 292. Is g a multiple of 15?
True
Let b = 177 + -118. Let d = b + 71. Does 10 divide d?
True
Suppose -5*z - 5 = 0, j + 24*z = 25*z + 1502. Is 50 a factor of j?
False
Let f(g) = g**3 + 8*g**2 + 6*g - 5. Let v be f(-7). Let r be ((-12)/9)/(v/(-3)). Is 122/(r/(-1)*-1) a multiple of 18?
False
Let t = 655 + -336. Is t a multiple of 29?
True
Let i(c) = 9*c**2 - 9*c + 9. Does 23 divide i(-6)?
False
Let j = 175 + -101. Suppose 2*b = 4*b - 3*y - 153, 4*y = b - j. Suppose 0 = -r + 4*h + 26, 5*r - 5*h = b + 67. Is r a multiple of 10?
True
Let o = 195 + -112. Let y = -68 + o. Is 15 a factor of y?
True
Let d be (-7)/(-3) + (-20)/(-30). Suppose 5*c = -g + 47, -5*g + d*c - 41 + 192 = 0. Is g a multiple of 8?
True
Let j = -30 - -100. Let t = 98 + -128. Let c = j + t. Is c a multiple of 9?
False
Suppose 160 = -5*x + 4*d - 665, -2*x - 307 = 3*d. Let a = -230 - x. Let t = a + 139. Does 19 divide t?
False
Let l(y) = -y - 13. Let n be l(4). Is 17 a factor of (-4 - (-2 - -5))*n?
True
Suppose 5*f - c + 4 + 1 = 0, 0 = -4*f + 3*c - 4. Let d(q) = -q**2 - 34*q + 3. Let v be d(-31). Does 11 divide v/(f + 5) + -2?
True
Does 38 divide (0 - (-10)/(-6))/((-1)/339)?
False
Let f = 18 + -15. Suppose -f*c + 67 = 13. Is 18 a factor of c?
True
Does 9 divide (((-825)/20)/(-1))/(15/80)?
False
Let d(f) be the third derivative of 13*f**5/20 + f**4/12 - f**3/6 + 3*f**2. Does 12 divide d(-1)?
True
Let i(p) = -p**3 + 25*p**2 - 8*p + 52. Is 7 a factor of i(9)?
False
Suppose 0 = -3*x + 28 - 19. Suppose -2*c - 12 = -x*c. Is c a multiple of 11?
False
Let d(y) = 268*y - 141. Is 48 a factor of d(6)?
False
Is 2844/(3 + 1/(-1)) a multiple of 11?
False
Let r(i) = -2*i**3 + 42*i**2 + 24*i + 46. Is 22 a factor of r(21)?
True
Suppose -4*p + 2 = -2. Let t be p*4 - 6/(-2). Suppose 0 = t*h - 212 - 68. Is h a multiple of 14?
False
Let n = -21 - -53. Let g be (80/24)/((-1)/3). Let h = n - g. Is h a multiple of 17?
False
Let o(d) = 9*d**2 - 1. Let c(t) = t**2 - 3*t + 1. Let w be c(3). Let b be o(w). Suppose z = b + 47. Is z a multiple of 17?
False
Is (0 - (4 + -218)) + 2 a multiple of 6?
True
Let d(p) be the third derivative of -p**4/24 + p**3/3 + 7*p**2. Let m be d(-1). Suppose j - 4*t + 16 = 0, 6 + 31 = m*j + 5*t. Is 2 a factor of j?
True
Let n(v) = -2*v**3 + 11*v + 26. Is 10 a factor of n(-4)?
True
Let s(z) = 2*z**2 + 19*z - 49. Let y(f) = f**2 + 10*f - 24. Let k(g) = -4*s(g) + 9*y(g). Let x be k(-15). Let t(j) = -3*j + 5. Is t(x) a multiple of 9?
False
Let s = 31 + -31. Suppose 4*u + u + 2*g - 879 = 0, -2*u + 4*g + 342 = s. Is 12 a factor of u?
False
Let v(c) = c**3 + 16*c**2 + 16*c + 18. Let t be v(-15). Suppose 0*z = -t*z + 363. Is 23 a factor of z?
False
Let l(o) be the second derivative of -3*o**6/80 + o**5/120 - 2*o**4/3 + 6*o. Let a(s) be the third derivative of l(s). Is 28 a factor of a(-1)?
True
Let c(p) = -49*p - 231. Is c(-7) a multiple of 15?
False
Let m(r) be the first derivative of 15*r**4/2 + r**3/3 - r**2/2 + 14. Is 10 a factor of m(1)?
True
Let k = -82 - -113. Does 4 divide k?
False
Suppose -2 = -5*f + 5*l + 3, f = -4*l + 11. Suppose -123 = 2*u - f*u. Let y = u + -74. Is 14 a factor of y?
False
Let a(i) = 30*i + 40. Let y be a(7). Let l = y - 136. Is l a multiple of 57?
True
Let o(y) = 2*y**3 + 76*y**2 - 6*y + 13. Does 3 divide o(-38)?
False
Suppose 7*y + 35 = 12*y. Does 12 divide -1*(y + 1)*(-35 - 1)?
True
Let t(b) = -4 + 11*b - 4 + 0 - 2. Is t(6) a multiple of 7?
True
Let b(j) = 95*j - 22. Does 6 divide b(5)?
False
Suppose 204 = -60*v + 56*v. Let t = v + 116. Is 31 a factor of t?
False
Let n = 677 + -479. Is 11 a factor of n?
True
Let d = -1949 - -2725. Is d a multiple of 123?
False
Let t be (-2 - -2)*(-1)/(-4). Is ((-10)/(-3) + t)*9 a multiple of 30?
True
Let v(b) = 2*b**3 - 5*b**2 + 8. Let k be v(6). Let x = 22 - 20. Suppose -3*u + k = x*u. Is u a multiple of 20?
False
Suppose -4*m + 7*m - 111 = 0. Suppose -2*r + 159 = 23. Suppose k + m = 2*n, 4*n - n - r = 4*k. Does 8 divide n?
True
Suppose -4*n - 26 = -2*g, 4*g + 0*g = 3*n + 57. Suppose -3*f - f = -r