f 16?
True
Let r(z) be the second derivative of z**2 + 1/2*z**4 - 4/3*z**3 + 1/20*z**5 - 9*z + 0. Does 13 divide r(-6)?
False
Let y(s) = 135*s + 80. Does 10 divide y(12)?
True
Let z(q) = -3*q**2 + 4*q - 4. Let l be 1*(-2 + -1 + 6). Let p be z(l). Is 5 a factor of -4 - (p + 2/2)?
False
Suppose -17 = -5*o - 16*b + 18*b, 3*o - 2*b = 7. Suppose -4*r + 3440 = 3*i, 1245 = r + o*i + 385. Is 43 a factor of r?
True
Let w(s) = s**2 - 6*s - 24. Let z be w(9). Suppose -4*g + n + 577 = 0, 3*g = 7*g + n - 583. Suppose 0 = z*f - g - 59. Is 17 a factor of f?
True
Let r(c) = -c**3 + 12*c**2 + 14*c - 16. Let o be r(13). Does 19 divide (-1 - -1 - -166) + (2 - o)?
True
Let g be ((-14)/42)/(2/(-18)). Suppose -1127 = -g*i + b, 3*b - b + 374 = i. Let x = i + -238. Is 46 a factor of x?
True
Let t(s) = 4*s**3 + 13*s**2 + 4*s + 6. Let r be t(-3). Suppose 2*p + r*z = 680, -5*p + 2*z + 403 = -1316. Is 49 a factor of p?
True
Let u(t) = 164*t - 67. Let s(d) = -326*d + 132. Let i(b) = -3*s(b) - 5*u(b). Does 17 divide i(2)?
True
Is (240/10 - 12) + 55736 a multiple of 77?
True
Let a(d) = 4*d**2 - 15*d. Let c = 79 + -75. Let t be a(c). Suppose 0*j = t*j - 924. Is 21 a factor of j?
True
Suppose 5*o - 1578 = 8*k - 5*k, -5*k = -o + 320. Suppose -2430 - o = -9*y. Does 40 divide y?
False
Let i = 93 + -128. Is 26 a factor of 155/i + 4 - (-4010)/14?
True
Let j(p) = -p**2 - 8*p - 14. Let s(o) = -o**3 + 16*o**2 + 36*o - 5. Let i be s(18). Let d be j(i). Is 12 a factor of (-1)/(d/(-3)) - -100?
False
Let v = -1624 + 2867. Is v a multiple of 6?
False
Suppose -10980 = 3*b - 5*b - 0*b. Is 61 a factor of b?
True
Let b(n) be the second derivative of 2*n**4 + n**3/6 + 10*n**2 + 21*n. Is 41 a factor of b(-5)?
True
Let j(h) = -11*h**3 + 428*h**2 - 15*h - 158. Does 92 divide j(38)?
False
Let m = 19634 + -10250. Does 92 divide m?
True
Suppose -3*l + 15 + 0 = 0, 4*o = -l + 2777. Is o a multiple of 3?
True
Suppose -90*z = -303465 - 724065. Is z a multiple of 49?
True
Let z(u) = -5401*u - 2. Let s be z(-1). Let c = 2175 - s. Is 5 a factor of c/(-64) + (-9)/24?
True
Suppose 104*r = 57*r + 40984. Does 4 divide r?
True
Let q = 40 + -1. Suppose -q + 18 = -7*r. Suppose -2*p + 133 = u - 3*p, 0 = p + r. Does 26 divide u?
True
Suppose 3*s - 3*t = -6*t + 3, 5 = -5*t. Suppose 5*r - 433 = -4*v, -s*r - 2*v + 4*v = -166. Suppose -2*h - z + r = 4*z, h + 4*z - 38 = 0. Is 5 a factor of h?
True
Suppose 0 = 4*s - 8, v - 8*s - 45616 = -11*s. Is 10 a factor of v?
True
Let z(s) = -7*s**2 - 7*s. Let b(v) = v**2 - v. Let c(o) = -6*b(o) - z(o). Let j be c(11). Is 20 a factor of 3/((9/j)/1)?
False
Suppose -x = -739 - 2354. Does 13 divide x?
False
Let o = 5 + -13. Let j be (-16)/20 - o/10. Let m = 50 + j. Is m a multiple of 10?
True
Let n be 105/(-63)*(3 + 0). Does 45 divide 165 + (-7 - n)/(2/(-4))?
False
Suppose -5*m + 8*b + 3871 = 9*b, -1552 = -2*m - 4*b. Does 86 divide m?
True
Let z = 6837 + 1613. Does 50 divide z?
True
Let l(g) = 13*g**2 + 53*g - 22. Let o = -134 - -124. Is 22 a factor of l(o)?
True
Suppose 0 = 11*r - 14*r - 15. Let a be (3 + 1 + r)*-2. Suppose 3*u - 3*c - 177 = 0, -u = -a*u - 4*c + 49. Does 8 divide u?
False
Suppose 33 = 2*y - 7. Let w = -14 + y. Is 18 a factor of 158/w - 3/9?
False
Let m(z) = z**3 - z**2 - 7*z - 6. Let b(x) = -7*x - 11. Let r be b(-2). Let o be ((-120)/(-10))/(6/r). Is m(o) a multiple of 15?
False
Is 44655/156*(-64)/(-20) a multiple of 4?
True
Does 18 divide ((-120)/(-16) - 9)*-3864?
True
Let m(c) be the second derivative of -c**7/2520 - c**6/720 + 39*c**5/40 + 17*c**4/4 - 4*c + 1. Let u(i) be the third derivative of m(i). Does 13 divide u(0)?
True
Let f = 97 + -92. Let y(u) = 17*u**2 - 8*u - 1. Let p be y(f). Suppose -l + p = 3*o + l, 2*o = 4*l + 272. Is 10 a factor of o?
True
Suppose -2*z - 1312 = -61762. Suppose 11*b + 20*b - z = 0. Does 75 divide b?
True
Does 26 divide ((0 - -3)*14/21)/(2/26)?
True
Let z(k) be the second derivative of k**7/1260 - k**6/240 - k**5/12 - k**4/4 - 13*k. Let s(c) be the third derivative of z(c). Does 10 divide s(4)?
True
Let u = -10734 - -18709. Is u a multiple of 55?
True
Suppose 56 = 16*y - 20*y. Is (-46)/(-161) + (-6016)/y a multiple of 44?
False
Let n(u) be the third derivative of -25*u**4/12 - 2*u**3/3 - 23*u**2 + u. Is 22 a factor of n(-8)?
True
Let w be -1 - -4 - (-366)/6. Let i(c) = 4*c**3 + 14*c - 50. Let d be i(3). Let o = d - w. Does 10 divide o?
False
Let y = -4 - -15. Let o(p) = -p**3 + 11*p**2 + 2*p - 18. Let d be o(y). Suppose d*r - 270 - 114 = 0. Is 24 a factor of r?
True
Let g(o) = -4*o**3 - 218*o**2 + 73*o - 96. Does 124 divide g(-56)?
True
Let a = -15 + 39. Suppose 4*j - 16 = a. Suppose -24 = -t + j. Is 14 a factor of t?
False
Suppose -3*t = 22*t + t - 178334. Does 10 divide t?
False
Let a be (-19831)/(-21) + 2/3. Suppose 13*d - 1239 - a = 0. Is d a multiple of 4?
True
Let p(o) = o**3 + o**2 - 4*o - 1. Let l be p(-2). Let n = -123 - l. Is 16 a factor of 4/(n/32 - -4)?
True
Let c = -468 + -93. Let k = 726 + c. Does 15 divide k?
True
Suppose -55*f - 806 = -146. Let c(g) be the third derivative of g**6/120 + g**5/5 - g**4/6 + g**3/3 - g**2. Is 9 a factor of c(f)?
False
Does 10 divide (10/20)/(6/924)?
False
Let w(f) = 3*f**2 - 57*f + 576. Does 15 divide w(105)?
False
Is 10 a factor of ((-20065)/(-10))/(10/20)?
False
Let q be 3*((-10)/(-6) + -2)*-605. Let v = q + -365. Is 12 a factor of v?
True
Let w be ((-3)/(-4))/((-21)/(-84)). Suppose -w*o + 4*u + 202 = 0, -2*o + u = -3*o + 65. Let r = -39 + o. Is 10 a factor of r?
False
Let o(n) = -n**3 + 8*n**2 - 6*n - 2. Let h be o(7). Suppose 115 - h = -2*k. Let c = -46 - k. Is 9 a factor of c?
True
Let z(q) = -q**3 - 93*q**2 - 150*q - 986. Is z(-92) a multiple of 32?
False
Suppose -679*d - l = -675*d - 4405, -3*d + 4*l + 3280 = 0. Does 10 divide d?
True
Suppose 0 = 2*g - 6. Is (-20)/10 + 47*g - -2 a multiple of 47?
True
Let j be ((-6)/(-15))/(4/110). Suppose 0 = 3*v - 41 + j. Is v a multiple of 2?
True
Suppose -u = u + 5*s - 186, 0 = 3*s + 12. Suppose -4*q - 5*n = -152 - 275, -q + u = 5*n. Is 36 a factor of q?
True
Suppose -7*b + 12*b = 25. Let f be (-3 - -6) + (-90)/b. Is (-5)/(f/12) - -130 a multiple of 15?
False
Suppose 2 = -2*i, 0 = d - 5*i - 1860 - 2089. Is d a multiple of 116?
True
Let s(a) = 22*a + 62. Let h(t) = -7*t - 20. Let o(m) = 7*h(m) + 2*s(m). Let z be o(-5). Is 7 a factor of 1341/z + -1 + 6?
True
Let k(g) = -10*g**3 - 20*g**2 + 5*g - 5. Let u be k(-8). Suppose -30*n = -15*n - u. Is n a multiple of 23?
True
Let z be 2/18 + (-14123)/261. Let g = -30 - z. Does 2 divide g?
True
Let s(p) = -488*p - 3863. Is 200 a factor of s(-32)?
False
Let q(y) = 40*y**2 - 146*y. Does 42 divide q(-3)?
True
Let o be ((-5)/20)/(1/(-4))*104. Let h = o - 96. Suppose h = w - 7. Does 5 divide w?
True
Suppose -g + 4*q = -172, g = 5*q + 160 + 7. Is 14 a factor of g?
False
Suppose 0 = 3*r + 2*w - 301, w - 2 = 3. Let y = 10599 + -10455. Let d = y - r. Does 6 divide d?
False
Let j(d) = 4803*d - 3962. Does 298 divide j(5)?
False
Suppose 2*l - 3*q + 25 = 234, 5*q = 25. Is 14 a factor of (-7 + l)*(-4)/(-6)?
True
Suppose -615 = 6*q - 621. Let p(b) = -27*b - 1. Let j(z) = 1. Let h(g) = 3*j(g) - p(g). Is 5 a factor of h(q)?
False
Suppose -32*r + 37*r + 1850 = 0. Let n = r - -422. Does 4 divide n?
True
Let g = -45 - -49. Suppose -2*b + 735 = 5*l, -149 - 1282 = -g*b + 3*l. Is b a multiple of 12?
True
Suppose f - 3*a - 16120 = -4838, -2*f + a = -22559. Is 122 a factor of f?
False
Suppose -5*q = 5*p - 7200, -63 = p + 4*q - 1494. Is p a multiple of 39?
True
Let d be -58 - 3 - (-2)/(-1). Let m be (8/3)/(((-48)/d)/(-8)). Let o = m + 146. Does 15 divide o?
False
Let r(t) = t**2 - 2*t - 78. Let o be r(-7). Does 11 divide 48021/45 - o/((-1350)/12)?
True
Let w be 0 + 0 + 2 + (2 - 0). Suppose -3 = -q - 7, a - 20 = w*q. Is 4 a factor of a?
True
Is (342888/(-15))/(-4) - (-36)/180 a multiple of 45?
True
Let g be ((-10)/(70/(-8421)))/(0 - -3). Suppose 9*j - 8*j = g. Is j a multiple of 14?
False
Suppose 159345 = 23*i + 22*i. Does 21 divide i?
False
Let g be (-396)/63 + 6 + (-2)/(-7). Suppose g = 17*p - 7 - 605. Does 12 divide p?
True
Let t(r) = 15*r + 66. Let y(v) = -v**3 - 6*v**2 + 25*v - 11. Let p be y(-9). Does 9 divide t(p)?
True
Suppose 4*a - 2*x - 8 = 0, -2*x - 8 = 2*a + 3*a. Is (a - (-163 - 0))/(173 + -172) a multiple of 8?
Fa