es 24 divide k?
False
Does 44 divide ((-2034)/(-4 + 1))/(3/34)?
False
Suppose -2*q - 20 = -4*u, -3*q = 2*u - q + 2. Does 25 divide u/21 - 31956/(-42)?
False
Suppose 30 = -p - 42. Let g = 75 + p. Suppose g*b + 2*h = b + 74, 3 = -h. Does 8 divide b?
True
Suppose 7287 = -3*m + 3*u, -u + 3938 = -3*m - 3359. Let t = m - -3840. Does 19 divide t?
True
Suppose 6*y + 42 = 42. Is 14 a factor of (1 + y)*(-2)/(-3)*249?
False
Suppose 21*h - 24*h - 4*m = -2796, 0 = h + 5*m - 932. Does 4 divide h?
True
Let n be (-574)/(-10) + 30/50. Suppose -3*f = 4*u - 80, -2*f = -0*f + 5*u - n. Is 6 a factor of f?
True
Let y = 383 + -283. Does 3 divide y?
False
Let r be 19/(-114) - (-25)/6. Does 16 divide -6 - (-1310)/(r - -1)?
True
Does 15 divide 130*52*(2 + (-40)/24)*3?
False
Let h(i) = 1315*i**2 + 358*i + 1801. Does 16 divide h(-5)?
False
Let z(n) = -n**2 - 17*n - 87. Let g be z(-23). Is 24 a factor of -4*(-1 + 2 + g/30)?
False
Let o(w) = w + 8. Let r = -36 + 30. Let a be o(r). Suppose 0 = -7*i + a*i + 550. Is i a multiple of 31?
False
Let s = 10089 + -6789. Is s a multiple of 25?
True
Suppose 2*j = -44 - 78. Let v = 50 + j. Let h(l) = l**2 - 9*l + 14. Does 18 divide h(v)?
True
Suppose -597 = -5*t - 527. Suppose -18*u = t*u - 3136. Is u a multiple of 14?
True
Suppose -58700 = -2*b + 2*d, 0 = -5*b + 161*d - 162*d + 146714. Does 131 divide b?
True
Suppose 71*j = -21*j - 105242 + 599282. Is j a multiple of 179?
True
Is 43 a factor of 1547*2 + 22 + -16 + (0 - 2)?
False
Let t be 188/8 + (-3)/2. Let d(w) = -w**3 + 23*w**2 - 18*w - 27. Does 17 divide d(t)?
False
Suppose 7*b - 13*b + 13386 = 0. Let s = -1524 + b. Does 9 divide s?
False
Let y be (-45)/18*((-1)/5 + -1). Let b be y/(4 - 9/2). Is 21 a factor of 3468/24 - b/(-4)?
False
Let u(h) = -15*h**3 + 2*h - h**2 - 4 + 0 + 16*h**3. Let g be u(2). Suppose 0 = g*y + 20, 0 = 2*k - 2*y - 259 - 71. Is k a multiple of 20?
True
Suppose 0 = -4*a - 2*g + 6898, 8633 = 5*a + 93*g - 92*g. Does 4 divide a?
True
Let u be 33/12 - -2*2/16. Let b be u - 1 - (0 - 3). Suppose 2*v + 63 = b*v. Is 7 a factor of v?
True
Let p(j) = 235*j + 599. Does 10 divide p(9)?
False
Let g(a) = a + 11. Let h be g(-17). Does 17 divide -4 + 28/6 + (-1790)/h?
False
Let g be (-63 - -64)*(3 + -1). Suppose g*r = -4*y + 700, -r - 2*y = -5*y - 330. Does 24 divide r?
False
Let u(p) = -11*p - 6. Let s be u(-1). Suppose 2*m = -5*q - 2*m + 12, s*m = 2*q - 18. Suppose w + 538 = 4*c + c, q*w + 226 = 2*c. Is 29 a factor of c?
False
Let w(t) = -7*t - 26. Let p be w(-4). Let d(f) = -f**2 - 10*f + 15. Let x be d(-11). Suppose p*h - 60 = -5*g + x*h, 3*h + 48 = 4*g. Is 6 a factor of g?
True
Let z be (6/(-3))/4 - (-915)/10. Suppose -z*k + 88*k + 2016 = 0. Is 48 a factor of k?
True
Suppose -4 = -c + q - 6*q, -4*c - 4*q = -16. Suppose -5*o - 2*x = -c*o - 74, o - 4*x - 56 = 0. Does 6 divide o?
False
Let r be 1 + ((-1)/1 - (-12 - -13)). Let k = -512 - -192. Is (k/(-4) - 2) + 3 + r a multiple of 40?
True
Let h(v) = -v**3 + 5*v + 1. Let z be h(-4). Suppose -q - z = -2*q. Let t = 66 - q. Does 7 divide t?
True
Let s = -17 + -2. Let g = s + 10. Is 42 a factor of ((567/2)/g)/(6/(-8))?
True
Let x(d) = -758*d + 40. Is x(-6) a multiple of 124?
True
Let d(v) = 6*v + 48. Let r be d(-8). Suppose -4*y + 265 = z, r = -2*y + 4*z + z + 149. Does 23 divide y?
False
Let g(z) = 72*z**2 - 102*z - 29. Let c be g(17). Suppose 31*i - 20728 - c = 0. Is i a multiple of 23?
False
Suppose -5*u + 21 = 4*m, -4*u - 5*m + 8 = -7. Let j = -709 - -512. Is 6/10 - j/u a multiple of 12?
False
Suppose 5*z - 7 = -3*o - 2, 2*z + 5*o + 17 = 0. Let r be 668/(z + 0) + (-4 - -2). Let f = r - 116. Is 5 a factor of f?
False
Suppose 15*m = 16*m - 899. Suppose 8*j - 365 = m. Is j a multiple of 23?
False
Let p be (-4)/24 - 140/24. Let v be (-1328)/(-18) + p/(-27). Suppose -77*s + v*s + 795 = 0. Is s a multiple of 29?
False
Let h(r) = -r - 2. Suppose -96 = 8*n + 16. Let a be n - ((-1)/3)/((-6)/(-36)). Is 2 a factor of h(a)?
True
Let z(a) = -a**3 - 5*a**2 + 5*a - 7. Suppose 36*v + 30 = 31*v. Let r be z(v). Is 17 a factor of (3 - 10/15)*(-51)/r?
True
Is ((80/24)/5 - (-17)/(-3)) + 2650 a multiple of 25?
False
Let d = 202 - 191. Suppose d*q + 42 = 614. Does 7 divide q?
False
Let m = 44 - -16. Suppose -7*a + 4*a - m = 0. Let u = a - -110. Does 10 divide u?
True
Suppose 29*s + 8*s = 535424 - 99860. Is s a multiple of 36?
True
Is 33666/14 + (-82)/(-287) a multiple of 68?
False
Suppose -625*z + 234*z = -8546869. Is z a multiple of 25?
False
Suppose 0 = 4*r - 2*r. Suppose r = 2*f - 3 + 13. Is 14 a factor of (4/f)/((-4)/420)?
True
Suppose 8*a = 3*a + 4360. Suppose 14*i - a = 10*i. Suppose -4*v - 4*j + i = 10, -j = 2*v - 106. Is v a multiple of 27?
True
Let p(j) = j + 5. Let z be p(-5). Suppose -4*o - 5*k = -924, 3*o + k - 704 = -z*k. Suppose o = -4*v + 672. Is 13 a factor of v?
False
Let j = 26382 - 5818. Does 17 divide j?
False
Let m = 22355 - 14329. Does 59 divide m/8 - 29/116?
True
Let f(p) = -520*p - 2168. Does 71 divide f(-14)?
True
Suppose 2*h - 1380 = -d, 2*h - 3*d - 1440 = -60. Suppose u - 6*u + h = 0. Is 11 a factor of u?
False
Suppose -591*v + 566*v = -61875. Does 11 divide v?
True
Suppose 25 = -3*r - 2*c + 8, 50 = -5*r + c. Let u(h) = 5*h + 27*h**2 - 3 + 3 - 26*h**2 - 4 - 8. Does 19 divide u(r)?
False
Let l = 12324 + -8901. Does 7 divide l?
True
Let d be 1/1 + (-4 - -2). Let a(l) = 48*l + 7. Let b(o) = -528*o - 76. Let m(j) = 32*a(j) + 3*b(j). Is 8 a factor of m(d)?
False
Suppose 4*u = -f + 70, -79 = -3*u + 3*f - 19. Suppose u*b = 39*b - 19740. Does 47 divide b?
True
Let v be 3396/60 - 6/(-15). Suppose 51*r = v*r - 2574. Does 11 divide r?
True
Suppose 0 = -3*b + 2*f + 46, -2*b = 4*f - 3 - 1. Suppose b*l - 63 = -27. Suppose -i = z - 131, l*i = 1 + 2. Is z a multiple of 26?
True
Let p(d) be the third derivative of -d**6/120 - 5*d**4/24 - 2*d**3 - 14*d**2. Does 18 divide p(-6)?
True
Let o(u) = -u**3 - u**2 + u + 790. Let v be o(0). Suppose 0 = 2*p + 5*d + 316, -6*p + p - v = d. Let g = p + 277. Does 17 divide g?
True
Let b(q) = q**3 - 3*q + 17. Let w(g) = -3*g**2 - 10*g - 2. Let t be w(5). Let a = t - -127. Is b(a) a multiple of 3?
False
Let x = -109 + 99. Let o be (x/8)/((-5)/(-260)) - -3. Let y = -50 - o. Is y a multiple of 6?
True
Let r = -691 + 927. Let z = 349 + r. Is z a multiple of 39?
True
Let o(v) = 16*v**3 - 6*v**2 + v - 1. Let c(k) = -16*k**3 + 7*k**2 - k + 2. Let t(i) = -5*c(i) - 6*o(i). Is t(-3) a multiple of 44?
True
Suppose -45*d - 32 = -47*d. Suppose 3*p - 2*s = 1, -2*p + s = -6*p + d. Suppose p*v - 55 = -19. Does 2 divide v?
True
Let t be (0 + (-4)/4)*(0 - 2). Suppose s - 132 = -4*j, 4*j = s + t*j - 120. Is (10/(-40))/((-1)/s) a multiple of 25?
False
Let l(t) = -t**2 + 24. Suppose -3*q + 8*q = -11*q. Let a be (-1)/(-1)*q*2/(-4). Is 7 a factor of l(a)?
False
Let h be (14 - 13) + ((-2)/2 - -32). Is (h/40)/(1 - 2799/2805) a multiple of 22?
True
Suppose -80*o = 98*o - 387684. Is 99 a factor of o?
True
Let m(r) = 2*r**2 + 84*r - 1112. Is 79 a factor of m(-107)?
True
Let s = -135150 + 223372. Is s a multiple of 14?
False
Let y be (5 - 5)/(-5) - 5*-1. Suppose -3*t = -2*c - 384, -100 - 28 = -t + y*c. Is t a multiple of 64?
True
Let r(v) = -24*v**3 + 4*v**2 + 3*v - 7. Let i be r(-3). Suppose 4*x - 4*g = i, 5*g - 12 - 3 = 0. Is x a multiple of 8?
False
Let q = -1735 + 2214. Is 28 a factor of q?
False
Let d be -20*((-2)/5 + (-2 - -2)). Let a be (-963)/(-33) + 3/((-132)/d). Suppose 0*q + x - a = -q, 4*x = 4. Is 7 a factor of q?
True
Let b(h) = h + 26. Let o be b(-17). Suppose 0 = -4*c - o*c + 520. Is 20 a factor of c?
True
Let s(n) = -730*n**3 - 19*n**2 - 32*n + 4. Is s(-2) a multiple of 36?
True
Let u(l) = l**3 - 4*l**2 + 6*l - 2. Let f be 6/(-21) + -2 + 30/7. Let v be u(f). Suppose t = 2*q - 313, -8 = -v*t - 2. Is q a multiple of 31?
False
Let v = 74 + -69. Suppose -311 = v*p - 2381. Is p a multiple of 23?
True
Let t(k) = k**3 + 58*k**2 - 71*k - 10. Is t(-59) a multiple of 33?
False
Let p(w) be the second derivative of 0 + 81/2*w**2 - 14*w - 1/12*w**4 - 1/3*w**3. Is 15 a factor of p(0)?
False
Suppose -2706 = -l + 5*r + 5976, 2*l + 5*r = 17424. Does 21 divide l?
False
Let u(l) = 59*l + 123. Let d be u(-14). Let h = -75 - d. Does 43 divide h?
False
Suppose -27*s + 32*s = -112350. Is 19 a factor of (5/6)/((-35)/s)?
False
Is 7 a f