-6)/6)/(1/5). Let n be 42 - (x + 4 + -1). Suppose -6*h + 22 = -n. Does 10 divide h?
False
Let b(p) = -4*p**3 - 2*p**2 - p - 15. Let r be b(-4). Let q = -147 + r. Suppose -42 = -4*y + q. Is y a multiple of 9?
True
Let m = -88 - -96. Suppose -4*w + 235 = -3*w - m*c, -1019 = -5*w + c. Does 29 divide w?
True
Suppose 0 = -2*p - 4*j - 576, -31 = -p + 3*j - 304. Let t = p - -856. Does 41 divide t?
True
Let v(c) = -31*c**3 + 2*c**2 + 4*c + 2. Suppose -q + 4*q + 4*s = -26, 2*s = -10. Does 9 divide v(q)?
False
Suppose 162430 = 4*c - 5*n, -2*c = -42*n + 46*n - 81202. Does 197 divide c?
False
Let m(h) = -4*h**2 + 4*h. Let d be m(1). Suppose d = 2*y + 2*t - 636 - 118, -5*y = t - 1889. Does 27 divide y?
True
Let f be (-10)/(-40) - 1647/12. Let u = f - -189. Does 13 divide u?
True
Let z = -70 - 283. Is 11 a factor of 12/4 - (z + 21/(-7))?
False
Let t be (55/(-15) - -1)*-3. Suppose -r - 2*v = -0*r - 7, 0 = 4*v - t. Suppose 3*z - 1204 = -0*s - 4*s, 0 = -r*s - 3*z + 900. Is s a multiple of 53?
False
Does 38 divide -3 + 19488 - (-33)/12*4?
False
Let s(t) = 1537*t**2 - 22*t - 39. Is 19 a factor of s(-2)?
False
Let n = -18 + 25. Suppose 1894 = -n*s + 8544. Suppose 11*q - 6*q - s = 0. Does 10 divide q?
True
Suppose -2343 - 5517 = 30*y. Is 66 a factor of (2 - y)*(-4 + 6)?
True
Is 247/((196/(-32) - (-6 + 0))/(-1)) a multiple of 38?
True
Let j(n) = 8*n**3 - n - 213. Let p(f) = 14*f**3 - 2*f - 425. Let v(w) = 5*j(w) - 3*p(w). Is v(0) a multiple of 42?
True
Let k = 7 - -37. Let v = 47 - k. Does 12 divide 1 - -27 - (-2 - (-2 - v))?
False
Let o(y) = -17*y**3 - 18*y**2 + 16*y + 15. Is 53 a factor of o(-6)?
False
Let z(t) = 48*t**2 + 2*t + 2. Let c(u) = -u**3 + 6*u**2 - 4*u - 5. Let g be c(3). Suppose -3*v + g = 2*y, 2*y - 7*y = 5*v - 15. Does 4 divide z(y)?
True
Let n be (-3*(5 + -4))/(-1). Suppose -5*s - 3*i = -3742, 2*i - n*i = s - 748. Let o = s - 415. Is o a multiple of 29?
False
Let y be ((-9)/6 + 2)/(7/70). Suppose -2*o + 114 = 3*a - y*a, -5*o - 4*a + 312 = 0. Does 14 divide o?
False
Let k(t) = 88*t**3 - 336*t**2 + 2324*t - 6. Is k(7) a multiple of 38?
True
Let w(g) = -4*g - 84. Let c be (3/(-4))/((-8)/(-288)) + 3. Let n be w(c). Let z(v) = -3*v + 54. Is z(n) a multiple of 3?
True
Let c(z) = z**3 + 4*z**2 - z - 5. Let a be c(-2). Suppose -1221 = -5*v - 3*q + 776, -a*q - 805 = -2*v. Is 20 a factor of v?
True
Suppose 1825 = -7*i + 12*i + 5*q, -3*i + 1130 = -4*q. Let h = -359 + i. Is h a multiple of 6?
False
Suppose -2*m - 4*w = -24741 - 2161, -5*m = -2*w - 67219. Is 15 a factor of m?
False
Suppose -3*b + 744 = 5*x + 11, 4*b = -16. Suppose -147*l = -x*l + 620. Is 31 a factor of l?
True
Let y be -4 + 5 + -3 + (4 - 6). Is 5 a factor of ((-104)/y)/((-1)/(-5))?
True
Let n(x) = -5*x**3 + 25*x**2 + 14*x - 19. Let u be n(5). Suppose 3*c = 429 + 444. Suppose -6*r - u = -c. Is 8 a factor of r?
True
Let y = 12969 + -11969. Is y a multiple of 50?
True
Suppose 31*c - 27*c - 45325 = -3*i, 3*c = -2*i + 30218. Does 90 divide i?
False
Let k(y) = 60*y - 3252. Does 152 divide k(77)?
True
Let z(l) = -l**3 - 5*l**2 - 7*l - 15. Let b be z(-6). Suppose -2*r = -b + 23. Suppose -a + 0*a = -r. Is 4 a factor of a?
True
Let d(b) = -b**3 - 148*b**2 + 90*b - 657. Is d(-149) a multiple of 5?
False
Let r be 216 - ((-10 - -9) + (1 - -1)). Suppose 0 = -212*v + r*v - 21. Does 7 divide v?
True
Let n(y) = -3*y**2 + y**2 + 21 + 27*y + 21*y. Let g be n(24). Does 9 divide 3/g + (-54)/(-21)*12?
False
Let x be 1/(-2)*500/(-6)*15. Let f = -493 + x. Is f a multiple of 22?
True
Let k(h) = -97*h - 2562. Is k(-35) a multiple of 15?
False
Let d(m) = -25*m**3 - m**2 + 19*m - 2. Let x(h) = 8*h**3 - 7*h + 1. Let b(f) = 3*d(f) + 8*x(f). Does 19 divide b(-2)?
True
Let p = -604 + 2192. Is p a multiple of 4?
True
Suppose 12*l - 13*l = -261. Suppose 2*c = l + 97. Does 46 divide c?
False
Suppose 165*u - 61*u = 370864. Does 75 divide u?
False
Let c(d) = 3*d - 16. Let g be c(8). Suppose 5649 = 13*l + g*l. Is l a multiple of 76?
False
Suppose -30*m + 29*m + 3*g + 3180 = 0, 0 = -2*g - 6. Does 9 divide m?
False
Suppose 155*f = 152*f + 6. Suppose -c - 216 = -2*h, 0*h - f*c = -5*h + 540. Let a = h - 100. Is 8 a factor of a?
True
Let o(b) = 4*b**2 - 12*b + 29. Let l = 37 - 20. Does 26 divide o(l)?
False
Is 3313 + -1 + 1 + 43 + -40 a multiple of 31?
False
Let t be (-12)/(-10)*2790/(-36). Is (0 - t)/(1*(-4 - -5)) a multiple of 10?
False
Suppose -2*u = c + 32, -15*u + 12*u + 2*c - 48 = 0. Let b be -3 - -1 - (-60)/2. Let f = b + u. Is f a multiple of 5?
False
Let g(w) = w**3 - 15*w**2 + 18*w - 14. Let z be g(18). Let b = z + -504. Is b a multiple of 17?
False
Let u(o) = -1636*o**3 - 7*o**2 - 26*o - 44. Is 60 a factor of u(-3)?
False
Suppose -3*i + 8*i = -4*o + 673, -2*i = -3*o + 499. Suppose 8*w - 9 = o. Is 3 a factor of w?
False
Suppose -3*t + 0*q = -5*q - 17, 3*q = 4*t - 19. Let l be t*(-68)/(16/4). Does 3 divide 20/(-110) - l/11?
True
Let f be (4 + 18/(-4))*-48. Let t = f + -24. Suppose t*u = -4*u + 48. Is u a multiple of 2?
True
Let k(n) = 2*n + 6. Suppose -30 = -4*i + 30. Does 6 divide k(i)?
True
Let v(d) = -8*d - 113. Let i be v(-15). Suppose i*a + 5580 = 25*a. Is 31 a factor of a?
True
Does 129 divide (-3059136)/(-339) + (-2)/3*-9?
True
Suppose -1954240 = -105*y - 50*y. Is 64 a factor of y?
True
Let f = -110 - -6830. Is f a multiple of 40?
True
Suppose 22*g - 32 = 34. Suppose g*t + 4*t = 840. Is 6 a factor of t?
True
Let h(w) = -w**2 + 30*w - 81. Let y be h(27). Suppose 8*s + 5*o = 7*s + 77, s + 2*o - 92 = y. Is s a multiple of 9?
False
Suppose -2*h + 124 = 2*z - 6*h, 2*z - 109 = -h. Let f = 34 + z. Is f a multiple of 42?
False
Let z(n) = -n + 3. Let m(w) = 97*w - 62. Let j(x) = -m(x) - 2*z(x). Is j(-6) a multiple of 31?
False
Let n(c) = -c**3 + 48*c**2 + 57*c + 208. Is 73 a factor of n(36)?
True
Let a be (36/78)/(24/208). Suppose 22*i - 234 = a*i. Is i a multiple of 4?
False
Let j(z) = 40*z - 924. Let y be j(21). Let a(n) = 6*n**2 + 10*n + 4. Let p be a(-7). Let m = y + p. Does 13 divide m?
False
Let d = -381 + 383. Let h(m) be the second derivative of 15*m**3/2 - m**2/2 - 2*m. Is h(d) a multiple of 32?
False
Suppose -4 = -2*v + 2, -3*v = 4*y - 545. Suppose -321 = 5*c + y. Let u = -43 - c. Is u a multiple of 12?
True
Let h = 3120 - 624. Is h a multiple of 6?
True
Suppose -4*b + 3*c + 11 = 0, -4*b + 0*b + 29 = 3*c. Let h be 3 - (b + -6)*0/3. Suppose -h*j + 180 = 4*s, 0*j - s = -5*j + 323. Is j a multiple of 16?
True
Suppose g = 5*k + 43, -2*k + 5*g - 14 = 17. Let h(b) = b**3 + 10*b**2 + 3*b + 28. Is 6 a factor of h(k)?
True
Let w(q) = -q**3 - q**2 + 28*q + 18. Let k be w(-6). Does 12 divide k/165 - 922/(-11)?
True
Suppose 0 = 3185*i - 3259*i + 719576. Does 68 divide i?
True
Is 24 a factor of (0 - 3)*(-1 + -1302) + 2?
False
Let i(m) = 60*m**2 - 356*m + 107. Is 53 a factor of i(17)?
True
Let l be (-16 + 1)/(-3) - (29 - 762). Suppose -114 = 16*i - l. Does 3 divide i?
True
Does 4 divide 92/(-6)*5*(14 + -35)?
False
Suppose 8*i = 9*i - 4. Let r(n) = -7*n + 38. Let j be r(i). Suppose 13*l - j*l = 270. Is l a multiple of 37?
False
Suppose -514 = -u + a, 8*u - 7*u + 5*a - 502 = 0. Does 12 divide u?
False
Suppose -7565 = 13*g + 10*g - 62213. Is 198 a factor of g?
True
Let w = 23 - 13. Is 12 a factor of (-444)/w*(-20)/6?
False
Suppose 0 = 11*y - 45101 - 78319. Suppose -38*r + y = -23*r. Is 11 a factor of r?
True
Suppose j - 5*l = 63, -25 = -j + l + 22. Suppose 0 = j*h - 40*h - 1038. Is 29 a factor of h?
False
Let v(c) = 5*c + 15. Let q be v(-4). Let t be 15/(4 + 19/q). Suppose 5*b + t = 5*j, -3*j + 26 = -5*b - 25. Does 12 divide j?
True
Let h = 26 + -25. Let x(d) = 8*d**3 - d**2 + 2*d - 1. Let q be x(h). Is 4/16 - (-118)/q even?
False
Suppose 0 = -4*z + 12*v - 14*v - 514, v + 641 = -5*z. Let u = z + 632. Is u a multiple of 18?
True
Let y = -3373 - -3712. Does 12 divide y?
False
Let t = -79 + 79. Suppose 0 = 3*a + 3 - t, 3*z + 5*a = 49. Is 31 a factor of ((-1503)/z)/(1/(-2))?
False
Let k(g) = -2*g + 6 + 12 + 0*g. Let w be k(-6). Is 34 a factor of ((-832)/(-65))/(32/w - 1)?
False
Let d(b) = -123*b + 3. Let n = -320 - -316. Does 14 divide d(n)?
False
Let r(x) = -x**3 - 13*x**2 + 37. Let c be r(-14). Suppose c = t + 5*b, -113 = -t + 4*b + 75. Is t a multiple of 4?
True
Suppose 79*a = 74*a - x - 3990, -x = 2*a + 1593. Let z = a - -1699. Doe