 13?
False
Let n(j) = -10*j + 21. Let d(b) = b**2 + 9*b - 19. Let h(f) = 2*d(f) + 3*n(f). Let k be 40/(-6) - (-1)/(-3). Is 9 a factor of h(k)?
True
Is (-8)/360*-5 - 55438/(-18) a multiple of 7?
True
Let s(w) = 3*w - 32. Let i(r) = 7*r - 63. Let p(g) = 2*i(g) - 5*s(g). Suppose -2*c - 3*c - 10 = 2*h, 5*h = 2*c + 4. Is p(h) a multiple of 6?
False
Let s = 118 - 116. Suppose f - 6 = -0*f + j, -f = -s*j - 3. Let g(u) = u**2 - 3*u - 2. Is 4 a factor of g(f)?
True
Suppose 6*t = -57 - 417. Let u = t - -83. Does 6 divide (-261)/(-15)*((-1 - -2) + u)?
False
Let j(m) = -1011*m - 1019. Is 8 a factor of j(-9)?
True
Let b(o) = 5787*o - 1224. Does 15 divide b(4)?
False
Does 98 divide (-3)/36*-18*(-4214)/(-3)?
False
Suppose -4*z - 3*f = -4*f + 51, -z - f - 9 = 0. Let j = -40 - z. Does 6 divide (j/35)/((-2)/60)?
True
Let w(m) = m**2 + 10*m - 4. Let q be w(-12). Let z be q/5 + (-3)/(-1). Suppose z*i = 5*i + 288. Is i a multiple of 16?
True
Let j(f) = -f**3 - 3*f**2 + 41*f + 120. Does 18 divide j(-19)?
False
Let x be ((-1821)/12 - 5) + (-3)/(-4). Is 13/(x/18) + (-126)/(-4) a multiple of 6?
True
Suppose -2*w - 17*t + 1780 = -21*t, 4*w + 3*t = 3505. Does 22 divide w?
True
Let p = -7808 - -5164. Is 18 a factor of p*((-32)/4)/32?
False
Let p = -27611 + 27896. Does 5 divide p?
True
Let d(u) = -4*u - 31. Let m be d(-7). Let q(g) = -5*g**3 - 2*g**2 - 2*g + 7. Is q(m) a multiple of 6?
False
Let c = -423 + 895. Suppose 7*u - c = 788. Is 15 a factor of u?
True
Let m(u) = -52*u**3 + 7*u + 7. Let z(s) = 35*s**3 - 5*s - 5. Let n(x) = -5*m(x) - 7*z(x). Let r be n(-1). Let t = 40 - r. Does 16 divide t?
False
Let x = -17994 + 20033. Does 11 divide x?
False
Let f(l) be the second derivative of l**4/3 + 5*l**3/6 + 9*l**2/2 + 11*l. Suppose 5*c + 26 = -4. Does 16 divide f(c)?
False
Suppose 49 = 4*i + 249. Let d = -47 - i. Does 27 divide (-2 + d)/(6/786) + 0?
False
Let b = 3513 - -7447. Is b a multiple of 8?
True
Let i = 39 + -38. Suppose -i = -p - m - 2*m, 0 = 5*m - 20. Let f(g) = -g + 17. Does 10 divide f(p)?
False
Let b = 83 + 55. Suppose 10 = 5*c, -338 - b = f - 2*c. Is 7 a factor of f/(-40) + 1/15*3?
False
Let q(p) be the second derivative of -3*p + 1/20*p**5 - 4 + 5/6*p**4 - 7/6*p**3 + p**2. Is q(-10) a multiple of 13?
False
Let y(g) = -2*g**3 + 10*g**2 - 27*g - 22. Let m(j) = -j**3 + 12*j**2 - 26*j - 23. Let c(r) = 3*m(r) - 2*y(r). Is c(-15) a multiple of 13?
False
Suppose n = 5*n - 8. Suppose 6*l - n*g = l + 5, 4*g = -3*l + 29. Does 14 divide (-1)/(l + (-242)/80)?
False
Suppose -636 = 2*r - 888. Suppose 441*y - 440*y - r = 0. Does 6 divide y?
True
Let l(t) = 252*t - 659. Does 57 divide l(22)?
False
Let x be ((-4)/(-5))/(5/25). Suppose 2*t = x*t - 4. Suppose t*s = 8, -2*y - 2*s = -4*y + 88. Is y a multiple of 16?
True
Let u(s) = -41*s + 1116. Let y be u(25). Let i = 169 + -117. Let p = y - i. Is p a multiple of 5?
False
Suppose -246*z + 249*z + 3*m = 11796, z = 5*m + 3938. Does 9 divide z?
True
Suppose 12*v = 17*v - 20. Suppose -3 = j - 3*n, 0 = v*j + 2*n - n - 14. Suppose j*s - 5*t + 2 = 0, -5*s + 43 = 3*t + 1. Is s a multiple of 5?
False
Suppose m - i - 9085 = 0, -13*m + 8*m - 4*i = -45452. Is m a multiple of 64?
True
Let t be (-1)/3 + 26/6. Suppose -t*y = 3*v - 601, 288 = -y + 3*y + 4*v. Is 22 a factor of y?
True
Suppose 0 = -5*l + 3*a + 6387, 729*l + 1293 = 730*l + 2*a. Is 47 a factor of l?
False
Suppose 2*f + 3 = 1. Let n(z) be the third derivative of -7*z**6/60 + z**4/12 + z**3/6 + z**2 + 5. Is n(f) a multiple of 13?
True
Suppose m - 31*m = -9*m - 186585. Is m a multiple of 3?
False
Let c(v) = 102*v**2 - 35*v - 370. Is c(-10) a multiple of 146?
False
Suppose 0 = -6*d - 425 - 43. Is (-2554)/(-10) + d/195 a multiple of 9?
False
Is 35 a factor of 15 - (-9 + (-2241 - -18))?
False
Let z(g) be the third derivative of g**5/60 - g**4/8 + 4*g**3/3 + g**2 + 12*g. Does 36 divide z(-13)?
True
Suppose -3*p - 41 + 23 = 0, -3*n + 51372 = -4*p. Does 44 divide n?
True
Suppose -26*i + 111580 = 3*a - 30*i, -3*i + 15 = 0. Does 31 divide a?
True
Suppose 0 = 18*k - 15*k. Suppose 14*m - 12*m - 260 = k. Is 12 a factor of -2 - m/4*4/(-5)?
True
Suppose -93*k + 2*s - 28338 = -95*k, 6 = -s. Is k a multiple of 25?
True
Let t(n) = -n**2 - 4*n - 3. Let m(p) = -2*p - 23. Let c be m(-10). Let b be t(c). Let w(a) = -a**2 + 36. Is w(b) a multiple of 8?
False
Let l = -965 - -7880. Does 79 divide l?
False
Does 6 divide -2 - (67350/(-25) + 16/(-2))?
True
Suppose -11 = -4*c - r, 4*c - 2*r = 2*c - 2. Suppose -5*o - c*y + 2336 = 0, -3*o + 1414 = -6*y + y. Is o a multiple of 10?
False
Suppose -4*u = 3*x + 2446, x = 4*u + 737 + 1717. Let f = -385 - u. Does 16 divide f/(-95)*80/(-3)?
True
Let g be 1/(1/(6 + -4)) - -4. Let h be 7/(84/32)*g. Suppose 72 = -13*m + h*m. Is m a multiple of 4?
True
Let i(x) = -396*x - 3582. Is i(-19) a multiple of 162?
False
Let p be ((-20)/80)/((-2)/8). Let n be (0 - (-4 - 9/(-3))) + p. Is 4 a factor of (0 + -4 + 102/n)/1?
False
Let d be ((-165)/20 - 2 - 2)*-4. Suppose -m = -a - d, m - 2*m = -4*a - 61. Is 15 a factor of m?
True
Suppose -4*p - 7 + 3 = 0, -5*p = 2*u - 2827. Let b = 4975 - 2827. Suppose -b = -11*d + u. Is 42 a factor of d?
False
Suppose -7*p + 42 = -p. Let f(z) = 65*z - 5. Does 15 divide f(p)?
True
Does 6 divide ((-75)/(-45))/((-3535)/(-3528) - 1)?
True
Let h = -9305 + 14242. Does 15 divide h?
False
Suppose -178*c + 167748 + 2870253 = -109*c. Is c a multiple of 10?
False
Suppose -4*v = -5*v + 3*v. Suppose -k - 3*j + 1409 = -6*j, -2*k + 3*j + 2809 = v. Is k a multiple of 28?
True
Let u be 81/4*1*(-8 + 4). Let o be (u/(-15))/((-27)/15 - -2). Suppose a - 4*n = -n + o, 0 = 5*n. Does 5 divide a?
False
Suppose -2*j + m = 2*m - 1509, 5*m - 15 = 0. Suppose -1855 = -5*p + 3*s, -2*p - 2*s - 27 = -j. Does 46 divide p?
True
Suppose -4 = -x - q, -5*x + 0 - 4 = -q. Let o be (x + 1/(-1))/(2/12). Let u(y) = -10*y - 12. Does 8 divide u(o)?
True
Let t = 559 + -519. Suppose t*u = 25*u + 2460. Is 3 a factor of u?
False
Suppose -4*k = -7*k + 27. Suppose 6*z + 9 = k*z. Suppose z*f - 27 = 12*s - 13*s, -5*s = -f - 119. Is 8 a factor of s?
True
Suppose 0 = 4*k - 5*p - 16, 2*k + 0*k - 2*p - 10 = 0. Suppose 12 = 11*c - k*c. Suppose 35 = c*s - s. Is 2 a factor of s?
False
Let u = -9 + 18. Let c(v) = 2*v**2 - 38*v - 9. Let n(o) = -6*o**2 + 116*o + 26. Let b(g) = -16*c(g) - 5*n(g). Is 13 a factor of b(u)?
True
Let v(r) = -8*r**3 + 42*r**2 + 22*r + 361. Is 113 a factor of v(-12)?
False
Suppose -8*n - 18 = -90. Suppose n*t - 432 = t. Is t a multiple of 6?
True
Let r = -96 - -101. Suppose 0 = 5*w, w = -r*h + 418 - 58. Does 18 divide h?
True
Let v = 14237 - -7915. Does 71 divide v?
True
Does 20 divide -14133*2/(-18) + 6/9?
False
Let z(q) = -8*q**2 + 5*q + 6. Let p be z(-7). Let f = -8 + p. Let d = -295 - f. Does 24 divide d?
False
Suppose -14*c + 53 = -17. Suppose 0 = 4*h - c*t - 834, -2*h + 7*t = 6*t - 420. Does 26 divide h?
False
Let n be (1735/(-3))/(4/(-12)). Suppose 7*d = n + 1387. Is 43 a factor of d?
False
Let y(d) = 143*d**2 + 48*d - 119. Is y(8) a multiple of 7?
False
Let r be ((-2)/3)/(2/6). Let l = -3313 - -3295. Is 21 a factor of 6/r - -6 - l?
True
Let l(w) = 3*w**2 + 3*w + 18. Let m be l(0). Is 21 a factor of 203491/531 - 4/m?
False
Suppose 0 = 10*c - 5*c. Suppose -d + 11 = -c*h - 2*h, 2*d - 5*h - 20 = 0. Suppose -d*v = -2410 + 805. Is 41 a factor of v?
False
Let v be (-2993)/(-949) + (-2)/13. Suppose 0 = -4*d + 3*j + 20 + 3200, v*j - 4052 = -5*d. Does 8 divide d?
True
Let i(w) = 36*w**2 - 679*w + 13. Does 15 divide i(32)?
False
Let a(h) = -1696*h + 2169. Is 11 a factor of a(-12)?
False
Suppose 10*g = 12*g. Suppose -414 = -n + 7*f - 10*f, g = 2*n + 4*f - 820. Is n a multiple of 6?
True
Let p be (-36)/(-180) - 21/5. Does 6 divide (116/(-16) + -1)*p?
False
Suppose 32*g - 14387 = 38253. Does 9 divide g?
False
Does 26 divide (-7)/((-14)/5868) - 9/(-3)?
False
Suppose -3*z = -2*j + 9, 2*j - 2*z - 3 = -z. Suppose j = -o - 7*o + 2864. Let f = o + -232. Is 21 a factor of f?
True
Let z(a) = a**3 + 4*a + 11. Let g(s) = s**3 + s**2 + 5*s + 10. Let v(c) = 5*g(c) - 6*z(c). Let n be v(4). Is 2 a factor of -1 - n/((-16)/92)?
True
Let y(f) = -2*f**3 + 21*f + 709. Is y(0) a multiple of 51?
False
Suppose 0 = 2164*w - 2161*w - 3900. Is 10 a factor of w?
True
Suppose -41 = -3*m + 10. Suppose -h = 3*k - 776, 1