*5/120 - 5*m**4/6 - 16*m**3/3 + 3. Let s(c) be the third derivative of q(c). Is 8 a factor of s(-9)?
False
Let u(t) = 4*t + 53. Let s be u(13). Does 7 divide 10*7/s*321?
False
Suppose -5*h = -3*n + 48, -3*n - n + 29 = 5*h. Suppose -7*z - 1620 = -n*z. Does 41 divide z?
False
Suppose -3*d = 3*p + 84, -3*d + 3*p + 114 = -7*d. Let s be (13/((-65)/d))/(-2). Is ((-78)/4)/(0 - s/(-8)) a multiple of 13?
True
Let s = 106939 + -71769. Does 23 divide s?
False
Let r(q) be the third derivative of q**5/15 - 17*q**4/12 + 140*q**3/3 + 4*q**2. Does 16 divide r(12)?
True
Suppose -5*u - 4*l = -8564, -3*l = 744*u - 739*u - 8568. Does 13 divide u?
True
Let u = -1164 + 683. Let j = 689 + u. Is j a multiple of 52?
True
Let f(u) = -u**2 + 20*u + 34. Suppose 4*h - 122 = -5*l, 4*l - 2*h - 82 = -0*h. Let b be f(l). Does 12 divide (-354)/b + 36/60?
True
Let t be -5 + (-72)/(1 - 9). Suppose 1543 = t*f - 481. Does 11 divide f?
True
Let u be 6*(1/(-2) - 0). Let m(a) = a + 3. Let t(c) = -10*c - 10. Let f(j) = 2*m(j) + t(j). Does 6 divide f(u)?
False
Does 115 divide 286/22 - 13 - (0 - 12610)?
False
Suppose -38*h + 956 = -34*h. Suppose 571 = 5*c - h. Is c a multiple of 18?
True
Suppose -y = -j - 464, 7*y - 7*j = 8*y - 432. Is y a multiple of 46?
True
Let l(y) = 7*y - 2. Let z(g) = g + 1. Let a(i) = l(i) - 3*z(i). Let j be a(9). Let n = j + -26. Does 3 divide n?
False
Suppose 4*u = 2*q + 2, 4*q + 3*u = u + 6. Let m(t) = -q - 14*t**2 + 31 + 7*t + 3*t + t**3. Is 36 a factor of m(14)?
False
Let z = -71 + 75. Suppose 3*q - 471 = 5*s, 137 = q + s + z*s. Let l = q + -74. Is l a multiple of 16?
False
Suppose 0 = -9*h + 6853 + 6827. Does 80 divide h?
True
Suppose -6*y + 51 = -4*i - 3*y, -4*i - 61 = -5*y. Let v(c) = -26*c + 1. Let g be v(i). Suppose -3*p + 4*z + g = -z, 4*p - z = 285. Is 25 a factor of p?
False
Let s(h) = h**3 - 48*h**2 - 17*h - 100. Does 4 divide s(49)?
True
Suppose -2*z + 5*s + 4180 = 0, -z + 34*s - 31*s + 2091 = 0. Does 6 divide z?
False
Let x be (72 - -1)*(-5)/(-5). Suppose 1139 = 6*j - x. Suppose 3*y = -187 + j. Is y a multiple of 3?
False
Suppose -5*c = 4*x - 18106, -2*x = 2*c - 0*x - 7244. Suppose -7*j + 358 = -c. Is j a multiple of 38?
False
Let a = -1291 - -2620. Is 8 a factor of a?
False
Let w = 652 - 427. Let l(m) = -20*m**2 - 19*m + 6. Let s be l(-3). Let h = w + s. Is h a multiple of 18?
True
Let a = -17528 - -26895. Is 12 a factor of a?
False
Let s(b) = -b**3 + 7*b**2. Let p be s(7). Suppose p = -11*h + 7108 - 343. Is h a multiple of 35?
False
Let w = -239 - -249. Suppose w*q + 12*q - 968 = 0. Is 4 a factor of q?
True
Let c = 11 + 3. Is 12 a factor of (-2 - 214)/6*c/(-6)?
True
Suppose 3*j = 3*b + 84444, 767*j + 3*b = 764*j + 84396. Is 70 a factor of j?
True
Let h = -262 - -267. Suppose 5*k - 1520 = -h*y, 771 = 3*y - 4*k - 176. Is 15 a factor of y?
False
Suppose -2*f + 2*b + 108 = -0*f, 0 = 5*b + 5. Let z be (-40)/6*30/25 - -7. Let n = f - z. Is n a multiple of 13?
False
Let a(r) = 2*r**3 + 3*r**2 - 209*r + 1535. Does 3 divide a(7)?
False
Suppose -6*j - 46 = -16. Does 17 divide -15*20/12*j?
False
Let z(i) = -i**3 + 29*i**2 - i - 37. Let q(j) = -j**2 + j + 2. Let l(d) = 5*q(d) + z(d). Is l(24) a multiple of 12?
False
Suppose -3*j + 20 = m, -94*m + 5*j = -92*m + 15. Suppose 2*u + 1601 = m*c, u = -3*u + 8. Does 26 divide c?
False
Let z = -60 - -113. Let w be 20/(-3)*336/(-20). Suppose w + z = 3*h. Is 32 a factor of h?
False
Let p(o) = -2*o**2 - 3*o + 6. Let w(k) = -4*k**2 - 7*k + 12. Let h(t) = 7*p(t) - 4*w(t). Let s be h(-4). Is 9 a factor of s/4 - (-6)/8*18?
False
Let o(y) = -15*y**3 + 12*y**2 - 26*y - 52. Does 10 divide o(-6)?
False
Let a(o) = 7*o**2 + 165*o - 10. Is 4 a factor of a(-31)?
False
Suppose -4*d - p + 272 = 0, 173 - 31 = 2*d + 2*p. Suppose g + 37 - d = 0. Suppose 4*y + 2*y = g. Is 3 a factor of y?
False
Let t = -3144 - -3697. Does 57 divide t?
False
Let m = 31149 + -24160. Is m a multiple of 29?
True
Let d(m) = -2*m - 1. Let b(t) = -10*t + 48. Let s(o) = -b(o) - 4*d(o). Does 39 divide s(11)?
False
Suppose -8*f - 392 = -16*f. Let z(u) = -5 - 7 + 82*u - f*u. Is z(3) a multiple of 14?
False
Let x(s) = 1 + s**3 - 7 - 11*s + 8*s**2 - 1. Suppose 0 = 3*j + 4*c + 43, 0*j - 4*j - 16 = -5*c. Is 3 a factor of x(j)?
False
Does 82 divide 40/(-24)*1353933/(-70)*8/12?
False
Let k be 6 + 18/42*7. Is k/27*(-9918)/(-2) a multiple of 19?
True
Is 115 a factor of ((-15)/9 - (12 - 380/30))*-24129?
False
Suppose 2*w - 2*m - 5386 = 0, -3*w + 8471 = 2*m + 412. Is w a multiple of 38?
False
Suppose -199*q + 45*q = -1430506. Is 18 a factor of q?
False
Let m be (-6 - -4) + 8 + -2. Let y be 1*(m - 4) + 159. Suppose -10*a + 31 = -y. Is 19 a factor of a?
True
Is (15 + 675/(-50))/(3/510) a multiple of 65?
False
Let j(g) = 60*g - 475. Let q be j(8). Suppose -q*i + 2620 = 5*b + 5, 526 = i + 2*b. Is i a multiple of 26?
True
Let w(s) = -s**2 + 27*s - 118. Let v be w(21). Suppose x - 1399 = -4*t, 4*x + 4*t - 5536 = v*t. Does 19 divide x?
True
Let t(i) = i**3 + 3*i**2 - 24*i - 72. Let y be t(-5). Is 9 a factor of ((-1119)/(-2))/(11/4 + y)?
False
Let d(c) = 1 - 3*c - 4 + 6*c**2 + 1. Suppose 4*v - 11*v - 42 = 7*v. Is d(v) a multiple of 20?
False
Suppose 20*t = 30*t - 510. Suppose -4*d = -0*v - 3*v + 182, 2*v - 2*d = 120. Suppose 336 = -t*a + v*a. Is 8 a factor of a?
True
Let j = 77595 + -50938. Suppose j = 44*r - 3527. Is r a multiple of 14?
True
Let g(k) = 45*k**3 - 42*k**2 + 128*k + 11. Does 154 divide g(3)?
True
Let l(h) = -9*h - 1. Let u be l(26). Is (u/3)/(1/(-3)) a multiple of 35?
False
Let o(g) = g**3 - 12*g**2 + 51*g - 296. Is 16 a factor of o(17)?
True
Let g(a) = -19*a**3 + 5*a**2 - 4*a - 1. Let y be g(1). Let c(b) = 3*b**2 + 4*b + 113. Is c(y) a multiple of 14?
True
Let n = -17898 + 22258. Does 37 divide n?
False
Let l(s) = -4*s + 128. Is 14 a factor of l(-17)?
True
Does 11 divide (-10)/(-20)*(1494 - 8)?
False
Suppose -5*b = 2*n - 3990, -1996 = -n + 7*b - 9*b. Is 20 a factor of n?
True
Let i(u) = 19*u - 1. Let h be i(6). Suppose -42*a + 292 = -38*a. Let g = h + a. Is g a multiple of 20?
False
Let m be ((-6 - -13) + 4)*69. Let q = -386 + m. Is q a multiple of 71?
False
Let h be (20/(-6))/(65/(-78)). Suppose -4*g - h*w + 5 = -w, 0 = -3*g + 5*w + 40. Suppose 4*q = g*q - t - 17, -q + 11 = 2*t. Does 5 divide q?
True
Let c(x) = 20*x**2 + 29*x + 8. Let l be c(24). Suppose -f - l = -17*f. Does 47 divide f?
False
Let v(l) = 1892*l - 6618. Does 25 divide v(10)?
False
Let j be 2/(-6) + 10564/12. Let d = -39 - -49. Suppose -j = 2*q - d*q. Is q a multiple of 22?
True
Let q(a) = 6556*a**3 + 3*a**2 + 172*a - 354. Does 10 divide q(2)?
True
Is 56 a factor of (2 - 1)*(11 + 1005) - 8?
True
Is 17 + -13 + (1662/1 - -1) a multiple of 61?
False
Suppose -m + 2*l = -75866, 10*l - 379384 = -5*m + 14*l. Is 19 a factor of m?
False
Let m = 56 - 428. Let v = m + 542. Is 34 a factor of v?
True
Suppose -4608 = -18*i + 2322. Is (i - 36) + 4/2 a multiple of 13?
True
Let c(q) = 5*q + 852. Does 2 divide c(-36)?
True
Suppose -2*p - 5*m + 5125 = -29792, -p - 3*m + 17457 = 0. Is p a multiple of 12?
False
Suppose -1437 + 63 = -2*o. Suppose 2*t - 4*z + o = 3*t, 2*t - 4*z - 1422 = 0. Is t a multiple of 37?
True
Suppose 296 = -120*r + 124*r. Let l = r + -55. Let s = 39 + l. Is s a multiple of 32?
False
Suppose 83 = -3*t + 131. Suppose -23*l + 735 = -t*l. Does 21 divide l?
True
Let h(w) = w**2 - 7*w - 13. Let k be h(9). Suppose 0*l = k*l + 25. Does 21 divide (11/(220/(-84)))/(1/l)?
True
Let a(g) = g**3 - 11*g**2 + 16. Suppose -v - s + 0*s = -16, -2*v = 3*s - 37. Let y be a(v). Does 16 divide (4 - -8)*y/6?
True
Does 27 divide -30*10/(-125)*(-3375)/(-6)?
True
Suppose 4*t + 4*x - 6060 = 0, t - 4*x + 385 - 1925 = 0. Is t a multiple of 6?
False
Let d = -16 + 408. Let k be (1 - 1) + -3 + d/(-28). Does 10 divide (-1 - k/(-3))/(12/(-396))?
True
Let b = 130 - 122. Suppose 0*j + b = j - z, -16 = -j + 3*z. Suppose j*v + 200 = 5*t, 3*t = 3*v - 4*v + 120. Does 8 divide t?
True
Suppose b - 11*b - 20 = 0. Let h(t) = -26*t - 16. Is 6 a factor of h(b)?
True
Suppose -2*z = 5*y - 168, -4*z - 4 - 170 = -5*y. Suppose -18 = 4*q - y. Suppose 2*p - 3*v = -0*p + 264, -4*p - q*v + 568 = 0. Is p a multiple of 23?
True
Suppose -4*j = 3*o - 4 - 3, -2*o + 14 = -2*j. Suppose -25 + 530 = o*a. Let p = a - 70. Is p a multiple of 5?
False
Suppose 2