-24)/(-10))/(c/80)?
True
Let h(v) = -2*v**3 + 10*v**2 + 8*v - 2. Does 10 divide h(-7)?
False
Let i(x) be the third derivative of 25*x**4/24 + 7*x**3/6 + 12*x**2 + 3. Suppose -n = -5*b - 23, -4*b = 4*n - 0 + 4. Is i(n) a multiple of 23?
False
Let p be 0*((-36)/8)/(-9). Suppose -5*r + 7*r + 5*d - 37 = 0, 4*r + d - 65 = p. Is 12 a factor of r?
False
Let i(v) = -19*v - 10. Let a(o) = o. Let g(r) = 5*a(r) + i(r). Does 28 divide g(-6)?
False
Let z(w) = 2*w**2 - 9*w - 15. Let n be ((-9)/(-5))/((-3)/(-20)). Is 32 a factor of z(n)?
False
Let h = -7 + 7. Let i = 4 - h. Suppose -2*g + 40 = -z, 63 = i*g + 5*z + 11. Is 6 a factor of g?
True
Suppose 0 = -122*p + 130*p - 952. Is 14 a factor of p?
False
Let b be (-2)/((4 - 5)/3). Suppose b*j = j + 360. Is 18 a factor of j?
True
Let z = 297 - 198. Suppose l - z = 16. Suppose 2*m - l = -9. Does 18 divide m?
False
Let i(m) = m**2 - 9*m + 13. Let k be i(6). Let o(p) = 5*p**2 + 3*p + 3. Does 31 divide o(k)?
False
Suppose -5*k + 30 = 4*i - 2*i, -4*i = k - 24. Suppose 6*g - k*g = 240. Is g a multiple of 40?
True
Suppose 2*k - 1054 = -4*n, 2*k - 3*n + 1053 = 4*k. Does 7 divide k?
True
Suppose -5*n = 21 - 106. Suppose h + 1040 = n*h. Does 3 divide h?
False
Suppose 5*o + 22 = 5*p + 2, 0 = 5*o + p - 10. Let z = 31 - -32. Is z/((o - -3)/4) a multiple of 15?
False
Let b be 146/4*(0 - 2). Let r(z) = z**3 - 19*z**2 + 27*z + 8. Let o be r(17). Let t = b - o. Is t a multiple of 38?
True
Let s = 127 + 484. Is s a multiple of 14?
False
Let m(l) = -2*l - 13. Let p be m(-9). Suppose 5*c = 5*b - 20, -p*c - 4*b - 9 = -25. Suppose x - g = 34 - 4, -2*x - 2*g + 68 = c. Is 16 a factor of x?
True
Let i(t) = 36*t - 12. Let f = 13 - 13. Let u be 4 - (1 + f/(-2)). Is i(u) a multiple of 16?
True
Suppose -4*t + 6*u - 2*u = 16, 2*t = -4*u + 16. Suppose -2*b = -t*b + 18. Let o(v) = -v + 4. Is 4 a factor of o(b)?
False
Let d(h) be the second derivative of h**4/12 + 5*h**3/3 + 2*h**2 - 6*h. Let t be d(-10). Suppose -2*c = -c - t*u - 13, -3*c + 3*u + 84 = 0. Is 10 a factor of c?
False
Let h(g) = -67*g - 4. Let i be h(-1). Suppose i = 3*d - 114. Does 11 divide d?
False
Suppose -4*u = -3*b + 1087, 2*b - u - 724 = u. Is 10 a factor of b?
False
Suppose 819 - 63 = 9*u. Is u a multiple of 3?
True
Let g(l) be the second derivative of l**6/360 - l**5/60 - 3*l**4/8 + 7*l**3/6 - 4*l. Let j(t) be the second derivative of g(t). Is 5 a factor of j(-4)?
True
Let t(g) = -7 + 7*g + 22 + 14. Does 29 divide t(0)?
True
Let h(x) = x**2 - 6*x + 2. Let l be h(4). Is (l/(-9))/(6 - (-1006)/(-168)) a multiple of 33?
False
Suppose 13*i = 17*i - 52. Let y(h) = h**2 + 2*h - 45. Does 9 divide y(i)?
False
Suppose 3*d + 5*w = 1939, 5*d + 3*w + 2*w = 3225. Let x = d + -425. Does 42 divide x?
False
Suppose 35 = j + 4*j - 4*o, 2*o = -5*j + 5. Suppose j = -g + 39. Does 18 divide g?
True
Let k = -3 - 1. Let y = k - -7. Suppose -y = x - 13. Is 10 a factor of x?
True
Let f = 3 + 0. Suppose 13 = -f*m + 7. Is 28 a factor of (-3 + 90)/((-3)/m)?
False
Let v(x) = 2*x**2 - 2*x + 224. Is 32 a factor of v(16)?
True
Suppose -4*m - 2*r + r = 295, 5*m - 5*r + 400 = 0. Let u = -30 - m. Is u a multiple of 9?
True
Let z = 28 - 25. Suppose -92 = -z*s - 4*x, 2*s - s = 3*x + 48. Is 6 a factor of s?
True
Let x(i) = 20*i**3 - 10*i**3 - 5*i**2 - 4*i + 2 - 11*i**3. Let s be x(-2). Does 17 divide (-164)/(-8) - s/(-4)?
False
Let b = 18 + 13. Let z = b - -9. Is z a multiple of 5?
True
Suppose 60 = 2*c - 4*s, 4 - 2 = -s. Let o(k) = -2 - 23*k - 6*k + 11*k - c*k. Is o(-1) a multiple of 22?
False
Let r(o) = -7*o**2 + 10*o + 13. Let t(k) = -6*k**2 + 9*k + 12. Let w(j) = 5*r(j) - 6*t(j). Is w(-5) a multiple of 6?
False
Suppose -3*x - 3 = 0, 2*x - 3 = 3*j + 1. Let d = j + 17. Suppose -3*t + d = -30. Is t a multiple of 5?
True
Suppose 0 = -b + 5*b + 448. Suppose -4*j - 763 = -5*h, 0 = -3*j - 4*h + 5*h - 586. Let s = b - j. Is 25 a factor of s?
False
Suppose 0 = -2*j - 3*k + 171, 0 = -10*k + 7*k + 3. Is 6 a factor of j?
True
Let w(f) = f**3 - 4*f**2 - 2*f + 8. Let v be w(6). Let h(q) = 6*q**2 + 4*q + 2. Let y be h(4). Let o = y - v. Is 15 a factor of o?
False
Suppose 251*v - 2556 = 245*v. Is v a multiple of 5?
False
Suppose 17146 = 5*t - 4*i, -i = 4*t - 3*i - 13718. Is 14 a factor of t?
True
Suppose 163*l - 149*l - 18144 = 0. Does 22 divide l?
False
Suppose 0 = -4*x - 2*r - 15 + 39, 4*x - 5*r = 38. Let z(g) = 2*g - 10. Let b be z(x). Suppose y + 87 = m - b*y, -2*y = 3*m - 261. Does 29 divide m?
True
Let a(u) = -u**2 - u + 2. Let l be a(0). Is 2 a factor of -2 + 33/(5 - l)?
False
Suppose k - 2646 = -b, b = 18*k - 14*k + 2646. Does 78 divide b?
False
Does 13 divide 61/(-1 + (-14)/(-13))?
True
Let j(b) = -3*b + 5. Let i be j(5). Let o(d) = d**3 - d. Let r(h) = -5*h**3 + 9*h**2 - 6*h - 5. Let k(p) = 6*o(p) + r(p). Is 5 a factor of k(i)?
True
Let h be (-172 + 22)*(-2 - 0/2). Suppose 0 = -24*o + 19*o + h. Does 8 divide o?
False
Suppose 15*h + 272 = 737. Let s = h + -16. Is s a multiple of 15?
True
Let z = 122 + 241. Does 9 divide z?
False
Let d = -215 + 102. Let u = 291 + d. Suppose -4*j - 5*i + 320 = 0, -3*j + 2*i + 39 + u = 0. Does 25 divide j?
True
Suppose 426*u - 2682 = 423*u. Does 20 divide u?
False
Let c be (-83)/(-1*2/2). Suppose -2*p = -203 + c. Is 12 a factor of p?
True
Let s = -706 - -704. Let u(n) = -n**3 - n**2 + 1. Let p(x) = 5*x**3 - 6*x**2 + x + 6. Let b(o) = -p(o) + 4*u(o). Is b(s) a multiple of 15?
False
Let c(p) be the third derivative of p**4/24 - p**3/6 - 7*p**2. Let a be c(5). Suppose -55 = -a*l + 3*l. Is 14 a factor of l?
False
Let a(c) = c**3 - 22*c**2 + 23*c - 77. Does 56 divide a(24)?
False
Suppose -6*i + 5*i = 45. Let t = i - -20. Does 7 divide 2/4*-4 - t?
False
Let h be ((-16)/20)/((-2)/10). Let x(j) = j - 1. Let z be x(h). Suppose 4*w - 160 + 8 = -3*t, -146 = -z*t - w. Is 16 a factor of t?
True
Let a(l) = -l**3 + 9*l**2 + 19*l - 27. Does 3 divide a(10)?
True
Let q(w) = 66*w**2 - 19*w - 36. Is 6 a factor of q(-2)?
False
Suppose 3*n - 4*n = -2. Does 13 divide (-25 + 26)/(n/26)?
True
Let y(p) be the first derivative of 12 - 11*p**2 - 9*p**2 - 1 - 3*p. Is y(-1) a multiple of 18?
False
Suppose p = 14*p - 858. Does 20 divide p?
False
Is 50 a factor of 2468/(-6)*1*69/(-46)?
False
Suppose -12 = -o - 4. Let z(v) = v**2 + 11*v - 20. Does 22 divide z(o)?
True
Let v(n) = 26*n**2 - 7*n - 8. Let b(x) = 26*x**2 - 8*x - 9. Let r(s) = -6*b(s) + 7*v(s). Let d be r(2). Suppose 5*f - f = d. Is 10 a factor of f?
False
Let s = -31 - -34. Does 20 divide (348/9 - -3)/(1/s)?
False
Let h = 705 + -277. Is h a multiple of 32?
False
Let x be (-84 - 25/5)/(-1). Let l = 103 + x. Is 16 a factor of l?
True
Let a be (30/(110/11))/(0 + 1). Suppose -5*p + 1810 + 30 = 0. Suppose 0 = -y - a*w + 146, y - 4*y = -5*w - p. Does 19 divide y?
False
Let t(d) = -d**2 - 5*d + 5. Let o be t(-5). Suppose o*z - 2 = 3*j, -5*z = -j - 3*z. Does 6 divide j/(-12) + (-34)/(-6)?
True
Let o = 33 - -27. Is o a multiple of 6?
True
Let b(x) = x**3 - x**2 + x - 106. Let v be b(0). Suppose -3*i - 2*q = 220, 290 = -2*i - 2*i - 2*q. Let a = i - v. Is 10 a factor of a?
False
Let s = 4 + -8. Is 84*(s/8 - -1) a multiple of 20?
False
Suppose 4*a = -3*l + 120, -10*l + 9*l + 33 = -a. Does 12 divide l?
True
Suppose 5*h = -5*i - 5, 5*h + 1 = 2*i + 3. Suppose 6*m - 126 = -h. Suppose m + 45 = 3*j. Is j a multiple of 12?
False
Suppose -4*f + 32 = 8*c - 3*c, -5*c + f = -17. Is ((-126)/c)/((-3)/6) a multiple of 7?
True
Let o(k) be the third derivative of 7*k**6/20 + k**5/30 - k**4/12 + k**3/6 - 5*k**2. Suppose -z = -4*v + 4*z + 19, -4*z = -2*v + 14. Is o(v) a multiple of 8?
False
Suppose 12 = 4*z, -16 = -n - 5*z + 18. Suppose -k + 15 + n = 0. Is k a multiple of 17?
True
Let o = 15 + -95. Let i = -63 - -15. Let d = i - o. Is d a multiple of 16?
True
Let y(r) = -r**2 - 7*r + 4. Let d = 3 - 10. Let a be y(d). Suppose 0 = -a*w + w + 213. Does 23 divide w?
False
Let b be 3/1 + -5 - -17. Let s = -12 + b. Suppose s*r - 69 = 81. Is 9 a factor of r?
False
Let j(d) = -d**3 - 5*d**2 + 5*d + 2. Let c be j(-6). Is 20 a factor of 12/c*70/3?
False
Let x(g) = 4*g. Let d be x(1). Suppose -d*i + 412 = -0*i. Is 21 a factor of i?
False
Let r be (1/3 - 3/9) + 2. Let g = 4 + -1. Suppose 2*u - 157 = -2*u + 5*m, -g*u + 109 = -r*m. Is u a multiple of 9?
False
Let w(t) = -4*t**2 - 6*t - 2. L