be the first derivative of -j**3/3 - 10*j**2 + 39*j + 1. Is 6 a factor of a(q)?
True
Let n(r) = 102*r - 274. Let i be n(14). Suppose 5*x - 13*f + 17*f - 1906 = 0, i = 3*x + 5*f. Is 6 a factor of x?
True
Let y(d) = 2720*d + 4155. Is y(6) a multiple of 273?
True
Suppose -3*j - 3982 = -5*j. Let c = -1090 + j. Does 21 divide c?
False
Suppose -2*u - 2*u - 4 = 0, 201 = 2*b + 5*u. Suppose -1187*g - 114 = -1184*g. Let v = b + g. Does 11 divide v?
False
Suppose -1979 = -5*l - i + 1376, 2013 = 3*l + 2*i. Let z = 4295 - 4696. Let t = z + l. Does 54 divide t?
True
Let s(p) = p - 97 - 8*p + 69*p + 19*p - 40. Is 16 a factor of s(9)?
True
Let b(m) = 2*m**3 - 10*m**2 + 6*m + 12. Let q be b(7). Suppose -4*j = -5*u - q, u - 58 = -4*j + 3*j. Let v = -36 + j. Is v a multiple of 5?
False
Let m = -7561 - -13023. Does 21 divide m?
False
Suppose 4*w + 1174 + 6262 = 2*z, -3*z + 11154 = w. Is z a multiple of 77?
False
Is 1 + (58 - (2*(-2 - -4))/(-1)) a multiple of 9?
True
Does 25 divide ((-50600)/(-77))/4*(11 + -4)?
True
Suppose -5*g = 4*f - 53 - 27, -2*g - 5*f = -49. Suppose -2*l + 5*z + 656 = 0, 0 = -4*l - 16*z + g*z + 1312. Is l a multiple of 9?
False
Let l be ((-2)/6)/(4/(-48) + 0). Does 24 divide 13*((208/l)/2 + 2)?
False
Let t(x) = 2*x - 8. Let z be t(12). Let y = 54 - z. Is y - -2*(-15)/(-10) a multiple of 17?
False
Let m(c) = -8104*c + 848. Is m(-2) a multiple of 52?
True
Let v be (31/(-2))/(4 + (-1430)/360). Let d = v - -1076. Is 23 a factor of d?
False
Let u(n) = 607*n + 4075. Is u(7) a multiple of 75?
False
Let k be (29 + 1)/(40/180). Let h = k - 101. Let q = h - 0. Is 34 a factor of q?
True
Suppose 0 = 5*i + 4*g - g - 4, -8 = -5*i - g. Suppose i = -3*h - 5*t, -3*h + t - 15 = -1. Is 31 a factor of ((-465)/(-12))/(((-3)/h)/3)?
True
Suppose 0*l = 5*l - 5*d + 5, 4*l = -3*d + 17. Suppose -3*m + k - 47 = 0, -2*k = -l*m - 4*k - 18. Does 19 divide ((-171)/(-12))/(m/8 - -2)?
True
Let t = 23648 + -1475. Does 19 divide t?
True
Let h = 63 - 67. Is (-6 - h) + 207/(7 - 4) a multiple of 6?
False
Suppose -4*j - q + 72 = 49, -2*j - 3*q = 1. Let s(r) = -r**2 + 8*r + 16. Let a(c) = -c**2 + 8*c + 17. Let m(x) = 5*a(x) - 4*s(x). Is 14 a factor of m(j)?
True
Let u(n) = -48*n**3 - 2*n - 2. Suppose 0 = 3*i - 4*k - 31, 2 = 3*i + 5*k + 7. Suppose -1 = 3*r - r + g, i*g - 3 = -2*r. Is u(r) a multiple of 8?
True
Let p(l) be the first derivative of 7*l**3/3 + 12*l**2 - 11*l + 65. Is 49 a factor of p(-8)?
True
Suppose 0 = 4*i - 2*d - 24674, 0 = 2*i - 1021*d + 1023*d - 12334. Is 11 a factor of i?
False
Suppose -57*z + 19360 = -41*z. Is z a multiple of 11?
True
Let d(w) = -w**2 + 22*w + 51. Let i be d(24). Suppose -i*o + 0*o - 475 = -5*x, -x + 5*o + 95 = 0. Let a = x - 77. Is a a multiple of 6?
True
Let g be (52/65)/((-1)/(-20)). Let f(m) = m**2. Let l(t) = -5*t**2 - 16*t + 50. Let y(u) = 6*f(u) + l(u). Is y(g) a multiple of 5?
True
Suppose 0 = -5*k - 10, k + 42 = 5*z + 10. Let p(i) = 8*i**2 - i + 54. Is 42 a factor of p(z)?
True
Let h(w) be the third derivative of -w**6/120 + w**5/4 + 17*w**4/24 + 13*w**3/6 - 15*w**2 + 6*w. Is 44 a factor of h(13)?
True
Let n(p) = 164*p - 169. Let t = -363 + 368. Is 26 a factor of n(t)?
False
Let n(u) = u**3 - 2*u**2 + u - 1. Let t(c) = 23*c**3 - 14*c**2 + 6*c + 7. Let x(r) = 5*n(r) - t(r). Is 19 a factor of x(-3)?
True
Let j = 37 + -12. Let t be -82*(22/4 - 6). Suppose -j = -r + t. Does 18 divide r?
False
Let u = 43 + -80. Let y = u + 34. Is 40 a factor of (3 + 0 + 0)/(y/(-120))?
True
Let d(h) = -h**3 - 146*h**2 - 51*h - 2109. Does 10 divide d(-146)?
False
Let o be -2559*(3 + 3 - 9). Does 101 divide -4*-3*o/54?
False
Let b(j) = 8*j**2 - 4*j - 25. Let a be 3/7 - (225/35 + -2). Is 17 a factor of b(a)?
True
Suppose -6*a = -18530 + 278. Is a a multiple of 125?
False
Let a(j) = 17*j - 2. Let r be a(2). Let k = -20 + r. Suppose -2*f + k = 4, 34 = 5*l - 4*f. Is l a multiple of 5?
True
Let w = 25821 - 21124. Does 100 divide w?
False
Let y(o) = -252*o**3 - o**2. Let a be y(-1). Suppose l - 262 = a. Suppose -3*k - 45 = -l. Is k a multiple of 35?
False
Let c(u) = 3*u**2 + 8*u - 12. Suppose -4*s + 2 = -3*l - 10, 5*l - 2 = 3*s. Does 24 divide c(s)?
True
Let n(a) = a**2 - 14*a - 14. Let u be n(15). Let i be u/(-4) + (-117)/(-52). Suppose 44 = -i*t + 156. Does 18 divide t?
False
Let f = 13 - 11. Let y be 2 + 1973*(-2)/f. Is (y/(-18))/((-6)/(-8)) a multiple of 34?
False
Is ((-815836)/259 - 16/296)*11/(-2) a multiple of 26?
False
Suppose -a - 296 = 229. Let o = 816 + a. Is o a multiple of 33?
False
Let o be 162/(-594) + 443/11. Suppose -o*z + 11*z = -13398. Is 42 a factor of z?
True
Let m(r) = -r**3 + 2*r**2 - r + 4. Let h be m(0). Suppose -2*a + h*p = 40, p + 0*p = -2*a - 35. Is 10 a factor of (-335)/(-3) + 3*(-2)/a?
False
Suppose 6 = -2*p, 3*h - 5*h + 2*p + 2854 = 0. Suppose k = 3*k + 2*m - 568, 0 = -5*k - 3*m + h. Is 13 a factor of k?
True
Is 14 a factor of (145/(-87))/((-15)/29457)?
False
Let y be (-2)/(-9) - ((-325)/(-45) - 4). Let d(f) = -f. Let c be d(y). Is 13 a factor of 16/5*(c + 17)?
False
Let k = 442 - 438. Does 8 divide (-1*(-22 - k))/2?
False
Let f(b) = -b**3 + 4*b**2 - 3*b + 4. Let m be f(-4). Let j = 2040 + m. Suppose j = 14*y - y. Is 14 a factor of y?
True
Let c = 1003 - 702. Is 7 + 12/(-4) + c a multiple of 61?
True
Suppose 11*b - 12252 = 6778. Does 173 divide b?
True
Let t(g) = 14*g**2 - 425*g + 28. Does 8 divide t(34)?
False
Suppose 2*w = 2*y - 10358, 5*w + 14293 = 4*y - 6430. Does 32 divide y?
False
Let m be 1 - -2 - 3/(-5 + 2). Suppose -m = s - 8. Let p(c) = 10*c + 2. Is 26 a factor of p(s)?
False
Let i(m) = -2*m**3 - 3*m**2 + 2*m - 106. Let t be i(0). Is 16 a factor of t*(5 + (-15)/2)?
False
Suppose u - 6*u - 4*n = -26, -4*u + n + 4 = 0. Suppose -5*s - 5 = -u*s - 4*j, 35 = 3*s + 4*j. Suppose a = 17 + s. Is 11 a factor of a?
True
Suppose -5*w + 6072 = 3*d, -216*w - 4050 = -2*d - 220*w. Is 3 a factor of d?
True
Let b(l) = -l**3 + 13*l**2 + 32*l - 20. Let q be b(15). Suppose 5*x + 14*f = q*f + 115, 3*f - 93 = -4*x. Is x a multiple of 9?
True
Is (-10579 + 1)*(-392)/294 a multiple of 16?
False
Let r = -104 + 219. Suppose -4*n = 2*h - 678, -5*n + 0*h + 2*h + 825 = 0. Let l = n - r. Is 24 a factor of l?
False
Let f(d) = d**3. Let l(t) = -t**3 + 3*t**2 + 2*t - 8. Let r(v) = 2*f(v) + l(v). Let o be r(-4). Let j = 79 + o. Is j a multiple of 13?
False
Let h(o) = -o**2 - 8*o - 9. Let w be h(-6). Suppose -w*n = 5*s - 11, -s - 9 - 2 = 5*n. Suppose -2*b + 150 = 2*b + y, -2*b + s*y + 66 = 0. Is 13 a factor of b?
False
Suppose -5*a = -7 - 8, -5*a = 3*y - 14319. Is y a multiple of 55?
False
Let c(w) = -22 + 32 - w + 25 - 19. Suppose 3*a + 2*a + 4*t = 29, 5*t + 20 = 0. Does 2 divide c(a)?
False
Let l(k) = 74*k - 4. Suppose -5*b + 35 = 2*i, -3*i = -b + 2*i + 34. Is l(b) a multiple of 19?
False
Does 11 divide 38*99/(-330)*495/(-1)?
True
Let g be (-445)/(-5) - (-4 + 4). Let a = g - 57. Let v = a - 9. Does 6 divide v?
False
Let y be (-5)/((-30)/32)*9/(-2). Is (y/10)/(4/(-230)) a multiple of 13?
False
Let h(z) = z**2 + 27*z + 8. Let t be h(-23). Is -4*(0 - 1)/((-4)/t) a multiple of 6?
True
Let f(b) = b**3 - 9*b**2 - 22*b + 16. Let u be f(11). Suppose -j - 3*j - u = 0, 0 = -4*z + 3*j + 2256. Suppose -8*r + z = -735. Does 32 divide r?
False
Suppose f - 7*w = -2*w + 90, 4*w = 4*f - 376. Is f a multiple of 3?
False
Suppose b + 580 = -9*b. Let w = 35 - b. Let p = -78 + w. Is 6 a factor of p?
False
Let y(i) = 724*i**2 - 27*i - 38. Is 28 a factor of y(-2)?
True
Let x be (-1 - 515/(-20))/(3/(-8)). Let j = -216 - x. Let d = j + 348. Is 22 a factor of d?
True
Suppose -26*p = -22*p - 12, 3*p = -2*u + 1233. Does 74 divide u?
False
Suppose 0 = -4*x - 3*w + 5*w, 3*w - 2 = 5*x. Suppose -4*y + 2653 = 5*k, -2*k = x*y - 4*k - 1340. Is y a multiple of 23?
True
Suppose 50 + 62 = 8*b. Suppose -13*y = -b*y + 6. Suppose -4*w - 14 = 3*a, 0 = -a + y*a + 5*w + 15. Is a even?
True
Suppose -14*s = 9*s - 3709 - 9217. Is 14 a factor of s?
False
Let p(v) = -14*v - 66. Let z be p(-13). Let k = z + 239. Is 5 a factor of k?
True
Let z be 9 + (12 - 13 - -1*5). Suppose z*h - 25567 + 6262 = 0. Is 11 a factor of h?
True
Let x(i) = -8*i + 27. Let y be x(3). Suppose -5*q + 1404 = 3*o, o - 195 = -y*q + 645. Is 20 a factor of q?
False
Let k = 34779 + -21167. Is k a multiple of 166?
True
Let f(n) = -3*n + 25.