se
Suppose 0 = -5*i + 2*r + 172, 3*i + 2*r - 107 = 7*r. Suppose 0 = -f - 3*f + 5*k + 19, -4*k = 5*f - i. Let n(w) = 3*w**2 - 16*w + 4. Does 8 divide n(f)?
True
Suppose 3*m = m + 22. Suppose s + 8 - m = 0. Is 3 a factor of -27*s/(-9)*3?
True
Let y = -5942 - -9663. Does 61 divide y?
True
Suppose 4*x = 5*k - 7612, 377*k + x = 373*k + 6077. Does 85 divide k?
False
Let t = -1338 + 1413. Suppose 4*p + 115 = -m, 0*p - 4*m = -5*p - 149. Let j = p + t. Does 6 divide j?
False
Let v(z) = 117*z**2 - 632*z - 11216. Is v(-18) a multiple of 84?
False
Suppose 2*n = 2*l - 6, -1 = 17*l - 18*l + 2*n. Suppose l*m - 457 + 192 = 0. Is 22 a factor of m?
False
Suppose -b = 2*p - 2769, -4*b - 17*p + 11097 = -16*p. Suppose 5*g + 0*g - h = 2795, 0 = -5*g - 3*h + b. Is 11 a factor of g?
False
Suppose 4*w - 12424 = 5*v - 85592, 43919 = 3*v - 5*w. Is 72 a factor of v?
False
Let d = -15879 + 24439. Is d a multiple of 18?
False
Let w(r) = -49*r + 48. Let c be w(-36). Let v = c + -965. Is v a multiple of 11?
True
Let j be 9 + -12 + 4/2. Let t be (-2)/(-5 - j)*0/(-2). Let k(a) = a**3 + a**2 + 180. Is k(t) a multiple of 15?
True
Suppose -5214*t - 13548 = -5218*t. Is t a multiple of 42?
False
Let j be 38/266 + ((-207)/7)/(-3). Suppose 106 = -u - 233. Does 6 divide (j/8 - 1) + u/(-4)?
False
Let i(d) = 451*d - 371. Is i(9) a multiple of 8?
True
Suppose 5*i - 5*b = 2745 + 2275, 0 = 2*i + 3*b - 2028. Is i a multiple of 6?
True
Let i = 453 - 108. Let f = 777 - i. Is 9 a factor of f?
True
Suppose -3*o - 27220 = -5*q + 5117, 0 = q + 2*o - 6483. Does 9 divide q?
True
Let u(k) = k**2 - 5*k - 92. Let t be u(13). Suppose t*l - 7538 = 6862. Is 16 a factor of l?
True
Let m(l) = -60*l - 50. Let j = 263 + -265. Is m(j) a multiple of 5?
True
Is 23 a factor of 2*20/(-12)*69/(-5)?
True
Does 27 divide 8393/2*(-224)/(-784)?
False
Suppose x - 2*d - 928 = 0, 283*d - 284*d = -5*x + 4649. Is 5 a factor of x?
True
Let s(x) = -x - 15. Let i be s(-15). Suppose -2*m - 2*d - 145 - 37 = i, -5*d - 275 = 3*m. Let n = 146 + m. Does 7 divide n?
True
Let n = 303 + -299. Let x(s) = 48*s**2 - 11*s + 32. Is x(n) a multiple of 18?
True
Let s be -3 - ((-7 - 0) + 0). Let h(w) = -w**2 - 12*w - 13. Let d(g) = g**2 + 1. Let z(i) = s*d(i) + h(i). Does 9 divide z(6)?
True
Let w = 3347 - -1723. Does 13 divide w?
True
Suppose 5*d + 672 = -4*j, -2*j - 845 = 3*j + 5*d. Let i = j + 252. Is 12 a factor of i?
False
Let p = -14821 - -19915. Is 12 a factor of p?
False
Suppose 5*i - 2*o - 36614 = 0, -4*i - 64*o = -67*o - 29280. Is i a multiple of 66?
True
Let x(a) be the third derivative of a**6/120 - a**4/6 + 24*a**2. Let l be (-2)/5 + 102/30. Is 15 a factor of x(l)?
True
Let s(a) = -4*a - 84. Let j be s(-22). Does 43 divide j - (444/(-8) + 4/(-8))?
False
Let b be 1*2/6 - 28/(-6). Suppose 3*c = 9 + 6, 0 = -b*o + 3*c + 10. Suppose -721 = -o*q + 3*n, -q + 55 = 2*n - 97. Does 13 divide q?
False
Suppose 3*i + n - 9 = -n, -3*i + 4*n = -27. Suppose 0 = -i*t - 4*f + 2149, 5*t - 4*f = 2269 - 128. Is t a multiple of 9?
False
Suppose 6*m = 11*m - 459360. Does 44 divide ((-3)/(-2))/(108/m)?
True
Suppose 7*x - 11*x = -16. Suppose 1220 = x*n + 4*d, -3*n + 1020 = 4*d + 100. Is n a multiple of 15?
True
Let y = 25107 - 8937. Is y a multiple of 10?
True
Let n(b) = -b**2 - 11*b + 12. Let o = 0 + 58. Let w = 47 - o. Is n(w) a multiple of 2?
True
Let a(y) = -8478*y - 831. Is 75 a factor of a(-2)?
True
Let n(x) = x**3 - 16*x**2 + 28*x + 3. Let v be n(14). Suppose -v*q + 230 = 2*t - 340, q - 5*t = 190. Is q a multiple of 38?
True
Does 66 divide (746/(-10) - -2)/(244/(-40260))?
False
Let r(g) be the first derivative of g**7/420 + g**6/45 - g**5/30 + g**4/6 - g**3/3 + 3. Let v(b) be the third derivative of r(b). Is v(-4) a multiple of 7?
False
Suppose 3 = k, -63*k + 65*k + 202 = g. Suppose g = f + 4*i, 201 = f - 4*i + i. Is f a multiple of 2?
True
Suppose 5*f + 2*s - 90 = 0, 8*s + 43 = 3*f + 7*s. Suppose -f*v + 2450 = -142. Does 36 divide v?
False
Let h(n) = n**2 + 2*n - 13. Suppose 4*d = -2*v + 3 + 5, 20 = 5*v + 2*d. Let q be h(v). Suppose -2*m = -3*i - 102, -3*i - 209 + q = -4*m. Does 12 divide m?
True
Let a(q) = 293*q + 588. Let x be a(-2). Let i(j) be the third derivative of 7*j**4/8 - 5*j**3/3 - j**2. Is 8 a factor of i(x)?
True
Let h = 9 - 15. Let x be -2*(h - 1 - 4). Suppose -j = 5*p - 336, 6 - x = 4*j. Does 11 divide p?
False
Let n = -50 - -55. Let b be (-6)/4*(3 - n). Suppose -5*j = -b*d + 126, -3*j - 46 = -0*d - d. Is d a multiple of 37?
True
Suppose 24 = 8*m, -1881 = -3*u - 3*m + 735. Does 4 divide u?
False
Let j = 35231 - 19114. Is j a multiple of 121?
False
Let k = -7054 - -7812. Is 7 a factor of k?
False
Is 18 a factor of (8295/(-63) + 4/(-12))*-78?
True
Suppose 5031 = 3*f - 5*o, -5*f + 3098 + 5239 = -3*o. Does 13 divide f?
False
Let x(d) = -7*d + 1. Let t be x(0). Let q(b) = -b + 1. Let v be q(t). Is 15 a factor of ((-720)/56)/((-1)/14 + v)?
True
Suppose -2*a + 2*x = -278, -704 = -5*a + x + x. Let c = a + 82. Is c a multiple of 15?
False
Let u(n) = 31*n + 57*n - 112*n - 8. Is u(-14) a multiple of 37?
False
Suppose 2*g = 2*n - 17204 - 2654, 12 = -4*g. Does 99 divide n?
False
Let q be (-9)/3 - (0 - 5154)*4. Let r be (-20)/(-190) - q/(-19). Suppose -6*a + r = -763. Is 28 a factor of a?
True
Suppose -2*r + 5903 = -5*h, -79*h + 82*h = r - 2952. Is r a multiple of 10?
False
Suppose 0 = 6*c - 2166 + 528. Suppose 3*s - c = -4*v + 1539, 0 = -2*s + v + 1197. Is s a multiple of 40?
True
Is 134 a factor of 3 + (5896 - (-4 - -7))?
True
Suppose -v + 4*u = 4 + 17, -2*v + 4*u = 26. Let m be 10*((-5)/(-2))/v. Is 20 a factor of ((-12)/(-4) + m)/(1/(-20))?
True
Suppose -248*h = -247*h - 7. Suppose -h*b + 696 = -1831. Does 19 divide b?
True
Suppose 4*z = -2*z + 2250. Let w = -216 + z. Suppose -w = -2*v - 3. Does 16 divide v?
False
Let s(m) = 52*m - 1 + 7*m + 4*m. Suppose 50*x - 20 - 80 = 0. Does 25 divide s(x)?
True
Let h(z) = z + 22. Let i be h(-19). Suppose -208 + 334 = i*q. Is 7 a factor of q?
True
Let g(k) = -4*k**3 - 3*k**2 + k - 7. Let f be g(4). Let v = -203 - f. Suppose 0 = -3*m + 380 - v. Does 16 divide m?
False
Suppose -5*d + 2714 + 2466 = 5*n, -3108 = -3*d + 2*n. Is 7 a factor of d?
True
Let u be (-1 - (-4 - 4)) + (-2 - -1). Let o be u - 10 - (-3 + -3). Let n(b) = 31*b - 4. Is n(o) a multiple of 15?
False
Let s be (-79)/((-93)/23 + 4). Suppose -q - 2*q + 913 = 2*y, -3*q = 4*y - s. Is 51 a factor of y?
False
Let k(b) = 9*b + 154. Let n be k(-16). Let t(q) = -q**2 + 27*q + 28. Is t(n) a multiple of 18?
True
Suppose 54*x - 107*x + 24035 = -52*x. Is x a multiple of 19?
True
Let f(x) = -x**3 + 4*x**2 - 2*x + 2. Let w be f(2). Let u be w/4 + 0 - 63/(-18). Suppose 288 + 662 = u*r. Does 14 divide r?
False
Suppose -2*z - 4*y = 4, 7*z + 4*y = 4*z - 2. Suppose -5*n = 5, n + 265 = 2*c - z*n. Suppose -g - 3*h = -4*h - c, -g + 3*h = -133. Is g a multiple of 21?
False
Is 130/(-13) + 6 + -1 + -2 + 12745 a multiple of 22?
True
Does 48 divide ((-301883)/(-615) + 1/3)*30?
True
Suppose -1015 = 2*c - 5. Let u = -622 + 297. Let k = u - c. Is k a multiple of 12?
True
Let y = 0 - 3. Let c = 3462 - 3483. Is (-1 - c)/(y/(-18)) a multiple of 6?
True
Suppose -64*y - 84 = -78*y. Suppose 929 = 11*o - y. Is o a multiple of 17?
True
Let w = -1100 + 1950. Suppose 38*r - 41*r = -9. Suppose -5*p = -r*n - n + w, -2*n + 5*p + 430 = 0. Is 21 a factor of n?
True
Suppose -65965 - 7031 = -6*k. Is 77 a factor of k?
True
Let t(u) = 3*u**2 - 8*u + 27. Let i be t(7). Let q = i + 50. Does 4 divide q?
True
Let i = -111 + 116. Let u be 5 - (i + -3 + -4 + 2). Suppose 0 = -u*t + 3*o + 225, -5*t + 0*o = 5*o - 265. Does 7 divide t?
False
Suppose -5*j - 4145 = -5*p, 340 = p - 3*j - 481. Let i = -630 + p. Does 4 divide i?
False
Let y = -125 + 361. Let s = 316 - y. Does 20 divide s?
True
Does 5 divide (7 + -63)/(682/98 - 7)?
False
Let g be (-1 - (-41)/5)/((-4)/(-10)). Let x be (-2 - -1)*(-90)/g. Suppose 5*l - 625 = 4*s, 0*s - 630 = -5*l + x*s. Does 25 divide l?
False
Let h(q) = -q**2 - 16*q - 16. Let y be h(-15). Let j be (3*4/(-8))/(y/2). Suppose -3*c - 2*t + 319 = -2*c, -5*c = -j*t - 1621. Is c a multiple of 19?
True
Suppose -5*v = 59*o - 57*o - 26009, -5*v + 4*o = -26027. Does 130 divide v?
False
Let h(a) = 12*a**2 - 19*a. Let z = -64 + 73. Let o be h(z). Suppose -3*f + o = 3*s, -f - 148 = 2*s - 