- 29*z + 41976 = 0. Does 71 divide z?
False
Let w be 3/(-9) - (-1 - (-656)/(-6)). Is w - ((-33)/44)/(3/(-8)) a multiple of 36?
True
Suppose -35*h + 10 = -30*h. Suppose -21 = -4*b - v - h, -2*v + 18 = 3*b. Suppose -216 = -4*s + b*c, 5*s - 3*s - 3*c = 107. Does 10 divide s?
False
Let l be -2 + 1 + 36/12. Let m(x) = 66*x - 4. Let a be m(l). Suppose -5*i = -i - a. Is 16 a factor of i?
True
Let k = -45 - -304. Does 16 divide k?
False
Let w = -209 + 296. Is 6 a factor of w?
False
Suppose -s = -4*r - 3, 10 = -5*s + 3*s. Let c be (4/r)/(8/(-16)). Suppose 0 = -c*g + 232 - 60. Is g a multiple of 23?
False
Is 36 a factor of 428 - 5*12/(-15)?
True
Let n be 2 + ((-3)/1 - -4). Suppose n*c + 3*o - 1 + 4 = 0, 3 = 3*o. Let g = 4 + c. Is 2 a factor of g?
True
Suppose 0 = -23*i + 3*i + 19300. Is i a multiple of 64?
False
Let c(g) be the second derivative of g**5/20 + g**4/4 + g**3/6 - g**2/2 - 8*g. Let u be c(-3). Let d(b) = 2*b**2 + 4*b + 4. Does 5 divide d(u)?
True
Suppose 286*g = 296*g - 47270. Is g a multiple of 29?
True
Let w(c) = -3*c**3 + 4*c**2 + 53*c + 256. Does 6 divide w(-7)?
True
Let b = 706 - 284. Does 20 divide b?
False
Let q be (-212)/(-10) - 32/(-40). Let s = q - -12. Is s a multiple of 7?
False
Suppose 0 = n - 7*n + 18. Suppose 348 = 4*t + 3*k, -t - n*k + 180 = t. Is 42 a factor of t?
True
Let g(c) = c**3 + 35*c**2 - 110*c - 109. Is g(-35) a multiple of 43?
True
Let z be (-27)/(-2)*4/6. Suppose 641 = z*c - 556. Is c a multiple of 19?
True
Let d = 46 + -13. Let f = 71 - d. Is f a multiple of 11?
False
Let h = -852 + 1407. Is h a multiple of 6?
False
Let q(u) = 5*u**2 - 2*u - 1. Let b be q(-2). Suppose -3*d + b + 2 = 5*s, -13 = -4*s - d. Suppose -164 = -s*o - 68. Does 10 divide o?
False
Let f = 444 - 301. Does 10 divide f?
False
Let t(h) = -h**2 + 5*h - 3. Let c be t(5). Let g = 0 + c. Let v(l) = -6*l - 6. Does 6 divide v(g)?
True
Suppose -y = -u - 41 - 661, 3*u + 15 = 0. Is y a multiple of 41?
True
Suppose 18*q + 47025 = 51*q. Is q a multiple of 15?
True
Suppose -x + 27 = -2*b + 4*x, b + 26 = 5*x. Suppose -2*t + 0*t = 0. Is 11 a factor of (13 - 1) + t + b?
True
Let i = -8 - -50. Let m = 70 - i. Does 26 divide m?
False
Suppose 4*v - 23 = 3*k, 4*k + 0 = -4*v - 68. Let j(i) = -5*i - 22. Is j(k) a multiple of 3?
False
Suppose -21*s - 2906 = -53705. Is 30 a factor of s?
False
Suppose -23*d = -17*d - 11*d. Suppose 3*z = -3*a + 63, -16 - 45 = -3*z - 5*a. Let b = z - d. Is b a multiple of 22?
True
Let l(i) = 2*i**3 - 9*i**2 + 7*i - 4. Does 4 divide l(4)?
True
Suppose -2*u + 3*m + 640 + 206 = 0, 0 = -4*m. Is u a multiple of 46?
False
Suppose 2*d - 71 = w - 2*d, 4*w + 267 = -d. Let x = w + 207. Let l = x - 97. Does 10 divide l?
False
Suppose -5*z + 29 = 9. Suppose 0 = z*s + 8 - 52. Is 21*(-3 + s/3) a multiple of 14?
True
Let k = 19 - 7. Suppose 5*p - k - 18 = 0. Does 2 divide ((-21)/p)/((-2)/4)?
False
Let k(a) = 10*a - 97. Is 2 a factor of k(15)?
False
Let q(o) = 60*o**2 + 5*o + 7. Suppose 0 = 13*g - 10*g + 6. Does 41 divide q(g)?
False
Suppose 0 = -4*h - 4*l - 1 + 429, -3*h - 4*l + 318 = 0. Is 5 a factor of h?
True
Let y = -6 - -13. Let w(m) = m - 15. Let f(q) = q - 16. Let n(s) = 2*f(s) - 3*w(s). Is n(y) a multiple of 5?
False
Let u(b) = 21*b**2 - 28*b + 102. Is 17 a factor of u(9)?
False
Let c = -22 - -27. Suppose -5*b = -b - c*w - 106, 5*b - 128 = 4*w. Is 12 a factor of b?
True
Let g(y) = y - 9. Let j be g(6). Let w(k) = -2*k**3 + 4*k**2 + 2*k + 5. Let d be w(j). Suppose -2*o + 79 + d = 0. Is o a multiple of 21?
True
Is 10 + -2 - (-498)/1 a multiple of 11?
True
Suppose -5*d - 44 = -2*i - 0*d, 4*i - 4*d = 64. Let x be (-20)/30*i/(-2). Suppose 2*m = 4*f + 22, m = x*m + f - 12. Is m a multiple of 3?
False
Let v(s) = s**3 + 11*s**2 - 8*s. Is 12 a factor of v(-6)?
True
Suppose -6*r = 1665 - 5403. Is 26 a factor of r?
False
Suppose 4*g - 2*v - 8 - 14 = 0, 10 = 5*g + v. Suppose -3*u - 9 + g = 0, 4*u + 228 = h. Does 41 divide h?
False
Let p(h) = 2*h - 8. Suppose 2*c - 32 = f - 9, -1 = c + 2*f. Suppose 0 = 4*s - 3*s - c. Is p(s) a multiple of 5?
True
Suppose -r + 11 = 4*m, -r + 0*r - 5*m + 10 = 0. Let u(a) = 10*a - 1. Is u(r) a multiple of 29?
False
Suppose -1 = -3*u + 2*u. Let a = u - -11. Does 3 divide a?
True
Let w(v) = 2*v - 22. Let c be w(13). Suppose c*l - 429 = d + 2*d, 544 = 5*l + 4*d. Is 12 a factor of l?
True
Let p(w) = -2*w**3 - 8*w**2 + 14*w + 17. Does 32 divide p(-7)?
False
Suppose 4*k - 28 = -4*t, -3*t - 2 = -2*k - t. Suppose k*f - 20 = -3*w, 0*w - 4*f + 20 = -5*w. Suppose -12*x + 7*x + 55 = w. Is x a multiple of 11?
True
Does 30 divide (-18)/((114/100)/(-19))?
True
Does 66 divide (-154)/4*648/(-63)?
True
Let m(c) = -17 - 16*c**2 + 19*c**2 - c**3 + 6*c**2 + 0*c**3 + 27*c. Does 2 divide m(11)?
True
Suppose -4 = 7*q - 32. Suppose 0*d = -3*d + 2*a + 518, -q*a + 530 = 3*d. Is d a multiple of 13?
False
Let o(r) = 67*r + 225. Is 56 a factor of o(5)?
True
Suppose -3*f - 27 = -9. Let n(u) = 13*u**2 - 11*u - 8. Let l(d) = -11*d**2 + 10*d + 8. Let w(t) = 7*l(t) + 6*n(t). Does 5 divide w(f)?
True
Let o(u) = u**2 + 5*u + 8. Let q be o(-4). Suppose 4*r - 35 = 5*v, -q*v = 2*r + 1 + 1. Is r even?
False
Let v(d) = -15*d - 1. Let x be v(-3). Let h = x + -29. Does 5 divide h?
True
Let o = -2093 - -3889. Is o a multiple of 39?
False
Suppose 2*b + b - 300 = 0. Is 11 a factor of b?
False
Suppose 0 = 12*b - 10*b + 2, -3*c + 5*b = -1535. Is 36 a factor of c?
False
Let m(n) = n + 11. Let k be m(-9). Suppose 0*a - k = -a. Suppose u = -o + 41, -4 = a*o + 4. Does 9 divide u?
True
Let c(s) = 5*s**2 - 5*s + 7. Let d be c(4). Suppose -o + 1 = -d. Does 34 divide o?
True
Let v(h) = -h + 15. Let o be (-2)/3*(8 + -2)*1. Is v(o) a multiple of 19?
True
Suppose 0 = 3*s - 2*i - 5678, -i + 1911 = s + 2*i. Does 24 divide s?
True
Suppose 335 = 16*l - 593. Is l a multiple of 29?
True
Let x(l) be the first derivative of l**4/4 + 6*l**3 - 10*l**2 - 13*l + 9. Let v be x(-19). Suppose -v + 212 = 2*s. Is 18 a factor of s?
False
Let w = -596 + 1235. Suppose 16*t - w = 13*t. Is t a multiple of 11?
False
Let a(n) be the second derivative of 2*n**3 - 3*n**2/2 - n. Let d be a(-4). Let c = -33 - d. Is c a multiple of 9?
True
Let f(p) = 7*p**2 - 15*p - 64. Let z(d) = 4*d**2 - 8*d - 32. Let i(t) = 3*f(t) - 5*z(t). Does 3 divide i(9)?
False
Is 588 + (-15 - -7) - -5 a multiple of 6?
False
Let t(a) = 3*a**2 + 8*a + 20. Let p be t(-10). Let o be (p/75)/(2/(-10)). Let w = -1 - o. Does 4 divide w?
False
Let t(y) = -34*y**3 + 19*y**3 + 34*y**3 + 3 - y + y**2. Is t(2) a multiple of 9?
False
Let m be 64/(-20)*(4 - -81). Let z = m - -436. Is z a multiple of 41?
True
Does 20 divide 19/(190/40) + 1616?
True
Let q(o) = 2*o**2. Let t be q(2). Suppose -3*g - b + 18 = 0, t + 4 = -4*b. Let h(m) = 6*m + 12. Is h(g) a multiple of 27?
True
Suppose 1 = -4*l + 9, -2*k + 5*l = -8. Suppose -6*z + k*z = 21. Is 5 a factor of z?
False
Does 6 divide 3656/10 + 32/80?
True
Let b = 89 - 136. Let f = b + 78. Does 10 divide f?
False
Suppose 2*i = 3*i - 2*t - 1, 3*i - 3*t = 18. Let z = 7 - i. Let f(m) = -2*m**3 - 6*m**2 - 5*m - 8. Is f(z) a multiple of 16?
False
Let c(v) = v + 9. Let h = -64 - -77. Does 5 divide c(h)?
False
Suppose -59*d = -60*d. Is ((-2)/(-4) - d)*134 a multiple of 19?
False
Suppose -4*o + 1607 - 511 = 4*b, -4*b - 249 = -o. Does 25 divide o?
False
Let t = -29 + 93. Is 14 a factor of t?
False
Let f(n) = n - 7. Let q be f(-5). Let p be (-7 - q)/(2/(-6)). Let b = 39 - p. Is 17 a factor of b?
False
Let v = 43 + -32. Suppose 4*s + 3 = v. Suppose -s*b - b + 435 = 0. Is b a multiple of 29?
True
Suppose 5*l + 29 = 3*d, 0 = 2*d - 0*d + 2*l - 30. Suppose d*j - 3*j = 1590. Is j a multiple of 8?
False
Suppose -13*b - 945 = -22*b. Is 15 a factor of -4 + 12/3 + b?
True
Let b = 1505 - 1356. Is 4 a factor of b?
False
Let x = -53 - -99. Is 9/(-6)*(x/3)/(-1) a multiple of 4?
False
Suppose -4*j + 54 = 5*j. Is (-1)/(j/30) + 17 a multiple of 3?
True
Suppose -2*v + 22 = 4*l, 10 + 1 = l - 5*v. Suppose 159 = 2*r - b, 3*r + 226 = l*r - 4*b. Suppose 0 = 5*n - 53 - r. Does 15 divide n?
False
Let m = 592 - 421. Is 9 a factor of m?
True
Let d(v) = -v + 4. Let a be d(0). Suppose 8*y = a*y + 168. Is (y/(-24))/(1/(-20)) a multiple of 12?
False
Let m(y) = 3*y**3 - y**2 - 6*y - 1. Let c be m(-4). Let d be c/(-25) + 3/5. Is (10/(-3))/(d/(-288)) a