- 35270. Is w a multiple of 29?
False
Suppose 5*p + 3*j - 38 = 0, -5*p - 2*j = -3*j - 54. Suppose 5*b = p*b - 30. Suppose -b*y + 108 + 90 = 0. Does 11 divide y?
True
Let g(w) = -1726*w + 289. Does 13 divide g(-1)?
True
Let k(l) be the first derivative of 13*l**5/120 - 5*l**4/12 + 2*l**3/3 - 23. Let p(s) be the third derivative of k(s). Is p(10) a multiple of 40?
True
Let f(j) = j**3 - 5*j**2 - 6*j - 2. Let o be f(-2). Let u = o - -63. Does 15 divide u?
True
Is 532/(-1862) - (-27043)/7 a multiple of 28?
False
Let k = 0 + -984. Let z = k - -1485. Is 9 a factor of z?
False
Let s = -13873 + 21676. Is 9 a factor of s?
True
Let m(p) = 51*p + 3715. Is m(-9) a multiple of 88?
True
Let p be ((-120)/(-25) - 3)/((-8)/(-40)). Suppose -1142 = -11*r + p*r + 3*w, -5*r + 2862 = -4*w. Is r a multiple of 14?
True
Let t be (1 - 45/(-2)) + 9/18. Let o(k) = -3*k**3 + 11*k**3 + 2*k**2 + 9 - 29*k + t*k. Does 19 divide o(3)?
True
Let o(n) = 50*n**2 + 10*n - 8. Let x be o(1). Suppose -3*k = -2*z + 198 - x, -5*k = 5*z - 315. Does 6 divide z?
False
Let s = -24 - -39. Suppose s*n - 1250 = 20*n. Let k = 420 + n. Does 32 divide k?
False
Let f = -9894 - -13403. Is f a multiple of 37?
False
Suppose 15531 = 9*i - 40*i. Let r = 810 + i. Does 108 divide r?
False
Let n = 6254 - 2922. Does 5 divide n?
False
Let y = -8934 + 12762. Is y a multiple of 33?
True
Is (5696 - 36/(-9))*(-6)/(-15) a multiple of 10?
True
Does 15 divide ((-1299)/12)/((-35)/(-10) + (-310)/88)?
False
Suppose 0 = -6*v + 2*v + 2*h - 46, -5*h + 61 = -4*v. Is (-1740)/v*12*(-1)/(-10) a multiple of 15?
False
Suppose -3*p + 4620*m = 4621*m - 43302, -5*m - 72170 = -5*p. Is p a multiple of 14?
True
Suppose 135 = 6*g + 243. Does 27 divide -6 - 834/g*3?
False
Suppose -45*m = -20184 - 11316. Is m a multiple of 7?
True
Let z(i) = 5*i**3 + 2*i**2 - i + 2. Let p be z(2). Suppose -48 = -5*o - p. Let q(c) = -c**3 - 2*c + 23. Is q(o) a multiple of 12?
False
Suppose 5*g + 4*o + 4 = 0, 3*o + 3 = 29*g - 33*g. Suppose g = 2*n - 429 - 2051. Is n a multiple of 31?
True
Let a(i) = i**2 - 12*i + 29. Let n be a(10). Let c(y) = 3*y + y**2 - 7*y + 3*y**2 + n + 3. Is 31 a factor of c(-6)?
False
Suppose 4*s - 4718 = 13*d - 11*d, -s = 3*d - 1176. Suppose -581 = -4*r + s. Is 55 a factor of r?
True
Let a be (-21)/(-14)*60/9. Suppose a*y = 3*y + 532. Is 35 a factor of y?
False
Is ((-734136)/(-2))/13 + 24 a multiple of 30?
True
Let b = 4500 + -1996. Is b a multiple of 20?
False
Let p be 19334/(-84) - 2/(-12). Let x = 335 + p. Does 35 divide x?
True
Let l = 18029 + -3815. Is l a multiple of 138?
True
Let t = -502 - -1300. Let o = t + -501. Does 20 divide o?
False
Let t(n) = n**3 - 28*n**2 + 343*n + 210. Is 18 a factor of t(26)?
True
Is 15 a factor of (-85184)/(-40) - 26/(-65)?
True
Suppose -160*g + 150*g = -34970. Suppose -15*c = 377 - g. Is 16 a factor of c?
True
Let p = -123 - 20. Let w = 194 + p. Is w a multiple of 3?
True
Let j(w) = -109*w + 7. Let h be j(3). Let f = 73 + -252. Let k = f - h. Is 43 a factor of k?
False
Suppose 48*z - 247445 = -100277. Does 73 divide z?
True
Let n = 343 - 176. Let p = 477 - n. Is 17 a factor of p?
False
Suppose -7*r = 5*c - 5*r + 405, 0 = 3*c - 2*r + 259. Let d = 137 + c. Is d a multiple of 54?
True
Let m = -24 + 34. Suppose -m*y - 478 + 3358 = 0. Is 48 a factor of y?
True
Does 155 divide 156/208 + (2672145/12)/7?
False
Let o be 734/((-119)/98 + 9/6). Suppose 0*a - 7*a = o. Let r = a + 594. Does 30 divide r?
False
Does 4 divide 32/(67/22 + -3)?
True
Suppose 0 = 57*z - 554237 + 16955. Does 113 divide z?
False
Let t(c) = 144*c**2 + 51*c + 269. Does 25 divide t(-9)?
False
Let n = -18 - -300. Let r = -193 + n. Suppose 3*b + 3*u - 174 - 183 = 0, -5*u - r = -b. Is b a multiple of 16?
False
Suppose 5*f = 3*h + 40397, 1908*h - 18 = 1905*h. Does 9 divide f?
False
Let b = 1360 - 1355. Let q = 665 + -392. Suppose l = -3*p - p + 347, 3*p + b*l = q. Is 16 a factor of p?
False
Let m = 37 + -36. Does 9 divide ((0 - m) + -1)*(-390)/20?
False
Suppose -76676*h - 16632 = -76690*h. Is 9 a factor of h?
True
Let w = -446 + -403. Let g = w - -1229. Does 15 divide g?
False
Suppose -6*o + 3388 = -1604. Suppose 0 = 2*y + 2*v - 430, 16*v - 19*v - o = -4*y. Is 6 a factor of y?
False
Does 178 divide (-3 - 16/(-8))*(-22417 - (6 + 1))?
False
Let y = 12205 - 5070. Does 17 divide y?
False
Let z be 995 + -3 + -3 + 1. Suppose 25*x = 3*x + z. Is x a multiple of 9?
True
Let z = -61 + 73. Suppose -2*p - 4*a = -3*p + 14, -2*a - z = -3*p. Suppose -m - 2*m - 78 = -p*h, -3*m = -4*h + 162. Does 7 divide h?
True
Suppose q + 27 = 28. Let b(v) = 104*v**3 + v**2 + 2*v - 2. Let z(y) = -208*y**3 - 2*y**2 - 3*y + 3. Let t(o) = -5*b(o) - 3*z(o). Is 24 a factor of t(q)?
False
Let q = 215 + -210. Suppose -5*i + 297 = q*a - 438, -a - 717 = -5*i. Is i a multiple of 36?
True
Let q = -9048 + 21561. Does 26 divide q?
False
Suppose -61*v = -69*v + 3712. Let g = v - 382. Is g a multiple of 6?
False
Suppose -520*y + 524*y + 11400 = 2*k, 22795 = 4*k - 3*y. Does 175 divide k?
False
Suppose -26*l + 33*l = 17359 + 35232. Is l a multiple of 11?
True
Let s = 5040 - 4915. Is s a multiple of 3?
False
Let b = -367 + 798. Let k = -266 + b. Is 5 a factor of k?
True
Let b = -17 + 19. Suppose -7*s = b*s - 45. Is s/(-25) + (-1038)/(-15) a multiple of 12?
False
Let g = -1025 - -670. Let n = 517 + g. Does 6 divide n?
True
Let n = 32987 - 14663. Suppose 4941 = -9*v + n. Does 84 divide v?
False
Let w(i) = -2285*i - 250. Does 9 divide w(-2)?
True
Does 56 divide (-32)/(-4) + (-17)/(-2)*470?
False
Suppose -11*n + 186 = -122. Is 65 a factor of (0 - -1)/(n/(-140)) + 1331?
False
Suppose -3*i - 5*h = 165, 8*i - 3*i = 2*h - 275. Let d = 60 + i. Suppose 2*c - 4*c + d*b + 56 = 0, -b = -c + 22. Is 6 a factor of c?
True
Suppose 6*o = 41*y - 39*y - 5488, -5*y + 2*o + 13785 = 0. Does 3 divide y?
False
Is -377*213/(-27) + (-65)/585 a multiple of 29?
False
Suppose 0 = 4*k - 23671 - 4737. Is 134 a factor of k?
True
Let a(r) = -r + 626. Let n be a(0). Suppose -1329 = 5*z + n. Let y = z + 557. Is 22 a factor of y?
False
Let h = 6162 - 3684. Let a = -1518 + h. Does 48 divide a?
True
Suppose 2*f - 2*d - 242 = 0, f + d + 371 = 4*f. Let v = f - -12. Is 5 a factor of v?
False
Suppose -3*v + x = -32240, 42978 = 3*v + v + 3*x. Is -1 + v/72 - 6/(-8) a multiple of 24?
False
Let r be (-2)/7 - 40308/42. Let f = -569 - r. Is f a multiple of 17?
True
Suppose -13*o + 19*o - 769405 = -29*o. Is 15 a factor of o?
False
Let j(s) = -5*s + 57. Let q be 1 + 5/(-1)*(2 + -4). Let r be j(q). Is 12 a factor of 1300/18 + r/(-9)?
True
Suppose 3*m = -278*c + 282*c + 32311, 5*c = -35. Is m a multiple of 36?
False
Let o be -3 - (-52)/(-8)*-2. Suppose -o*j = -11*j + 2. Suppose 0*i - 3*i + 223 = 5*n, -j*n + 340 = 5*i. Is i a multiple of 22?
True
Let b be -22 - (3 + (-2)/(1 - 0)). Let k(d) = -d**2 - 28*d + 31. Is 13 a factor of k(b)?
False
Suppose 6*l - 11 = 17*l. Let o be (l - (-2 - -1))*2/(-8). Suppose 0*p + p - 76 = o. Is p a multiple of 19?
True
Suppose 4*v + 97*c - 93*c = 174228, 5*c - 20 = 0. Is v a multiple of 59?
False
Suppose 4*h = 2*c + 43 - 13, 5*c + 75 = -h. Let b = 3017 + -4673. Does 51 divide b/c - (-6)/10?
False
Suppose -l = -0*l - 12. Suppose 0 = 2*m + 3*j - l, 2*m + j - 2*j = -4. Is 23 a factor of 73 - (2 - -2 - m)?
True
Suppose -2*l + 20 - 16 = 0. Let j(h) = 65*h**3 + 3*h + 3. Does 23 divide j(l)?
True
Is 58 a factor of (11482 - (-11 + -9)) + -18?
True
Suppose 0 = -4*f - 3*n + 35, -3*f + 0*f = 2*n - 26. Suppose -f*u + 22 + 282 = 0. Is u a multiple of 12?
False
Is ((-2439)/144*-4)/(1/48) a multiple of 84?
False
Suppose -2*q - 1974 + 252 = 0. Let o = 1431 + q. Does 38 divide o?
True
Suppose -6*r - 33 = -10*r + 5*m, 3*r + 9 = -3*m. Suppose r*w - 5*k - 556 = -2*w, -4*k = -w + 128. Is 10 a factor of w?
False
Suppose -2*j + 1003 = -5*j - 5*f, 0 = -5*j + 4*f - 1684. Let x = -165 - j. Does 9 divide x?
True
Let x(f) = 3028*f**2 + 4*f - 2. Let v(c) = 12112*c**2 + 17*c - 8. Let y(a) = -2*v(a) + 9*x(a). Let p be y(1). Does 13 divide p/18 + 280/(-45) + 6?
False
Let o = 12265 + -7327. Does 20 divide o?
False
Suppose 0 = -280*p + 261*p + 6251. Is p a multiple of 4?
False
Let x(d) = -8*d + 2. Let l(g) = -g. Let j(m) = -5*l(m) + x(m). Let h be j(-6). Suppose -h = -0*p - 2*p - f, 4*f - 40 = -3*p. Is 8 a factor of p?
True
Suppose 0 = 