 -2305 + 1330. Let n = 1194 + r. Does 29 divide n?
False
Suppose -3*t = 2*y - 4*t - 10, 3*y = -4*t + 4. Suppose 5*b = 2*l + 5320, y*l - 3192 = -3*b + l. Does 76 divide b?
True
Let k = -211 - -214. Let b(o) = 2*o**3 + o**2 + o + 1. Let y be b(-1). Is 58/k + ((-3)/9 - y) a multiple of 5?
True
Let i(w) be the second derivative of 11*w**6/24 - 5*w**3/2 + 17*w. Let f(u) be the second derivative of i(u). Does 15 divide f(1)?
True
Let d(a) = 449*a**2 + 49*a - 26. Is d(3) a multiple of 9?
False
Let r(n) = -11*n - 418. Does 9 divide r(-42)?
False
Let m(h) = h**3 - 51*h**2 + 134*h + 229. Let x be m(48). Suppose 0 = -5*i + i - 316. Let v = i - x. Does 23 divide v?
False
Let o(g) = g**2 + g + 5. Let k be o(-5). Suppose 2*n - 145 = -k. Is (-5)/((-2 - 0) + n/32) a multiple of 8?
True
Suppose -7 = -2*u + o, 0 = -6*u + u - 2*o + 13. Suppose -2*p - 36 = -u*w + w, 2*p - 5*w + 51 = 0. Let m(v) = -v + 23. Does 12 divide m(p)?
True
Let p = 2572 + -1564. Is 16 a factor of p?
True
Let x(r) = -58*r + 5395. Is 31 a factor of x(-8)?
True
Let b = -662 - -672. Is 15 a factor of 325 - b/(-2 + -5 + 5)?
True
Let k(y) = -14*y - 12. Let m be (-3 + 2)/(2/36). Is 40 a factor of k(m)?
True
Let q be (-9 + 10)*(-2)/4*0. Suppose 3*b + 3*j = 4*b + 11, b + 3*j - 7 = q. Is 17 a factor of 3/1 - (b + 10 + -289)?
False
Suppose 98920 = 4*k - 3*o + 36915, 4*k = o + 62007. Is 55 a factor of k?
False
Suppose 104912 = 11*d + 7738. Is 40 a factor of d?
False
Is 47 a factor of 19/((-285)/78)*(-6125)/7?
False
Suppose 2*r + 0*r = 10, -3*r = -4*h + 153. Let g = 46 - h. Suppose 7*w - 441 = g*w. Does 21 divide w?
True
Suppose -13*f - 25*f + 24485 = 21*f. Does 30 divide f?
False
Let l = 22480 + -8291. Is l a multiple of 17?
False
Suppose -51*i = -112*i + 64599. Is i a multiple of 82?
False
Let u be 7695/8 + (-5)/(-40). Suppose 356 = -6*h + u. Is h a multiple of 20?
False
Suppose -114 + 146 = 2*n. Suppose 0 = -4*s + 3*x + 1929, 2*x = n*s - 21*s + 2417. Is s a multiple of 23?
True
Let s = -134 + 357. Suppose 2*j + 73 + s = 0. Let z = j - -425. Does 14 divide z?
False
Let i(q) = 4*q - 47. Let h(t) = 4*t - 47. Let a(g) = 4*h(g) - 5*i(g). Does 5 divide a(3)?
True
Suppose -31*b + 44*b = 7852. Let g = 1180 - b. Is g a multiple of 24?
True
Let j(u) = 173*u**2 - 19*u - 1. Let g be j(1). Suppose 10*p - 1447 = g. Is 53 a factor of p?
False
Let p(b) be the second derivative of 5*b**3/3 - 15*b**2 - 6*b - 2. Is 20 a factor of p(13)?
True
Suppose 9*w - 8*w + b - 5640 = 0, b - 28212 = -5*w. Is 57 a factor of w?
True
Let s(t) = -t**3 + 2*t**2 + 4*t. Let a be s(7). Let o be (6/3)/2 - a. Suppose -5*m - 4*f = -o - 120, -5*m + 5*f = -365. Is m a multiple of 14?
True
Let k(p) = -2*p + 10. Let g(a) = 2*a**2 + 5*a - 29. Let s(q) = 4*g(q) + 11*k(q). Is s(-6) a multiple of 39?
False
Does 4 divide (36/99)/(2/(-11)) + 545?
False
Let l be (1/(-1))/((-20)/(-40)). Is -7*(1648/(-112) - l/(-7)) a multiple of 35?
True
Let r(q) = 28*q - 28. Let i be r(-14). Let a = -280 - i. Is a a multiple of 10?
True
Let o = -923 + 1792. Let p = o + -377. Does 12 divide p?
True
Let k(z) = z**2 + 14*z + 49. Let n be k(-9). Suppose -1645 + 301 = -n*u. Is 16 a factor of u?
True
Let i be (78/(-52))/(9/2388). Let a = 503 + i. Is 2 a factor of a?
False
Suppose -i - 17 + 13 = 0. Let a(y) = -35*y + 10. Let t be a(i). Does 2 divide (2/(-4))/((-15)/t)?
False
Suppose 0*c - 2*p - 798 = 3*c, -4*p + 12 = 0. Let j = -113 - c. Is j a multiple of 30?
False
Does 16 divide (-5430)/(-3 - -4 - 3)?
False
Let x(s) = -96*s**2 - 1534*s - 13. Is x(-13) a multiple of 15?
True
Suppose 0 = -4*r + 12, r = 2*c - 7*c + 248. Let n = c + -46. Suppose -n*o + 3*a + 276 = 0, 17 = -5*a - 3. Is o a multiple of 22?
True
Suppose 0 = -2*h - 2, 3*y = -2*y - 5*h. Does 7 divide (1 + y + 30)/(35/70)?
False
Suppose -3*f + 2226 = 816. Suppose 30 = -4*b + f. Is 24 a factor of b?
False
Let i be (-180)/40*(-80)/(-12). Is (871 + -4)*(-20)/i a multiple of 32?
False
Suppose -2*m + 2*s = -0*s - 12, 5*s = -5*m. Let t be (-1)/(m + -4 + 0). Is 21/7 - 3 - t*-68 a multiple of 13?
False
Let c = -488 - -500. Suppose 2*h = 3*o - c + 621, 0 = -o + 5. Is h a multiple of 26?
True
Let s(x) = -89*x - 121. Let h be 21/35*-5 - 6. Does 27 divide s(h)?
False
Let x be ((-30)/(-20))/((-6)/(-16)). Suppose -5*j + 5*h = -746 - 234, -x*h + 8 = 0. Does 22 divide j?
True
Let w(b) = -b**3 + 8*b**2 - 5*b - 14. Let d be (21/18)/((-3)/(-18)). Let z be w(d). Suppose 5*k - 3*a - 319 = -z*a, k - 2*a = 61. Does 13 divide k?
True
Suppose 0 = o + 5*j - 32, -3*o = 3*j - 25 - 83. Let w = o - 37. Suppose -4*p = -w*p - 336. Does 21 divide p?
True
Let z(n) = 2*n**3 + 5*n**2 - 5. Let r be z(-3). Let d(u) = 2*u**2 - 3*u**2 - 7*u + 17 - 7*u. Is 4 a factor of d(r)?
False
Suppose -2*d = 5*y + 57, 3*d = -d + 2*y - 102. Let x = d - -37. Suppose -4*b + 43 = x. Is b a multiple of 3?
False
Let m = 1318 + -917. Suppose m*k - 398*k - 1491 = 0. Is 18 a factor of k?
False
Suppose -29651 = -9*y + 90742. Is 6/16 + y/168 a multiple of 4?
True
Let n = -985 - -2506. Suppose -4*b + 2*q + 32 = 0, 4*b - 5*q - 36 = -10. Suppose 0*w = -b*w + n. Is 53 a factor of w?
False
Let t = 4451 - 1753. Is t a multiple of 38?
True
Let i = -2435 - -3611. Is 2 a factor of i?
True
Let k = -30 + 56. Suppose k = 5*w - 24. Is 92/(-2)*(-5)/w a multiple of 23?
True
Suppose -d + 402 = 234. Suppose 1308 = 15*g + d. Is g a multiple of 22?
False
Is 22 a factor of (32/(-96))/(2/(-52254)) - (6 - 12)?
False
Let n be -2 + 4 + (-24)/(-8). Suppose n*b = 85 + 45. Suppose -5*c + 56 + 23 = 2*s, 0 = -2*c + 2*s + b. Is c a multiple of 6?
False
Suppose 5*d = o + 105 - 1330, -d = 2. Suppose -y - 5*w + o = 4*y, -4*y + 971 = 3*w. Is 14 a factor of y?
False
Let r(g) = -22*g - 49. Let z be r(-10). Let m = z + -123. Is 16 a factor of m?
True
Let o be (-615)/(-1) + 4 + -2. Let q = o - 258. Let n = -179 + q. Is 15 a factor of n?
True
Let n = 20564 + -11708. Is 82 a factor of n?
True
Suppose 175 = x - i - 147, 15 = -5*i. Is 4 a factor of x?
False
Suppose -5*g + 27884 = 650*x - 651*x, g - 5*x - 5596 = 0. Does 17 divide g?
True
Let j(y) = -53*y - 22. Does 18 divide j(-68)?
True
Let j(b) = 3*b + b + 28 + b**2 - 36. Does 51 divide j(21)?
False
Suppose 3*f + 9*x = 12*x + 843, 4*f - 5*x = 1119. Let v = 585 - f. Is 8 a factor of v?
False
Let j = 499 - 469. Is 6 a factor of (648/j)/(-1 - 44/(-40))?
True
Suppose y + 12 = 2*r - 11, -r + 4*y = 6. Is 36 a factor of 1858/r + (-2)/(-7)?
False
Let n(a) = -816*a - 449. Is n(-4) a multiple of 20?
False
Let r(l) = 9*l + 42. Let x be r(13). Suppose 0 = x*v - 155*v - 2028. Does 10 divide v?
False
Suppose 3*z + 110 = -16. Let r = z - -474. Is r a multiple of 27?
True
Suppose -376*n = 3*r - 373*n - 2718, 894 = r + 4*n. Does 4 divide r?
False
Let h(r) = -68*r - 31. Is h(-20) a multiple of 9?
False
Is 133 a factor of (-2411 - (-2 + 6))/(76/(-380))?
False
Let n(p) = -p**2 - 21*p - 19. Let c be n(-14). Suppose -8*g + 5*z + c = -5*g, 0 = g + 5*z - 33. Does 21 divide g - -7 - 2/((-4)/6)?
False
Suppose -6*x - 16 = -10. Does 4 divide ((-194)/(-970))/((-188)/190 - x)?
False
Let b be -2 + 3 + 222/2. Suppose 4*w + b + 48 = -5*p, 3*w = -4*p - 119. Let k = w - -75. Is 14 a factor of k?
False
Does 10 divide (-29004)/(-58) - 4/58?
True
Let t(f) = 1984*f + 3304. Is 28 a factor of t(7)?
True
Suppose 6*f - f - 20 = 0. Let x be 2/3*3 + (134 - 128). Suppose -f*g = -x*g + 216. Does 36 divide g?
False
Let y(d) = -39*d - 87. Let b be y(-7). Is (-2 - -4) + 9/(27/b) a multiple of 8?
True
Suppose -151*h = 3*t - 153*h - 12896, 4*t + h = 17180. Is t a multiple of 6?
True
Let n(l) = -l**3 - 11*l**2 - 9*l + 9. Suppose -2380*u + 33 = -2383*u. Does 6 divide n(u)?
True
Let b be (27084/(-333))/(2/(-93)). Suppose -b = 19*w - 22*w - 5*g, -3*w - 4*g = -3787. Is w a multiple of 9?
True
Suppose 0 = 3*y - 62*r + 57*r - 156204, -4*y + 4*r + 208264 = 0. Is 11 a factor of y?
True
Suppose 0 = 7*j - 14, 0 = m + 3*j + j - 1906. Is 73 a factor of m?
True
Let w(x) = 63*x - 17. Let v(z) = -16*z + 4. Let d(i) = 22*v(i) + 6*w(i). Is 28 a factor of d(7)?
True
Let c = 509 - 486. Let r = 627 + c. Does 25 divide r?
True
Suppose 4*h - h = 5*j - 983, 2*j + h - 402 = 0. Suppose -5*t - 64 = -j. Is t a multiple of 24?
False
Let w(l) = -3*l + 24. Let u = -33 + 41. Let x be w(u). Suppose -2*j - 3*s + 60 = 0, 76 = 2*j - x*s - s. Is j a mu