. Suppose 3*g + 25 = k. Let l = g + 33. Does 9 divide l?
False
Let m(y) = 2*y - 9. Let b(g) = -5*g + 19. Let n(a) = 6*b(a) + 13*m(a). Let q be ((-4)/((-8)/(-6)))/1. Is 9 a factor of n(q)?
True
Let d(l) = -l**2 - 49*l - 15. Does 12 divide d(-23)?
False
Let z(v) = 6*v**2 - 14*v + 14. Let m(b) = 3*b**2 - 5. Let t be m(-2). Is 15 a factor of z(t)?
True
Let s(k) = 309*k + 237. Does 13 divide s(1)?
True
Let h = -521 + 794. Is h a multiple of 17?
False
Let i(w) = 11*w - 4. Let n = 4 - -2. Suppose -6 = 5*k - 2*p + n*p, 0 = -2*k - p. Does 6 divide i(k)?
True
Suppose -4*h - 21 - 27 = 0. Let k be (h/(-10))/(18/(-45)). Is 17 a factor of 2/(-6) - 154/k?
True
Let c = -83 + 83. Does 2 divide (-1)/3*((c - 6) + -3)?
False
Suppose 13*g + 640 = 14*g. Is 32 a factor of g?
True
Let j = -140 - -229. Is j a multiple of 22?
False
Let c be 310/60 + 1/(-6). Let a(l) = -1 + l**3 - 2*l**3 + c*l + 4*l**2 - 4. Is 5 a factor of a(4)?
True
Let f(h) = -34*h - 857. Is 128 a factor of f(-36)?
False
Let c(b) = -49*b**2 + 7*b + 4. Let q(n) = -48*n**2 + 8*n + 5. Let p(x) = -6*c(x) + 5*q(x). Let w be p(1). Let s = -14 + w. Does 13 divide s?
True
Let v(c) = 9*c**2 + 3*c + 10. Let y(u) = -4*u - 46. Let w be y(-10). Is v(w) a multiple of 43?
False
Suppose -a = -5*b + 13, 3*b - 47 = -11*a + 6*a. Let y = 1 + -1. Let m = a + y. Is m even?
False
Let h = 91 + -85. Suppose 0 = -21*f + h*f + 1755. Is 17 a factor of f?
False
Suppose 2*r - 3*r = -8. Suppose -3*y + r = 2. Suppose -107 = -y*t - 11. Is 12 a factor of t?
True
Let b(o) = -2*o**3 - 15*o**2 - 50*o - 445. Does 40 divide b(-10)?
False
Does 5 divide (-114)/266 - 1434/(-14)?
False
Does 7 divide 15/4*14064/(-72)*-2?
False
Let t(l) = -l - 31. Let c be t(-17). Let g(o) = -7*o + 15. Is 17 a factor of g(c)?
False
Suppose o + 2*x - 692 = -3*x, 4*o = -3*x + 2700. Does 24 divide o?
True
Suppose 637*s = 636*s + 651. Does 31 divide s?
True
Let b(a) = 6*a - 59. Does 4 divide b(27)?
False
Let o(l) = 365*l**2 + 6*l + 8. Is 37 a factor of o(-1)?
False
Let d = -6 + 17. Let x = -42 - d. Let n = -32 - x. Is 7 a factor of n?
True
Let o = 24 + 4. Is 3 a factor of 18*(4 + o/(-8))?
True
Let f be -3 + 6 + -19 + -4. Is 20 a factor of 1/(-4) + (-3525)/f?
False
Suppose -b + 202 - 27 = -5*r, 4*b - 5*r = 730. Let h = -75 + b. Is 14 a factor of h?
False
Let y = -19 + 22. Suppose 3*l + y*m - 35 = -m, -5 = 2*l - 3*m. Suppose -5*i + v = -35, -4*i + l*i - 13 = -v. Is 3 a factor of i?
False
Let a(b) = b**3 + 7*b**2 + 7*b - 4. Suppose 2*l = 2*k + 3*k + 12, 2*l - 3*k - 4 = 0. Does 10 divide a(l)?
False
Let k(j) = 3*j**2 - 1. Let w = 17 - 12. Suppose 0 = 5*p - 2*g - g + 6, -w*p - 3*g = 24. Does 26 divide k(p)?
True
Let m = 66 + 10. Suppose 51 = 4*a + 3*s, 3*a + 3*s = 51 - 12. Suppose m = -a*w + 14*w. Is 10 a factor of w?
False
Is (-3)/(4 - -2) + (-3892)/(-8) a multiple of 27?
True
Suppose 3*u - 714 = -a, 5*a = -u + 3836 - 308. Suppose -6*j = 9*j - a. Does 13 divide j?
False
Does 71 divide (1755 + 3)/(12/8)?
False
Let w = -413 + 802. Is w a multiple of 24?
False
Let x = 7 - 7. Suppose 3*j = m + 7, x = 3*j - 10 + 1. Suppose -152 = -6*h + m*h. Is h a multiple of 14?
False
Let h(d) = 6*d - 6. Let m = 31 + -80. Let q be (42/m)/((-1)/7). Does 12 divide h(q)?
False
Suppose -16*t + 2286 + 114 = 0. Does 6 divide t?
True
Let w(b) = 3*b + 32. Let q(y) = 16*y + 176. Let i(c) = -5*q(c) + 28*w(c). Is 9 a factor of i(8)?
False
Let h(y) = -10 - 3*y + 11*y**2 - y + y**2 + 5*y. Does 19 divide h(3)?
False
Suppose -3*h = 15, h - 1 = -2*n - 0. Let p = n - -56. Does 15 divide p?
False
Let u be (-5)/2*280/50. Does 13 divide ((-91)/u)/((-2)/(-44))?
True
Suppose 6*y + 20 = -76. Let z = y + 19. Suppose 2*m = -w + 39, -z*m + 8*m = 5*w + 105. Does 9 divide m?
False
Let d = 49 + -47. Does 22 divide 3*(d - 3 - -10)?
False
Suppose -3*j = 0, 260 = 2*t + 5*j - 182. Suppose 2*o = -2*o + 2*y + 178, -2*y = -5*o + t. Does 15 divide o?
False
Let o(u) = -u**3 + 14*u**2 - 15*u + 27. Let j be o(13). Let g = j + 8. Does 5 divide g?
False
Let v(s) = -s**3 + 6*s**2 - 2*s - 6. Let w be v(5). Suppose -5*u - w = -14. Does 4 divide (-3 - u/(-1)) + 22?
True
Let q(p) = -p**3 - p**2 - 25*p - 5. Is 26 a factor of q(-6)?
False
Let l(i) = i**3 + 9*i**2 + 7*i - 4. Let x be l(-8). Suppose x*r + 3*k - 5*k = 234, -r + 2*k = -54. Is 12 a factor of r?
True
Suppose 10 = -m - 4*w, m + 3*w = 4*w + 5. Suppose -3*g - m*g + 395 = 0. Suppose 0 = -3*x + x + 5*y + 67, -y + g = 4*x. Is 12 a factor of x?
False
Let s = 1322 + -440. Is s a multiple of 6?
True
Let j be ((-24)/(-12))/(4/10). Suppose -j*i = -126 + 36. Is i a multiple of 6?
True
Let u(a) = -a**3 - 6*a**2 + 4*a + 3. Let f be (6/9)/((-8)/84). Let c be u(f). Is c/(-6) + 1 + 34 a multiple of 10?
False
Suppose -3*q - 3*t - 27 = -7*q, -3*q = t - 4. Let w be q + -1 + (2 - 4). Let c(v) = -v**3 + v**2 - v + 98. Does 21 divide c(w)?
False
Let g = -578 + 1418. Does 4 divide g?
True
Let o(k) = -k**3 - k**2 + 5*k - 261. Does 80 divide o(-14)?
False
Suppose 4*s = -3*t - 40, s + 2*s = -3*t - 45. Let m = -5 - t. Does 2 divide m?
False
Let c(h) = h + 2. Let s(r) = -21. Let n(u) = 7*c(u) - s(u). Is n(5) a multiple of 14?
True
Let b be ((-3)/(-2))/((-3)/(-188)). Let i = b + -46. Is i a multiple of 8?
True
Let x be (12/8)/(3/8). Suppose 0 = -o + 8*j - 4*j + 122, 248 = 2*o - 4*j. Suppose x*w = o - 22. Does 8 divide w?
False
Let h(y) = y + 13. Let g be h(-6). Let z = g + 0. Suppose 13 + z = 4*t. Is 5 a factor of t?
True
Suppose -104*n = -84*n - 3580. Does 2 divide n?
False
Suppose -45*p - 4418 = -21428. Does 18 divide p?
True
Let n = 6 + -4. Let i(p) = p**3 - 20*p**2 + p - 4. Let q be i(20). Suppose -g - q = -n*g. Does 4 divide g?
True
Let c be -1 + 0 + -2 + -9. Let n = 10 + c. Does 9 divide (n + -3)/((-4)/36)?
True
Let k = -50 + 14. Is k/(-2 + 24/15) a multiple of 15?
True
Suppose 4*m - 3*t = 967, -t = -4*m + 672 + 285. Does 17 divide m?
True
Let l(w) = w**2 - 16*w + 18. Let q be l(15). Suppose -106 + 527 = 5*h - 2*c, -261 = -q*h - 3*c. Let i = h - 51. Does 7 divide i?
False
Let h be 15 + 2 - (-2 - (-3 - 2)). Is 23 a factor of 10897/119 - 8/h?
False
Suppose -65*r = -68*r + 1224. Is 34 a factor of r?
True
Suppose -4 = -2*k - 5*j + 10, k + 3*j = 8. Let i(d) = 26*d**2 - 6*d + 2. Let w be i(1). Suppose -v - 4*v = -k*z + 74, 5*v - w = -z. Is 16 a factor of z?
True
Let y = 954 + -866. Is y a multiple of 2?
True
Let u = 173 - -307. Is 5 a factor of u?
True
Does 38 divide 1/((-11)/(-15015)) - -3?
True
Let q(g) be the third derivative of -g**6/120 - 7*g**5/60 + g**4/4 + g**3/3 + 12*g**2. Let x be q(-7). Does 15 divide ((-112)/(-10))/(x/(-100))?
False
Let t(m) = -23*m. Let h(k) = k**3 + 6*k**2 + 6*k + 1. Let i be h(-5). Is 15 a factor of t(i)?
False
Suppose 100 = -3*k - 4*a, -2*k - 36 = -3*a + 25. Let i = 140 + k. Does 18 divide i?
True
Let p(m) = -4*m - 4*m**2 - 5 + m**3 + 0 - 2*m**2 - 1. Let g be p(5). Let n = 107 + g. Is 14 a factor of n?
True
Suppose 4*h - 3*h + 12 = -5*u, 2*u - 3 = -3*h. Suppose 115 = -h*n + 343. Suppose n - 4 = 4*r. Does 18 divide r?
True
Suppose -16 = -4*y + 88. Suppose 6*c - 2*b - 44 = 2*c, c - b = 10. Let l = y - c. Is 7 a factor of l?
True
Let i = 1454 + -1400. Is i a multiple of 7?
False
Let f(l) = l**2 + 5*l + 10. Let h(y) = y**2 + 6*y - 2. Suppose 0 = -2*z + 2*u - 20, 3*z - 3*u - u = -35. Let b be h(z). Is 8 a factor of f(b)?
True
Let v = -200 + 412. Is v a multiple of 3?
False
Let g = 2877 + -1207. Is g a multiple of 10?
True
Let r = 3047 + -161. Is 26 a factor of r?
True
Let o = 20 + 23. Let d = o - 11. Suppose 33 = 4*g - 2*q - q, -4*q = -4*g + d. Is g a multiple of 3?
True
Let j(p) = -6*p - 21. Let a be j(-10). Let z = -14 + a. Is 16 a factor of z?
False
Let k be 5 + 0 + (1/(-1) - 1). Suppose 21 = 5*v - k*b, 3*v + 3 - 18 = b. Does 6 divide v?
True
Let o = -15 - -17. Suppose -o = r + 11. Let g = r - -20. Does 2 divide g?
False
Let z(d) = d**2 - 2*d**3 + 4*d**2 + d**2 + 2 - 5*d + 2. Let x be z(4). Does 12 divide x*(5/4 - 2)?
True
Let r(i) be the first derivative of i**3/3 - 5*i**2 - 4. Let p be r(10). Suppose 2*b - 5*c + 12 = p, 3*c + 5 = 17. Is 3 a factor of b?
False
Suppose -2*x - 1870 = -4*b, 5*x - 686 + 3031 = 5*b. Is b a multiple of 3?
False
Does 26 divide (-11)/((-330)/12) + (-2336)/(-10)?
True
Suppose 3*v = -4*n + 19 - 172, 3*n + 5*v = -112. Let c = -7 - n. Suppose r = 