e first derivative of -s**3/3 - 17*s**2/2 - 28*s - 27. Is w(-10) a multiple of 14?
True
Let b(j) = 3*j - 4*j + 10 + 8 - 7. Is 16 a factor of b(-13)?
False
Suppose -4*x + 39 = -4*f - 29, -5*f = 4*x + 49. Let t = f + 29. Is (-33)/(20/t + -2) a multiple of 22?
True
Is 4 a factor of (25/15)/((-3)/(-9)) + 84?
False
Suppose -4*p = -75 + 31. Let m(u) = 8*u - p*u + 1 + 5*u. Is m(2) even?
False
Let q = 213 + 24. Suppose 5*k - q = 53. Suppose -5*p + 67 = -k. Does 5 divide p?
True
Suppose 166*d = 183*d - 11730. Is 21 a factor of d?
False
Let i = 0 + -8. Suppose y + 2 = 4. Does 22 divide (y + 100)*i/(-12)?
False
Let u be (3 - -133 - (-2 - 2)) + 1. Let z = -95 + u. Does 46 divide z?
True
Let z(s) = -2*s**3 + 58*s**2 - 95*s + 29. Is z(27) a multiple of 12?
False
Let m(r) = r - 8. Let l be m(7). Let w be l/(14/(-15) - -1). Does 19 divide 10/w*150/(-4)?
False
Let y(f) be the second derivative of f**4/4 + 3*f**3/2 + 5*f**2 - 2*f. Is 8 a factor of y(-5)?
True
Suppose -6*h = -4*h - 216. Does 6 divide h?
True
Suppose -3*p = -2*b + 94, -2*b - 29 + 3 = p. Let y = p - -33. Suppose -5*t = 3*m - 129, -2*m + 2*t = -y*m + 42. Does 24 divide m?
True
Suppose -2*w + 3 + 4 = y, 0 = 2*w. Suppose 0 = y*l - 312 + 11. Does 11 divide l?
False
Let x(g) = 15*g**2 - 23*g + 206. Is 149 a factor of x(15)?
False
Let d(k) = k + 63. Let v be d(0). Let q = v - 46. Is q a multiple of 13?
False
Let l(h) = -2*h**2. Let p be 4/(8/(-6)) + 2. Let i be l(p). Let s = i - -34. Is s a multiple of 8?
True
Suppose -10 = 5*p - 10*p. Let g(b) = 5*b - 2. Let c be g(p). Suppose -4*s - 180 = -c*s. Does 15 divide s?
True
Let i(h) be the third derivative of -h**6/120 + 7*h**5/60 + h**3/6 + 5*h**2. Is 17 a factor of i(5)?
True
Let u = -128 + 902. Is 43 a factor of u?
True
Suppose 0 = 5*t + 3*a + 116 - 20, -4*t - 70 = -a. Let y be 483/(-12) + t/24. Let w = -13 - y. Is w a multiple of 14?
True
Let c(x) = 16*x**2 - 41*x - 325. Does 20 divide c(-7)?
False
Suppose q = -5*q + 396. Suppose -5*b - 35 - 5 = 5*a, a = 5*b + 22. Let z = q - a. Is z a multiple of 23?
True
Let m be 2/(-6)*(-30 + 0). Suppose m = 4*v + v. Suppose 0*y + v*c = -5*y + 276, 0 = -3*y - 2*c + 164. Is y a multiple of 14?
True
Let s = 31 + -27. Suppose -s*m - 17 = -145. Let y = 64 - m. Does 9 divide y?
False
Suppose 0 = -i - 3*t + 61, -14*i = -18*i + 3*t + 319. Does 21 divide i?
False
Let a = -10 - -7. Let z(h) = 3 + 0 + h**2 - 2 - 7 - 2*h. Does 4 divide z(a)?
False
Suppose 5*j - 248 - 262 = 0. Is 26 a factor of 48/16 + j/1?
False
Let q be 2/4*(10 - -196). Suppose -5*j + 216 = 4*d, -q = -3*d + 4*j + 59. Is d a multiple of 18?
True
Suppose 15*g - 18*g + 15 = 0. Let s(n) = -2*n**2 - 154*n - n**3 + 154*n - 8*n**2 + g. Does 3 divide s(-10)?
False
Suppose 4 = -2*t, -3*i - 2*t + 15 - 4 = 0. Suppose 5 = -4*j + 5*a + 50, 0 = 5*j - i*a - 55. Let x = j - -39. Is x a multiple of 16?
False
Suppose -40474 = -88*n + 39*n. Is 14 a factor of n?
True
Let r(l) = -7*l - 27. Let g be ((12/3)/4 - 14) + -3. Is r(g) a multiple of 17?
True
Let h(y) = 41*y - 1 - 32*y + 35 - 1. Is 22 a factor of h(11)?
True
Let v(r) = -r**2 - 9*r - 3. Let o be v(-6). Is 5 a factor of (5/o)/((-2)/(-90))?
True
Suppose -4*r = -2*h + 60 + 78, 0 = -h + 3. Let w = r - -68. Is 35 a factor of w?
True
Suppose c - 12 = -3*k, 0*c - 5*k = -2*c - 20. Suppose -20 = -5*i - 5*x, c*i = -2*i - 4*x + 8. Suppose 41 - 169 = -i*f. Does 18 divide f?
False
Let t be ((-4)/5)/(92/460). Let o(d) be the first derivative of -d**4/4 - 2*d**3/3 + 7*d**2/2 - 2*d - 2. Does 2 divide o(t)?
True
Let c(o) = 9*o**3 - 5*o**2 + 5*o + 4. Let h be c(2). Let x = -55 + h. Is 10 a factor of x?
False
Is 24 a factor of (-10)/4*121296/(-420)?
False
Suppose 2520 = -113*s + 118*s. Does 18 divide s?
True
Suppose -49*w - 2*q - 8 = -50*w, 0 = -4*w + 2*q + 44. Is 6 a factor of w?
True
Let n be 160/(-26) + (-12)/(-78). Is (n/(-3))/((-6)/(-117)*1) a multiple of 6?
False
Let n(k) = 6*k - 45. Is n(15) a multiple of 11?
False
Suppose -5*s - 3*s + 480 = 0. Is s a multiple of 12?
True
Suppose -6*c + 4*c + 128 = 0. Does 8 divide c?
True
Let f = -297 - -505. Let m = -48 + f. Let l = m + -64. Is 20 a factor of l?
False
Let s(d) be the first derivative of -3*d**2 - 8*d + 3. Let u be s(8). Let w = 78 + u. Is 22 a factor of w?
True
Let k be 25/10 - 4/(-8). Is 19 a factor of (-1 + -1)*(k - (-100)/(-8))?
True
Suppose -11*i = -22362 + 912. Does 39 divide i?
True
Suppose -3*n + 762 = -9*n. Does 16 divide (1/1 - n) + 0/(-1)?
True
Let k be (-136)/(-14) + 20/70. Let j = -6 + k. Suppose 5*d + 86 = 3*w - 65, 4*w = j*d + 212. Is w a multiple of 19?
True
Let f(n) = n**2 - 10*n - 76. Does 5 divide f(34)?
True
Suppose 3*i + 41 = 287. Does 4 divide i?
False
Suppose 5*i + 83 = 13. Let w(t) be the first derivative of t**4/4 + 5*t**3 + 6*t**2 - t - 33. Is 6 a factor of w(i)?
False
Let h = 14 + 3. Let t(c) = 5*c**3 + 3*c**2 - 3*c - 8. Let v(o) = 14*o**3 + 9*o**2 - 9*o - 23. Let j(r) = h*t(r) - 6*v(r). Is 11 a factor of j(3)?
True
Let n(j) = 0*j + j + 2*j + 1 - 7*j + 11*j**2. Is n(-4) a multiple of 22?
False
Suppose 3*f - 13 = -217. Let j = f + 105. Is j a multiple of 5?
False
Let i = 14 + -17. Let z(h) = 9 + h - h**3 - 2 + 0. Is 6 a factor of z(i)?
False
Suppose -75 = -36*v + 1437. Is v a multiple of 3?
True
Let v = 30 + -30. Suppose v = 9*q - 25 - 20. Is q a multiple of 5?
True
Suppose -5*m + 3*i + 22 = 2*i, 0 = m + i - 2. Is (-6)/m*(-304)/6 a multiple of 14?
False
Let o(h) = h + 9. Let p be o(-10). Let f(q) = -q - 4. Let z(l) = -1. Let r(u) = p*f(u) + 4*z(u). Does 7 divide r(7)?
True
Let x(w) = 7*w**2 + 21*w - 13. Does 16 divide x(-8)?
False
Suppose -3 - 7 = 2*i. Is (i/10)/1*-24 a multiple of 12?
True
Let d(k) = -k**3 + 19*k**2 - 34*k + 23. Does 12 divide d(17)?
False
Suppose 11*h - 1849 = 1451. Is h a multiple of 10?
True
Let d(h) = 5*h + 17. Let z be d(-4). Does 29 divide 2678*z/(-42) + (-8)/28?
False
Suppose -362 = 2*m - 4*m. Does 12 divide m/5 + 2/(-10)?
True
Let r(c) = 11*c + 5. Suppose -4*i = 2*p + 12, -3*i = p - 4*p. Let t be (-8)/p + -2 + 3. Is 19 a factor of r(t)?
False
Suppose 3*r - 3079 = -2*n, -5*n - 4*r - r + 7690 = 0. Does 21 divide n?
False
Does 9 divide 1 + 154 - (-30)/(-21 - -15)?
False
Let m = -78 - -63. Let t(z) = -3*z - 24. Let x(p) = -13*p - 96. Let y(b) = -9*t(b) + 2*x(b). Is y(m) a multiple of 3?
True
Suppose -70*i + 42460 = -15220. Is i a multiple of 23?
False
Let y(x) = x**3 + 29*x**2 + 2*x + 29. Let z(i) = i**2. Let g(o) = -y(o) + 4*z(o). Is g(-25) a multiple of 13?
False
Suppose -4*p - 2*z = -16, -11 = -5*p - 4*z + 15. Suppose -2*u = -2*f + 36, 2*u + p*u = -f + 33. Does 3 divide f?
True
Suppose 3*f - 9 = -6*i + 3*i, 7 = i + 5*f. Suppose -i*g + 15 = 1. Does 3 divide g?
False
Let l(s) = -6*s + 19. Let v be l(-7). Suppose -5*p - v = -4*b - 0*p, 0 = -2*p + 6. Is 3 a factor of b?
False
Is 15 a factor of 2 + -13 + 9 - (-1 - 454)?
False
Suppose -5*l = -l. Suppose l = 3*q - y - 1, 1 = q + 5*y - 26. Is q/(-10) + (-594)/(-45) a multiple of 6?
False
Let j(i) = 14*i**2 + 264*i + 47. Is 19 a factor of j(-21)?
False
Suppose -z - 3*x = -5*z + 40, -2*z - 3*x + 2 = 0. Is 1263/z - (-27)/(-63) a multiple of 45?
True
Let t(n) = 38*n - 14. Let h be t(6). Let f = h - 97. Is f a multiple of 13?
True
Let x(q) = -q**3 - 4*q**2 + 3. Let k be x(-4). Suppose 0 = k*r + 2 + 19. Is 10 a factor of 7 + r - (1 + -71)?
True
Does 22 divide 63137/209 - (-2)/(-22)?
False
Let l = -77 + 155. Let p(i) = -19*i - 239. Let u be p(-15). Suppose 3*b + 5*c = u, -3*b + 5*c + l = 2*c. Does 11 divide b?
True
Let h(t) = -t + 1. Let k(c) = -45*c - 2. Let y(o) = -3*h(o) - k(o). Is y(3) a multiple of 13?
True
Suppose 17*y - 9699 = 5023. Is 12 a factor of y?
False
Let u be (-9)/15 - 890/(-25). Suppose 4*p = -2*z + 52, 5*z + u - 130 = -3*p. Does 16 divide z?
True
Let y(c) = -c + 32. Let q(r) = r**3 + r + 15. Let l be q(0). Let a be y(l). Suppose -3*n + 3*s + a + 19 = 0, -2*n = -5*s - 30. Does 10 divide n?
True
Suppose -9*z = -8*z. Suppose -2*g + 38 - 6 = z. Does 3 divide g?
False
Let u(p) be the third derivative of -7*p**4/24 - p**3/6 + 12*p**2. Does 5 divide u(-3)?
True
Suppose 7 = 2*t + 1. Suppose t*s = 56 + 37. Suppose -b - 5*a + 24 = 0, 2*b - 17 - s = -a. Does 10 divide b?
False
Let l = -45 + 46. Let m(b) be the first derivative of 13*b**2/2 + b + 1. Does 7 divide m(l)?
True
Let g = 6 - 0. 