e third derivative of -k**4/12 + 14*k**3/3 + 22*k**2. Let n be x(12). Suppose -n*h + 2*h = -18. Is 3 a factor of h?
True
Suppose 4 = k - 0*k + 5*r, -5*r = 0. Let w be k + (8 - 2) - 5. Suppose -w*o + 1403 = -237. Is 51 a factor of o?
False
Suppose -5*x + 16 = 1. Let k(i) = -2*i**3 + 3*i**2 + 2*i + 6. Let u(w) = w**2 + 1. Let t(s) = -k(s) + 3*u(s). Is 10 a factor of t(x)?
False
Let i(a) = -a**3 - 94*a**2 + a - 399. Does 76 divide i(-95)?
False
Let g = -70 - -48. Let t be (-1524)/(-33) + 4/g. Let c = t - 7. Is 2 a factor of c?
False
Let t = 145 + -89. Is 8 a factor of (-28)/t - 962/(-4)?
True
Let k(n) = n**3 - 14*n**2 + 15*n - 17. Let s be k(13). Suppose -s = -0*c - c. Does 15 divide -3*((-696)/c + 5 + -3)?
False
Suppose -35*l - 2538 = -17423 - 550. Does 43 divide l?
False
Let d(u) = 27*u - 17 + 25 - 4 + 42*u**2. Is d(-4) a multiple of 71?
True
Let o be (-8)/5 + 2/(-5). Let p(f) = -56*f - 4. Let t(q) = -146*q - 13. Let r(i) = 11*p(i) - 4*t(i). Does 24 divide r(o)?
True
Is 11 a factor of 9078 + 39/26 + 3/(-2)?
False
Let d = 6440 - 4370. Is 6 a factor of d?
True
Let x = -57 + 81. Let r = -9 + 9. Suppose 6*m - x = -r*m. Is m a multiple of 3?
False
Let c(s) = -5*s. Let k be c(10). Is (-32)/20 - 84630/k a multiple of 11?
False
Does 11 divide (-1 - -76)/((-18183)/(-1815) - 10)?
True
Let g(b) be the second derivative of -b**4/6 - 5*b**3 - 11*b**2/2 - 6*b. Let c(i) be the first derivative of g(i). Is c(-11) even?
True
Let z(f) be the second derivative of -5*f**3/6 + 19*f**2/2 - f. Let l be z(0). Let c = 5 + l. Does 6 divide c?
True
Let g(f) = 119*f - 83. Let s be g(10). Suppose -181 = -4*j + s. Is j a multiple of 23?
True
Let f(d) = 2*d + 486. Let q be (-16)/7 + 2 + 4/14. Is f(q) a multiple of 41?
False
Suppose -4*l - 2*l = -5016. Suppose -4*d = -3*g + 1670, -g = -2*d + g - l. Is (d/80)/((-2)/40) a multiple of 40?
False
Let z(g) = g**2 - g + 5. Let l be z(0). Suppose -l*f - 49 = -169. Is 2 a factor of (f/(-20))/((-12)/40)?
True
Suppose 0 = -5*b + 2*r - 32 + 247, 4*r = -3*b + 155. Suppose -60 = 3*a + b. Let n = 95 - a. Is 32 a factor of n?
False
Suppose 0 = 3*v - 8*v - t + 173, 5*v = -3*t + 169. Suppose 3*i + 4*a = -333, -i + 4*a - v - 76 = 0. Let f = 121 + i. Is f a multiple of 3?
False
Does 94 divide ((-36)/12)/(1/(-2)*66/114213)?
False
Is 4 a factor of -2787*((-2)/12)/(8/(17 + 47))?
True
Let x be (5 - ((-60)/(-8) + -4))*2. Suppose 2*p = -3*b + 1505, 4*b + x*p + 508 = 2514. Is b a multiple of 14?
False
Is 105 a factor of ((-2)/4 + 19642/84)*135/6?
True
Suppose 3*g - 4*c = 34, -6*g - 3*c + 34 = -4*g. Suppose 0 = -3*h + g + 34. Suppose h + 7 = z. Is z even?
False
Let t(n) = -n**2 - 61*n + 486. Is 5 a factor of t(-58)?
True
Suppose 3*o + 4*k - 10 = 1, 0 = -o + k + 6. Suppose -3 = 3*t - g - 12, -5*t = o*g - 35. Suppose 2*q + 233 = 3*l + t*q, -56 = -l - 5*q. Is l a multiple of 23?
False
Suppose 0 = -4*s + 4*b - 8, 0*s + 4*s - 20 = -3*b. Is 41 a factor of ((-351)/(-65))/(s/30)?
False
Is (-87027)/(-6) + 1098/(-244) a multiple of 29?
True
Suppose -12*y + 23 + 1 = 0. Suppose 4*v - y*v = 8. Suppose v = -a + 116. Does 9 divide a?
False
Suppose -56*z + 32 = -40*z. Suppose -2*m + j = 5*j - 620, z*j = -3*m + 934. Does 8 divide m?
True
Suppose 6*y = 451 - 85. Let q = y + -59. Suppose j + 3*i - 246 = -0*j, 0 = j + q*i - 246. Is j a multiple of 19?
False
Suppose -14*v + 80 = 6*v. Let a(h) be the third derivative of h**6/60 - h**5/12 + 3*h**4/8 + 4*h**3/3 + 4*h**2. Is 23 a factor of a(v)?
True
Let z be ((-39466)/4 - 0)/(37/222). Is (-2)/(-12) - z/126 a multiple of 16?
False
Let q(o) = -7*o**3 - 4*o**3 - 11*o**2 + 0*o - 50 - 12*o + o + 10*o**3. Does 24 divide q(-11)?
False
Let f = 8317 - 6692. Is f a multiple of 14?
False
Suppose 4*k - 2599 = -p + 9891, 50065 = 4*p - 5*k. Is p a multiple of 9?
True
Let r = -2904 - -6829. Is r a multiple of 157?
True
Suppose 0 = 19*m - 23*m + 1080. Let u = 180 - m. Let q = 200 + u. Is 11 a factor of q?
True
Let c(w) = w**3 + 9*w**2 + 8*w. Let k be c(-8). Suppose -2*g - 4*g = k. Suppose -6*m + 28 - 4 = g. Does 3 divide m?
False
Suppose 0 = 5*o - 0*o - 140. Suppose -2 = 3*y + o. Does 30 divide 29 + 8/2 + 30/y?
True
Let f(u) be the second derivative of 17*u**4/12 - 9*u**3/2 + 2*u**2 + 3*u + 4. Let b(m) = -m + 10. Let v be b(5). Does 49 divide f(v)?
True
Let o = -1137 - -1138. Suppose -5*f + 258 = -447. Let c = f - o. Is c a multiple of 20?
True
Does 7 divide (6 + 2/(-8)*10)*54*57?
True
Let t be (11/33)/((-1)/(-9)). Suppose -t*h = 22 - 28. Is 17 a factor of ((-164)/8)/(h/(-4))?
False
Let q(b) = b**3 - 2*b**2 - 24*b + 2136. Does 24 divide q(0)?
True
Suppose 77*h + y = 72*h + 14492, -2*h + 2*y + 5792 = 0. Does 7 divide h?
True
Let z = -135 + 2115. Suppose 129*j - 123*j = z. Is j a multiple of 11?
True
Suppose 4*c = 4*n - 940, 2*n + 0*n - 458 = -4*c. Let l = n - -204. Is 17 a factor of l?
False
Let d = -55258 + 94318. Suppose -27*o - 33*o = -d. Is o a multiple of 13?
False
Let v(p) = -27*p + 15*p - 3 - p**2 + 17*p. Let d be v(1). Let l(u) = 169*u**2 - 2*u + 1. Does 42 divide l(d)?
True
Let c = 6 + -13. Let l = -21 - c. Let r(k) = k**3 + 13*k**2 - 15*k + 34. Is 20 a factor of r(l)?
False
Suppose -64*g + 66*g + 4578 = 4*w, 1127 = w + 3*g. Is w a multiple of 28?
False
Let f(h) = -34*h - 88 - h**2 + 10*h**2 - 7*h**2. Is f(29) a multiple of 19?
True
Let j = -3765 + 7487. Suppose -3*c = -4*w - c + j, 5*c - 5 = 0. Is 26 a factor of w?
False
Suppose 5*k - 25 = 0, -3*x + 5*k + 3362 = 852. Let g = x + -758. Is g a multiple of 3?
True
Let c = 2647 + 9092. Is 60 a factor of c?
False
Suppose -5*d - 2*s = -5902, 0 = 2*d - 3*d + 2*s + 1178. Suppose -5*l + d = 5*l. Does 10 divide l?
False
Suppose -3*i = -3*a + 5325, -18*a + 4*i = -20*a + 3514. Is 19 a factor of a?
False
Suppose r = -3*r + 32. Suppose 12*u = r*u + 100. Suppose -4*k + u + 3 = 0. Does 2 divide k?
False
Let u(y) = -y**2 - 5*y + 11. Let v be u(-7). Does 11 divide 0 + 78 + (-5 - (v + -1))?
True
Let o = -21728 + 32542. Is 4 a factor of o?
False
Let p(l) = 443*l**2 + l - 2. Let y(g) = -g - 16. Let o be y(-17). Is p(o) a multiple of 17?
True
Let s = 1742 - -103. Let v = s - 1095. Is v a multiple of 60?
False
Let n = 7198 - -32854. Is n a multiple of 48?
False
Let r = -2549 + 4092. Is 60 a factor of r?
False
Let q(g) = -1005*g + 416. Is q(-3) a multiple of 9?
False
Suppose 3*b + 0*b = 6. Suppose 3*d - 3*q - 39 - 57 = 0, -3*q - 26 = -d. Is 40 a factor of b/(-10) + 5607/d?
True
Let t = 487 + -5. Let g be 13156/(-55) + (-8)/10. Let r = g + t. Is 18 a factor of r?
False
Is ((-24)/((-24)/(-4)))/(3 - (-773)/(-257)) a multiple of 28?
False
Suppose 6*d + 18*d - 9816 = 0. Let s = d - 283. Is 6 a factor of s?
True
Let i be -2*(-2)/8*14. Let y be (2 - 1/((-9)/27)) + -1 + 1. Suppose k - i = -y*d, d + 17 = -5*k + 148. Is 9 a factor of k?
True
Let u = -12163 + 31552. Does 241 divide u?
False
Suppose 3*o - 2*d - 21491 = 0, 37*o = 39*o - d - 14326. Is o a multiple of 89?
False
Suppose 3*m = -3*i - 3, 3*m + 7 = -8. Suppose -794 - 470 = -i*s. Is 29 a factor of s?
False
Let u(p) = 24*p - 19. Let l(g) = 4*g - 3. Let q(y) = 34*l(y) - 6*u(y). Let r(t) = 1. Let x(b) = -2*q(b) + 10*r(b). Is 8 a factor of x(7)?
False
Let z(m) = 2*m**2 + 21*m + 11. Suppose -24 = -6*j - 84. Let g be z(j). Is g/((-15)/(-5)) + (-556)/(-6) a multiple of 26?
False
Let k be 0/3 - (-5)/1. Suppose k*y = 2*j + 1310, -4*j = -y + 363 - 83. Is y a multiple of 18?
False
Suppose 2*u = -19*d + 15*d + 3536, 0 = -2*u + d + 3561. Suppose -2*b = -5*o + b + 1774, u = 5*o - b. Is 3 a factor of o?
False
Suppose 311 = -5*d - 79. Let g be (-10)/50 - 431/(-5). Let v = g + d. Is v a multiple of 2?
True
Let c = 13457 - -14435. Is 38 a factor of c?
True
Let w(l) = -l**3 - 58*l**2 - 112*l + 1249. Is 32 a factor of w(-57)?
True
Let a(f) be the second derivative of -f**5/20 + 8*f**4/3 - 43*f**3/2 + 14*f**2 - f - 25. Does 2 divide a(27)?
True
Does 42 divide (2082828/(-651))/(1/(-7))?
False
Suppose -3*p - 4*h = 15478 - 58910, -43426 = -3*p + 2*h. Is 22 a factor of p?
True
Suppose j + 2 = 2*j, -3*v = 5*j - 16. Suppose -3*k + t = -t - 17, -v*t - 35 = -5*k. Let i(h) = 6*h + 21. Does 25 divide i(k)?
True
Let h be 304/(-12) - (-2)/(4 - -2). Does 7 divide (0 - -4*h/20)*-7?
True
Suppose d = 3, 5*t - 5 = 2*d + 3*d. Suppose 2*a + 34 = -4*w, -2*a = -t*w - 8 - 14. Let r = 51 + w. Is 11