h, -5*d + 2*h = 36. Let w be (-1164)/d*4/(-6). Let y = -85 - w. Is y a multiple of 6?
True
Suppose 5*d = -2*u - 979 - 914, -3*u + 365 = -d. Let a = d - -883. Is 11 a factor of a?
True
Suppose 0 = -2*o + 2*d + 2, -5*d = 14*o - 9*o - 25. Suppose 9*q + 12 = 6*q, -o*y + q = -364. Is y a multiple of 60?
True
Is -3998*(15/5 + -4) a multiple of 57?
False
Let v = -234 - -674. Suppose -5*j = 4*a - 868, -2*j - a = -v + 91. Suppose 5*m - 3*t + 0*t - 212 = 0, 4*m + 4*t = j. Does 3 divide m?
False
Let k(s) = 161*s**2 + 92*s + 454. Is k(-6) a multiple of 74?
True
Suppose 0 = -16*t + 7*t + 27. Suppose -t*c + 13*c = 530. Let p = c + -21. Does 7 divide p?
False
Let i be (4/6)/((-10)/90). Is 3 a factor of ((2 - -1)*i)/((-4)/10)?
True
Suppose 11*t - 32 = -65. Is 17 a factor of 1896/16 + t/(-2) + -1?
True
Let u = 24651 - 12411. Does 102 divide u?
True
Let s = 163101 - 112969. Does 22 divide s?
False
Suppose -3*o - 4*z - 98 = 0, 124 = -7*o + 3*o - 2*z. Suppose 411 = -a + l, 3*l + 827 = 15*a - 17*a. Does 13 divide o/(-20)*a/(-6)?
False
Let d(g) = 340*g - 42 - 671*g + 265*g. Is d(-6) a multiple of 11?
False
Let v = 982 + -1682. Is (v/15)/((-2)/42*2) a multiple of 10?
True
Let t(l) be the first derivative of -l**6/120 - l**5/60 + 5*l**4/12 + l**3/2 + 7*l**2 - 19. Let f(d) be the second derivative of t(d). Is 2 a factor of f(-4)?
False
Let m = 4072 + 47717. Does 183 divide m?
True
Suppose 455*o = 482*o - 252018. Does 14 divide o?
False
Is -12334*(-20)/(1960/42) a multiple of 140?
False
Let r = 12879 + -11319. Does 6 divide r?
True
Suppose 3*x - 6592 + 444 = 2*x. Is 152 a factor of x?
False
Let f(c) = -5*c - 48. Let r be f(21). Let x = -6 + -13. Let h = x - r. Does 37 divide h?
False
Let k = 51 - 48. Suppose -k*l + 251 = -2*f, 20 = l - 2*f - 69. Is 23 a factor of l?
False
Let g = 138 + -127. Is 27 a factor of 12*(g + -5)*3/2?
True
Suppose 12285 + 6257 = 10*o - 568. Is 7 a factor of o?
True
Suppose -24411 = -47*f + 7784. Does 17 divide f?
False
Suppose 27*r - 86 - 22 = 0. Is 24 a factor of -1*(-5 + r) + (-232)/(-4)?
False
Let o(n) = n**3 + 13*n**2 - 13*n + 37. Suppose -3*i = 2*d - 5*i + 18, 3*i = -d - 17. Is o(d) a multiple of 23?
False
Let y(z) = -z**2 - 30*z - 19. Let j be y(-29). Suppose -324 = -13*g + j*g. Is g a multiple of 6?
True
Suppose -5*g - 40 = -a, -2*a = -48*g + 45*g - 31. Let m(q) = 19*q**2 + 4. Let n be m(-4). Suppose 12*p - n = a*p. Does 11 divide p?
True
Let a(c) = 570*c - 2848. Is 5 a factor of a(11)?
False
Suppose 72*q - 64*q = -187 + 3363. Is 5 a factor of q?
False
Suppose 48 = -2*m - 3*c, 5*c = 8*m - 9*m - 10. Does 5 divide 283*(-10)/m + 4/6?
True
Is (-7*(-72)/56)/(4114/(-2058) - -2) a multiple of 27?
True
Let z = -149 - -144. Does 29 divide -2*(3/z)/((-12)/(-2790))?
False
Suppose t = -3*j + 1 + 13, 3*t - 4*j = 16. Let g = t + -93. Is 16 a factor of 3*(-12)/(-9) - g?
False
Let s(g) = -3*g - g + 0*g - 12 - 12*g - g**2. Let o be s(-15). Suppose -o*p + 7*z + 132 = 4*z, 4*z = -4*p + 136. Does 7 divide p?
False
Suppose p + 4*g = -11, -4*g - 36 = 4*p + 8. Does 20 divide (-16 - -10)*(p + -2)?
False
Suppose 2*h - h = -4*z - 2, -2*h - 4 = -3*z. Suppose r - r + 2*r = z. Suppose -11*l + 181 + 237 = r. Does 12 divide l?
False
Let f(a) = a**3 + 6*a**2 + 9*a - 4. Let k be f(-3). Is 73 + k/1 + 1 a multiple of 9?
False
Let l(r) = -209*r + 17. Let p be l(1). Is 6 a factor of (-32)/p + (-161)/(-6)?
False
Let q(t) = t**3 - 7*t**2 + 6*t - 24. Suppose 4*b - 11 - 17 = 0. Let w be q(b). Suppose -w*a + 84 = -15*a. Is a a multiple of 6?
False
Suppose 70*m = 43*m + 164160. Suppose -7*p + 45*p = m. Does 20 divide p?
True
Suppose -12*x = 616 + 368. Let n = -88 + 129. Let f = n - x. Is 9 a factor of f?
False
Suppose 69*q = 53*q + 161200. Suppose -2*t = 11*t - q. Does 11 divide t?
False
Suppose 72 = 26*z - 20*z. Does 81 divide (-5)/(-20) - (-11613)/z?
False
Suppose -5*f + 10*f = v - 20470, 367605 = 18*v + 5*f. Does 95 divide v?
True
Let f(u) be the third derivative of u**6/60 + u**5/10 + u**4/8 + u**3/2 + 41*u**2. Does 4 divide f(3)?
True
Suppose 27*w - 45784 - 36751 = 10*w. Is 5 a factor of w?
True
Let q = 70 + -64. Does 21 divide (-529)/(-4) - q/24?
False
Let d(n) = 3*n**2 + 20*n - 15. Let v be d(-7). Is 60 a factor of v/(-12) + (-2690)/(-15)?
True
Suppose -17*f + 63860 + 17236 + 6165 = 0. Is f a multiple of 106?
False
Let o(s) = s - 7. Let p be o(9). Suppose -4*q + 224 = 2*z, -8*z + 9*z = p*q + 104. Is z a multiple of 9?
True
Let u(y) = y**3 - 3*y**2 + 3*y - 4. Suppose -9 = 6*q - 9*q. Let t be u(q). Suppose -4*f + r + 262 = 0, -t*r + 0*r = 5*f - 340. Does 22 divide f?
True
Let q(o) = 18*o + 57. Let f be q(-4). Is (f/(-6))/(((-57)/234)/(-19)) a multiple of 24?
False
Suppose -4*o = 5*p - 3, -4*p + 12 - 22 = -3*o. Suppose o*d = -d + 831. Let n = d - 135. Is 22 a factor of n?
False
Let q(o) = -7*o**3 - 4*o**2 - 6*o - 2. Suppose 0 = -4*w - 16. Does 27 divide q(w)?
False
Suppose 0 = -226*p + 220*p + 42. Suppose -3*v = -5*k - 835, 842 = -4*v + p*v + 2*k. Is v a multiple of 10?
True
Let x = -47 - -57. Suppose -k - x = -15. Suppose -5*p + 380 = k. Is 12 a factor of p?
False
Let n(d) = -21*d**3 - 4*d - 4. Let q be n(-1). Let m(b) = 35*b - 91. Is m(q) a multiple of 7?
True
Suppose 9*x + 546 = -894. Is 56 a factor of x*(7 + 21/(-2))?
True
Let s(c) = c - 6. Let p be s(6). Suppose 0 = -4*j + 2*i + 6, -4*i + 0*i + 4 = p. Is 12 a factor of -37*(1 + j)/(-3)?
False
Let f(t) = 88*t - 316. Is f(69) a multiple of 14?
False
Let m = -9707 - -25913. Is 7 a factor of m?
False
Let g(s) = s**3 + 12*s**2 + 11*s - 5. Let d be g(-8). Let t = d - -9. Suppose 0 = 4*n + 3*f - 169, -4*n - 4*f = -0*n - t. Is 5 a factor of n?
True
Let w be (50/4 + -13)*-10. Let b(h) = h**2 - 5*h + 3. Let o be b(5). Suppose -509 = -w*x + 4*k + 122, -x + o*k + 124 = 0. Is x a multiple of 20?
False
Let j be ((-60)/9)/(16/168). Let f = 162 + j. Does 8 divide f?
False
Let h(u) = 578*u - 565. Is 99 a factor of h(8)?
True
Let s be 5*(1308/5 - -4). Suppose 17*i + 3*v = 15*i + s, -3*i = -v - 2003. Does 37 divide i?
False
Let b be (-15 + 12)*(2 - 11/3). Does 12 divide 16 - (b + -4 - -3)?
True
Let q(f) be the second derivative of -7*f**3/3 - 8*f**2 + f. Let b be q(-8). Suppose -3*p = -2*n + 89, 3*n - n + 4*p - b = 0. Is 7 a factor of n?
False
Is (-306531)/(-54) + 4/((-8)/1) a multiple of 172?
True
Suppose -6*y - 35 = -3*m - 11*y, 65 = 2*m - 5*y. Let d(w) = 7 + 2*w - m*w + 6*w - w**2. Does 7 divide d(-8)?
False
Suppose 3*r + r + 224 = -q, -200 = 4*r - 5*q. Let g = 55 + r. Is 4/(-18) + 546/27 - g even?
True
Let i = -135 + 144. Suppose -i*l + 14*l - 1915 = 0. Is 17 a factor of l?
False
Does 15 divide 20/310 + (-7903)/(-31)?
True
Suppose -19*l - 15910 = -24*l + 5*x, x + 25442 = 8*l. Does 4 divide l?
True
Suppose -2 = 2*f + 4. Let l be (-52)/f - (-6)/(-18). Suppose 3*s - l - 76 = 0. Does 17 divide s?
False
Does 105 divide (-41 + 51)*((-13476)/8)/(-3)?
False
Suppose -2*j = -j + 5*q + 18, 0 = -j + 4*q + 18. Suppose 81 = j*m + m. Is 2 a factor of 8/(60/m - 8/36)?
True
Suppose -5*o = -2*m - 2*o - 1051, -m + 4*o - 518 = 0. Let s = 1885 - m. Suppose -19*j = -4*j - s. Is 23 a factor of j?
True
Let i(d) = 218*d**3 + 84*d**2 - 3*d. Is i(3) a multiple of 29?
False
Suppose -260*y + 930 = -234*y - 90746. Is y a multiple of 43?
True
Let u = 21938 + -21872. Does 6 divide u?
True
Suppose -3*g + 27574 = -4*c, -2*g + 18411 = -251*c + 254*c. Does 5 divide g?
False
Let q(f) = -f**3 - 10*f**2 - 10*f - 7. Suppose 0 = -2*b + 4*b - 6, 4*x - 2*b = -42. Let i be q(x). Let m(l) = 18*l - 6. Is 6 a factor of m(i)?
True
Is 35/(-105) + 25175/15 a multiple of 6?
False
Let q be 8/4 + 1584/3. Let d = 770 - q. Does 20 divide d?
True
Let d = 1125 - 778. Suppose d = 2*u - 623. Is 13 a factor of u?
False
Suppose q = -2*n - 2*n, 0 = -5*n - 2*q. Suppose t + t - 2*f + 10 = 0, 2*t - f + 7 = n. Let a(x) = 9*x**2 + 5*x + 9. Is a(t) a multiple of 5?
True
Let d(p) be the first derivative of -p**4/4 + 28*p**3/3 - 35*p**2/2 - 64*p + 20. Is d(26) a multiple of 9?
True
Is 15 a factor of ((52488/(-180))/(4/25))/(6/(-12))?
True
Let n(g) = 0*g**3 + 5 + 3 - 5*g - 2*g**2 - g**3. Let v be (4 - 14/6)/(-1 - 65/(-90)). Is 13 a factor of n(v)?
True
Suppose 12*i - 55 - 29 = 0. Let a(s) = -9*s**2 + 7*s - 7. Let r(y) = 5*y**2 - 3*y + 4. Let j(u) = i*r(u) + 4*a(u). Does 2 divide j(3)?
True
Let p(g) =