h = 4 - 11. Let y(c) be the second derivative of -c**4/12 - 5*c**3/3 - 4*c**2 - 9*c. Does 13 divide y(h)?
True
Let o(j) = j**3 + 11*j**2 - 17*j - 40. Does 25 divide o(-9)?
True
Let w(o) = o**3 + 10*o**2 + 12*o - 6. Let l = 44 - 50. Is w(l) a multiple of 33?
True
Let h = -12 + 15. Suppose -h*t + 36 = -0*t. Let r(c) = c**2 - 8*c - 16. Is r(t) a multiple of 16?
True
Let f(o) = -o + 5. Let c be f(11). Is (-8 + 6)*51/c a multiple of 4?
False
Let m(q) = 2*q - 3*q + q**3 + 2*q - 3*q**3 + 1. Let u be m(-1). Suppose -u*y = -2 - 0, 0 = 5*k + 2*y - 227. Is 16 a factor of k?
False
Let v(n) = -n**3 - 6*n**2 - 5*n - 3. Let z be v(-5). Let w(b) = -6*b**3 - 3*b**2 + 4*b + 2. Let d be w(z). Suppose -5*p - 10 = -d. Does 3 divide p?
False
Let t(b) = 107*b + 72. Is t(4) a multiple of 50?
True
Suppose -a - 181 = -5*x, 141 = 4*x - 2*a + 5*a. Suppose 6*k - 108 = x. Is 8 a factor of k?
True
Let n(o) = -o**3 - o**2 - 2*o - 2. Let y be n(3). Is 11 a factor of (-75)/(-6)*y/(-5)?
True
Suppose 0 = -2*p + 8, -2*p + 4 + 10 = 2*g. Suppose 2*v = g*v - 56. Is 16/v + (-54)/(-7) even?
True
Let v be -3 - ((-16)/(-56) - 2/7). Does 2 divide 33/(-2)*(-1)/v*-4?
True
Let d = -2 - -4. Suppose -d*i + 118 = 3*h + 8, 170 = 4*h - 2*i. Does 10 divide h?
True
Suppose 3*r = -8 + 23. Let n(q) = -q**2 + 9*q - 15. Is n(r) a multiple of 5?
True
Suppose -84*q - 80 = -89*q. Does 2 divide q?
True
Suppose -2*x + 2*f = -x - 436, -5*x + 3*f + 2159 = 0. Is x a multiple of 24?
False
Let o be (-6)/(-10) - (-154704)/110. Is o/27 - (-3)/(-27) a multiple of 19?
False
Suppose -5*c = -3*c + 18. Let m = c + 12. Suppose -7*u = -m*u - 2*q - 278, -3*u + 2*q = -209. Is 15 a factor of u?
False
Let r(v) be the third derivative of v**5/60 + v**4/3 - 16*v**3/3 + 41*v**2. Is r(-18) a multiple of 13?
False
Does 44 divide (-2)/(-6) + (-614)/(-3)?
False
Let u(a) = 4*a + 6*a**2 - a**3 + 5*a**2 + a**2 - 17 - 3*a. Let p be u(12). Is 20 a factor of p/(-15) + (-357)/(-9)?
True
Does 16 divide 15775*20/170 - (-4)/34?
True
Does 45 divide (-63081)/645*2/(-6)*10?
False
Suppose -3 = -j - 0. Suppose j*f = -f + 40. Suppose h + f = 2*h. Is h a multiple of 5?
True
Does 18 divide (-36)/((4/6)/((-1360)/306))?
False
Suppose i - 7*i + 12 = 0. Suppose i*z = 3*z - 218. Is 28 a factor of z?
False
Let d = -95 + 169. Let s = 47 - d. Is 310/18 - (-6)/s a multiple of 17?
True
Suppose -5 - 77 = 2*n. Let k be ((-22)/(-10) - 0) + 14/(-70). Let d = k - n. Is 26 a factor of d?
False
Let c(y) = 9 + y**2 - 11*y - 9. Is c(16) a multiple of 20?
True
Suppose 3*z - z = 20. Suppose 5*x = z*x - 20. Does 11 divide 2*(78/x)/3?
False
Let j = 378 + 151. Is j a multiple of 11?
False
Let t(m) = 3*m**2 - 2*m**2 - 2*m**2 - m**3 + 4*m + 3. Let o be t(-2). Does 15 divide (-10)/(-4)*o*-22?
False
Let k = 14 - 12. Let o = -141 + 265. Suppose k*z = 4*z - o. Is 26 a factor of z?
False
Let q(b) = -4*b**3 + 6*b**2 + 3. Is q(-3) a multiple of 11?
True
Let w be 0/(-2) - (8 - 47). Suppose -45 = -5*i - 6*r + r, -48 = -4*i - r. Suppose -h - i = 5*y - w, -y = -2*h + 8. Is 3 a factor of h?
True
Let j = 933 - 321. Is 17 a factor of j?
True
Suppose 47675 - 150915 = -29*z. Is 40 a factor of z?
True
Let w = -2648 - -2922. Is 7 a factor of w?
False
Suppose 2*w = 6*w + 56. Let b = w + 17. Suppose b*x = 2*j + 1 + 139, -x + 24 = 5*j. Is x a multiple of 18?
False
Let h = 2 - -2. Suppose -2*a - 15 = -o + a, -h*a = -o + 19. Let y(s) = s**2 - s + 2. Is y(o) even?
True
Let k(w) = -w**2 - 25*w + 18. Suppose -2*p + 3 - 1 = 0, -2*j = -p + 35. Is 14 a factor of k(j)?
True
Let j(s) be the third derivative of s**6/120 - 11*s**5/60 - 5*s**4/12 - 11*s**3/6 + 13*s**2. Does 13 divide j(12)?
True
Suppose -1357 = -3*n + 4*y, 4*y - 898 = -2*n - 0*y. Does 47 divide n?
False
Let h be -8 + (-3 - 0) + (3 - 5). Let a = 27 + h. Does 14 divide a?
True
Let w be -118 + 0*(-3)/(-12). Let k = w + 172. Is k a multiple of 11?
False
Let n = 12 - 13. Let b be (n + 94)*(-24)/(-9). Suppose l = -3*l + b. Does 20 divide l?
False
Let f = -36 - -34. Let i be (-25)/(-20)*(-8)/f. Suppose 238 + 422 = i*q. Does 23 divide q?
False
Let o(j) = 28*j - 93. Does 11 divide o(24)?
False
Suppose -4*x - 18 = -x. Let o be ((-8)/12)/((-4)/x). Is 21 a factor of o - -82 - 0/2?
False
Let c(b) = -b**2 - 56*b + 18. Does 7 divide c(-10)?
False
Suppose -2451 = -0*m - 19*m. Is m a multiple of 5?
False
Let n(t) = 65*t - 26. Is 52 a factor of n(2)?
True
Is 29 a factor of (-3)/((-12)/(-4))*-29*7?
True
Is 10/(-2 - (-49)/21) a multiple of 10?
True
Let s be (4 + (-54)/(-4))*-2. Let d = s + 39. Does 17 divide 16 + (d - (1 - -2))?
True
Suppose 2*v = 4*j - 280, 3*j + 5*v - 141 - 56 = 0. Let o = j - 39. Is o a multiple of 10?
True
Let g(n) = -5*n - 23. Let v be g(-15). Suppose 49*j - 50*j + v = 0. Is j a multiple of 10?
False
Suppose 3*j + 5*v = 25, -j - 19 + 4 = -3*v. Suppose j*x - 120 = -3*x. Is 5 a factor of x?
True
Suppose -3*x = -l - 39, 4*x - 57 + 5 = -5*l. Let s be 1870/50 - 2/5. Let i = s - x. Is i a multiple of 4?
True
Let r(z) = -52*z - 15. Let b be r(4). Let y = b + 385. Is 27 a factor of y?
True
Let j(n) = 16 - 2*n - 23*n - 14 - 10. Is j(-5) a multiple of 13?
True
Let i(w) = -12*w**2 + 2*w - 1. Let t be i(-2). Let s be t/(2/((-6)/3)). Suppose -s = -6*o + 265. Is 12 a factor of o?
False
Let k(n) = n**3 + 8*n**2 + 6*n - 5. Let c be k(-7). Suppose u - 172 = -c*a, -2*u + 4*u + 244 = 3*a. Is 19 a factor of a?
False
Let m(i) = 47*i + 13. Let l be m(-2). Let d = l + 86. Does 5 divide d?
True
Let m(j) = 4*j**2 + 5*j + 8. Let c be 4/(2/3 + 24/(-18)). Is m(c) a multiple of 24?
False
Is 941 + (40/(-50) - (-104)/(-20)) even?
False
Let m be 889/(-4) + 3/(-4). Let n(t) = -t**3 - 12*t**2 + 12*t - 10. Let g be n(-12). Let p = g - m. Is p a multiple of 23?
True
Suppose -138 = 4*o - k + 377, 0 = o - 3*k + 137. Let f = 182 + o. Is 27 a factor of f?
True
Let m(v) = -12*v - 1. Let s(d) = -11*d - 1. Let b(h) = -3*m(h) + 4*s(h). Let f be b(1). Is 7 a factor of (-61)/f + 4/18?
True
Let p(m) = 3*m**2 + 16. Suppose 5*x = x + 2*l + 22, -3*x = -2*l - 16. Is p(x) a multiple of 12?
False
Suppose 0 = y + t - 0*t, 9 = -y - 4*t. Let c be (y/(-2))/((-6)/20). Suppose -108 = -4*v + l - 4*l, -c*v + 146 = l. Is 18 a factor of v?
False
Let q(o) be the first derivative of -o**7/840 - o**6/180 - o**5/30 - o**4/8 - 7*o**3/3 + 1. Let v(w) be the third derivative of q(w). Does 18 divide v(-3)?
True
Let w = 3208 - 2493. Is 13 a factor of w?
True
Suppose -3*f - d + 3 = -2*d, -2*f - 4*d = -16. Does 8 divide 44 + 3 + (-5 - f)?
True
Is 23 a factor of 11/924*60*161*1?
True
Suppose 4*m + 16 = 4*r, -2*m + 6*m + 12 = 2*r. Let k be (14/35)/(r/20). Is 7*-16*(-3)/k a multiple of 12?
True
Let y(t) = t**2 + 2*t + 2. Let d be y(-3). Suppose d*v - 4*v = 3. Suppose v*k = 5*u + 112, -5*k + 2*u = 6*u - 236. Is 10 a factor of k?
False
Suppose 4*o + 4*w = 32, 4*o - w - 6 = 6. Suppose 8*d - 12 = o*d. Suppose 4*h - 183 = -j - 10, -5*h + d*j = -229. Is 20 a factor of h?
False
Let o(k) = -k**2 + 15*k - 26. Let l be o(13). Suppose l = 12*i - 10*i - 170. Does 17 divide i?
True
Let d = 207 + 23. Suppose 2*x - 23 - 107 = -2*o, -4*o = -2*x - d. Is 20 a factor of o?
True
Suppose 3*k = -18*k + 84. Let f be 9 + (2 - 1)*1. Suppose 4*h + 5*a - 4*a - 11 = 0, -2*h + k*a + f = 0. Is h a multiple of 2?
False
Is 1*(44 - 4)*(5 + 1) a multiple of 40?
True
Suppose 6*b = 13*b - 35. Suppose -b*w + 177 = -78. Is 17 a factor of w?
True
Is 4/(-60)*5 + 2428/3 a multiple of 63?
False
Let x = 16 + -28. Let i = x + 20. Suppose -3*y + i*y = 100. Does 6 divide y?
False
Let v be -2*(1479/(-42) + (-2)/7). Suppose v = 3*k - 46. Does 13 divide k?
True
Let w(f) = f**2 - 3*f - 30. Let a = 6 + -21. Is 40 a factor of w(a)?
True
Suppose -1557 = -8*o + 331. Is 8 a factor of o?
False
Let i = -2 + 15. Let z(x) = -11*x + i*x - 25 + 7*x. Does 23 divide z(14)?
False
Suppose 3*b - 2*z - 39 = 0, -z = -4*b + 23 + 29. Let i = b - 19. Does 4 divide (36/21)/(i/(-21))?
False
Suppose -3*w = -7*w + 16. Let y = w - -21. Is 7 a factor of y?
False
Let t(s) = -6*s**3 - 10*s**2 + 2*s**3 + 2*s**3 + 13*s + s**3 + 2. Let d be t(-11). Let c = 41 - d. Does 19 divide c?
False
Suppose -61 = 2*m + 3*d, m - 3*d + 0*d + 53 = 0. Let b = 54 + m. Let o = b + -12. Is 2 a factor of o?
True
Let r(s) = 30*s + 17. Let o be r(5). Suppose 5*g - 71 = -2*h, 2*h + 3*h = -2*g + o. Let t = h + -1