tor of g?
False
Let f(y) = y**3 + 7*y**2 + 9*y - 3. Let d = 61 - 66. Let h be f(d). Suppose 0 = -5*b - 0*q - h*q + 512, 0 = -5*b + q + 524. Does 26 divide b?
True
Let r = 52 - 40. Let c be (16/r)/((-4)/(-6)). Is ((-3)/(-3))/(2/(298 + c)) a multiple of 25?
True
Let s(x) = -51*x - 6. Suppose 0 = -4*k - 3 - 21. Let w be s(k). Suppose -14*c + w = -9*c. Is c a multiple of 12?
True
Suppose 4*u = 20, 0 = -4*p - 0*p + 3*u - 128143. Is p/(-80) - (-2)/(-5) a multiple of 9?
False
Let j = 53 - 98. Let v be (-6)/(-45)*5*j/(-2). Suppose 0 = r - v + 8. Does 7 divide r?
True
Suppose 4256 = -0*y - 14*y. Let o = -157 - y. Does 34 divide o?
False
Let x(f) = -f**3 + 10*f**2 + 9*f + 10. Let g(a) = -3*a**3 + 30*a**2 + 28*a + 29. Let q(y) = -4*g(y) + 11*x(y). Is 7 a factor of q(12)?
True
Suppose 4*s + 3*y = 2031, -3*y = -2*s + 1647 - 618. Suppose -5*q - 7*d = -2*d - s, 3*q = 5*d + 314. Is 4 a factor of q?
False
Let d(q) = -4*q**3 - q**2 + 3*q + 9. Let b = 73 - 76. Does 3 divide d(b)?
True
Let g(k) = -6*k**3 + 30*k**2 + 3*k - 13. Let z be g(5). Suppose 3*s + 249 = 2*r, -z*s = -4*r + 3*s + 501. Is 58 a factor of r?
False
Suppose -5*h + 4*o + 165 = 0, -5*o - 72 + 18 = -h. Let k(v) = v**3 - 28*v**2 - 25*v - 65. Does 4 divide k(h)?
False
Suppose 5*z - 24 = 2*n - n, 3*n = -3*z + 18. Let s be z - (-1)/(-5)*0. Suppose 3*u - 339 = -s*f, u + 4*f - 5 = 115. Does 18 divide u?
True
Suppose 30*i = 76822 + 24668. Does 161 divide i?
False
Suppose -381*j + 395*j = 39480. Is j a multiple of 15?
True
Let z(x) = 41*x**3 - 3*x**2 + x + 1. Let k be z(1). Suppose 0 = 4*a - 8*a + k. Suppose 16 = 2*d + a. Is d a multiple of 3?
True
Suppose 1564 = 21*a - 4967. Suppose u - a = 5*s - 34, 5*s = 25. Does 65 divide u?
False
Let t be (0 + 1)/((-4)/(-80)). Suppose -3*p + 65 = t. Let r = p - -76. Is 14 a factor of r?
False
Let q(n) = -4*n - 13. Suppose 5*p + 20 = -10. Does 7 divide q(p)?
False
Let v = -1953 + 8871. Does 2 divide v?
True
Suppose 0 = 3*u - 3*m + 6, 0*m - m = 4*u - 17. Suppose 3*x = 7*x + u*i - 321, 4*x + 4*i = 320. Let a = x + -33. Is 6 a factor of a?
True
Let j(m) = 988*m**3 + 7*m**2 - 21*m + 33. Is 29 a factor of j(3)?
True
Let x(g) = 17*g**3 - 5*g**2 + 25*g + 22. Does 23 divide x(8)?
False
Let t be (2 + -1 - -49)*1. Let d = -10 - -6. Does 5 divide (d - -1 - -1) + t?
False
Suppose 2*s - 10 = 18. Let g(o) = o**2 - 8*o - 54. Is g(s) a multiple of 5?
True
Suppose 4*c - 3*c = i + 12, -4*c - 4*i = -16. Let k be (3/6)/(1/c). Let p(g) = g**3 - 3*g**2 + 2*g + 2. Is 13 a factor of p(k)?
True
Suppose -18 = -4*z - 2*c, 0*z + c = -4*z + 15. Suppose o - z = -o + 3*l, 2*o - l = -3. Is 31 a factor of o + ((-20)/(-110) - (-2064)/22)?
False
Let p be 18 + 4*21/(-28). Suppose 0 = -0*y - 4*y + 2292. Suppose -y - p = -7*t. Is 28 a factor of t?
True
Suppose -l = -9*t + 4*t - 8820, -2*t + 8 = 0. Is l a multiple of 8?
True
Is 24115/742*(1 - -123)/1 a multiple of 13?
True
Let a(u) = -u**2 - 2*u + 13. Let r be a(0). Let p(m) be the second derivative of 2*m**3/3 + 11*m**2/2 + 10*m. Is 21 a factor of p(r)?
True
Let w = -21808 + 21161. Let r = 744 + 188. Let c = w + r. Does 25 divide c?
False
Let f(z) = z - 1. Let n(p) = 4*p - 47. Let o(q) = 3*f(q) - n(q). Suppose 5*d + 2 = -x + 112, 10 = 2*x. Does 4 divide o(d)?
False
Suppose -k + 36321 = -3*g, -3*k + 98171 + 10778 = -2*g. Is 269 a factor of k?
True
Let a be ((-1)/2)/(4/(-1808) + 0). Let t = a + -116. Is t a multiple of 4?
False
Suppose -5*g + 786 = -3*g. Let t = -363 + g. Is 6 a factor of t?
True
Let y be 15/((-90)/12)*(-1 - 1). Suppose -3*i + 309 = 5*c - 3*c, c = -y*i + 167. Does 10 divide c?
False
Is 17043 + ((-6)/(-5))/(-16 - (-78)/5) a multiple of 23?
False
Suppose 23*j - 2*o + 14482 = 28*j, 3*j - 3*o = 8685. Is 16 a factor of j?
True
Let w(g) = 17*g**2 + g - 39. Let k be w(-6). Suppose -3*y = -k + 177. Suppose y - 31 = x. Does 9 divide x?
True
Let t = -578 - -578. Suppose t = 28*c - 989 - 187. Is 42 a factor of c?
True
Suppose 39*n - 7480 = 5*n. Does 5 divide n?
True
Suppose -5*o - 36 = -2*n, -3*n - 5*o + 2*o + 96 = 0. Is 7/n + 7725/12 a multiple of 20?
False
Suppose -11*k = -18954 + 1486. Suppose -17*p - k = -10700. Does 19 divide p?
False
Let v(i) = 5*i**2 - i - 2. Let o be v(3). Let c be (3/(-2))/((-20)/o). Suppose 4*z - 586 = 2*g, c*z + g = -2*g + 453. Is 29 a factor of z?
False
Let v = -29 + 56. Suppose -16 = 23*b - v*b. Suppose -3*w = 15, b*j - 5*w - 43 = 190. Is j a multiple of 8?
False
Let j = -164 + 242. Is 14 a factor of (-13)/(j/(-24)) - -55?
False
Let f be -3 + (-5 - -5) - (2 - 0). Let t(l) = -l**3 + 2*l**2 + 1. Let v be t(2). Is 9 a factor of (-2502)/(-90) - v/f?
False
Suppose -5*n + 10*n + 295 = 0. Let w = 57 + n. Is (-6)/(w - 37/(-20)) a multiple of 4?
True
Suppose 1143828 = 115*o + 38*o. Is o a multiple of 23?
False
Suppose 15*o = 13*o - 128. Let f = o - -99. Does 17 divide 5383/f - (-1)/5?
False
Let u = 32 + -137. Let t be (-2)/4 + -4*u/56. Suppose 5*f - t*f = -280. Is 35 a factor of f?
True
Suppose s - 2*v - 794 = 0, -4*s + 3161 = -0*s - 3*v. Suppose -4*h = 2*d - 1556, 2*h - 6*d + 2*d - s = 0. Is 39 a factor of h?
True
Let p(l) be the second derivative of -l**5/20 + 5*l**4/6 + l**3 + 720*l. Let m = -11 - -21. Does 6 divide p(m)?
True
Suppose -2399 = -2*o + p, 2*o + 99 = -3*p + 2502. Suppose -10*u - 30*u + o = 0. Is u a multiple of 10?
True
Does 10 divide (-5)/1 - (-24)/((-504)/(-27195))?
True
Let j be (-1)/10 + (-2)/(-20). Suppose -o - 2*o + 75 = r, 2*o = -3*r + 50. Suppose -4*c + 263 + o = j. Does 9 divide c?
True
Suppose 732 = o + 3*o. Let g(j) = j**3 + j**2 + 6*j + 10. Let m be g(-5). Let b = m + o. Is 8 a factor of b?
False
Suppose 49*u + 16 = 57*u. Suppose -4 = -2*l, -5*g + 11 = l - 3*l. Suppose -5*y - u*d = -450, -2*y - g*d + 200 = 20. Is 10 a factor of y?
True
Let x(v) = 56*v + 106. Let m be (4/(-6))/(92/(-18) - -5). Does 17 divide x(m)?
True
Let i be 1/((-18078)/(-4518) + -4). Suppose -4*a + 775 = -i. Is 25 a factor of a?
False
Let u be ((-15)/10*2)/(-3 - -2). Suppose -2*p + 14 = -4*m, 0*p + 15 = -u*m - 3*p. Is 14 a factor of (-186)/m*14/21?
False
Suppose -15*r = -9*r + 6. Let x be (7/3)/((-9)/(-297)). Is 4 a factor of (r - x)*(4 - 45/10)?
False
Let s be 0 - 1/((-4)/492). Suppose -619 = -14*k + s. Is k a multiple of 6?
False
Suppose -11*p = -18*p + 1071. Suppose 3*t + 48 + p = 0. Is -2 + 20/12 - t/3 a multiple of 2?
True
Let l be 3815/2*(-308)/385. Let g = l + 3088. Is g a multiple of 11?
True
Let y(a) = -a**3 - 11 + 9*a + 7 - 6*a**2 - 12. Let z be y(-8). Suppose -2*w = -4*w + z. Is 12 a factor of w?
False
Let t = 12362 + -9918. Does 29 divide t?
False
Let h be (-4)/(1/3 - 8/6). Suppose 0 = -h*y + y + 6. Suppose 5*b + g - 576 = 0, -y*b - 7*g + 2*g = -235. Is b a multiple of 21?
False
Let n(o) = o**2 + 66*o - 131. Let z be n(2). Suppose -3*k - h + 1492 = 292, 0 = z*k + h - 1998. Is k a multiple of 13?
False
Let t(x) = -x**2 - 2*x + 1. Let z be t(-3). Let p(c) = c**2 - 57*c + 494. Let g be p(47). Is 31 a factor of z*(-3)/g + 247/4?
True
Let w = -619 + 1928. Does 11 divide w?
True
Let k = -965 - -313. Let y = 806 + k. Does 22 divide y?
True
Let u be (-2)/6*(45 + -45). Suppose u = -3*k - 5*w - 0*w + 155, 3*w - 53 = -k. Is k a multiple of 2?
True
Let r be 19/(-7) + 10/(-35). Let n = 646 + -577. Let j = n + r. Is 11 a factor of j?
True
Suppose -104 = -0*k - 8*k. Let b = 16 - k. Let t(y) = 3*y**2 - 10. Is 3 a factor of t(b)?
False
Let a(g) = 45*g - 57. Let v be a(2). Suppose -911 = -2*i + v. Is i a multiple of 77?
False
Suppose -6*w = -209347 - 8675. Does 23 divide w?
False
Let d = -25 + 12. Does 55 divide d/((-104)/44)*(79 - -1)?
True
Let f(o) = o**3 + o**2 + 2. Let z(t) = -2*t**3 - 17*t**2 + 22*t + 2. Let w(p) = -3*f(p) - z(p). Is 3 a factor of w(12)?
False
Let d(c) = 228*c + 393. Is 81 a factor of d(10)?
True
Suppose -6*f = -5*f. Let o be (2 - f)*(-10 + 3). Does 15 divide (7/o)/(1/(-150))?
True
Let f(g) = g**2 - g + 2. Let b(j) = j**2. Let i(x) = -3*b(x) + f(x). Let a be i(5). Let u = a - -85. Does 19 divide u?
False
Let r be 1752/(-14) - (-2)/14. Let w = r + 248. Let k = w - 84. Is 13 a factor of k?
True
Suppose -508*b = -400*b - 921780. Does 5 divide b?
True
Suppose -25 = -2*b + 3*v - 7, 5*b - 3*v = 27. Suppose -f - b*f = -3*x - 143, -3*x - 167 = 2*f. Let o = 72 + x. Is 19 a factor of o?
True
Suppose -3*y - 3*t + 17103 = 0, -