f 15?
False
Let m(c) be the third derivative of -c**5/120 + 5*c**4/12 + c**3/2 + 6*c**2. Let s(k) be the first derivative of m(k). Is 11 a factor of s(-6)?
False
Let j(h) = -7*h - 8. Let r be j(-2). Suppose 5*k + 30 - r = u, 2*u + 2*k - 84 = 0. Is 14 a factor of u?
False
Let x be (-3910)/35 - (-4)/(-14). Let a be (x/(-20))/((-4)/(-10)). Suppose 5*c = -a - 1, 0 = 3*w - 2*c - 249. Is 27 a factor of w?
True
Is ((-2)/3)/((-8)/(-2304)*-4) a multiple of 24?
True
Let s(q) = q**3 + 2*q**2 - 8*q - 3. Let j be s(-3). Suppose 0 = -5*d + 5*r + 20, 0*r + j = 5*d - r. Is d even?
True
Suppose -3*i = 0, 2*q = -i + 56 + 494. Does 25 divide q?
True
Let j = -187 - -458. Does 30 divide j?
False
Suppose -6*v = -2*v + 3*d + 51, 4*d - 7 = 3*v. Let s(l) = 3*l**2 + 23*l + 7. Is 14 a factor of s(v)?
False
Suppose -2*r + 2 = 0, n - 64 - 9 = r. Does 37 divide n?
True
Suppose 4*w + 605 = -5*j, j - 270 = 3*j - 4*w. Let b = 195 + j. Does 7 divide b?
True
Let q be (285/(-9))/(7/21). Is 19 a factor of ((-56)/(-20))/((-2)/q)?
True
Let l = 4 + -1. Suppose -g + 5*n - 23 = 0, 3*n + 1 - 10 = l*g. Is -25*(g + 24/(-10)) a multiple of 5?
True
Suppose -14 = -2*l + c - 3, 9 = 3*l + c. Suppose -5*y + 344 = 4*n - 434, n + 635 = l*y. Does 15 divide y?
False
Suppose 5*d + 0 = -5, -2*m - d + 347 = 0. Is m a multiple of 13?
False
Suppose j - 21 = -5*o, -6*o + 8*o - 2 = -2*j. Suppose -o*a + 874 = 159. Is a a multiple of 11?
True
Is 22 a factor of ((-68)/2)/(-1)*(-1176)/(-112)?
False
Suppose -2 = -2*d + 4*d, 3 = 2*s + 5*d. Suppose -s*l + 1581 = 3*g + l, 2*l - 2654 = -5*g. Does 4 divide g/42 + 2/(-3)?
True
Suppose -3*j - 8 = -29. Suppose 1 = -2*w + j. Suppose 0 = w*f - 6*f - a + 160, 0 = -5*a - 25. Is f a multiple of 15?
False
Let n = 153 - 86. Is n a multiple of 4?
False
Let j(r) = r**3 + 2*r**2 - 8*r. Let s be j(-4). Suppose -w = 2*m - 68, s = -m + 3*m + 3*w - 60. Suppose 4*a = 3*x + 30 + m, x - 20 = -a. Is 8 a factor of a?
False
Suppose -171*r - 66693 = -214*r. Is r a multiple of 106?
False
Let p(b) = 5*b**2 + 4*b + 9. Let v be p(6). Suppose v + 580 = 13*x. Is 11 a factor of x?
False
Suppose -33*w + 5414 = -13726. Is w a multiple of 24?
False
Let q(n) = -8*n**2 + 4*n + 3. Let m(t) = -17*t**2 + 9*t + 7. Let p(i) = 2*m(i) - 5*q(i). Is 9 a factor of p(-2)?
True
Let k = -167 + 713. Is k a multiple of 14?
True
Let t = 379 + -358. Is t a multiple of 12?
False
Suppose -t = -5*z + 2239, -4*z - 2*t + 1287 = -507. Does 8 divide z?
True
Let b = -1648 - -2578. Does 15 divide b?
True
Let a(y) = 2*y - 3. Let d be a(7). Let b be 2/d - (-2358)/99. Is b/8 - (-19)/1 a multiple of 7?
False
Let z(y) = y**3 + 13*y**2 + 7*y + 23. Let v(n) = n**2 - n. Let h(g) = -v(g) + z(g). Does 7 divide h(-11)?
True
Let n = -137 + 301. Does 28 divide n?
False
Is 87 a factor of -3 + 36/(-8)*1232/(-21)?
True
Let b = 662 + -450. Suppose 127 = 3*w + k, 5*w + 2*k = -0*w + b. Does 14 divide w?
True
Let v = -195 - -255. Is 11 a factor of v?
False
Let l(t) = -2*t**3 + 30*t**2 + 44*t - 9. Is l(16) a multiple of 11?
False
Suppose -3*m = -2*s + 13, 0 = 2*m - 3 + 9. Suppose 5*u = 3*j + 83, s*j - 5*j - 35 = -2*u. Does 8 divide u?
True
Let t be (-1)/(-1) + (-1)/(-1). Let i(u) = 5*u - 91. Let f be i(19). Suppose t*p = -f*w + 28, -2*p - 47 = -5*p - w. Is 12 a factor of p?
False
Suppose 27 = -n + 29. Suppose -n*t = -4*h, -3*t - 5*h + 33 = -0*h. Is t a multiple of 3?
True
Let y be (17 - 9)*(-1)/(-2). Suppose y*x - 17 = -5. Suppose -2*j + 3 = -x, -3*j = -p + 28. Does 17 divide p?
False
Let k(t) = 5*t + 9. Let p be k(-15). Does 16 divide (3*-1)/(p/1738)?
False
Suppose 2*m + 2321 = 5*r, -192 = -r + 3*m + 267. Is 24 a factor of ((-4)/(-5))/(6/r)?
False
Suppose -7*y + 4*y - 8748 = 0. Is (-2)/7 - y/63 a multiple of 9?
False
Let b = 2350 + -716. Does 11 divide b?
False
Is 13 a factor of (2 - -13)/(96/416)?
True
Let x(p) be the second derivative of -p**5/20 - 5*p**4/12 - p**3/3 + 11*p**2 + 5*p. Does 26 divide x(-5)?
False
Is ((-15)/45)/((-1)/6) + 538 a multiple of 12?
True
Let k(v) = v**2 + 7*v. Let c be k(-6). Let i be (2 - 83)/(-5 - c). Let x = i + 129. Is 16 a factor of x?
True
Let z = -16 - -11. Let q = z - -8. Suppose -130 = q*n - 8*n. Is 11 a factor of n?
False
Suppose 2*w = -c + 3*c - 32, 5*c - 96 = w. Let m = 26 + c. Let l = -7 + m. Is 13 a factor of l?
True
Let l(m) be the second derivative of m**5/20 - 2*m**4/3 + 3*m**3/2 - 5*m**2/2 - m. Let n(g) = -11*g - 37. Let b be n(-4). Does 9 divide l(b)?
True
Let q(f) = 83*f**2 - 3*f - 8. Let n be q(-2). Suppose n = x + 2*x. Is 13 a factor of x?
False
Suppose 4*k + t + 11 = 0, -5*k + 3*t = -t + 40. Let b(v) = -5*v**3 - 7*v**2 - 12*v - 14. Does 39 divide b(k)?
False
Suppose 75 = 5*t - 0*t. Suppose 11*p = t*p - 36. Does 2 divide p?
False
Let x = 106 - 102. Suppose 743 = -2*i - 97. Is 7 a factor of (x/6)/((-40)/i)?
True
Suppose -w + 3*b = 50, -b + 60 = -2*w - 3*b. Let d = w + 119. Does 18 divide d?
False
Is (-4584)/(-10) - (-23)/((-230)/4) a multiple of 32?
False
Let n(p) = -5*p + 76. Is n(10) a multiple of 13?
True
Suppose -3*j + 299 - 102 = 5*t, -83 = -2*t + 3*j. Suppose 43*w - 600 = t*w. Does 20 divide w?
True
Let a(u) = -3*u**3 + 9*u**2 + 4*u + 5. Is a(-4) a multiple of 29?
False
Let m = -4 + 9. Let r(t) = m*t + 0*t - 4 - 2*t - t**3 + 1 + 9*t**2. Is r(9) a multiple of 8?
True
Let g be 4*(3 + (-351)/(-4)). Suppose -6*t + g + 21 = 0. Does 18 divide t?
False
Suppose 74*x + 34*x - 66528 = 0. Is x a multiple of 11?
True
Let w be (-5 - -6)/(1/(-239)). Let x(f) = 2*f**3 + 5*f**2 - 4*f + 4. Let b be x(5). Let q = w + b. Is 20 a factor of q?
True
Let t be 2/(-3) + 52/(-12). Let y(f) = 4*f**2 + 11*f - 7. Is y(t) a multiple of 9?
False
Suppose -p - 2*t - 12 = 0, 0 = -5*p + 3*t - 10 + 2. Let r = -13 - -9. Is 11 a factor of 1 - (-10)/(p/r)?
True
Suppose -936 = -0*j - 4*j. Is 10 a factor of (-7)/((-21)/j) + 2?
True
Let z(d) = -d + 16. Suppose 2*i = -5*k - i - 75, -20 = 4*i. Is z(k) a multiple of 16?
False
Suppose -5*l = 2*k - 5790, 0 = -2*l + 5*l - 3*k - 3453. Is 30 a factor of l?
False
Let l = 484 - 330. Is 17 a factor of l?
False
Let r = -28 + 32. Let p = 32 - r. Does 7 divide p?
True
Let c(h) = 175*h - 23. Is 7 a factor of c(2)?
False
Let o be 13/(4/(12/3)). Let n = 4 - o. Let b(a) = -2*a - 3. Does 10 divide b(n)?
False
Suppose -m - f = -2960, 7*m - 8884 = 4*m - 5*f. Is 17 a factor of m?
True
Suppose 0 = -19*h + 25*h + 48. Is 6 a factor of h/(-6)*675/50?
True
Let n be ((-19)/2 + 1)*-2. Does 4 divide (-3)/6*2 + n?
True
Let c(v) = -v + 2. Suppose -j = j - 6. Let d(m) = -m**2 + 2*m - 3. Let s be d(j). Does 8 divide c(s)?
True
Let k = -20 + 39. Is 8 a factor of k?
False
Let i be 2 + (-4 - -2) - -2. Let c = 5 - 17. Does 17 divide i/(-6) - 412/c?
True
Let n(g) = 2*g - 8. Let x be n(6). Does 16 divide x*1 - (3 - 72)?
False
Let w = 1109 - 276. Is w a multiple of 17?
True
Let j(b) = 48*b**2 - 95*b. Does 4 divide j(4)?
True
Let b(s) = -s**2 - 11*s - 70. Let d be b(14). Let u = -236 - d. Does 30 divide u?
False
Suppose 3*x + 3 = -4*f - 0, f - 2*x = 13. Let t = 14 - 6. Suppose -t*o = -f*o - 90. Is 17 a factor of o?
False
Suppose -3*z + 5*s - 90 = -451, 0 = 2*z - 2*s - 238. Is 13 a factor of z?
True
Let x(a) = 125*a + 258. Is 7 a factor of x(6)?
True
Suppose 3*j + f + 3*f - 428 = 0, 3*f = -4*j + 573. Let b = -85 + j. Is b a multiple of 8?
False
Let m(s) = -s**3 + 14. Let z be m(0). Suppose -r = r - 66. Let c = r + z. Is 7 a factor of c?
False
Suppose -2*a + 5*n = 13 + 20, -15 = 2*a + n. Let q = a + 51. Is q a multiple of 19?
False
Suppose 4*w - 10982 = -2*p, 0*w - 5485 = -2*w + p. Is w a multiple of 14?
True
Does 9 divide 690/4 - 3*(-4)/(-24)?
False
Let r = 2031 + -1176. Let o = r - 580. Does 42 divide o?
False
Let c = 413 - -27. Does 22 divide c?
True
Let w(y) = -y**3 - 20*y**2 - 39*y - 17. Is w(-18) a multiple of 6?
False
Suppose -3*y = -4*n + 5, -3*n + 2*y - 9 = 4*y. Let o(r) = 95*r**3 - 8*r - 8. Let b(v) = 63*v**3 - 5*v - 5. Let w(x) = -8*b(x) + 5*o(x). Does 19 divide w(n)?
False
Let w(z) = -54*z**2 + z - 1. Let t(j) = 54*j**2 - j. Let r(d) = 3*t(d) + 2*w(d). Is r(-1) a multiple of 28?
False
Let x(g) = -16*g - 4. Let v(s) = s - 17. Let r be v(15). Is x(r) a multiple of 14?
True
Let j = 32 + -27. Let n(y) = -6*y - y + j - 5. Is 14 a factor of n(-2)?
True
Let x be (0 - 3)/((-1)/(-20)). Is 23 a factor of 2/8 + (-6285)/