-5)/(6/s) a multiple of 18?
False
Suppose 4*c - 6452 = 8302 + 3678. Is 5 a factor of c?
False
Suppose -3*c + 24376 + 24218 = 0. Is c a multiple of 14?
True
Suppose -3*j = -5*p - 9763, 0 = 2*p - 3*p - 4*j - 1948. Let x = -722 - p. Suppose 0 = 5*w, -5*o = 3*w - 2*w - x. Is 17 a factor of o?
False
Let u be ((-5)/1 - -3 - -1)*31. Let w = u - -35. Suppose -239 - 121 = -w*a. Does 15 divide a?
True
Let v(g) = 84*g - 72. Does 4 divide v(9)?
True
Let v(c) = -53*c - 15. Let r be v(-2). Let d = r - 90. Let q = 39 + d. Does 3 divide q?
False
Let k(j) = 159*j + 8479. Does 4 divide k(-33)?
True
Let u(x) = -2*x**3 - 5*x**2 - 22*x - 59. Let q be u(-7). Suppose 539*i = q*i + 729. Does 2 divide i?
False
Suppose -4*g = -u - 3, 0 = 3*g - u + 4*u - 6. Let o be (-6)/9 + g/3*8. Suppose -6 = -o*z - 0*z, -3*c + 666 = z. Is c a multiple of 48?
False
Suppose 23433 = 3*b + 3*a + 6537, 3*b - a = 16872. Is 9 a factor of b?
False
Suppose 0 = -93*h + 13*h + 2753920. Does 104 divide h?
True
Suppose -49*d - 36*d - 570 = -70*d. Let k be (-3)/(-2 - 434/(-218)). Let b = k + d. Does 45 divide b?
False
Let h be 1 + -3 + 6 - (-6 + 3). Suppose -2074 = h*r - 5469. Suppose -2*k - 3*w + 118 = 0, -5*k - 2*w + r = 190. Is k a multiple of 28?
False
Let y(x) = -x**3 - 13*x**2 - 7*x - 19. Let c be (21/6)/((-14)/56). Is y(c) a multiple of 15?
False
Suppose 0 = -o + 5 - 3. Suppose -l = r + r - 9, -o*l = 2*r - 26. Let y = l - -69. Is y a multiple of 43?
True
Suppose 0 = -11*x - 2786 - 1790. Let d = x + 1079. Does 17 divide d?
True
Suppose 13*a - 1116 = 886. Let h be (-942)/(-14) + (-44)/a. Let n = h - 19. Is 16 a factor of n?
True
Let x = -127 + 223. Let w = x + -96. Does 9 divide (-87)/(-5) + w + (-18)/(-30)?
True
Suppose -3*x + 1276 = -2*z - x, 5*x = -2*z - 1311. Let k = z - -1070. Does 7 divide k?
True
Suppose 48*f + 101322 = 107*f - 46*f. Is 12 a factor of f?
False
Let s = 102 - 210. Let n be ((-3472)/(-336))/(1/15). Let t = s + n. Does 8 divide t?
False
Let h be (-244)/10 + (-108)/180. Suppose -3*d - k - 42 = -11, 5*d + 48 = 2*k. Let w = d - h. Is w a multiple of 5?
True
Let t be 890/6 - 6/18. Let r = t + 233. Is 21 a factor of r?
False
Let q(a) be the third derivative of a**8/2016 + a**7/840 - a**6/72 - 3*a**5/20 + 27*a**2. Let g(l) be the third derivative of q(l). Is g(-4) a multiple of 14?
True
Let u(m) = 17*m**2 + 6*m - 210. Does 15 divide u(12)?
True
Let s = -1477 + 2369. Suppose 2*y = 5*d - 108 + s, -5*d = -y + 382. Is 15 a factor of y?
False
Let o be (7/(-2) + 2)/((-12)/3328). Let z = 186 - o. Does 15 divide (z/(-4))/((-8)/(-16))?
False
Let n be (66/9 + -2)/((-8)/(-12)). Suppose -n = -9*h + 10. Suppose -c + h*c - 75 = 0. Does 15 divide c?
True
Suppose 0 = 104*w - 86*w + 18. Let p(h) = -61*h**3 - h**2 + 3*h + 2. Is 7 a factor of p(w)?
False
Suppose -2*h = -u + 998, -659 - 4311 = -5*u + 5*h. Does 11 divide u?
True
Let j(n) = -n**2 + 9. Suppose -10 + 2 = -2*p. Let q be j(p). Let m = 11 + q. Is 4 a factor of m?
True
Let p(a) = -a**3 + 82*a**2 + 4*a + 477. Is p(82) a multiple of 2?
False
Suppose 205 + 275 = -3*u. Let w = 125 - u. Is w a multiple of 15?
True
Suppose 3*f + 0*o - 4*o - 36 = 0, -2*f = -2*o - 26. Let z(r) = -r + 20. Let v be z(f). Suppose 3*q + 1 = -4*p + 74, -v*q = -p + 42. Does 22 divide p?
True
Suppose -2*u + 66 = -2*d - 36, -4*u - d = -209. Let l be (-5)/(5/u) + 0. Is (-39)/l*156/1 a multiple of 14?
False
Let v(s) = s**2 - 11*s + 22. Let d be v(9). Suppose c - 55 = d*n, -n + 36 = c + 1. Is c a multiple of 13?
True
Let j = -47362 - -68026. Does 76 divide j?
False
Let d(h) be the third derivative of -1/24*h**6 - 1/6*h**3 - 10*h**2 + 0 + 0*h**4 + 0*h**5 + 0*h. Does 2 divide d(-1)?
True
Suppose -5*s + 6*b - 2*b = -18, 14 = 2*s - 5*b. Suppose 0 = 4*t + 3*a - 131, t - 4 = -s*a + 25. Is t + -1 + (-2 - -3) a multiple of 35?
True
Does 96 divide 12 - (-3867 - (11 + -11))?
False
Suppose 3*x + 1 - 16 = 0. Suppose x*w = -4*m + 8, 6 = 4*w + m - 7. Suppose w*f - 37 = f + 2*q, 4*f - 72 = -3*q. Does 7 divide f?
False
Let v(f) = f**3 + 3*f**2 + 4*f + 16. Let i(y) = -y**2 + 24*y - 57. Let w be i(21). Is 38 a factor of v(w)?
False
Let n = -22988 - -34944. Does 14 divide n?
True
Is ((-2)/10)/((-168)/(-60) + -3)*17898 a multiple of 132?
False
Does 4 divide 5/((-6)/((-135486)/65))?
False
Let d(c) = -18*c - 2. Suppose 0*f = 3*f + 222. Let v = 73 + f. Does 2 divide d(v)?
True
Let y(d) = d**2 + 5. Let o be y(11). Suppose -7*s + 13*s = o. Does 30 divide 180/s*1*7?
True
Does 106 divide (-5 + (-6)/(-84)*-2)/(42/(-269108))?
False
Let u(l) = 2*l - 11. Let w be u(17). Suppose -d + 10 = 2*k + 2*k, -3*k + 8 = d. Suppose d*t - 53 = w. Does 11 divide t?
False
Let m(x) = -25 - 6*x + 11 + 4 + 12. Let g = 8 - 15. Is 34 a factor of m(g)?
False
Suppose 4*n + 570 = 14*n. Let u = 114 - n. Suppose -10*c = -1587 + u. Is c a multiple of 28?
False
Suppose f = 3*m - m + 44, 80 = -4*m + 4*f. Is m/(-42) - (-7295)/35 a multiple of 8?
False
Let l(b) = -2*b**3 + 168*b**2 + 5*b - 192. Does 38 divide l(84)?
True
Let w = -5 + 29. Suppose 5*d - w = 9*d. Is -1*((-4)/d + (-1720)/24) a multiple of 46?
False
Let z be (-326)/(((-6)/(-9))/((-2)/(-6))). Let m = z - -185. Does 4 divide m?
False
Let p be 13/(91/28) - (-1 - -1). Let x be (13/3 - p)*(20 - 2). Suppose x*s - 639 = 399. Is s a multiple of 32?
False
Suppose -12 = -4*w - 4. Suppose h - 25 = -8*z + 3*z, w*h - 30 = -5*z. Suppose 0 = z*k - 235 + 7. Is k a multiple of 19?
True
Suppose 10*k - 2301 = -2291. Let u(g) = 42*g + 4. Let m(l) = -210*l - 21. Let b(i) = 4*m(i) + 21*u(i). Is 42 a factor of b(k)?
True
Is 19 a factor of (-261390)/(-30) - (-9 + 29)?
False
Suppose 3171 = 10*k - 6*k - c, 2*k - 4*c = 1596. Is k a multiple of 12?
True
Let s(v) = v**3 - 3*v**2 - 16*v - 10. Let z be s(6). Let p(d) = -20 + 22*d + 5*d + d**z - 16*d. Is 22 a factor of p(-15)?
False
Let n = 60 + -37. Suppose -27*b + n*b = -848. Suppose -3*u = -y - b, -2*u - 4*y + 77 = -41. Is 12 a factor of u?
False
Let i(m) be the second derivative of m**6/72 - m**5/120 + 5*m**4/6 + 17*m**3/3 + 31*m. Let r(d) be the second derivative of i(d). Is r(5) a multiple of 35?
True
Is 207 a factor of (-1)/((-5)/212173) + (-558)/(-1395)?
True
Let g(s) = 13*s + 180. Let o = -323 - -314. Is 9 a factor of g(o)?
True
Suppose 5 = -3*o - 4, 0 = -g - o + 2223. Is 53 a factor of g?
True
Suppose -18500 = -39*u + 63595 - 2418. Is 52 a factor of u?
False
Let h(s) = -1747*s**3 - s**2 + 20*s + 38. Is 22 a factor of h(-2)?
True
Suppose 3*z - 6 = -3*r, 12 = -5*z - r + 2. Is 5 a factor of (2/z - -1)/((-12)/(-5796))?
False
Let h = -104 - -100. Let j be 38/3*(-6 - 0/h). Let c = j + 193. Does 26 divide c?
False
Let f(t) = 89*t**2 - 90*t + 1072. Is 16 a factor of f(10)?
True
Let a = 14053 - -7049. Is a a multiple of 10?
False
Suppose 5*s = -3*g + 17, 0 = 5*g - 2*s - 6 - 12. Suppose 2*w - 222 = 4*i - 606, g*w = 4*i - 380. Is i a multiple of 10?
False
Suppose 0 = 6*o - 8438 + 1310. Suppose 6*w = w - 3*d + o, -5*w + 1182 = -3*d. Does 79 divide w?
True
Suppose 19*r - 15*r - 36799 = 3*d, 4*r - d = 36813. Is 35 a factor of r?
True
Suppose -24089 = 24*r - 212009. Is 221 a factor of r?
False
Suppose 3*z - 8*z + 710 = 0. Suppose -2*n + z = -48. Suppose -4*o + n = 39. Does 7 divide o?
True
Let i(z) = z + 26. Let v be i(-11). Let s be ((-126)/(-15))/(v/50). Suppose -140 = -4*c + 3*h, -h + s = 5*c - 4*c. Is 32 a factor of c?
True
Suppose -8*s + 15*s = 21. Suppose g - n = 31 - 8, 0 = s*g - 5*n - 67. Is g a multiple of 8?
True
Suppose -2*i + 0*i = -2*b - 5012, -5*b - 10028 = -4*i. Does 52 divide i?
False
Suppose 24 = 22*r - 30*r. Let z(c) be the first derivative of 14*c**3/3 + c**2/2 - 4*c + 4. Is z(r) a multiple of 17?
True
Let b(x) be the second derivative of -2*x**3 - 8*x**2 - 5*x - 2. Suppose -6*l - 23 = 43. Is b(l) a multiple of 46?
False
Let p be (3 - 223/(-4))/((-6)/72). Does 63 divide (-16)/(-10)*p/(-3)?
False
Suppose -45*x = -145768 - 135752. Is 16 a factor of x?
True
Let m(i) = 2263*i**2 + 6*i + 5. Does 74 divide m(3)?
False
Let q(b) = -b**2 + 6*b + 5. Let a be q(6). Suppose 0*t - 103 = a*x - 2*t, 2*x = -3*t - 45. Is 12 a factor of 1*(0 - 2 - x)?
False
Let q = 1890 + -971. Suppose 11*x + q - 6683 = 0. Is x a multiple of 78?
False
Suppose 6*d = 13*d - 1127. Suppose 4*y - 7 = 13. Suppose -y*b + d = 2*b. Does 10 divide b?
False
Let v(k) = -44*k + 9. L