 ((-272)/10)/4*5. Let j = m + 60. Does 8 divide (-212)/(-7) + j/(-91)?
False
Let a = -1692 + 2722. Suppose -5*w = -4*s - a, -5*w = 2*s - 5*s - 1035. Is 15 a factor of w?
True
Suppose 9*o = 6*o + 12. Suppose -22 = -s + b, b = o*s + 24 - 124. Is 13 a factor of s?
True
Suppose 3*i = -4*a + 420, 0*i - 4*i + 560 = 4*a. Is i a multiple of 20?
True
Let f = 214 + -105. Let h = 174 - f. Is h a multiple of 13?
True
Let u(o) = o**3 + 3*o**2 - 3*o + 1. Let r be u(2). Let j(b) = b - 8. Let a(y) = 2*y - 16. Let m(l) = -6*a(l) + 13*j(l). Is m(r) a multiple of 7?
True
Suppose 5*d = 2*u - 469, -3*u + 3*d - 153 + 879 = 0. Is u a multiple of 2?
False
Suppose 26*x - 5*g + 1370 = 31*x, -4*x = g - 1093. Does 9 divide x?
False
Is 11 a factor of 18312/119 - 2/(-17)?
True
Suppose -2*q + 14 = 4*d, -2*d - 3*d + 4 = -2*q. Let z be ((-3)/2)/(2/(-8)). Let v = z - q. Does 3 divide v?
True
Let i(z) = z**3 - 14*z**2 - 21*z + 19. Let p(s) = -s**3 - 9*s**2 + 10*s + 16. Let f be p(-10). Is i(f) a multiple of 13?
True
Let b(m) = -m**3 - 7*m**2 - 8*m - 8. Let z be b(-6). Suppose 2*a = -2*a. Suppose w - p - 16 = a, -z*p + 24 = 5*w - 11. Is w a multiple of 6?
False
Let k = 1234 - 638. Does 21 divide k?
False
Let o be ((-8)/10)/((5 - 8)/15). Suppose -v + o*v = 480. Is 20 a factor of v?
True
Suppose 4*p - 271 = -5*f, -4*p - 11 = -27. Let u = 1214 - 1209. Suppose f - 551 = -u*g. Does 18 divide g?
False
Suppose 7*l + 12*l - 45733 = 0. Is l a multiple of 83?
True
Does 10 divide 180/(-8)*(-520)/30?
True
Suppose -6*k = -4*k. Suppose 368 = 4*i - k*i. Suppose -3*p + 4*f - i = -7*p, 4*p = -3*f + 97. Is p a multiple of 7?
True
Let i(v) = 7*v**2 - 2*v - 1. Let g be i(1). Suppose 4*a = g*b - 520, 2*b + a = 189 + 59. Does 14 divide b?
True
Let a(u) = -44*u - 16. Let i(y) = 15*y + 5. Let p(g) = 3*a(g) + 8*i(g). Suppose m = -4*d - 11, -m - m - 5*d = 19. Is 19 a factor of p(m)?
True
Let g(n) be the third derivative of 43*n**5/20 + n**4/8 + 2*n**3/3 + 15*n**2. Does 26 divide g(-1)?
True
Let c = -4 + 14. Let l be (24/c)/(6/(-30)). Let o = 72 + l. Does 15 divide o?
True
Let b(s) = 2*s**3 - 8*s**2 - 4*s - 8. Let l(y) = 3*y - 3. Let f be l(3). Is 20 a factor of b(f)?
False
Suppose 10*s = -2*y + 13*s + 2542, s = y - 1272. Is 14 a factor of y?
True
Let j(o) = 2*o**2 - 12*o + 4. Let n(f) = f**2 + 4*f - 6. Let r be n(-6). Does 2 divide j(r)?
True
Let j be (-90)/(-40) - 1/4. Suppose j*f = -f + 66. Suppose 3*n - f = 4*y + 5, 5*n - 3*y = 45. Is n a multiple of 2?
False
Suppose 0 = -24*s + 14068 + 2348. Is 31 a factor of s?
False
Suppose -1643 = -18*r + 175. Does 3 divide r?
False
Suppose 0 = -4*f - 2*k + 3378, 2*f + 2*k + 3*k - 1693 = 0. Does 60 divide f?
False
Let s = -18 + 18. Does 17 divide (-119)/(-42)*(6 - s)?
True
Suppose 0*v + 3*v + 126 = 0. Let s = v + 122. Let d = s - 26. Is d a multiple of 18?
True
Suppose d + 11271 = 5*v, -2*v + 4*d + 6766 = v. Is 36 a factor of v?
False
Let b(k) = -603*k - 411. Does 6 divide b(-3)?
True
Let t = 66 + -44. Let y = t - -42. Suppose -5*i - 6 = u - 3, -2*u + 4*i = -y. Is u a multiple of 5?
False
Suppose -27*g - 1120 = -31*g. Suppose 2*k - g = t, -20 = -4*t - 4. Is k a multiple of 13?
False
Let y be (-2*1)/(4 - 5). Suppose 0 = 4*g - 2*s - 330, 27 = -g + s + 111. Suppose -g = -y*p - 29. Is 8 a factor of p?
False
Suppose -i = 3*t + 4*i + 3, 5*t - 2*i - 26 = 0. Suppose 52 = -3*s + t*s. Let h = -37 + s. Is 9 a factor of h?
False
Suppose 2*u = -2*s - 262, 3*s + 5*u = 5*s + 290. Let i = s - -239. Is i a multiple of 19?
False
Let r be (-10)/25*5*77. Let p = 285 + r. Suppose -3*t - f + 28 = -87, 0 = 3*t + 5*f - p. Does 9 divide t?
False
Suppose 4*v - 32*v + 18564 = 0. Is 39 a factor of v?
True
Is (-40)/(5/40*-4) a multiple of 4?
True
Let g(q) be the third derivative of -q**6/120 + q**4/12 - q**3/6 - q**2. Let m be g(-2). Let r = 27 - m. Is 8 a factor of r?
True
Suppose 0 = 6*n - 5*n - 46. Suppose n = -0*u + u. Does 29 divide u?
False
Suppose -x + 8 = x. Let b be (-1052)/36 - x/(-18). Let d = b - -55. Does 20 divide d?
False
Let c be 216/42 + 1/(-7). Suppose -5*p = -2*p - 480. Suppose -c*j - p = -7*j. Is 26 a factor of j?
False
Let x be 5*3/6*2. Let v(m) = 0*m + x + m - 2*m + 11. Does 6 divide v(8)?
False
Suppose 0 + 1 = v. Let s(l) = -22*l**2 - l. Let t(h) = 68*h**2 + 3*h. Let x(w) = -7*s(w) - 2*t(w). Does 12 divide x(v)?
False
Suppose -k - s = -2*k + 5, 3*k - 4*s - 15 = 0. Suppose n - 4*z = 5*n - 28, -z - k = -3*n. Does 3 divide n?
True
Suppose g - 3*g + 30 = 0. Suppose 5 - g = -5*y. Suppose 3*t = -y*t + 145. Is t a multiple of 5?
False
Let p(y) = 2*y**2 + 16*y + 35. Let r be p(-17). Suppose -3*z + 3*s = 987, -4*s + r = -z - 3. Is z/(-8) + 2/(-4) a multiple of 8?
True
Let j = 297 - 217. Does 7 divide j?
False
Let j = -1 + 6. Suppose -j*l + 9 = -1. Is 7 a factor of l + (-1 - 0) + 10?
False
Suppose -5*m - 29 - 47 = -3*s, -m = -s + 28. Suppose -2*n = 2*n + s. Let a = n + 32. Does 12 divide a?
True
Does 31 divide 397 - 17/(34/(-12))?
True
Suppose -427 - 3083 = -39*j. Is j a multiple of 6?
True
Let f = -576 - -799. Is f a multiple of 6?
False
Suppose -2*f = -271 - 69. Is 10 a factor of f?
True
Let u = -211 + 94. Let l = u - -125. Is 3 a factor of l?
False
Let w = 293 - 172. Does 11 divide w?
True
Let r = -654 + 1329. Suppose -2*n = 7*n - r. Is 25 a factor of n?
True
Let x = 939 + -609. Does 30 divide x?
True
Suppose 0 = 2*i - 8, 5*i - 10 = -4*g + 18. Suppose 2*x - x - 11 = 0. Suppose 0 = g*q - 7 - x. Is q a multiple of 3?
True
Let x(f) = f**3 + 8*f**2 - 9*f + 2. Let k be x(-9). Let b be 1 - (3 - 1)/k. Suppose -3*a = -5*u - b*a + 235, 4*u + 3*a = 161. Is u a multiple of 18?
False
Let u = 2857 - 1311. Is 80 a factor of u?
False
Let l(q) = q - 10. Let t be l(10). Suppose 0 = -3*c + 4*s + 76, -c = -t*c + 2*s - 32. Is c a multiple of 5?
False
Let s be ((-6)/(-4))/(2 - 6/4). Suppose -5*k = s*x - 169, 3*x = 5*x - 4*k - 76. Does 6 divide x?
True
Suppose q = 4*d - 9*d - 3, -5*d = 5. Suppose 0 = -2*h + 3*h + i, 5*i + 2 = -4*h. Suppose 4*c = -f + h*c + 52, -3*c = -q*f + 97. Is f a multiple of 21?
False
Is (-63)/441 - ((-9915)/(-21))/(-1) a multiple of 29?
False
Suppose 0*a = -4*a - 48. Let d(p) = -p + 8. Let y be d(5). Is 19 a factor of (57/(-6))/(y/a)?
True
Let j = -35 + 65. Suppose 0*w + j = 6*w. Is 2 a factor of w?
False
Suppose 2*o + 0*b - 3*b - 19 = 0, 0 = -5*o - 5*b + 10. Suppose 3*c = 5*c - 5*m + 121, -4*m = -o*c - 260. Does 14 divide (c/(-8))/((-6)/(-56))?
True
Suppose 68 = 4*f - 4*p, 4*f + p + p = 50. Let a = -12 + f. Is 12 a factor of 996/42 + a/7?
True
Suppose y + 3*y - v = -4, 5*y + 5*v = 20. Suppose 3*w - 2 - 1 = y. Is 15 a factor of 2 + w/((-2)/(-72))?
False
Let u(o) = -13*o**3 + 2*o**3 + 8*o**2 + 10*o**3 - 6*o - 14. Let k be u(7). Is 5 a factor of k/(14/(-32)) + 2?
False
Let p be 3/((-3)/(-4)) - -17. Suppose 0 = p*i - 4446 + 309. Does 34 divide i?
False
Let h(a) = -a**2 - a. Let z be h(0). Let r(c) = -56*c**3 + c. Let w be r(-1). Suppose -5*f - w + 205 = z. Does 15 divide f?
True
Let d = 964 - -283. Is 26 a factor of d?
False
Does 19 divide (-13*(-2)/(-8))/((-21)/1596)?
True
Let h(a) = -a**3 + 9*a**2 - 5*a - 2. Let l be h(8). Let g = 70 + l. Is g a multiple of 18?
False
Let y = -22 + 43. Does 3 divide y - ((-2)/6 + (-8)/3)?
True
Let g = 27 - 32. Let l(u) = 11*u**3 + u**2 + 5*u - 1. Let s(j) = 5*j**3 + j**2 + 3*j. Let i(r) = 4*l(r) - 9*s(r). Is i(g) a multiple of 21?
False
Is 41 a factor of -1*((-47621)/14 - (-6)/(-4))?
True
Let v = 4529 + -2670. Is 25 a factor of v?
False
Suppose 4*n - 4 = 3*j, -5*n + j + 2 = -2*j. Does 3 divide n/(-10) + (-198)/(-10)?
False
Let t(q) = 9*q + 202 + 0*q - 192. Is 31 a factor of t(3)?
False
Suppose -h - 4*b + 10 = 0, h - 3*h - 4*b + 12 = 0. Does 4 divide (28/12 - h)*141?
False
Let w = 11 - 6. Suppose -w*z + 11 = 2*k, k - 4*k - 2*z = -11. Suppose -4*v - 18 = -k*l, -l + 5*v = -5*l + 55. Is l a multiple of 5?
True
Suppose -3469 = -27*j + 689. Is j a multiple of 7?
True
Let z = 77 + 161. Does 17 divide z?
True
Suppose -6*o + 4*o = -3*a - 166, -4*a + 392 = 5*o. Suppose o = 5*j - 4*j. Is 20 a factor of j?
True
Suppose -5*f + 197 = 47. Suppose 3*x - f = 138. Let t = x + 14. Does 14 divide t?
True
Let h(n) = 2*n + 2. Let g be h(3). Suppose a + a + 3*q = g, 0 = -4*q + 8. Does 12 divide (-1152)/(-24) + (1 - a)?
True
Let w = 49 + 65. Does 5 divide 2/(-5) 