2*d**2 - 21*d - 30. Let g(w) = -w**2 - 11*w - 15. Let o be (-6)/21 - 26/7. Let p(s) = o*m(s) + 7*g(s). Is 6 a factor of p(-6)?
False
Let f be ((-12)/10)/((-4)/(-20)). Does 2 divide 10/15 - 14/f?
False
Let m(s) be the third derivative of -s**6/120 - 7*s**5/30 + 47*s**3/6 + 30*s**2. Is m(-14) a multiple of 5?
False
Let d be 276*(-1)/(1 - -1). Let y = -93 - d. Is y a multiple of 9?
True
Let x(b) = -58*b + 37. Let y(f) = 29*f - 18. Let u(m) = 3*x(m) + 7*y(m). Is 18 a factor of u(3)?
True
Let i(c) = 38*c + 21. Let w(f) = 38*f + 20. Let m(u) = 5*i(u) - 6*w(u). Is m(-6) a multiple of 36?
False
Is ((-795)/30 - -13)/((-6)/104) a multiple of 6?
True
Let x(h) = 7*h + 9. Let k be x(-1). Suppose 2*d = -3*z + 401, 2*d - 5*d - k*z = -609. Is 39 a factor of d?
False
Let t be 1/(5/(23 + -3)). Suppose 5*k = 4*k + t*y + 32, -2*k - 2*y = -14. Is 4 a factor of k?
True
Let x = 2817 + -671. Is x a multiple of 86?
False
Suppose 2*b = -2*l - 10, 3 = -2*l - 3. Let x be (6 - 0/(-2)) + b. Suppose -k - 36 = -x*k. Is 4 a factor of k?
True
Let l be ((-2640)/(-140))/(-1*2/(-14)). Let h = l + -74. Is 10 a factor of h?
False
Let j be -50*5/((-50)/16). Suppose -5*a = 0, -5*a = -5*l + j + 235. Suppose -3*p = -2*y - 75, -y + 4*y = -2*p + l. Is p a multiple of 9?
True
Suppose 2*f + 4 = -52. Let w = -40 - f. Is 15 a factor of 147/2*w/(-18)?
False
Let z be (37/(-4) - (-10)/(-40))*-14. Let x = 3 + z. Is 33 a factor of x?
False
Does 33 divide 271755/459 - 5/85?
False
Let l(c) be the third derivative of 0*c + 0 + 9*c**2 - 1/60*c**5 - 1/24*c**4 + 9*c**3. Does 8 divide l(0)?
False
Suppose 0 = 8*g - 1223 - 1337. Is g a multiple of 24?
False
Let d(s) = -s**3 + 6*s**2 + 9*s - 1. Let w(k) = k**2 + 3*k - 2. Let a be w(-4). Suppose -a*x + 2 = -12. Does 13 divide d(x)?
True
Suppose -4*s + 1042 + 912 = -3*t, 966 = 2*s + 4*t. Does 17 divide s?
False
Let i = -159 + 200. Is 18 a factor of i?
False
Let h be (0 - -4) + -1 + 0. Suppose -4*m + 1288 = 4*o, -4*o + 180 + 788 = h*m. Suppose s + 4*s = m. Does 32 divide s?
True
Let h(z) = z**3 - 11*z**2 - 10*z + 48. Is h(12) a multiple of 4?
True
Let n(z) = -11*z + 117. Is 28 a factor of n(-11)?
False
Is 109 a factor of 181080/(-144)*(-16)/10?
False
Suppose -762 = 5*m + 4*n, -2*n = 2*m + 3*n + 298. Let q = 226 + m. Is 4 a factor of (-1)/((-3)/q*2)?
True
Suppose -4*m = -5*v - 4156, -3*v + 2 = -10. Does 36 divide m?
True
Let m(j) = 24*j**2 - 2*j - 2. Let p be m(-1). Suppose 0 = 5*k + 3*n - 78, -4*k - n + 37 + p = 0. Is k even?
False
Suppose 0*s + 4*s = 172. Let n be (-1)/(27/15 + -2). Is 7 a factor of (-3 + s/n)*5?
True
Let g be (-88)/(-33) - 2/3. Suppose -3*o + g*o = 3*v - 133, -2*v + 2*o = -78. Is v a multiple of 10?
False
Suppose 4*t + 35 = 3*q, -2*q + 3*q - 19 = 5*t. Is ((-304)/2)/(q/(-9)) a multiple of 37?
False
Is (-1754)/(-4)*(8 - 30/5) a multiple of 17?
False
Let x = 850 + -514. Is 4 a factor of x?
True
Suppose 4*s = -3*k + 11971, s + 1449 + 10532 = 3*k. Is k a multiple of 20?
False
Suppose -3*r + 4 = -4*h, -4*h + 4 = -0*h - r. Suppose 4*s = h*j + 256, 116 = 2*s + j - 4. Suppose -2*g - 154 = -2*v, -s = -v - 0*g - 2*g. Is v a multiple of 18?
True
Let d be 114/(-8)*24/(-18). Let a = 2 + d. Does 2 divide a?
False
Let y = 30 - 30. Let j = -33 + 48. Suppose y = -2*a + j + 1. Does 5 divide a?
False
Suppose 945 = -14*c + 3325. Is c a multiple of 12?
False
Let s(h) = 28*h + 469. Is s(0) a multiple of 67?
True
Let h(s) = 1. Let c(d) be the third derivative of 5*d**4/24 + d**3 + 5*d**2. Let p(z) = c(z) - h(z). Is p(5) a multiple of 11?
False
Suppose 4*w - u + 3*u = 10, 0 = -2*u + 2. Let h(k) = 50*k - 4. Does 12 divide h(w)?
True
Let x(s) = 14*s**2 - s - 2. Let r be x(-1). Suppose -r = 3*k + 2, -4*k - 47 = -3*z. Does 3 divide z?
True
Suppose 3*a = -3*i + 258, -4*i - 265 = -7*a + 4*a. Suppose -a = -n - 24. Is 21 a factor of n?
True
Let l be (30/(-8))/((-3)/(-8)). Let s be 3*l/(-6)*1. Suppose 4*t - 5*f = 66, 85 = s*t - 0*t - 5*f. Is 14 a factor of t?
False
Let l(h) = -2*h**2 - 15*h + 5. Let u be l(-8). Does 17 divide 2 - (-222)/15 - u/15?
True
Let g(c) = 61*c**2 - 3*c - 41. Does 63 divide g(-5)?
False
Let q be 17 + (-1)/(-2)*-2. Suppose -12*n - 288 = -q*n. Is n a multiple of 12?
True
Let c = -41 - -41. Suppose -3*l = -c*v + 5*v + 180, -l - v = 58. Let q = l - -87. Does 8 divide q?
True
Let l(q) = 16*q**2 - 4*q + 2. Let j be l(4). Suppose 4*x - 460 = -4*w, 4*w = 2*w + 2*x + j. Let u = w - 82. Is u a multiple of 12?
True
Let q be -3*6/45*5. Let m = q - -2. Suppose m*j = -j + 11. Is 2 a factor of j?
False
Let g be 21/(-7) - (-12)/2. Suppose g = -3*c + 36. Suppose -2*j + 49 = 5*i + j, -i - j = -c. Is 4 a factor of i?
True
Suppose -2*p - 5772 = -15*p. Does 4 divide p?
True
Suppose 2*k - n = 3, -2*k - 3*n + 11 = 2*k. Suppose 26 = f - 3*a, k*a + 21 - 153 = -4*f. Does 9 divide f?
False
Let w be (3 - 2)*(-6)/(-3). Let o = -2 - w. Let n = 29 + o. Does 4 divide n?
False
Let r = 140 + -99. Let t = 65 - r. Suppose 0 = -3*u + 3*q + t + 30, -5*u + 91 = -4*q. Is 15 a factor of u?
False
Let n(p) = 11*p. Suppose 0 = -4*s + 3*l + 10, -3*s - 2*l + 16 = -0*s. Let k be n(s). Suppose 5*a = 226 + k. Is a a multiple of 14?
False
Suppose 0 = -b + 8 + 12. Suppose b*v = 16*v + 548. Is v a multiple of 21?
False
Let i(y) = -y**3 + 11*y**2 - 11*y + 15. Let f be i(10). Suppose -f*s = -3*a - 3, 3*a + 2*s - 18 = -0*s. Suppose -250 = -a*v + 82. Does 32 divide v?
False
Suppose -t + 17 = 5*k, -2*k + t = -2*t. Suppose -k*y = 25 + 41. Let p = -10 - y. Is 12 a factor of p?
True
Suppose -m = 5*v - 180, v + 4*m - 18 = 18. Is v a multiple of 18?
True
Let v(d) = -2*d + 9. Suppose -2*m + 27 = -5*w, 4*m - 30 = -3*w + 5*w. Let y be v(m). Is 18 a factor of -2*102/(-4) - y?
True
Does 23 divide (-20)/(-18) - 114832/(-72)?
False
Let q(a) = -a**2 + 21*a + 19. Let i be q(21). Suppose d - 68 + i = 0. Is 7 a factor of d?
True
Let s(y) = 2*y + 7 + 16 - 3*y + 0*y. Suppose 3*q - 45 = -3*t, q - 8*t + 4*t - 10 = 0. Is 4 a factor of s(q)?
False
Suppose 45*i - 48*i = -5*u - 67, 4*i - 5*u - 96 = 0. Does 11 divide i?
False
Let d(r) = -r - 2. Let z be d(-5). Let m(i) = -i**2 - 7*i - 4. Let k be m(-6). Suppose -15 = -z*q - k*q, -3*u + 4*q = -81. Is 30 a factor of u?
False
Let x(w) = -w**2 + 41*w - 18. Does 15 divide x(14)?
True
Let f be (-17)/((-204)/(-8)) - 58/(-6). Suppose f*o - 403 = 749. Is o a multiple of 16?
True
Let a(s) = -17*s - 235. Does 15 divide a(-35)?
True
Is 6 a factor of ((-5548)/190)/((-2)/5)?
False
Let o(z) = -6*z - 33. Is 37 a factor of o(-70)?
False
Let u(v) = -389*v - 665. Is 59 a factor of u(-8)?
False
Let t = 1678 - 94. Is 6 a factor of t?
True
Let d(x) = x**2 + 8*x - 9. Let r(c) = -c**2 - 8*c + 10. Let g(f) = -5*d(f) - 4*r(f). Let k be g(5). Let n = -24 - k. Is 14 a factor of n?
False
Let g(c) = 7*c**3 + 9*c**2 - c - 16. Let z(s) = -s**3 + s + 1. Let h(m) = g(m) + 6*z(m). Let t be (2 - -8)*24/(-30). Is 7 a factor of h(t)?
True
Suppose -6*j + 2 + 34 = 0. Suppose u - j = 2. Is 4 a factor of u?
True
Let m = 448 + -258. Suppose 0 = -4*c - c + m. Is 19 a factor of c?
True
Let r(k) = -k**3 - 15*k**2 + 16*k - 1. Let y be r(-16). Let o(b) = 10*b**2. Is o(y) a multiple of 10?
True
Suppose -9 = -2*b + 47. Does 14 divide b?
True
Let j = 1499 + -109. Does 16 divide j?
False
Suppose 0 = 21*a - 17*a - 312. Let g = a - -20. Does 14 divide g?
True
Let u(l) = 2*l**2 - 9*l + 14. Does 41 divide u(-12)?
True
Let y be 26 + 3*-2*(-5)/(-10). Suppose -b = 2*b - 2*n + 11, 5*n - 10 = 5*b. Let g = y + b. Is 5 a factor of g?
False
Let z be (-3 - -1) + 5 + 0. Suppose -2*v - 20 = z*v, -3*s = -2*v - 20. Let t(x) = 4*x - 10. Is 6 a factor of t(s)?
True
Let y = 45 + -51. Is 12 a factor of y/8 - 2148/(-48)?
False
Let k = -101 + 150. Is k a multiple of 16?
False
Let n(m) = -28*m + 10. Let u be n(-2). Suppose -5*q = -14 - u. Is q a multiple of 4?
True
Let r(g) = -g**3 + 2*g**2 - g - 2. Let b be r(-1). Does 12 divide (-3)/(-6)*(b - -44)?
False
Suppose 20*f = -2944 + 9104. Is f a multiple of 11?
True
Let v(h) = 20*h**3 + h**2 - 8*h + 8. Let i(u) = -u**2 - 2*u + 10. Let r be i(-4). Does 6 divide v(r)?
True
Let q(s) = 17*s + 130. Is 42 a factor of q(33)?
False
Let c be 1/((-4)/(-19)) - (-14)/56. Suppose -c*w + 1305 = 265. Is 16 a factor of w?
True
Suppose -5*o = -54 - 106. Suppose 4*r + 46 = -2*x, -2*x - 5*r - 60 = -11. Let q = o + x. Is 6 