095. Does 24 divide s?
True
Let b be (-4)/(-14) - 892/(-14) - -3. Suppose -87*m + 25900 = -b*m. Is 37 a factor of m?
True
Let o(b) be the second derivative of b**5/20 + 3*b**4/4 - 5*b**3/2 - 5*b**2/2 - 124*b. Is o(-8) a multiple of 51?
False
Is 140 a factor of (40920/200)/(((-1)/(-10))/((-204)/(-24)))?
False
Let m(n) be the second derivative of -97*n**3/6 - 59*n**2 + 195*n. Does 20 divide m(-4)?
False
Let n be 10/(-4)*3*2. Let m(l) = 27*l**2 + 21*l - 170. Let j(k) = 7*k**2 + 5*k - 43. Let v(i) = -23*j(i) + 6*m(i). Does 29 divide v(n)?
True
Let n = 29288 + -18053. Is 35 a factor of n?
True
Let w(a) be the third derivative of a**6/120 + 3*a**5/10 - a**4/6 - 13*a**3/3 - 1239*a**2. Suppose -j - 2*j - 54 = 0. Does 46 divide w(j)?
True
Let w(l) = -2*l**3 + 35*l**2 + 24*l - 20. Is w(11) a multiple of 8?
False
Let d(z) be the second derivative of 0 - 1/20*z**5 + 3*z + 5/2*z**2 + 11/12*z**4 - 13/6*z**3. Is 10 a factor of d(9)?
True
Is 222/(-5)*-375*6/27 a multiple of 50?
True
Let j(i) = i**3 + 6*i**2 + 2*i + 17. Let c be j(-5). Let z = c - -254. Is z a multiple of 51?
False
Suppose -147 = -23*s - 32. Suppose -5*q + 515 = d, -5*q - 2656 = -s*d - 3*q. Is 38 a factor of d?
False
Suppose -32555 = -59*t - 2406. Is 18 a factor of t?
False
Let x = -5702 + 3161. Let v be ((-2)/(-3))/((-14)/x). Let m = v + -17. Is 28 a factor of m?
False
Suppose b + 6 = 3*z, -b + 2*b = 5*z - 12. Suppose -z*a + 5*d = 2*a - 15, 15 = a - 4*d. Is 60 + -1*4/a a multiple of 32?
True
Suppose 10 = 4*p - 10. Suppose 0 = k - i - 14, p*k - 2*k = 4*i + 44. Is 12 a factor of k?
True
Let c be 3*-1*1/(-9)*411. Let k = 235 - c. Is 11 a factor of k?
False
Does 42 divide 294/15*(28 - -2)?
True
Let x be 6/9*(-18)/(-4). Suppose -x*g = -12*g - 144. Let m = g + 26. Is 2 a factor of m?
True
Let t be (960/4)/5 - (-4 - 1). Suppose 3*g - 6*g - 5*u = -169, 0 = g + 5*u - t. Is 17 a factor of g?
False
Let f(k) = 3*k**2 - 24*k + 19. Let o be f(7). Let r(g) = 100*g**2 + g - 2. Is r(o) a multiple of 33?
True
Let b(x) = x**3 - 14*x**2 + 83*x + 232. Is 17 a factor of b(25)?
False
Let b(u) = -2*u**3 + 11*u**2 + 21*u + 1. Let i(v) = v**3 + v**2 - v + 1. Let z(g) = -b(g) - i(g). Suppose 3*x = 30 + 12. Is 33 a factor of z(x)?
False
Suppose -d + 3*g = -1648, 5*g + 1546 = d - 96. Let c = d + -643. Suppose -836 = -10*o + c. Is o a multiple of 16?
False
Suppose -5*v + 2*v + 96 = 0. Let l = v - 34. Is 14 a factor of 1*(l + 1) - -122?
False
Suppose 55*p = 70290 + 398860. Does 11 divide p?
False
Suppose -5*b - 10 = 0, -m - 37*b + 40*b = -207. Suppose -4*n + 5*n = -103. Let q = n + m. Does 14 divide q?
True
Let r(s) = 49 - 5*s**2 + 99*s - 121*s + 4*s**2. Let z be r(-24). Is z*154*((-174)/42 - -5) a multiple of 44?
True
Suppose -6 = -5*s + r, -9 + 21 = -4*s + 5*r. Suppose s*f - 2*y = 570, -3*f + 871 = -3*y + 8*y. Is 24 a factor of f?
False
Let j = 57 - 55. Suppose j*a - 6*g - 889 = -3*g, 0 = 2*a - 2*g - 886. Does 22 divide a?
True
Suppose -22*q = 130416 - 578886. Is q a multiple of 45?
True
Suppose 3*x + 4*m - 7091 = -m, -2*x + m = -4749. Is 39 a factor of x?
False
Let l = 97 - 76. Suppose 5*b - 4*g - 174 = 0, -2*g - 13 = -l. Is 7 a factor of b?
False
Let b = 2759 - 1601. Suppose 519 = y + 3*x, 2*y + 3*x = b - 108. Is y a multiple of 11?
False
Suppose -3*h + 2*m + 14270 = 0, -918*h + 14266 = -915*h - m. Does 7 divide h?
False
Let p = -111 + 123. Suppose -2*d - 2*y = -p, d - 32 + 8 = 5*y. Does 9 divide d?
True
Suppose -69*v - 35*v = -49*v - 238920. Does 6 divide v?
True
Let h(x) = 4*x**2 - 29*x + 111. Does 5 divide h(3)?
True
Let z(t) = -25*t + t**2 + 17 + 49*t - 2*t**2 - 27*t. Let y be z(11). Let k = -25 - y. Is 8 a factor of k?
True
Let x be -25*(8/(-12))/(40/12). Suppose -5*n - x*z = -695, 689 = 7*n - 2*n - z. Does 6 divide n?
True
Suppose 10*p - 11*p = -892. Suppose -i + 446 = -2*u, 2*i = u - 4*u + p. Does 23 divide i?
False
Let g = -9824 - -9966. Does 71 divide g?
True
Suppose 3*m + 3*p = m + 1, 5*p - 1 = -3*m. Suppose -b + 715 = m*j, 3547 = 28*b - 23*b - 4*j. Does 19 divide b?
False
Let x(u) = -4*u**2 - u**3 - 2*u**2 + 3*u + 5*u**2 + 90 + 0*u**2. Is x(0) a multiple of 45?
True
Let l(g) = -1599*g - 4613. Is l(-5) a multiple of 11?
False
Let q be (65 - 64)/((6/140)/3). Let g = -70 + q. Suppose g = -6*p + p + 1865. Is 41 a factor of p?
False
Let m(b) = -25*b - 54. Let h be m(-18). Let i = h - 357. Is i a multiple of 2?
False
Suppose 0 = -6*t + 21178 + 12998. Is 89 a factor of t?
True
Suppose -2*m - 60 = -5*c, 4*c - 61 = 3*m + 15. Let o(j) = 3*j**2 + 58*j + 7. Does 9 divide o(m)?
False
Let i = 115 + -108. Suppose -3*r - 16 = -i*r. Suppose 0 = -r*b + 2*b + 280. Is 27 a factor of b?
False
Let l = 2433 + 82. Is 15 a factor of l?
False
Let b(a) = a**3 + 23*a**2 + 114*a + 32. Let z be b(-16). Let w(o) be the first derivative of o**3/3 + 5*o**2/2 + 240*o - 2. Is 24 a factor of w(z)?
True
Let z = -431 + -1327. Let t = z + 2511. Is t a multiple of 12?
False
Let m = -4453 + 16021. Is 241 a factor of m?
True
Is 13 a factor of ((-270)/(-75))/((-20)/(-55750))?
False
Let i be 1/4 + (-55)/(-20). Suppose 0 = a - i*a. Suppose a = -4*v + 10*v - 666. Is v a multiple of 18?
False
Let k(g) be the first derivative of -g**3/3 + 27*g**2/2 - 54*g + 18. Is 11 a factor of k(15)?
False
Suppose 0 = -26*k + 30*k + 48. Is (-1 + 3)*(-78)/k a multiple of 13?
True
Suppose -5*l - 3*b = -62, 3*b = 4*l + 3 - 31. Suppose -2*c - 5*r + 1809 = 0, l*c = 6*c + r + 3563. Does 22 divide c?
False
Let v be ((-3)/2)/((-30)/170)*2. Suppose v*m = 3*m + 406. Does 8 divide m?
False
Let d(j) = -49*j + 2080. Is 15 a factor of d(6)?
False
Let s(y) be the first derivative of y**6/180 + y**5/30 - y**4/2 - 22*y**3/3 - 19. Let w(p) be the third derivative of s(p). Is w(5) a multiple of 23?
False
Is 9 a factor of (-3 - 1484/(-476)) + (-169913)/(-17)?
False
Suppose 0 = -n - 3, 7*v + 5*n - 16485 = 3*v. Suppose 0 = -10*l + 21*l - v. Is l a multiple of 10?
False
Let a(x) = 34*x + 104. Is 4 a factor of a(54)?
True
Suppose 2 = 4*h + 2*r, 2 - 22 = -5*h + r. Suppose 9*l + 2258 = 14*l - h*q, -l = -q - 450. Is l a multiple of 18?
False
Suppose -4*h - 110 = 18*h. Is 17 a factor of (-6 - 1 - h)*(-87 + 2)?
True
Let j(r) = 66*r + 199. Let y be j(-3). Is (28 - (-30)/(-6))/y a multiple of 3?
False
Suppose 4*u = -4*l + 35768, 41*u - 17896 = -2*l + 42*u. Is 26 a factor of l?
False
Let q = 9211 - 7429. Is 26 a factor of q?
False
Let h = 2067 - 3340. Let c = -670 - h. Is 34 a factor of c?
False
Let o(k) = 63*k**2 - 78*k + 27. Is o(13) a multiple of 84?
True
Suppose 5*n + 176421 - 10191 = 7*a, -5*n + 71270 = 3*a. Does 18 divide a?
False
Suppose 16747*a - 259548 = 16735*a. Is 10 a factor of a?
False
Let m(x) = -13*x**2 + x + 2. Let u(n) = n**2 + n + 1. Let j(v) = -m(v) - 2*u(v). Let q be 649/209 + (-4)/38. Does 29 divide j(q)?
False
Let d be 12/66 - (6/(-11))/(-3). Let m be 0 - (d + -24 - (1 - 1)). Is 4/((28/m + -1)*3) a multiple of 2?
True
Is 15 a factor of 195/52*-335*-4?
True
Let o = 40205 - 33432. Is o a multiple of 10?
False
Suppose -24*q - 121258 = -67*q + 90603. Does 16 divide q?
False
Let y(o) = o**2 - 11*o + 31. Let i be y(4). Suppose q - 484 = -i*d, 0 = -2*d - 5*q + 60 + 267. Does 7 divide d?
True
Let m be (-2 + -2)*2*6/(-12). Suppose 4*x + 3*k - 1613 = 0, 3*x + 4*k = m*x - 389. Is x a multiple of 13?
False
Suppose 40 = 4*i - 2*i + 3*o, o = 4*i - 80. Suppose 0 = -5*n - 0*n + i. Suppose -45 = -n*v - v. Does 4 divide v?
False
Is (22/6 - 12/(-36))/((-8)/(-6176)) a multiple of 15?
False
Is (3/(-18) + (-14)/24)/(15/(-194440)) a multiple of 267?
False
Let k(q) = -12*q + 22. Let j be k(14). Let g = 307 + j. Is 23 a factor of g?
True
Suppose 0 = 5*d - 237 + 67. Suppose -3*i + y + 23 = 0, 0 = 4*i - 0*y - 3*y - d. Let q = 11 + i. Does 17 divide q?
False
Let f be 1 - -46 - 0/(25/5). Suppose 37*n + 350 = f*n. Is n a multiple of 7?
True
Let y = 3947 + -2347. Suppose 0 = 3*l - 0*c - 5*c - y, -2152 = -4*l + 2*c. Does 36 divide l?
True
Let v(a) = -a**3 + 18*a**2 - 29*a + 33. Let p be v(15). Is 13 a factor of p/(((-9)/(-27))/(1/3))?
True
Let m be 8/(-3)*(-17)/((-204)/(-36)). Suppose -m*g + 101 = -635. Is 23 a factor of g?
True
Does 6 divide ((-18)/(-5))/((-51)/(-10285))?
True
Let h = 2789 + -4443. Let s = -1180 - h. Is s a multiple of 20?
False
Suppose 5*k + 5*n = 3880, 3*k + n - 2786 = -458. Let f = k +