- 155, -5*g + 2*h + 763 = 0. Let f(p) = 2*p - 17. Let c be f(13). Suppose -c*k + g = -461. Is k a multiple of 6?
False
Suppose 5*q - q - r - 2 = 0, -2*r + 4 = 0. Let d be 291*q*(0 - -3)/(-3). Is (d/(-12))/((-8)/(-32)) a multiple of 28?
False
Let m = 107 - 102. Suppose 1794 = 3*c + m*t, -5*c + 1794 = -2*c + t. Does 13 divide c?
True
Let l(a) = -2*a**2 - 244*a + 189. Does 27 divide l(-68)?
True
Suppose -701359 = -144*w - 686890 + 1471467. Is w a multiple of 11?
False
Let r(d) = -3537*d - 891. Does 48 divide r(-11)?
True
Let h = 299 - 299. Is 3 a factor of 33 + 24 + (-1 - h/2)?
False
Suppose -5*o + 31 = -4*n, -3*o - 19 = -8*o + n. Suppose -113 = -4*d + 5*w, 151 = 6*d - d - o*w. Is 6 a factor of d?
False
Let d = -46 - -48. Let s(n) = -n**d - 705*n + n**3 + 705*n + 10. Is 25 a factor of s(5)?
False
Suppose -3*m + 2200 = -1346. Let d = m - 292. Does 10 divide d?
True
Suppose -201 = -3*m - 1140. Let d = -33 - m. Is 14 a factor of d?
True
Let k be 45 + ((-1)/(-2))/((-6)/(-24)). Does 10 divide k - (3 - (-6 + 6))?
False
Suppose 2544 = 24*f - 26*f. Does 2 divide -9 - 1/(8/f)?
True
Suppose 5*c + 163*o = 167*o + 11020, -5*c - 4*o = -11060. Does 37 divide c?
False
Suppose 3*a - p - 131 = 0, 2*p = 2*a - 36 - 58. Suppose 0 = -2*j + 6, -27*j = -2*b - 29*j + 170. Let u = b - a. Is 4 a factor of u?
True
Suppose -5*z = 42*g - 38*g + 464, 0 = 5*z - 4*g + 496. Let a = z - -233. Does 3 divide a?
False
Suppose -65*k - 35*k + 1155065 = 7*k. Does 39 divide k?
False
Let x(n) = -n**3 + 15*n**2 - 20*n + 5. Suppose -q = -4*q + 36. Let h be x(q). Suppose -3*l = 5*y - 155, -y - 2 = -4*l + h. Does 12 divide l?
False
Suppose 18*o = 434 - 1568. Is 13 a factor of (0 - -1038)*(-21)/o?
False
Let y = -130 - -133. Suppose 0 = 5*a - y*a - 4. Is 19 a factor of (((-288)/(-27))/a)/((-4)/(-210))?
False
Let b(g) = -4*g**3 + 3*g**2 - 7*g - 10. Suppose -29*c + 15 - 131 = 0. Is b(c) a multiple of 46?
True
Let d(l) = l**3 - 2*l**2 + 4*l - 5. Let m be d(2). Let y(v) = -v + 6. Let g be y(m). Suppose 5*t + 5*b = 155, -g*t + 21 = b - 70. Does 3 divide t?
True
Suppose 5*x + 3*p - 22260 = 0, 10032 = 4*x - 2*p - 7776. Is 28 a factor of x?
True
Let f(n) = n**3 - 20*n**2 + 49*n + 17. Let h(i) = -3*i**3 + 61*i**2 - 147*i - 49. Let u(w) = -17*f(w) - 6*h(w). Is 18 a factor of u(25)?
False
Suppose 4*c = -2*n + 6*n + 12, -3*n = -c - 1. Let l(q) = 6*q**3 - q**2 - 6*q - 11. Is l(c) a multiple of 76?
True
Does 3 divide (-9*11)/((47/(-7144))/(1/3))?
True
Let x(h) = 7*h**3 - 25*h**2 + 103*h - 105. Does 8 divide x(15)?
True
Let j(g) = -2*g**3 - 2*g**2 - 2*g. Suppose -73*s + 77*s = 20. Suppose -3*h + 3 = 3*c, 2*h + 2 = -s*c - 8. Is 13 a factor of j(c)?
True
Suppose -b = 2*v - 6319, -4*b + 3*v = -15016 - 10260. Does 42 divide b?
False
Suppose -42645 = -5*m - 407*j + 404*j, 3*m - 25553 = 5*j. Does 19 divide m?
False
Suppose 68 = 15*u + 23. Suppose 0 = 5*o + 5*v - 5000, -5*v = u*o - 2*o - 1008. Does 22 divide o?
False
Let b be (-6)/(-27) - 223/(-9). Let k(u) = u**2 - 17*u - 69. Does 8 divide k(b)?
False
Let z = 233 + -111. Does 10 divide 4 + z + (-6)/1?
True
Let i(r) be the third derivative of -103*r**4/12 + 155*r**3/6 + 124*r**2. Is i(-6) a multiple of 15?
False
Suppose 20*v - 46911 - 316689 = 0. Is v a multiple of 90?
True
Let n(d) = d + 1. Let w(l) = 12*l**2 + 17*l + 13. Let v(j) = -6*n(j) + w(j). Is v(-7) a multiple of 14?
True
Suppose m = -3*n + 120, 4*n = -m + 5*n + 140. Suppose -4*o = 3*p - 1495, -o - 4*p = -229 - m. Is 7 a factor of o?
False
Let z be ((-24)/(0 + 2))/(-1). Suppose 0*v + 5*v - 4*p - 684 = 0, 720 = 5*v + 5*p. Suppose 5*j - z*j + v = 0. Does 5 divide j?
True
Suppose 8*y + 357390 = 65*y. Does 6 divide y?
True
Suppose 0 = -9*o - 1 - 8. Does 22 divide (o - 76)*3*24/(-14)?
True
Let t(m) = -5*m**3 + 52*m**2 + 59*m + 111. Let u(x) = x**3 - 13*x**2 - 15*x - 28. Let k(i) = 2*t(i) + 9*u(i). Let w be -94*14/112 + (-1)/4. Does 20 divide k(w)?
False
Let b be 72*(-2 - (-33)/12). Let g = b - 29. Suppose -4*l + g + 47 = 0. Is 6 a factor of l?
True
Suppose 16*u = -34*u + 124800. Is 6 a factor of u?
True
Let z(r) = -3*r - 11. Let h(d) = d + 4. Let c(n) = 8*h(n) + 3*z(n). Let a be c(-5). Suppose 2*i + i + 606 = 5*x, -4*i = -a*x + 488. Is 30 a factor of x?
True
Let l(x) = 42*x**2 - 7*x - 10. Let r be l(-6). Suppose 15*v + r - 6959 = 0. Is v a multiple of 19?
True
Is 26 a factor of (-16)/((-29)/(442221/34))?
True
Suppose 0 = -154*j + 193*j - 18876. Does 22 divide j?
True
Suppose 0 = 4*i + 2*p - 13658, -105*i + 3410 = -104*i + 2*p. Is i a multiple of 8?
True
Let y(d) be the third derivative of -7*d**4/8 - 57*d**3 - 23*d**2. Is y(-20) a multiple of 13?
True
Let y(x) = -x**3 - 22*x**2 - 134*x - 8. Is 5 a factor of y(-24)?
True
Suppose 21*q = 23*q - 34. Suppose -3*w + q = -1. Is 726/36 - -4 - 1/w a multiple of 8?
True
Let z(a) = -a**2 + 9. Let d be z(0). Suppose 955 = d*s + 244. Let n = s + -36. Is 8 a factor of n?
False
Let u(s) be the first derivative of s**5/4 + s**4/4 - s**3/3 + 2*s**2 + 32*s + 12. Let l(y) be the first derivative of u(y). Is l(3) a multiple of 36?
False
Let b = -2912 + 4144. Is 7 a factor of b?
True
Let l = 413 - 114. Let a = l + -196. Is a a multiple of 15?
False
Let b be (56/35 + -2)*5*-20. Is (-215)/b*-2*4 a multiple of 9?
False
Let j(f) = -239*f - 10 + 35 - 17. Does 19 divide j(-1)?
True
Is 40736/(-12)*(-270)/120 a multiple of 128?
False
Let j be 1 + -2 + 3 + 1. Suppose -5*a + 692 = 2*i - 50, 441 = j*a - 3*i. Is a even?
True
Let k be ((-4)/6*1)/(10/(-60)). Let r(w) = w**3 - 3*w**2 - 2*w - 12. Let s be r(k). Does 4 divide s*1224/(-128) + (-2)/8?
False
Let z be (5/1*(-972)/(-10))/1. Suppose -4*l + 346 + z = 0. Is l a multiple of 26?
True
Let k(t) = 1309*t**2 + 11*t + 10. Let b be k(-1). Suppose -b = -14*j + 8*j. Is j a multiple of 11?
False
Let w(g) = -72*g**3 + 4*g**2 + 22*g + 70. Is w(-4) a multiple of 4?
False
Let t(g) = -2*g**3 + 4*g**2 + g - 123. Is 30 a factor of t(-10)?
False
Let d(s) = 1638*s**2 - 9*s - 18. Let l(r) = -546*r**2 + 3*r + 5. Let c(y) = -2*d(y) - 7*l(y). Does 24 divide c(-1)?
False
Does 26 divide 58/4*3*4628/267?
True
Let r = 1496 - 782. Suppose 8*i = r + 4182. Is 7 a factor of i?
False
Let h(r) = -46. Let q(z) = z. Let u(y) = h(y) + 8*q(y). Suppose 610 = -556*t + 644*t - 622. Is u(t) a multiple of 11?
True
Suppose -518 = -18*r - 50. Let q = -78 - -124. Suppose q + r = t. Is t a multiple of 17?
False
Let c(l) = 21*l**2 - 86*l + 296. Is 17 a factor of c(-29)?
True
Let i(l) = -3*l**3 + 5*l**2 + 3*l + 1. Let h(p) = -4*p**3 + 6*p**2 + 3*p + 2. Let g(r) = 2*h(r) - 3*i(r). Let n be g(6). Let y = 315 - n. Is 16 a factor of y?
True
Let i(u) = 99*u**2 + 76*u**2 + 6*u + 0 + 1. Is i(1) a multiple of 27?
False
Let a be -2 - -3 - (-60 - -2). Let w = a - -351. Is 41 a factor of w?
True
Let w(v) = -8*v + 63. Let x be w(15). Let p = 55 + x. Is (-33)/1*(-5 + p + 6) a multiple of 33?
True
Suppose -16*a = -13*a - 2610. Suppose -89*b + 95*b = a. Is b a multiple of 5?
True
Does 32 divide ((-18)/15 - 280/(-150))*24768?
True
Let q be (188/6)/(5 - (-146)/(-30)). Suppose -9*w + q = -4*w. Is 7 a factor of w?
False
Let u = 198 - 115. Let c = u + 79. Does 54 divide c?
True
Let j = 122 + -93. Suppose -j*h = -22498 - 12824. Is h a multiple of 42?
True
Let p(a) = -7*a + 3*a**2 + 37 - 40 + 3*a. Let x be p(-5). Let z = -26 + x. Is z a multiple of 33?
True
Let l be 9/12 - (-26)/8. Suppose 5*u - 72 = l*o, 2*o + 27 = u - 3*o. Is 4 a factor of u?
True
Let z(c) = 2*c**2 + 32*c + 15. Let w be z(-15). Let f be -194*(w/(-6) - 2). Let h = f - -142. Is h a multiple of 4?
False
Is 17 a factor of 5864 + 56/112*(0 + -1 + 3)?
True
Suppose 15*j = 20*j + y - 31429, 6284 = j + 2*y. Is j a multiple of 14?
True
Let o be (-4)/6 + 4*(-580)/(-24). Suppose 3*s + o = 546. Is 25 a factor of s?
True
Suppose -3*y = -63 + 21. Suppose q = 3*q + y. Let g = 11 - q. Is 6 a factor of g?
True
Suppose 0 = 4*m + 212 + 1240. Let b = -221 - m. Let u = 202 - b. Is 5 a factor of u?
True
Let m(a) = 49 - 120 - 2*a**2 + 35*a + a**2. Does 8 divide m(28)?
False
Suppose 0 = -3*b - 4*z + 32738, -3293*z = -4*b - 3289*z + 43688. Is 55 a factor of b?
False
Suppose 4*c - 5*z + 330 = 0, 4*c - 51*z = -48*z - 334. Let x(h) = -4*h**3 + 3*h**2 + 3*h - 3. Let u be x(-3). Let r = c + u. Is 9 a factor of r?
False
Let j = 2767 - -155. Suppose 2*b - 5317 = -5*u 