- 9. Suppose -4*f - f = 25, p*x + f = 55. Is x a multiple of 21?
False
Is 5 a factor of -1 + (13 - 0) + 478?
True
Let h = 17939 + -11849. Is h a multiple of 10?
True
Is 16 a factor of 3310/((-40)/12 + 4 - 8/21)?
False
Suppose -3*i - 3*l + 8 = 1127, -3*i - 1134 = -2*l. Let j = i + 663. Does 39 divide j?
False
Let l(x) = 29*x**2 - 26*x - 24. Let t = 391 - 384. Is l(t) a multiple of 23?
False
Suppose -162*y + 32537 = -152*y - 46703. Does 14 divide y?
True
Let p(n) be the third derivative of 13*n**6/360 + 3*n**5/40 + n**4/6 - 16*n**2. Let c(j) be the second derivative of p(j). Does 26 divide c(5)?
False
Does 52 divide (-607614)/21*(1/(-2) - 0) - 3?
False
Let u = -5 - -7. Let y(s) = 2*s**2 + 13*s - 35. Let f be y(-9). Is (u - 3) + f + 8/(-4) a multiple of 3?
False
Does 45 divide 5960/4 - -3 - 344/43?
True
Let u = -317 - -320. Suppose -140 = -u*k - 104. Does 4 divide k?
True
Suppose -10361 + 37604 + 21507 = 5*o. Is 30 a factor of o?
True
Suppose -13*u + 25 = -248. Suppose -14*v + u + 637 = 0. Is v a multiple of 4?
False
Let j(p) be the second derivative of p**4/12 + 5*p**3 + 22*p**2 + 12*p + 2. Does 22 divide j(-30)?
True
Is 17 a factor of 1263435/225 + (-8)/30?
False
Suppose 3*z - w - 130831 = 0, 130834 = 3*z - 0*w - 4*w. Is 89 a factor of z?
True
Suppose -486 = -3*i + 4*r, -4*r + 130 = 16*i - 15*i. Does 87 divide i?
False
Let v(j) = 21*j + 414. Let g be v(-49). Let x = g + 1253. Is x a multiple of 106?
False
Suppose z - t = 18260, -243*z = -245*z + t + 36524. Is 12 a factor of z?
True
Suppose -800 = -214*x + 209*x. Let v = 436 + x. Is 5 a factor of v?
False
Does 2 divide (558/(-36) + 14)*-734?
False
Let p = -7678 - -8513. Is 12 a factor of p?
False
Suppose -5*w + 20 = -0*m + 2*m, 16 = -2*m + 4*w. Suppose -p = -m*p - 3. Let s = 17 + p. Does 10 divide s?
True
Let a be 994 - (4 - 2)*(-2)/4. Suppose 5*k - 579 = 2*c + a, -5*c = 5*k - 1595. Is 4 a factor of k?
True
Suppose 8*z + 459 = 1595. Let r = z + -76. Suppose 0 = 5*l + 15, n - r = -2*n + 2*l. Does 4 divide n?
True
Let c = -105 + 111. Let z(y) = 21*y - 24. Does 3 divide z(c)?
True
Let c(a) = 110*a**3 - 8*a + 76. Does 113 divide c(5)?
True
Suppose 5*j = -3*k + 4, 3*j = -5*k + 8 + 4. Suppose 0 = k*y - 5*z + 201 - 667, -4*y + z = -627. Let h = y - 111. Is h a multiple of 23?
True
Suppose -130 + 24 = g. Let v = -64 - g. Suppose v = 4*q - 58. Is 5 a factor of q?
True
Let k(s) be the second derivative of -s**4/12 + 2*s**3/3 + 3*s**2/2 + s. Let z be k(15). Is 6 a factor of (z/(-12))/(-3)*8/(-3)?
True
Let l(f) = -18*f - 201. Let q be l(-10). Is 17 a factor of (-552)/(-11) + q/(924/8)?
False
Suppose -5*c - 5*h = -3*h - 8, -2*c - 2*h = -2. Suppose -28 = -4*a + 2*b, -3*a + 0*b + 21 = -c*b. Suppose -a*t + 34 = -8. Is 2 a factor of t?
True
Let v = -186 + 291. Is -7*50/v*-39 a multiple of 5?
True
Does 2 divide (0 + -22)*(10 + (-99)/9)?
True
Let z = 36 - 13. Suppose 0 = 3*k - 49 - z. Suppose 2*h = -3*n + k, 11 + 11 = n - 4*h. Does 3 divide n?
False
Let q be 435 - (-6)/(-12)*-8. Suppose c - q = 341. Is c a multiple of 15?
True
Suppose -3*q = 2*q - 32545 - 3955. Is 36 a factor of q?
False
Let b = 5525 + -1548. Does 41 divide b?
True
Let t be (4 + (-9)/(-9))*117/15. Suppose -3312 = -42*b + t*b. Does 24 divide b?
True
Let t be 2*((-50)/(-4) - 3). Suppose -f + 5*k - 37 = -5*f, 0 = 3*f + 2*k - t. Suppose 166 = f*r - r. Does 8 divide r?
False
Let h = 800 - 788. Suppose -y + 16 = d - 1, -d = 2*y - h. Is 11 a factor of d?
True
Let b = 2119 + -1734. Is 18 a factor of b?
False
Let t be (621/(-5) - -1)/(13/(-65)). Let k = t + -24. Let v = k - 400. Is 16 a factor of v?
True
Let n = -18 - -11. Let o be 803/7 - ((-4)/n)/(-2). Let z = o - 55. Does 6 divide z?
True
Let x(k) = k**2 + 32*k + 149. Let j(l) = l + 2. Let s(h) = -3*j(h) + x(h). Is s(-27) a multiple of 31?
False
Let b = -1279 - -4996. Does 80 divide b?
False
Let v(t) = -4 - 6*t + 8 + t**3 - 7*t - t - t**2. Let f be v(4). Does 5 divide (-1 - -3)/((f/(-1))/80)?
True
Let s(y) = y**2 + 6*y + 21. Let j be s(-5). Suppose m - 24 = 3*v, -v + 3*m + j = -3*v. Let f = v + 60. Is f a multiple of 4?
True
Suppose 0 = 4*n + 5*z - 18, -n + 12 = n + 4*z. Suppose d - n*d - 1 = 0. Is 38 a factor of (-17)/2*8/d?
False
Let j = -9363 - -17489. Does 25 divide j?
False
Let i(w) = w**3 + 5*w**2 - 13*w - 2. Let g be i(-7). Is g/(3*(-6)/564) a multiple of 16?
False
Let c(f) = -54*f**3 + f + 1. Suppose 2 + 16 = -18*v. Is c(v) a multiple of 7?
False
Suppose -5*b + 111 = -269. Suppose 24178*y = 24201*y. Suppose -4*w + y*g + g + 61 = 0, -4*g = 4*w - b. Is w even?
True
Let h(z) = 45*z**2 - 7*z - 10. Let u be h(5). Suppose 24*w = 26*w - u. Suppose 0 = 2*m + 104 - w. Does 34 divide m?
False
Suppose 2*x - 45 = -5*n, -6*x + x = n - 55. Let l(f) = -30*f + 13 + 44*f - 63. Is 28 a factor of l(x)?
False
Suppose -11*o + 16*o - 855 = 0. Let q = -79 + o. Suppose -r = -3*b + q, -5*b + 0*r + 157 = 2*r. Is 10 a factor of b?
False
Let k be ((-16)/6)/((-6)/9). Suppose 2*r - 631 = -2*w - 223, k*w = -r + 192. Is r a multiple of 18?
False
Suppose 32*l - 380609 - 692993 = 271742. Is 182 a factor of l?
True
Let s(x) = -x**2 + 11*x - 10 - 2*x - 2*x. Let z be s(3). Suppose 0 = -4*p + 3*h + 69, -p + 52 = z*p - 2*h. Is p a multiple of 18?
True
Suppose -15*l + 20*l = -50. Let y be 5/(l/1)*-82. Let b = y - -15. Is 28 a factor of b?
True
Suppose -54387 = 11*r - 317485. Does 56 divide r?
False
Let x(u) = u**2 + 24*u - 49. Let s be x(-27). Let g = s - -49. Does 10 divide g?
False
Suppose 5*t + 134 = -66. Suppose -4*h - 558 = -3*c, -6*h + 3*c = -4*h + 276. Is (h/3)/(8/t) a multiple of 34?
False
Let l(a) be the first derivative of -23*a**2/2 - 53*a + 4. Is 35 a factor of l(-16)?
True
Let f(w) be the first derivative of 2*w**3/3 + w**2/2 - 25*w + 73. Does 3 divide f(-7)?
True
Suppose q + 0 = 6. Is 28 a factor of (27 - (-1 + -2))*q*3?
False
Suppose -23*u = w - 21*u - 6992, 4*u = -5*w + 34942. Is 14 a factor of w?
True
Suppose l - d = 11205, -3066*l + 3061*l = 3*d - 56025. Is l a multiple of 8?
False
Let w(f) = -f**3 + 31*f**2 - 104*f + 97. Is 70 a factor of w(22)?
False
Let f = 21015 + -13344. Is 7 a factor of f?
False
Let w(r) = 34*r**2 - 20*r - 90. Does 17 divide w(-15)?
False
Let r be (-18)/42 - 93/(-21). Suppose x + 2*g - 385 = -2*x, 0 = x - r*g - 133. Let s = x - 82. Is s a multiple of 11?
False
Suppose c - v - 2*v = 392, 795 = 2*c + 5*v. Let p = c + -80. Is 35 a factor of p?
True
Let o(l) = -16*l - 36. Suppose 0 = -0*s - 2*s + 180. Suppose s = -10*t - 0*t. Does 18 divide o(t)?
True
Let a = 7357 + -5986. Does 6 divide a?
False
Let p = 2213 + -1772. Is 23 a factor of p?
False
Suppose 0 = 2*j + m - 20780, 0 = -2*j + 7*m - 11*m + 20792. Is j a multiple of 28?
True
Let l = -14142 - -14113. Let f = 25 + 26. Let y = f + l. Is 11 a factor of y?
True
Let o be (5 + 2)*(-8580)/(-77). Suppose -43*i = -41*i - o. Is i a multiple of 10?
True
Let f be (26/39)/(2*(-2)/(-6)). Let n be 0/(-2 - 0 - f). Suppose 3*v + 15 - 153 = n. Is 4 a factor of v?
False
Suppose 5*n + 0*n - 70988 = -2*p, -2*n + 4*p + 28376 = 0. Suppose 0 = 15*h + 6*h - n. Does 86 divide h?
False
Let r be (-1888)/28 + 6/14. Let k be (r/(-5))/((-9)/(-45)). Suppose -k = -5*a + 43. Is 7 a factor of a?
False
Suppose i + 22 = 17. Let y be (-3)/(i/12 + 2/8). Is 22 a factor of y*(-5)/(3/(9/(-2)))?
False
Let d = -8581 + 16162. Suppose -4*f - 15*f = -d. Does 28 divide f?
False
Suppose -4*i = -59 - 41. Let b be (-287)/(-5) - (-15)/i. Suppose -3*q + b = 2*x, 3*x - q + 3*q - 92 = 0. Is x a multiple of 16?
True
Suppose 0 = 8*p - 203 - 237. Let v = 64 - p. Is 21 a factor of 3/6*326 + v/3?
False
Let o(z) = 6*z**3 - 7*z**2 + 7*z - 133. Is o(8) a multiple of 7?
False
Suppose 0 = 5*b - 2*k + 5*k - 13, -4*b = -2*k - 6. Suppose 9 = -3*u, -3*i - 6*u = -b*u - 3978. Does 14 divide i?
True
Let j be ((-79449)/(-142))/((-2)/(-4)). Let r = 1680 - j. Is r a multiple of 14?
False
Suppose -2*x - 84 = -o - 10, -x - 197 = -3*o. Suppose -2*k = d - 19, 4*d - 4*k = -0*k + o. Suppose -59 + d = -2*c. Is c a multiple of 2?
False
Suppose -16*u + 174 = -626. Let x = -69 - -25. Let k = x + u. Is k a multiple of 3?
True
Suppose 3*h - 9852 = 3*t, -2*h - 27*t + 26*t + 6568 = 0. Is 9 a factor of h?
False
Let m(h) = -29*h - 5. Let r = -17 - -23. Let o(d) = -202*d - 34. Let i(w) = r*o(w) - 44*m(w). Is i(4) a multiple of 18