Suppose -4*n + f = -57. Does 5 divide n?
True
Suppose 0 = 41*x + 61*x - 323136. Does 96 divide x?
True
Suppose -465 = -19*m - 85. Does 10 divide m?
True
Let x = -101 - -115. Let f(u) = 2*u**2 - 21*u + 33. Let z be f(x). Suppose 0 = -6*h - z + 641. Is 42 a factor of h?
False
Let v be (-11)/((-132)/(-510))*(-52)/5. Suppose -10*y = -6*y + w - 591, 2*w = -3*y + v. Is y a multiple of 4?
True
Does 82 divide (-10)/(-9) - 643916/(-468)?
False
Let y(i) = -i**3 + 9*i**2 + 3*i - 1. Let v be y(6). Suppose m + 6*x - 3*x = v, 15 = -3*x. Does 20 divide m?
True
Suppose -255 = -3*n - 3*o, 5*n - 5*o = 347 + 128. Is 5 a factor of -1 + 102/n - (-1586)/30?
False
Suppose -758 = -5*c + 3*r, -298*r + 301*r = 3*c - 450. Is c a multiple of 14?
True
Does 58 divide (-1)/4 - (-778)/12*(-1683)/(-66)?
False
Let c(r) = -r + 12. Let v be c(-3). Let i be (-1 + -89)/(3 + (-106)/34). Suppose -v*x = -6*x - i. Does 17 divide x?
True
Let k be (-3)/(84/(-92)) - 6/21. Suppose -4*j - 2*h + 97 = -j, -k*j + 103 = 5*h. Does 31 divide j?
True
Suppose a = 35*c - 38*c + 38993, 0 = -3*c - 4*a + 38981. Is 21 a factor of c?
True
Suppose -4*v - 656 = 4*v. Let x = v - -137. Suppose -3*y = -15, -3*q + 5*q - 5*y - x = 0. Is 10 a factor of q?
True
Suppose -4*h = -13*h - 342. Let n = -48 - h. Does 22 divide (n/(-4))/((-6)/(-168))?
False
Let j = 1081 + -487. Suppose -6*t = 54 - j. Is 9 a factor of (12/(-24))/((-1)/t)?
True
Suppose 0 = b + 7, -3*b - 63466 = 4*l - 175817. Is 15 a factor of l?
False
Let h(y) = 108*y - 103. Let t be h(4). Suppose 0 = -3*c - 3, -19*d = -16*d - 5*c - t. Is d a multiple of 36?
True
Let q be -4 + 3 + (-9)/3 + 4. Suppose -6*t + 12 = -q*t. Suppose t*n - 216 = -34. Does 19 divide n?
False
Let w = -1795 + 2834. Let s = w - 577. Is 66 a factor of s?
True
Suppose -m - 5*b = 103, -4*b + 29 + 457 = -5*m. Let a = m + 101. Suppose -a*c = -13 - 83. Is 32 a factor of c?
True
Let h(o) = -7*o**2 - 8*o + 4 + 14*o + 17*o**3 - 6*o. Is h(3) a multiple of 10?
True
Suppose -5*c = -3*s - 3556, 0*c - 1196 = s + c. Let n = 2258 + s. Is n a multiple of 67?
False
Suppose -210*p - 6*x - 1518 = -214*p, 5*x = 15. Is p a multiple of 48?
True
Suppose 15 = -11*a + 10*a + 3*j, 0 = -2*a + 2*j - 10. Does 14 divide ((-2860)/26)/(a - (-2)/(-14))?
True
Let z(a) = a**2 + 13*a + 30. Let h be z(-3). Suppose -v - 2*j + 316 = h, 6*v - v = 2*j + 1628. Does 8 divide v?
False
Suppose -4*p - 5*w = p + 1030, -206 = p - 2*w. Suppose -3*t + 181 = -44. Let i = t - p. Does 33 divide i?
False
Let m(c) be the third derivative of -7*c**4/24 + 53*c**3/6 - 23*c**2. Let l be m(7). Suppose -l*r - 2*q = -18, 2*r - 24 = -2*r - 4*q. Does 3 divide r?
True
Suppose 8*k - 2 = 7*k. Suppose -v + 432 = k*v. Is 37 a factor of v?
False
Suppose r + 0*r + 3*d = 1951, 3*d - 9839 = -5*r. Is 29 a factor of r?
True
Suppose 0 = -7*l + 22 - 848. Let b = -30 - l. Does 41 divide b?
False
Suppose -655*k + 644*k = 385. Let w(s) = s**3 + 36*s**2 + 20*s + 51. Is 86 a factor of w(k)?
False
Let l = -3251 - -4232. Is l a multiple of 4?
False
Let o = -5416 - -5666. Is o a multiple of 3?
False
Let k = 257 + 1661. Is 14 a factor of k?
True
Suppose 2*h - 3 = i, h + 3 - 6 = -i. Let k be 7/(h/(-12) + (-6)/18). Does 20 divide (1 - 123)/(k/7)?
False
Suppose -q = 4*w - 446, -3*w = q - 2*w - 440. Let n = q - 95. Is 17 a factor of n?
False
Let v be ((-22)/33)/(1/849). Let o = -332 - v. Does 39 divide o?
True
Suppose -18810 = -3*t + 5*o, -7*o + 12 = -11*o. Is t a multiple of 35?
True
Suppose 32*v = 3*p + 31*v + 348, 4*p = 4*v - 472. Let z = 502 + p. Is 11 a factor of z?
False
Let x(g) = -16 + 182*g + 177*g + g**2 - 370*g. Is 4 a factor of x(13)?
False
Let d(f) = 4072*f**2 - 7*f + 17. Is 11 a factor of d(2)?
True
Let v(f) = 2*f**2 - 7*f - 11. Let d be (-6)/14 - (-199)/7. Suppose -o = -5*o - d. Is 17 a factor of v(o)?
True
Suppose -7*k - 102 = 304. Let x = k - -62. Suppose 5*w - 5*t - 90 = 0, -26 = -3*w - x*t + 56. Does 5 divide w?
False
Does 19 divide (-12 - (-5 - 5073)) + -12?
True
Let g be (-166)/(-6) + -4 + (-52)/(-12). Is 4 a factor of 972/g + 18/63?
False
Let n = -5647 - -7996. Suppose 6*m - n = -33. Is m a multiple of 15?
False
Suppose -36*s + 75656 = -28564. Is s a multiple of 28?
False
Suppose 3*x + 396 = 4*u - 3*u, -792 = -2*u - 2*x. Does 33 divide u?
True
Let s = 203 + -203. Suppose -5*d + 583 - 373 = s. Is d a multiple of 3?
True
Let h(p) = -p**3 + 69*p**2 + 191*p - 1049. Is 2 a factor of h(71)?
True
Let q(b) be the first derivative of 5 - 1/3*b**3 + 25/2*b**2 + 9*b. Does 20 divide q(18)?
False
Suppose 5*c = 13 - 48. Is (3 + -3)/c - -957 a multiple of 59?
False
Suppose 0 = -4*g - 38*y + 33*y + 143412, 0 = -g - 5*y + 35853. Does 17 divide g?
True
Suppose -17*i + 2*i = 0. Suppose f + 1448 = 4*f - 4*b, 2*f + 3*b - 988 = i. Is 61 a factor of f?
True
Suppose 87*l - 139*l - 418296 = -76*l. Does 96 divide l?
False
Let r be 16434/(-33)*39*2/4. Is (-12)/(-32) - r/24 a multiple of 5?
True
Let v = 1139 + 1125. Does 3 divide v?
False
Let q be 7 + (-2)/(-10)*5. Suppose -3*x = d + 10 - q, x = -d. Is (189 + -4)/5 + d a multiple of 38?
True
Let z = 337 + 5573. Is 83 a factor of z?
False
Suppose -3*j = -3*s + 1104, -s - 4*j + 361 = -12. Let p be (-3)/(1 - (-86)/(-85)). Let v = s - p. Does 19 divide v?
True
Let h be (50/8 - 1) + (-30)/120. Suppose 2*p = 7*p + 4*l + h, 3*p + 25 = 2*l. Is 11 a factor of (-36)/45*11*p?
True
Let a = -48 + 44. Let z be (6 + a - -30) + 0. Let y = z + 8. Is 10 a factor of y?
True
Does 23 divide (-6)/(-90)*13535*18/30*5?
False
Suppose -3*p = 248 - 245, -5*g + 7112 = -2*p. Is 18 a factor of g?
True
Let m be ((-3)/9*104)/((-4)/(-18)). Let p = m - -545. Is p a multiple of 18?
False
Suppose -3*u - 5*o + 6868 = 0, 4*u + o = 9454 - 274. Is 82 a factor of u?
True
Suppose 3*h = -2*p + 17588, 4865 + 3951 = p - 4*h. Is p a multiple of 97?
False
Suppose -3*y + 9 = 2*u, 3*u - 6*y + 4*y = -6. Suppose u = -7*c + 73 + 1677. Is 16 a factor of c?
False
Suppose 2*h + 0*h - 1213 = g, 0 = 2*h - 3*g - 1223. Suppose -4*v - 4*u + h = -2*u, -3*u = -6. Is v a multiple of 6?
True
Let x(i) = -i**3 + 25*i**2 + 62*i - 207. Is x(23) a multiple of 13?
False
Let o(b) = 20*b**2 + 39*b + 9. Does 136 divide o(37)?
True
Suppose -20*f - 48*f + 82288 = 27480. Is f even?
True
Suppose -4*y = -4*k - 22276, 12*y + 2*k + 27857 = 17*y. Is y a multiple of 15?
False
Let z(h) = -h + 8. Let k = 0 - -12. Let b be z(k). Is ((-546)/65)/(b/50) a multiple of 15?
True
Let z(d) = 6 + 2 - 22*d - 6*d**2 - 2 + 5*d**2. Is z(-10) a multiple of 21?
True
Let l(r) = -4*r + 78. Let w(y) = y**2 - 10*y. Let m be w(10). Is 13 a factor of l(m)?
True
Suppose 2*d - 4*d + 110 = 3*y, -y + 2*d + 42 = 0. Suppose -y = l + 36. Let s = -47 - l. Is s a multiple of 5?
False
Suppose 4*q - 32 = -2*s, -4*s - 3*q + 39 = -5. Suppose -418 = s*m - 58. Let w = m + 75. Does 12 divide w?
False
Suppose k + 3 = -5*j, 9*k - 6*k - 7 = j. Let c be (3 + -4)/((-3)/15). Suppose 244 = c*l - 3*v, -k*l + 2*v - 5*v = -106. Is l a multiple of 14?
False
Let d(b) = 2*b**2 - 17*b + 71. Let q be d(7). Let j = 314 - q. Is 11 a factor of j?
True
Let u be 4599/(-42) - 1/(-2). Let a = u + 217. Is a a multiple of 51?
False
Let p(h) = 281*h - 1466. Is p(10) a multiple of 56?
True
Let v(g) = -8*g**2 - 21*g + 22*g**2 + 0*g**2 - 7 + g**3 - 6*g**2. Let l be v(-8). Let p = l + -85. Is p a multiple of 38?
True
Let x = 4247 - 1780. Does 31 divide x?
False
Suppose 56*q + 1811 = -4237. Suppose h = 5*h + 144. Let v = h - q. Does 24 divide v?
True
Let h(k) = -3*k**2 - 5*k. Let j be h(-2). Let x be (-2 - 2)/((-1)/(-2)*j). Suppose -20 = 6*t - t, -x*y + 368 = -5*t. Is 29 a factor of y?
True
Let h = 63 - 69. Is 40 a factor of (-7664)/(-32) + (-3)/h?
True
Suppose -10*n + 225 = -7*n - 2*f, 2*n + 4*f - 166 = 0. Suppose -n*p - 6580 = -97*p. Is 7 a factor of p?
True
Let j(r) = r**3 + 10*r**2 + 5*r + 3. Let v be j(-5). Suppose 105*t = v*t + 6. Suppose -t*s - 3*n + 59 = 5, 0 = -s + 3*n + 14. Is s a multiple of 17?
True
Suppose -d + 14 = -3*v, 2*d - v - 6 - 2 = 0. Suppose 3*y = -9, -r - 1 - 1 = d*y. Is 3 a factor of 4/(-10) - (r - 92/5)?
False
Suppose -6 = 2*l - 28*v + 30*v, 2*l + 6 = -v. Does 46 divide 3308/18 + ((-100)/36 - l)?
True
Let i be (4/(-6))/(1/3). Let l(a) = 11*a**3 + 5*a**2 - 10*a - 7. Let k(w) = -w**3 + w**2 - 2*w - 2. Let x(g) = 5*k(g) - l(g). Is 18 a factor of x(i)?