hird derivative of x**8/3360 - x**7/5040 - x**6/240 + x**5/10 - 4*x**2. Let b(h) be the third derivative of v(h). Is b(-4) a multiple of 30?
False
Let t(f) = -f. Let i be t(-4). Suppose 16 = -i*p - 0, m - 58 = 5*p. Is 19 a factor of m?
True
Suppose -73*h = -86*h + 6500. Does 20 divide h?
True
Suppose 86 + 74 = 2*j + z, 0 = 3*z. Is 40 a factor of j?
True
Let d be 23 + (2/2 - 1). Suppose -137 = -4*i + d. Is 8 a factor of i?
True
Let z = 3646 + -1953. Is z a multiple of 77?
False
Let v = 14 - 12. Suppose -q - 3*r + 1 = r, -v*q + 30 = r. Does 17 divide q?
True
Let q(n) = -6*n + 3. Suppose -3*p = -x + 1 + 2, 0 = 4*x + 2*p - 12. Let r be q(x). Let j(h) = -h**2 - 20*h + 15. Is 18 a factor of j(r)?
True
Let l(t) = t**3 + 6*t**2 - 8*t - 1. Let n be l(-7). Suppose 2*k = n*k. Suppose k = -4*v + 57 + 107. Is v a multiple of 13?
False
Let m(s) = 3*s + 60. Suppose l + 15 = -1. Is m(l) a multiple of 10?
False
Is 7648/6 - (-12)/(-18) a multiple of 98?
True
Suppose -5*o = -4*r - 5264, -3*o + 5*r + 0*r = -3161. Is o a multiple of 4?
True
Suppose 2*q + 4*g = -59 + 167, 2*q - 105 = -g. Is q a multiple of 6?
False
Let x = 785 + 1760. Does 24 divide x?
False
Let u(n) = n**2 + 5*n - 9. Let c(f) = -f**3 - 12*f**2 - 8. Let s be c(-12). Let v be u(s). Does 15 divide (-3)/(v/(-95)) - 4?
True
Suppose -3*c - 3*a - 93 = 0, -4*c + 4*a - 56 = -2*c. Let j be 12/c + 304/10. Is (24/10)/(2/j) a multiple of 12?
True
Let s(k) = -79*k - 471. Does 43 divide s(-26)?
False
Let l(u) = 10*u**2 + 10*u + 4. Let i be l(-5). Suppose -2*d - 6*h + i = -h, -452 = -5*d + 2*h. Is 39 a factor of d?
False
Let y be 0 + (-3 - -3) + 103. Let w = -4 - y. Let l = w - -175. Does 17 divide l?
True
Suppose 151*s - 99*s - 145080 = 0. Does 15 divide s?
True
Suppose 4077 = 4*u - 1215. Is 101 a factor of u?
False
Let q = -151 + 391. Suppose 16 = 10*c - 24. Suppose c*i + q = 10*i. Is i a multiple of 11?
False
Suppose 5*u - 12*j = -14*j + 9775, 4*j = -5*u + 9785. Is 27 a factor of u?
False
Let w(x) = 39*x**2 + x - 9. Is w(2) a multiple of 54?
False
Let v(w) = 23*w - 11. Let j be v(5). Is 8 a factor of (j/6)/((-32)/(-48))?
False
Let d(q) = q**2 + 7*q - 170. Does 8 divide d(15)?
True
Let p = 58 + -38. Let w = -12 + p. Is w a multiple of 2?
True
Let u = 3 + 15. Let p be (-14)/(-4) + -1 + 174/(-116). Is 7 a factor of (9/u)/(p/32)?
False
Let b(k) be the first derivative of -k**4/4 - 4*k**3/3 - 5*k**2/2 - 8*k - 6. Let t be b(-5). Suppose 0 = 8*j - 2*j - t. Is 7 a factor of j?
True
Let r = 384 + -228. Let h = r + 94. Suppose 0 = 3*l + 4*v - h, 0 = 3*l + v - 238 - 18. Is 21 a factor of l?
False
Does 5 divide (20 - 15)/((-6)/(-282))?
True
Let h be ((-1)/2)/(14/28). Does 48 divide 12/3 - h - -235?
True
Let c = -681 - -760. Is 2 a factor of c?
False
Let f = -34 + 16. Does 7 divide (-56)/(-4)*f/(-12)?
True
Suppose 5*w + 119 = 2*m, -3*w + 4*m - 9 = 54. Suppose 3*s = 3*o + 2*s - 279, 3*o = 3*s + 279. Let q = w + o. Does 17 divide q?
True
Let m = 266 - 148. Suppose 2*f + 4*t - 10 = 38, 4*f - 3*t = m. Does 8 divide f/70 - 258/(-5)?
False
Suppose -20*d + 2*j = -19*d - 2024, -5*j + 10090 = 5*d. Is d a multiple of 19?
False
Suppose 4*d + 4*u - 46 = d, -2*u = 5*d - 72. Suppose 2*f = 2*y + d, -4*f = 3*y - 3*f + 13. Let n = 13 - y. Is n a multiple of 8?
False
Suppose -2*d - 30 = -4*q, -d - 2*q + 8 - 3 = 0. Let m(w) = -4*w**3 - 5*w**2 - 7*w + 8. Let c(p) = p**3 + p - 1. Let l(v) = 3*c(v) + m(v). Does 25 divide l(d)?
True
Let l(g) = 120*g**3 + 3*g**2 - 3*g + 1. Let t be l(1). Let v = t + -80. Does 24 divide v?
False
Does 101 divide (44 + 36)*101/4?
True
Let b(u) = 16*u**2 - 7*u - 5. Does 5 divide b(-2)?
False
Suppose -3 = 5*y - 28. Suppose 2*x - 11 = -y*p + 543, -p - 5*x = -120. Is p a multiple of 11?
True
Suppose 0 = -3*w + d + 2*d - 12, -16 = -4*d. Is (-30 + w + -2)*-7 a multiple of 16?
True
Let z(x) = -x**2 - 12*x - 12. Suppose -21 = -l + 5*l + 5*r, -5*l - r = 0. Let j be -1*l - (2 + 6). Is z(j) a multiple of 15?
True
Let h be (-6)/(-15) - (-494)/(-10). Let t = 95 + h. Suppose 3*u + 3*r - 53 - t = 0, 4*u + 5*r = 132. Is 15 a factor of u?
False
Suppose 4*o - 144 = 16*o. Let c = 177 - o. Does 21 divide c?
True
Let j be 8/36 - 1294/(-9). Let y = 339 - j. Does 9 divide y?
False
Let x(d) = d**3 - 3*d**2 - 4*d + 3. Let q be 3/(-9) - (-13)/3. Let f be x(q). Suppose -64 = -f*s - s. Is 8 a factor of s?
True
Suppose 0 = -3*i - 0*f + 5*f + 162, -i = 2*f - 54. Does 3 divide i?
True
Let w = 19 - -21. Suppose -w*m = -35*m - 1095. Is 14 a factor of m?
False
Suppose -2*f + 6268 - 15938 = -5*k, -7718 = -4*k - 2*f. Is 6 a factor of k?
True
Let y = 335 - 239. Does 18 divide y?
False
Let m be 369 - (-5 - (2 + -4)). Let j be (-44)/11 - (3 + -1). Does 13 divide j/(-4) - m/(-8)?
False
Let n = -497 + 740. Let v = -143 + n. Is v a multiple of 25?
True
Let i = -79 + 85. Let k = 54 + i. Is k a multiple of 15?
True
Suppose -72 = w + 5*l, -4*l - l = -3*w - 256. Suppose 0 = -5*j - 107 + 7. Let n = j - w. Does 15 divide n?
False
Let k(h) = h**3 - 4*h**2 - 2*h - 1. Is k(6) even?
False
Let o(a) = 2*a**3 + 4*a - 4. Let s = 37 + -35. Does 4 divide o(s)?
True
Does 6 divide (-11 - -16)/(2/122)?
False
Let s = -17 - -20. Suppose 0 = -o + 2*o + s. Does 2 divide (44/(-12) - -3)*o?
True
Suppose 6*j = 87 - 15. Suppose j*w - 352 = 4*w. Does 9 divide w?
False
Let t = 129 + 209. Is 26 a factor of t?
True
Suppose 161*m - 170*m = -11736. Does 11 divide m?
False
Let q = 19 - 14. Suppose 0*k - q = -k. Let g = 19 - k. Does 10 divide g?
False
Let z = -86 + 38. Let x = z - -78. Is 15 a factor of (92/(-6))/((-10)/x)?
False
Let w(j) = j + 581. Let f be w(0). Suppose 5*h + 2*h = f. Let q = h - 15. Does 15 divide q?
False
Let l(x) = -x**3 - 16*x**2 - 24*x - 69. Is 25 a factor of l(-18)?
False
Suppose -121*o - 3420 = -127*o. Is o a multiple of 30?
True
Let f(v) = -v + 17. Is f(-10) a multiple of 3?
True
Does 24 divide -85*2*1750/(-140)?
False
Suppose -g - 3*g - 3 = -v, -5*g = -v + 5. Let u(x) = x**2 + 2*x + 2. Let k be u(g). Does 16 divide 254/4 + 1/k?
True
Let r(y) be the second derivative of y**3 + y**2 + 1/12*y**4 + 3*y + 0. Is r(-10) a multiple of 10?
False
Let r(n) = -n**3 + 11*n**2 - 9*n - 5. Is 18 a factor of r(9)?
False
Suppose -5*t + 1 + 5 = -4*y, 0 = -4*y + t - 14. Is 46 a factor of 6748/49 + y/(-14)?
True
Let r(v) be the third derivative of 7*v**6/40 - v**5/60 + v**4/24 - v**3/6 - v**2. Is r(1) a multiple of 10?
True
Let j(m) = m**3 + 7*m**2 + 4*m - 5. Let v be j(-6). Suppose c + 2*a = -v, -34 = -c - 2*c + 5*a. Is 15 a factor of (c/6 - 0)*30?
True
Suppose -1 = -5*p - 4*o, 0 + 1 = -p - 2*o. Let n(i) = 14 + 94*i + 16 - 27. Is 21 a factor of n(p)?
False
Let r(y) = 12*y - 12. Suppose -30 - 23 = -5*l + 4*g, 3*l - 5*g = 37. Let k be r(l). Suppose 0 = 2*t - 4*t + k. Is 8 a factor of t?
True
Suppose 5*l - 121 = -4*p, -3*p + 115 = -5*l + 33. Let h = p + -12. Is 7 a factor of h?
False
Is 59 a factor of (-1 - 1)*19/(76/(-7198))?
True
Let z = -14 + 8. Let s(k) = 6*k**2 + 12. Let d be s(z). Suppose -2*b = 3*i - 124, 3*b = -4*i + d - 61. Is i a multiple of 11?
False
Suppose -5*v - 1 = -16. Suppose 0 = -f, f - 90 = -0*b - v*b. Suppose 3*o - 45 = -4*q, 2*o + 5*q - 3*q - b = 0. Is 7 a factor of o?
False
Let c = -4 - -64. Let l = c - 25. Is l a multiple of 4?
False
Let p(h) = 3*h**2 - 12*h + 9. Is 10 a factor of p(11)?
True
Suppose -2*k = 3*q - 3319, -1950 = -5*k - q + 6367. Is k a multiple of 30?
False
Let f = 15 - 23. Is 20*((-140)/f)/5 a multiple of 14?
True
Let a be (-3)/(-4) - (-6)/(-8). Suppose a = -5*v + 5*y + 65 + 95, -4*v + y = -143. Suppose -17 = -3*x + v. Is 9 a factor of x?
True
Is 43 a factor of ((-903)/12)/((-1)/12*3)?
True
Suppose 0 = 20*v - 4631 - 4309. Does 84 divide v?
False
Let p(s) = 23 + 19*s - 6*s - 6*s - 6*s. Does 29 divide p(6)?
True
Let g be (-1 - 1) + -1 - -8. Suppose -13 = g*c - 0*b - 2*b, 2*c + 4*b + 10 = 0. Let x(z) = 3*z**2 + 3. Is 12 a factor of x(c)?
False
Suppose 59*p = 4132 + 5308. Does 20 divide p?
True
Suppose 3*i - 6*i = -21. Let x(a) = 0*a + 10 - i - 4*a. Is x(-5) a multiple of 23?
True
Let f = 142 + -80. Suppose 0 = 2*l - 14 - f. Is 20 a factor of l?
False
Let c(x) = x**3 + 11*x**2 + 10*x - 37. Is 14 a factor of c(-8)?
False
Is 5 a factor of 1926/66 + (-12)/66?
False
Let p = 22 + -16. Suppose -p*q = 23 - 95. Is q a multiple of 3?
True
Let k be (-24*1)/