 a factor of c(-76)?
True
Let u(l) be the third derivative of l**6/120 - l**5/10 + 7*l**4/24 + l**3 + 10*l**2. Let w be u(4). Does 4 divide (-4 + 12 + -2)*w?
True
Is (1 + -2)/((-1)/(-1)) - (-1718321)/121 a multiple of 25?
True
Let w(a) = -a**3 - 3*a**2 + 3*a + 2. Suppose -5*m = -3*n - 36 - 1, m = -3*n - 7. Let q be w(n). Suppose q = 3*x - 9. Does 4 divide x?
False
Suppose -t = 3*t - i - 11, 0 = -5*t + 5*i + 25. Let p = 98 - t. Is p a multiple of 8?
True
Is 37 a factor of 80/(-96) + 201381/18?
False
Is ((-196069)/203 - -43)/(2/(-14)) a multiple of 76?
True
Suppose 0 = 8*w + 183 + 1721. Does 14 divide w/(-4) - (-2)/12*3?
False
Suppose 84*m - 2138 = 1054. Is 2 a factor of m?
True
Let u(i) be the first derivative of 39*i**2/2 + 60*i - 154. Is 6 a factor of u(6)?
True
Let w be ((-18)/36)/((-1)/(-2)) + -150. Let z = w + 154. Suppose 0 = a + z*y - 21, y + y - 21 = -a. Does 3 divide a?
True
Let n(o) = 14*o**3 + 13*o**2 + 45*o - 9. Let g(m) = -5*m**3 - 4*m**2 - 15*m + 3. Let d(t) = 17*g(t) + 6*n(t). Is 23 a factor of d(-6)?
True
Let v(f) = 3*f**3 - 116*f**2 + 110*f + 202. Let y(j) = -2*j**3 + 77*j**2 - 73*j - 135. Let d(r) = -5*v(r) - 8*y(r). Does 3 divide d(35)?
False
Let s(y) = -4*y + 80. Let q(o) = o**2 - 3*o - 225. Let w be q(16). Does 68 divide s(w)?
False
Let a(j) = -j + 3. Let k be a(0). Suppose 0*b - 4 = -3*b + i, 0 = k*b - 4*i + 11. Let r = b - -19. Does 22 divide r?
True
Let i = -25656 + 29748. Is i a multiple of 6?
True
Suppose -4 = 4*r - 0*s - s, s - 4 = r. Let k be 1/(6/9)*2. Suppose k*y - 2*z - 362 = r, -4*z - 598 = -5*y - 6*z. Is 20 a factor of y?
True
Let r(z) be the first derivative of 0*z**3 + 2*z**2 - 1/4*z**4 + 273*z + 13. Is r(0) a multiple of 39?
True
Let z be (8/12*-3 - 553)*1. Let f = 277 - z. Does 16 divide f?
True
Suppose -155*u + 35154 = -137*u. Is 63 a factor of u?
True
Let o = 29 + -31. Is 10 a factor of -2*(-3 + 4 - (-15)/o)?
False
Let j(v) = 1354*v**2 + 28*v + 40. Is 50 a factor of j(-2)?
True
Is (-62746)/(-21) + (-427)/147 + 3 a multiple of 36?
True
Let h = -3525 + 3975. Does 4 divide h?
False
Let y be (-5)/(3 + 52/(-12) + 1). Suppose 3*k - y = -0. Suppose -k*c = -9*c + 184. Does 46 divide c?
True
Let s be (-6)/((20/(-30))/((-4)/6)). Suppose 5*y + 40 = 5*u - 0*u, 0 = -u + 2. Does 29 divide (-109*1)/(s + y + 11)?
False
Let k be 5/1 + -3 + -3 + 95. Let d = 874 - k. Does 20 divide d?
True
Let m(z) = z**3 - 8*z**2 - 8*z - 14. Let a be m(9). Let k = -1 - a. Suppose h + 114 = k*h. Is h a multiple of 7?
False
Let l = 98 - 88. Is (l + -66 - -6)*(-1 + 0) a multiple of 10?
True
Let w(m) = 19*m**2 + m + 1. Let l be w(1). Suppose l*d + 11*d = 22272. Is d a multiple of 58?
True
Let b(w) = -10*w**3 + 15*w**2 + 10*w - 9. Let f be b(-5). Suppose 17*c - f = 11*c. Is c a multiple of 29?
True
Suppose -5*o - 3 + 13 = 0. Suppose -8 = -h - 2*f, 0 = -2*h - h - o*f + 20. Does 16 divide (2 - 1 - h)*(-624)/20?
False
Suppose -d = -295 + 90. Suppose -7 = 2*b - d. Does 11 divide b?
True
Let x(g) = 19*g. Let n be x(1). Suppose 0*i + i = -3*a + n, -2*a = 4*i - 26. Suppose 0 = a*o + v + 78 - 249, 141 = 4*o + 5*v. Is 17 a factor of o?
True
Suppose -5*n + 4*c = -68116, 5*n - 68296 + 173 = -3*c. Does 8 divide n?
True
Let d = -19 + 19. Suppose 5*q - m + 3*m - 18 = d, -5*q + 5*m - 10 = 0. Suppose -2*n + 4 = 0, -4*g + 2*g + q*n + 26 = 0. Is 3 a factor of g?
True
Is 5 a factor of 2/(7 - 22359/3195)?
True
Let j(m) = 67*m - 3 + 2 - 34*m - 19*m**2 + m**3 - 2. Let x be j(17). Is (-9)/5 - -2 - 1656/x a multiple of 13?
False
Suppose -2*p + 53 = -133. Let m = 145 - p. Let c = -16 + m. Is 12 a factor of c?
True
Suppose n + 0*i - 1496 = 4*i, 3*n - 4501 = -i. Suppose -2*d + 2*h + 740 = -2*h, 3*h = 4*d - n. Suppose 2*t = -0*u - u + d, 5*u + 354 = 2*t. Is 22 a factor of t?
False
Let x(p) = 60*p**2 - 7*p + 15. Let a be x(-9). Suppose -a - 543 = -7*z. Is 24 a factor of z?
False
Let j be (7 + 8/(-4))*(3 - 4). Is -20*165/j - -7 a multiple of 19?
False
Is 40/24 + 34396/12 - -1 a multiple of 63?
False
Suppose 2*c - 140 = -a + 47, 5*a - 4*c = 949. Suppose f = 4*f - a. Suppose b = 5*k - 245, -k + 0*k + f = -3*b. Is k a multiple of 12?
True
Let p be (-27)/(-6)*(-2)/(-3). Suppose p*u - 16 = 5*d, -3*u + 0 + 8 = -d. Suppose -u*a + 6 + 144 = 0. Does 15 divide a?
True
Suppose 5*l - 3288 - 6632 = 0. Suppose x = 9*x - l. Is 31 a factor of x?
True
Is 52 a factor of ((-1 + -7)/(-24))/(8/13728)?
True
Let l(x) = x**3 + 2*x**2 - 5*x + 2. Let o(j) = 4*j + 21. Let t be o(-23). Let s = 68 + t. Is l(s) a multiple of 8?
True
Suppose 0 = -2*t - m + 7, 7*t - 5*m = 2*t - 5. Suppose -t*x = -g - 2 - 20, -g = -5*x + 58. Suppose -x + 0 = -4*w. Does 3 divide w?
True
Suppose 96 - 120 = 4*i. Let k(m) = -7*m + 7. Let t(g) = -41*g + 42. Let z(o) = i*t(o) + 34*k(o). Is z(7) a multiple of 7?
True
Let n(t) = t**3 - 21*t**2 - 19*t - 2*t**3 + 26 - 4*t + 2*t**3. Let r be n(22). Suppose 6*o - 9*o + 1003 = r*m, -3*o = -m + 232. Is m a multiple of 13?
True
Suppose 17*y = 18509 + 1891. Is y a multiple of 16?
True
Does 63 divide 18/4*(277 - (-650)/(-26))?
True
Suppose 3*t - 153 = 5*h, -5*t + 271 = -5*h + 2*h. Let z = 45 - t. Let u(l) = -5*l - 27. Is u(z) a multiple of 22?
False
Suppose 0 = b + b + 3*g - 7139, -10718 = -3*b + 5*g. Suppose 931 = -6*w + b. Does 40 divide w?
True
Does 130 divide (-67600)/78*(-1)/((-8)/(-30))?
True
Suppose -22*f - 15*f = -29637. Suppose -2358 = -13*s + f. Is 9 a factor of s?
True
Let w(g) be the first derivative of g**3/3 + 3*g**2/2 - 22*g - 1. Let v(y) = y**2 - 11*y - 52. Let j be v(-4). Is 33 a factor of w(j)?
True
Suppose 0 = -212*u - 4*u + 2035595 - 73019. Is 22 a factor of u?
True
Let u be (-6)/4*(-10)/15*179. Suppose -u = -3*g - 3*p + 106, -9 = -3*p. Suppose -260 = -g*h + 90*h. Is 34 a factor of h?
False
Suppose 4*s - 13 = j, -24*j + 14 = 2*s - 22*j. Suppose l = -4*q + 340, -q + s*q = 4*l + 255. Is q a multiple of 10?
False
Suppose -14*c = -10*c - 23438 - 11326. Is c a multiple of 29?
False
Let m = 110 - 118. Let b(r) = r**3 + 9*r**2 + 3*r + 26. Let c be b(m). Does 15 divide (-11)/c - (-273)/18?
True
Let q be 5/((-15)/(-198))*-1. Does 3 divide (q/(-6) - 6)*(-10)/(-2)?
False
Let l(t) = -7*t**2 - 5*t**2 - 13*t**2 - 19*t + 10*t**2 - 9. Let r(k) = 23*k**2 + 29*k + 13. Let y(j) = -8*l(j) - 5*r(j). Is 7 a factor of y(-4)?
False
Let h = -35 - -37. Suppose -5*z + h*i = 82, -2*i - i = 3*z + 45. Does 9 divide (z/(-6))/(4/96*1)?
False
Let m = -467 + 482. Suppose 1722 = -m*z + 7872. Does 5 divide z?
True
Let a(m) = 24 + 43 - 754*m - 18. Let f be a(-14). Is 5/(15/(-2)) - f/(-45) a multiple of 47?
True
Let p(r) be the third derivative of -10*r**2 + 1/60*r**5 + 0 - 11/60*r**6 - 1/6*r**3 + 1/6*r**4 + 0*r. Does 14 divide p(-2)?
False
Suppose 2*c + 40 = 3*c. Suppose 4*g - 3*g = 2*g. Suppose -2*m - 2*m - c = -5*q, g = -4*q + m + 43. Is q a multiple of 12?
True
Suppose 53*k + 700 = 3*f + 48*k, 5*f - 1148 = -k. Suppose s - f = 5*m, 4*m = -2*s + 5*m + 415. Is 2 a factor of s?
False
Suppose 0 = -5*z + 4*b + 29, 5*z = 3*b - 2*b + 41. Let a be z/9 + (0 - 1). Suppose a = -p - 2*p + 492. Is p a multiple of 16?
False
Suppose 75*n + 7*n + 50*n - 4099656 = 0. Is 7 a factor of n?
False
Suppose 0 = -10*z + 746 + 2164. Let u = z - 139. Is 16 a factor of u?
False
Suppose 5*p + 18 = -18*r + 17*r, -16 = -4*r + 2*p. Suppose -3*o - 2*o = q - 860, 2*q = r*o + 1672. Is q a multiple of 30?
True
Let z be 0 + 5 + -58 + -2 + 1. Let a = z + 74. Suppose 0 = 2*b + d - a - 9, 5*d = -5*b + 80. Is b a multiple of 13?
True
Let y(r) = -15*r + 120. Let q be y(8). Suppose 11*j + 2*j - 1690 = q. Is 13 a factor of j?
True
Suppose -3*b = -8*h + 7*h - 24, 0 = 4*h + 4*b + 32. Does 16 divide (-15)/h + 2673/12?
True
Suppose -2*t = -i + 64, -138 = -2*i + 5*t - 3*t. Suppose 8*p - i - 166 = 0. Is p a multiple of 5?
True
Does 18 divide 20171 - (-84)/210*1*-10?
False
Suppose 25*f - 2020 = -4*w + 20*f, 1515 = 3*w - f. Does 31 divide w?
False
Suppose 22*c + 12*c - 13158 = 0. Suppose -965 = 17*z - 22*z + 2*h, -h - c = -2*z. Is z a multiple of 9?
False
Let y = -78 + 83. Suppose -2*b - 2*b + 5*n + 84 = 0, y*b + 3*n = 68. Let k = b - -97. Is k a multiple of 27?
False
Let t = -10903 - -11116. Does 5 divide t?
False
Let h(t) = 41*t**3 + 5*t**2 + 20*t + 28. Is 32 a factor of h(5)?
False
Let d(n) be the third derivative of 11*n**5/60 - n**4/4 - 53*n**3/3