ppose 3*w - 20 = -3*p - w, u*p - 2*w = 26. Is 6 a factor of p?
False
Suppose 6*h - 13*h = -14. Suppose -f + 0*f + h = 0, f = -p + 314. Does 26 divide p?
True
Suppose -6*o - 2*o = -152. Let s = o - 13. Is 3 a factor of s?
True
Let w(t) = 1 - 2*t + t**2 - 2 - t. Let l be w(4). Let d(i) = 3*i**3 + i**2 - 4*i - 2. Is d(l) a multiple of 15?
False
Let m = -502 + 1024. Is 9 a factor of m?
True
Let f(u) = -u**2 + 5*u - 16. Let j be f(-9). Does 27 divide 1/(-2) - j/4?
False
Suppose -5 - 5 = 2*v. Is 8 a factor of (v/4)/(3/(-60))?
False
Let x = 1286 - 1123. Is x a multiple of 6?
False
Suppose -n - 2 + 6 = 0. Let k(r) = -n + 68*r**2 + 3 - 2*r - 22*r**2. Is k(-1) a multiple of 14?
False
Let f = 1109 + -739. Does 10 divide f?
True
Let q = 61 + -59. Suppose -q*i + 16 = -0*i. Is i a multiple of 3?
False
Suppose 20 = 3*u - 8*u. Let z(v) = v**3 + 3*v**2 - 6*v - 6. Let r be z(u). Is 26 + 1 - r - 1 a multiple of 12?
True
Let o = -3 - -5. Suppose -5*r + o*u + 19 = -0*r, -2*r = -3*u - 1. Suppose -5*v = -r*c - 165, 3*v + 2*v - 4*c = 163. Does 6 divide v?
False
Suppose q + 1731 = -21*x + 24*x, 3*x - 2*q = 1731. Is 51 a factor of x?
False
Let d = 412 - 702. Let b = -154 - d. Is 34 a factor of b?
True
Let c(d) = -17*d**2 + 67*d + 99. Let h(j) = 4*j**2 - 17*j - 25. Let a(g) = 2*c(g) + 9*h(g). Does 11 divide a(14)?
True
Suppose -4 = -2*h - 3*f, -5*h + 3*f = -0*h + 32. Does 6 divide (h/6)/((-4)/108)?
True
Suppose -6*n = 100 + 188. Let w = n + 68. Is 7 a factor of w?
False
Let s = 9 + 13. Suppose -19*d - 612 = -s*d. Does 22 divide d?
False
Let a(f) = -14*f + 2. Does 4 divide a(-5)?
True
Let c = -13 + 15. Suppose -2*u - 4*r + 198 = 0, c*r + 87 = 2*u - u. Does 24 divide u?
False
Suppose -2*w = -5*w. Suppose 2*c + 3*k + 66 = w, -2*c - 5*k - 132 = 2*c. Is (-8)/(-20) + c/(-5) a multiple of 5?
False
Let g = 216 - 126. Is 10 a factor of g?
True
Let g(s) = 68*s + 224. Is 38 a factor of g(7)?
False
Let m = 21 + 21. Let y = m - 21. Is 11 a factor of y?
False
Let d(q) = -3*q + 29*q**3 + 0 - 35*q**3 - 4 - q**2. Let j be d(3). Let p = -97 - j. Is p a multiple of 29?
True
Let z be 14*(42/(-4))/(-7). Let k be -9*(-2)/(-1 - -7). Suppose k*h = 2*g + 105, h - 27 = 5*g + z. Does 11 divide h?
True
Is ((-6)/(36/102))/(3/(-81)) a multiple of 17?
True
Let p(x) = x**3 - 3*x**2 + 6*x - 2. Let r be p(3). Let c(g) = g**2 + 7*g + 7 - 21*g + 0*g**2 - 3. Is c(r) a multiple of 16?
False
Let m(h) = h**2 - 4*h + 2. Let b be m(7). Suppose 0 = -c + 9 + b. Is 27 a factor of c?
False
Let m(q) = q**3 + 6*q**2 - 8*q - 7. Let j(l) = -l**3 - 7*l**2 - 7. Let f be j(-7). Let h be m(f). Let d(k) = -k + 13. Is 11 a factor of d(h)?
False
Let k(j) = 2*j**3 + 4*j**2 - 12*j - 6. Is 6 a factor of k(6)?
True
Let v = 81 - -209. Suppose -a = -6*a + v. Does 24 divide a?
False
Let v(s) = 3*s**2 + 6*s + 40. Does 12 divide v(7)?
False
Suppose -2*b + 14 + 12 = 0. Suppose 1070 = b*k + 173. Is k a multiple of 23?
True
Let i(b) = -149*b - 10. Is i(-3) a multiple of 19?
True
Let b = -14 + 29. Suppose -8*w + 13 + 51 = 0. Suppose -5*l = -w*l + b. Does 5 divide l?
True
Let q = 61 + -62. Is 9 a factor of q/(-2) - (807/(-6))/1?
True
Suppose 0 = -4*h + 2064 + 1308. Does 13 divide h?
False
Suppose -s + 0*j + 17 = -3*j, 5*s - 31 = -3*j. Let n be (s/(-28))/(3/(-21)). Suppose -4*v = -0*o - 2*o - 10, -v = n*o. Does 2 divide v?
True
Let l(k) = k**3 + 2*k**2 + 7*k + 1. Suppose -33 = -6*g - 9. Does 21 divide l(g)?
False
Let i(v) = -v**2 - v + 33. Let l(u) = -u**3 + 2*u**2 + u - 2. Let y be l(2). Is 11 a factor of i(y)?
True
Suppose 0 = 3*b + b - 48. Does 2 divide (b/(-16))/((-6)/16)?
True
Suppose 7*f - f = 24. Suppose -2*u - 8 = -0*u + f*d, -5*d - 20 = 0. Suppose u*v + 2*g = 6*v - 80, -5*v + g + 208 = 0. Is 10 a factor of v?
False
Suppose 885 = 12*s - 7575. Is 15 a factor of s?
True
Let n = 12 - 12. Suppose n = b + 4*b - 290. Is b a multiple of 20?
False
Suppose 0 = 2*l - 8, 4*r - 68 = -0*r - 3*l. Suppose r*f = f + 143. Is f a multiple of 3?
False
Is ((-18)/4)/(42/(-17724)) a multiple of 24?
False
Suppose 20 = 2*j - 2*h, -j - 4*h + 7 = -13. Let f = -9 + j. Suppose -f*i + 0*i + 117 = 0. Does 13 divide i?
True
Suppose -r - 4*r + 5 = -2*c, -17 = -4*r - c. Suppose -r*i + 0*i = -423. Does 16 divide i?
False
Suppose -2*r = -4*r + 32. Suppose -t - r = -5*n, 3*n + 0 = 2*t - 3. Is 4 a factor of t?
False
Let o(z) = -6*z**2 - 13*z - 2. Let m(p) = 7*p**2 + 14*p + 1. Let g = -21 - -16. Let i(q) = g*o(q) - 4*m(q). Does 19 divide i(-9)?
False
Let h = -509 - -1094. Does 39 divide h?
True
Suppose 0 = 2*a - 16 - 0. Let g(l) = -l**2 + 9*l - 4. Let j be g(a). Suppose 0 = -0*d + 2*d + j*q - 88, -3*d - 2*q = -148. Is d a multiple of 13?
True
Let b(t) = -4*t**3 - t**2 + 16*t - 5. Let g(r) = 7*r**3 + 3*r**2 - 31*r + 9. Let x(c) = 5*b(c) + 3*g(c). Is x(-6) a multiple of 8?
True
Let i(s) = -2*s**2 - 16*s + 7. Let a be i(-8). Let m = -19 + a. Does 20 divide (-2 - 40/m)*15?
True
Let l(s) = 6*s**2 - s + 5. Is 2 a factor of l(-4)?
False
Let y(w) = -4*w + 8. Let s be y(-1). Suppose -4*x - s = 0, 0*h + 2*x = -h + 201. Does 8 divide h?
False
Let t(b) = b**2 - 12*b - 2. Let k be 132/10 + 2/(-10). Let w be t(k). Let f = 19 + w. Does 8 divide f?
False
Let m(w) = 4*w + w - w**2 + 2*w + 0*w**2 - 3. Let o be m(7). Let s = o + 20. Is 7 a factor of s?
False
Suppose 4*j + 298 = b, -4*b = b - j - 1490. Suppose 0 = z + 5*k - b, -292 = -z - 0*z - 3*k. Is z a multiple of 11?
False
Let l(z) = -29*z**2 + 7*z + 33*z**2 - 3*z. Is 20 a factor of l(-6)?
True
Suppose 3*m + 220 = -m. Let u = -52 + 19. Let y = u - m. Does 9 divide y?
False
Let m be (3/(-2))/((-3)/8). Suppose 0 = -m*g + 3*x + 590, 732 = -0*g + 5*g - x. Suppose 5*v = -21 + g. Does 13 divide v?
False
Is 24 a factor of 10*(-9)/(-30)*104?
True
Let o = 15 - -20. Let g = o + -31. Is 60 + g/(-4) - 4 a multiple of 8?
False
Let v = -671 + 428. Let j = v - -346. Is 10 a factor of j?
False
Suppose -32*j - 2*i - 30 = -35*j, -3*i = 2*j - 33. Does 9 divide j?
False
Let i be (2946/(-4))/(-1)*52/39. Suppose 3*v + 2*v - i = t, -792 = -4*v + 4*t. Does 33 divide v?
False
Suppose 0 = 5*w - 16 + 46. Is (4/w)/((-4)/270) a multiple of 13?
False
Suppose 5*r - 4*i = 439, i + 353 = 4*r - 4*i. Let c = r - 39. Does 5 divide c?
False
Let g = 39 - 67. Does 20 divide (1 - 9)/(g/210)?
True
Let n(y) = 5*y**2 + 13*y - 10. Is 26 a factor of n(11)?
False
Let r = 28 - 5. Suppose 5*f + r = t - 17, 5*f = 0. Does 8 divide t?
True
Let h = -1048 - -1697. Does 19 divide 1/3 - h/(-33)?
False
Suppose 10*x = 1796 - 196. Is x even?
True
Is 15 a factor of (12/20)/(11/1650)?
True
Let w be (-2)/(-4) - (-708)/24. Let v = w - 20. Let l = v - -1. Is l a multiple of 5?
False
Is (672/120)/((-3)/((-165)/2)) a multiple of 35?
False
Let u(p) = -4*p + 45. Let l be u(-21). Suppose 0 = -4*g - 0*y - y + 541, -g = -y - l. Does 50 divide g?
False
Let b = -65 - -340. Is b a multiple of 37?
False
Suppose -688 = -0*i + 4*i - 2*p, -5*i = 3*p + 838. Let v = -258 - i. Let u = -40 - v. Is 8 a factor of u?
True
Let j be (12/(-4) - -2)*-83. Suppose r - 5*d - 75 = 0, -3*d = -r - 6*d + j. Does 10 divide r?
True
Let t(n) = 10*n**3 - 3*n**2 - 8*n - 15. Is t(4) a multiple of 9?
False
Does 2 divide 58/(-261) + 273/(-54)*-4?
True
Let n = 387 + -270. Is 9 a factor of n?
True
Does 14 divide 559 + (-6)/(-6) - 0?
True
Suppose 18 = -2*g - 2. Let u(c) = -c**2 - 13*c - 1. Let p be u(g). Let d = p - 8. Does 21 divide d?
True
Let d(k) be the first derivative of -k**4/4 + 5*k**3/3 - 4*k - 1. Let w be d(5). Is 15 a factor of (-6)/4 + (-126)/w?
True
Suppose -2*g - 3*c + 24 = 0, -3*g + 5*c + 25 = -2*g. Suppose -g*m = -16*m + 35. Is 35 a factor of m?
True
Let n(r) = -r - 13. Let m be n(-13). Let z(l) = -l**2 + 12*l - 13. Let v be z(9). Does 15 divide ((m - v) + -1)/(-1)?
True
Let j = 630 + -240. Is 26 a factor of j?
True
Let l(m) = -5*m**2 + 2*m**3 + 1 - m**3 - 4*m**3 - 13*m + 2*m**3. Is 26 a factor of l(-6)?
False
Is 42 a factor of (-125)/(-15)*156/10?
False
Suppose -3*m + 36*y = 32*y - 1308, 3*y = m - 436. Is 16 a factor of m?
False
Let i be (-48)/(-9)*(53 - -1). Let u = -54 + i. Suppose -4*k + 86 = -u. Does 16 divide k?
True
Let c = -384 - -517. Does 6 divide c?
False
Let n be ((-116)/5)/((-6)/15). Let g(o) = o**3 + 6*o**2 - 2*o - 9. Let f be g(-6). Suppose 7*v - 4*v = 3*t - 72, -2*t - f*v + n = 0. Is t a multiple of 12