+ 10 = -4*m - 12, -4*m + 8 = 0. Is -6*(160/j + 1) a multiple of 20?
False
Suppose 0 = 2*d - 28*y + 32*y - 970, 5*d - 2*y = 2449. Is d a multiple of 83?
False
Suppose 0 = 44*s - 39*s, -3*s = -u + 145. Is u a multiple of 5?
True
Does 33 divide 1 - 0 - (-3930)/15?
False
Let i be (6/(-5))/(21/(-70)). Suppose -i*g + 4 - 44 = 3*v, 5*v = 2*g - 58. Does 7 divide 4/v*3*-35?
True
Let q = -315 - -531. Is q a multiple of 11?
False
Suppose 0 = -5375*v + 5368*v + 2534. Is 11 a factor of v?
False
Let c = -619 - -1186. Is 12 a factor of c?
False
Let b(j) = -140*j - 13. Is 19 a factor of b(-7)?
False
Let x(i) = 2*i**2 - 8*i - 14. Suppose -3*b + 10 = -17. Is x(b) a multiple of 12?
False
Let m = 0 + 2. Suppose 3*k + 17 = -0*w - 2*w, m*w + 20 = -4*k. Is 13 a factor of (-306)/(-7) - w/14?
False
Let r = 40 - 15. Suppose -r = -5*d, -2*d - 344 = -4*p + 2*d. Does 13 divide p?
True
Suppose -16*j + 21*j + 70 = 0. Let g = j - -17. Suppose 5*t = -g*s + 280, -s - 2*t = 2*s - 265. Is 24 a factor of s?
False
Let g = 46 - 128. Let p be (-1 - -4 - 0) + 124. Let l = p + g. Is l a multiple of 15?
True
Is 2 a factor of ((-8)/20*31)/((-6)/15)?
False
Suppose -4*n - 93 = -5*a, -2*n = -4*a - 26 + 98. Suppose -z + 31 = -3*w, -3*w - 49 = 2*w - z. Let i = w + a. Is 8 a factor of i?
True
Suppose 2*j = 10*h - 12*h - 432, h = 5*j - 186. Let q = 302 + h. Does 9 divide q?
False
Suppose -5*s = -125 + 22595. Does 20 divide 4/14 - s/49?
False
Let q be (16/(-4) - -9) + -3. Suppose 3*l = q*l + 82. Is 41 a factor of l?
True
Let y(i) be the third derivative of -i**7/2520 - i**6/120 + i**5/24 + 5*i**4/24 + 3*i**2. Let t(d) be the second derivative of y(d). Is 5 a factor of t(-6)?
True
Let j(g) = 2*g**2 - 18*g - 125. Is j(-8) a multiple of 14?
False
Let y = 1010 - 614. Is 31 a factor of y?
False
Let r be 74/14 + (-2)/7. Let n be ((1 + -1)/(0 + -2))/(-2). Suppose n = -r*x + 143 + 52. Is 13 a factor of x?
True
Let y = -21 - -33. Does 38 divide 1 + ((-2270)/(-12) - 2/y)?
True
Suppose 0 = p - 2*p + 225. Suppose 4*u + u + p = 0. Is 9 a factor of u/(1/(2 - 3))?
True
Suppose 0 = -4*m + 5*y - 48, -m - 3*m = 3*y + 48. Let a = 24 + m. Is a a multiple of 3?
True
Suppose -5*d + 19 - 4 = r, -r + 9 = 3*d. Suppose 3*i - 11 = -4*a + 89, -i + 5*a + 65 = r. Suppose 0 = 3*f - 8*f + i. Is f a multiple of 6?
False
Suppose 3*n - u - 1 = 9, 0 = 2*n - 5*u + 2. Suppose n*q - 3*f = -8 - 38, 0 = -2*q - 3*f - 14. Let r = 10 - q. Does 8 divide r?
False
Suppose 2*l + 1 = 7. Suppose l*i - f - 211 = 0, -5*f = 4*i - 0*f - 313. Does 39 divide i?
False
Let s(p) = -p**3 - 7*p**2 + 2*p + 8. Suppose -15*m = -18*m - 24. Is 19 a factor of s(m)?
False
Let k(t) = t**3 + 26*t**2 + 26*t + 25. Let l be k(-25). Let z(c) = 3*c. Let d be z(1). Suppose 0*p + d*p - 186 = l. Does 16 divide p?
False
Suppose 3*h = 11*h - 48. Let q(j) = 5*j - 5. Let x(a) = -1. Let v(y) = q(y) - 5*x(y). Is v(h) a multiple of 10?
True
Let x = 16 + -8. Let d be (3/(-2))/(x/16). Is 18 a factor of (d + 2)*-18 - 0?
True
Let d = 1373 - 634. Is d a multiple of 36?
False
Let k(o) = 2*o**2 + 2 + 1 + o + 1 + 3*o. Is 13 a factor of k(4)?
True
Let m = -6823 + 11368. Is m a multiple of 45?
True
Suppose 0 = 4*p - 5*m + 4*m + 31, -2*p + 3*m = 3. Let k = 93 + p. Is 12 a factor of k?
True
Let x(h) = -h + 6. Let c be (-3)/2*(-56)/21. Let p be x(c). Suppose -9 = -p*y + 1. Is y a multiple of 5?
True
Let v be 0 - (6/2 - (0 + 6)). Suppose -4*r = -r - 207. Is v - r*(-3)/3 a multiple of 12?
True
Is 85 a factor of 7/(-17 - -10) + 66*23?
False
Let f be (1/2)/((-1)/(-20)). Suppose k - 11 = 5*y - 1, 0 = 5*k + 5*y + f. Suppose k = 5*c - 0*c - 75. Is c a multiple of 5?
True
Let w be (-24)/36*(-6)/4. Does 8 divide (4 + w)/5 - 123/(-1)?
False
Let l be 1002/12 - (21/2)/(-7). Let u = l + 32. Does 29 divide u?
False
Suppose 13*s + 27144 = 21*s. Does 29 divide s?
True
Suppose -4*x - 4*q + 1113 = -531, 3*x + q - 1235 = 0. Suppose x = -y + 3*y. Suppose 2*v = -f + y, 0 = v - 0*v + f - 101. Does 15 divide v?
True
Is (-38)/6 + 7 + (-3812)/(-6) a multiple of 43?
False
Suppose 0 = 4*d - 3*q + 459, -300 - 164 = 4*d - 4*q. Let g = -91 - d. Does 5 divide g?
True
Let y(f) = 38*f**3 + f**2 + 2*f - 2. Let k be (-1)/(-2) - 8/(-16). Is 12 a factor of y(k)?
False
Suppose 7*m - 25120 = -9*m. Suppose -n - 1239 = -4*p, m = 5*p + 2*n + n. Is p a multiple of 21?
False
Let g be 8/12 + 95/15. Suppose 3*t + g = -2. Is (-231)/(-14) - t/6 a multiple of 9?
False
Let l(u) = 70*u**2 - 20*u + 15. Is 13 a factor of l(3)?
True
Suppose -3*x = -2*x + 1. Let t(a) = -103*a**3 + 2*a**2 + a - 1. Does 11 divide t(x)?
False
Let r = 102 - -353. Does 7 divide r?
True
Let u be -1*4 + (-96)/(-3). Let o = u - 46. Let f = o + 20. Is 2 a factor of f?
True
Let l(a) = -4*a - 46. Let h be l(-11). Let o(r) = -9*r**3 + 2*r**2 - 1. Is o(h) a multiple of 14?
False
Let d(l) be the first derivative of 9*l**4/2 - 4. Let j be d(1). Suppose j = 2*b - b. Is 6 a factor of b?
True
Let d(k) = k + 88. Is 4 a factor of d(-18)?
False
Suppose 6*b - 91 = -7*b. Suppose b*m + 264 = 10*m. Is 22 a factor of m?
True
Suppose 12 = -7*h + 11*h. Suppose -49 = -q - 4*w, 4*w - h*w = -4*q + 181. Suppose -228 = -4*b + 4*g - 0*g, b - 5*g = q. Is 15 a factor of b?
True
Let z(k) = k**3 + 2*k**2 - 6*k - 2. Let j be z(-4). Does 21 divide (-28)/(-70) + (-206)/j?
True
Let x(w) = 1165*w**2 + 3*w + 1. Let j be x(-1). Suppose 3*r = 3*k + 1303 + 431, 5*k = -2*r + j. Suppose -7*q = 75 - r. Does 12 divide q?
True
Let x be 4/((-5)/(45*-2)). Suppose -4*v = -6*v + x. Is v a multiple of 7?
False
Suppose 5*k + p - 5163 = 0, -10*k - p = -6*k - 4130. Is 9 a factor of k?
False
Suppose -4*c - 6 - 8 = -m, -134 = -5*m + 4*c. Is 30 a factor of m?
True
Let x(t) be the second derivative of t**4/6 - t**3/6 - 5*t**2/2 + 9*t. Is 40 a factor of x(-7)?
False
Suppose v + 393 = 5*t, -2*v + 399 = 4*t + 93. Does 16 divide t?
False
Let i(y) = -y**3 + 3*y**2 + y. Let a(p) = 5*p**3 - 6*p**3 + 4*p**2 - p + 5 + 3*p**2. Let q be a(7). Is i(q) a multiple of 6?
True
Suppose -5*v - 682 = -4*n - 105, 2*n - 3*v = 291. Is n a multiple of 23?
True
Let r(k) = -18*k**3 - 4*k**2 - 5*k - 2. Let m be 36/45*5/(-2). Is r(m) a multiple of 17?
True
Suppose 37*m = 30*m + 17906. Is 19 a factor of m?
False
Let h(j) = -j + 0*j - 9 - 2*j. Is h(-17) a multiple of 14?
True
Suppose -2*s + 7 - 3 = 0. Is ((-8)/(-10))/(s/195) a multiple of 39?
True
Suppose -2*g + 232 = 3*g + 4*s, -5*g + 4*s = -248. Let p = -5 - g. Let j = 7 - p. Does 13 divide j?
False
Suppose 4*m + 5*k = 46, 62 = 4*m + 7*k - 10*k. Does 14 divide m?
True
Suppose -2*g + 2517 = -2*b - 1737, 5*g + 3*b = 10675. Is g a multiple of 52?
True
Suppose p + 0*s - 3*s + 98 = 0, s - 186 = 2*p. Let q be 3/(-4) - p/16. Suppose q*k = 2*k + 57. Is 14 a factor of k?
False
Suppose -45 = 9*b + 18. Is 21 a factor of (-8)/2 - (b - 28)?
False
Let m(i) = -5*i**3 + 16*i**2 + 38*i - 2. Let c(a) = -a**3 + a**2 + a. Let u(x) = 4*c(x) - m(x). Does 14 divide u(15)?
False
Suppose 0*v = 3*v - 483. Let s = -99 + v. Does 7 divide s?
False
Suppose 5*h = 2*p - 885, 2*p - h - 1360 = -p. Is p a multiple of 65?
True
Let h(a) = -2*a + 6. Let x be (-63)/15 - (-1)/5. Is h(x) a multiple of 14?
True
Is 2 a factor of (-1)/(-26)*4 + (-846)/(-78)?
False
Is 67 a factor of ((-7053)/(-9))/(4/12)?
False
Let q(c) = c**2 - c - 24. Let w(n) = n + 6. Let a be w(-7). Let b(v) = -v**3 + v**2 + v. Let t(o) = a*q(o) + b(o). Is 6 a factor of t(0)?
True
Let y = 2142 + -1530. Does 8 divide y?
False
Suppose 10 = 5*p, 5*a + 2*p - 1581 = -p. Is a a multiple of 35?
True
Let w = -8 - -5. Let l be -1*1 - (w + -4). Suppose -2*s = -l*s + 152. Does 18 divide s?
False
Let g = -2378 - -2896. Does 5 divide g?
False
Suppose -3200 = -4*p - 0*p. Is 80 a factor of p?
True
Let g = -55 + 47. Let c(f) = 4 + 1 - 4 + 1 - 13*f. Does 39 divide c(g)?
False
Suppose 60*t - 72890 = -14*t. Is 24 a factor of t?
False
Let a(s) = 77*s**2 - 2*s - 1. Let z be ((-27)/(-6))/(-9)*2. Is a(z) a multiple of 13?
True
Suppose 4*o + 2*w + 10 = 0, o - 10 = 2*w - 0. Suppose -290 = -2*c - 5*f, 5*c + 2*f - 4*f - 667 = o. Is c a multiple of 31?
False
Let h(s) = -4*s**3 - 5*s**2 - 26*s - 120. Is 60 a factor of h(-6)?
True
Suppose -3*h + 2*t - 6*t = -109, -3*t + 111 = 3*h. Suppose -h = 5*n - 8*n. Does 13 divide n?
True
Suppose -1751 = -8*o + 417. Does 30 divide o?
False
Is (-2880)/(-100)*((