
Let f(y) = -y**3 + 3*y**2 + 5*y + 1. Let a be f(-5). Let w = 326 - a. Does 25 divide w?
True
Let v be 10/(-6)*(-6)/5. Let u(j) = 8*j**2 - 7*j + 5. Does 8 divide u(v)?
False
Let d(k) = -k**2 + 24*k + 31. Is d(13) a multiple of 16?
False
Let t = 39 - 37. Does 8 divide (2 + (t - 1))*9?
False
Suppose 15*l - 33 = 4*l. Suppose -10 = l*k - 193. Is 4 a factor of k?
False
Let z = -4 + 5. Let a(p) = z - 6 - p**2 - 11*p + 0 - 6. Is a(-5) a multiple of 19?
True
Is (-9243)/(-45) - 20/50 a multiple of 27?
False
Let z be 434/9 + (-28)/126. Let j = z - 19. Is 5 a factor of j?
False
Let c = 79 - 118. Let h = c + 27. Is 13 a factor of (39/h)/((-2)/16)?
True
Let q = -340 - -391. Is q a multiple of 5?
False
Suppose 19*f - 972 = 15*f. Does 3 divide f?
True
Is 1282554/286 + -1*24/(-44) a multiple of 15?
True
Let b = -2 - -7. Let l(v) = 7*v - 8. Does 9 divide l(b)?
True
Let a(r) = 11*r + 650. Does 10 divide a(0)?
True
Let w(z) = -z**2 - z + 4. Suppose 0*j = 3*j + 9. Let h be w(j). Let n(l) = l**2 - l + 2. Is n(h) a multiple of 5?
False
Let j = 7 - 4. Suppose -j*h + 3*y = -24, -5*h - y + 30 + 40 = 0. Suppose 0 = 5*b - 237 - h. Does 16 divide b?
False
Let s(y) = -y**2 - 2*y + 3. Let d be s(0). Suppose -5*w = d*k - 78, 2*w + 78 = 3*k - w. Is k a multiple of 13?
True
Let l(y) = 6*y - 66. Does 43 divide l(49)?
False
Let j(l) = -l**3 - 3*l**2 + 4. Let y be j(-3). Let i be (-4 + 0)*3/y. Let k(f) = -f**3 + 3*f**2 - f - 3. Is 12 a factor of k(i)?
False
Let m = -8 - -12. Suppose v + 3*n - 23 = 0, 0 = -4*n + 9 + 7. Suppose 9 = m*k - v. Is k a multiple of 2?
False
Let o(l) = 151*l + 9. Is 17 a factor of o(3)?
False
Let n = 2 - 0. Suppose -2*y + 5*y - 16 = b, 2*y = -n*b. Does 9 divide 29 - (-5)/((-10)/y)?
True
Suppose -2*i = -129 - 35. Let l = -28 + i. Is 6 a factor of l?
True
Let g(s) = 2*s + 6. Let j be g(-4). Does 35 divide 8/20 + 1074/15 + j?
True
Suppose -5*y - 25 = -q, -y + 0 - 5 = 0. Suppose 25 = 5*s - q*s. Suppose 0 = s*f - j - 139, -2*j - 26 = -5*f + 112. Does 14 divide f?
True
Suppose -2*r = 2*r - 16, 30 = -2*k + r. Let p be 3 + (k + 1)*1. Let j = p - -14. Is j a multiple of 5?
True
Is 29/(-6) + 5 + 1041/18 a multiple of 32?
False
Let s(h) = 4*h - 5. Let l be s(2). Is 33 a factor of (l - -1) + 212/4?
False
Suppose -18 = 2*t - 2. Let f(u) be the third derivative of -u**6/120 - 3*u**5/20 - u**4/2 + 8*u**2. Does 8 divide f(t)?
True
Let f = -291 - -433. Let m(s) = 9*s - 10. Let y be m(4). Suppose 5*b - 2*z = f, 5*z + 119 + y = 5*b. Is b a multiple of 13?
False
Is 202 - (-2 + (-5 - 5) + 6) a multiple of 8?
True
Let o be (-2)/6 - (-28)/12. Suppose 3*p - 575 = -p - r, 2*p - 292 = -o*r. Let m = p + -68. Is m a multiple of 31?
False
Suppose 0 = -v + 129 + 66. Does 3 divide v?
True
Let n(w) be the third derivative of -w**6/60 - w**5/15 + w**4/8 + 7*w**3/6 + 9*w**2. Is 3 a factor of n(-3)?
False
Suppose -4*v + 2*v + 2 = 2*i, -2 = -v - 2*i. Suppose v*j = -7*j + 1071. Does 17 divide j?
True
Let l be ((-160)/(-24))/(2/261). Does 16 divide l/(-4)*((-12)/(-15) - 2)?
False
Let k be 8/20 - 1*5532/(-20). Let u = k + -137. Is 30 a factor of u?
False
Let p(r) = 3*r - 34. Let j be p(10). Let m(a) = -a**3 - 3*a**2 + 2*a + 4. Is 4 a factor of m(j)?
True
Let r(m) = 8*m**2 + 5*m + 4. Let p = 17 - 20. Let d be r(p). Let b = d + -6. Does 24 divide b?
False
Suppose l - 209 = z, -3*l + 217 + 404 = -5*z. Is 9 a factor of l?
False
Let p be 0 + 2 + -3 - -181. Suppose 5*u + 0 = p. Suppose 4*d = u - 4. Does 7 divide d?
False
Suppose -3*q + 9*u + 8640 = 4*u, -2*q + 5760 = 4*u. Is 12 a factor of q?
True
Suppose -21*y - 99*y = -297840. Does 73 divide y?
True
Let r(c) = c**3 + 7*c**2 + 8*c + 7. Let t be r(-4). Let n(q) = q**3 - 24*q**2 + 23*q + 13. Does 4 divide n(t)?
False
Let h(i) be the first derivative of 19*i**3/3 + i**2 - 3*i + 4. Let j be h(2). Is 14/j - 229/(-11) a multiple of 7?
True
Let m(q) = 7*q + 18. Let x be m(-10). Let a = 49 - -44. Let v = x + a. Is v a multiple of 13?
False
Let z(m) = -m**2 + 3*m + 4. Let u(i) = -2*i**2 + i**2 + 2 + 1 + 4*i + 0*i**2. Let j(w) = 6*u(w) - 7*z(w). Is j(-8) a multiple of 15?
True
Suppose l - 3*l = -364. Is 14 a factor of l?
True
Let f be 923/91 - 2/14. Let r = 19 - f. Is ((-46)/4)/(r/(-54)) a multiple of 20?
False
Let z(l) = -4*l**3 + l**2 - 3*l - 2. Suppose 6 + 16 = -o. Let c = o + 20. Does 18 divide z(c)?
False
Does 12 divide ((-680)/(-102))/(12/423)?
False
Suppose 4*g = 5011 - 1083. Is g a multiple of 33?
False
Let l = 15 - -285. Is 4 a factor of l?
True
Let v(m) = -m**2 - 9*m + 10. Let j be v(-7). Let p = -22 + j. Suppose 3*k = -y + 46, -p*y - 58 = -5*k + y. Is 5 a factor of k?
False
Suppose -12*x + 14682 = -9942. Is 36 a factor of x?
True
Let w(d) = 25*d - 7. Let t(y) = -3*y**3 - y**2 + 2*y + 2. Let x be t(-1). Is 5 a factor of w(x)?
False
Let j be 6/((-65)/(-62) + -1). Let m = 0 - -3. Suppose 352 = m*u + j. Does 19 divide u?
True
Let p(l) = 2*l - 5. Let f be p(4). Suppose 5*x + 14 = -5*h + 4, f*h + 30 = 5*x. Let w(d) = 16*d - 4. Does 22 divide w(x)?
True
Suppose 1744 = 2*x - 3*h, -57*x = -53*x - 3*h - 3494. Does 125 divide x?
True
Let n(g) be the first derivative of g**3/3 + 9*g**2/2 + 18*g - 14. Does 6 divide n(-9)?
True
Suppose 3*i = 4631 + 4087. Is i a multiple of 15?
False
Let v = 5062 - 2306. Is 38 a factor of v?
False
Suppose -2*u - 44 = 7*b - 5*b, 2*b = 4*u - 20. Suppose 4*m + 164 = -4*p, -4*p - 166 = -0*m + 2*m. Let c = b - p. Is 12 a factor of c?
True
Let u(b) = -b - 9. Let v be u(-9). Suppose s - 5*o - 50 = -v*o, 0 = o - 2. Is 13 a factor of s?
False
Is (-1 - -77)/(46/460) a multiple of 20?
True
Let x(g) = -16*g + 39. Let q be x(4). Is 34 a factor of (70/q + -4)*-15?
True
Is 5 a factor of (-12)/10*1650/(-44)?
True
Let w = 51 - 3. Is 16 a factor of w*(0 + 20/15)?
True
Let o be (12/(-8))/(3/(-8)). Suppose -p - o*p = -25. Suppose -2*x - 140 = -2*f - 0*x, -p*f + 336 = 2*x. Does 20 divide f?
False
Suppose 3*c - 5*l - 4694 = 0, -4*c = c + 2*l - 7813. Is 15 a factor of c?
False
Let o(h) = h**2 + 9*h + 2. Let l be o(-9). Suppose -3*r + 3*t = -63, 2*r - t - 30 = -l*t. Is r a multiple of 4?
False
Suppose -3*v - 2 = 5*l, -5*v - 2*l = 9 - 31. Suppose -v*t = -8*t + 34. Is t a multiple of 2?
False
Let p(n) = -46*n - 3. Let l = 30 - 33. Is p(l) a multiple of 32?
False
Let x = -20 + 19. Let c(t) = -3*t - 1. Let s be c(x). Suppose -2 - 29 = -5*n - 3*o, s*o - 26 = -4*n. Does 2 divide n?
True
Let j(f) = -160*f**2 - 14*f - 17. Let y(m) = -53*m**2 - 5*m - 6. Let c(o) = -6*j(o) + 17*y(o). Is c(-1) a multiple of 23?
False
Suppose 0 = 13*x - 19 - 1541. Does 24 divide x?
True
Let h = -45 + 64. Suppose 3*z = 4*a + 108, 0 = z + 4*a - 1 - h. Is 23 a factor of 2/(-8) + 1480/z?
True
Let k(w) = w**3 - 4*w**2 - 8*w - 1. Suppose b + 11 + 17 = 4*r, -3*b - 12 = 0. Let u be k(r). Suppose -4*h + u = t - 21, 2*t + h = 95. Is 30 a factor of t?
False
Let a = 1282 - 730. Is a a multiple of 24?
True
Let k = 126 + -130. Suppose 4*s + s = 90. Let a = s - k. Is 11 a factor of a?
True
Let f(h) = h**2 - 14*h - 161. Does 16 divide f(-20)?
False
Suppose 3*x + 4*n = 347 + 4430, -1 = -n. Is 37 a factor of x?
True
Suppose -3*h + 3*n + 3 = 0, -2*n - 43 = -3*h - 7*n. Suppose y = h*y. Suppose -4*t + y*t + 23 = 5*o, -4*t - 47 = -5*o. Is o a multiple of 3?
False
Let d(o) = 26*o**3 + 4*o**2 - 3*o + 1. Is d(2) a multiple of 16?
False
Let q = 823 + -808. Let k(n) = -16*n**2 - 4*n - 1. Let d(i) = -i**3 - i**2 - 1. Let j(t) = d(t) - k(t). Does 12 divide j(q)?
True
Let n(c) = c + 510. Is 61 a factor of n(8)?
False
Let i = 25 - -8. Suppose -4*h + i = -h. Does 5 divide h?
False
Let l(o) = -18*o - 6. Let x = -6 - 1. Let a be l(x). Suppose -2*q + a = 2*q. Is 10 a factor of q?
True
Suppose 28 = 2*l - 30. Does 8 divide 0*(-5)/10 + l?
False
Suppose 0 = -2*k + 4*b + 2612, -4*b - 2487 = -3*k + 1425. Is k a multiple of 15?
False
Let l = 86 - 87. Is (2/(l - 0))/(10/(-135)) a multiple of 15?
False
Let z(r) = 3*r - 8. Let j(u) = 19 - 8 - 10. Let n(k) = -4*j(k) - z(k). Is 16 a factor of n(-4)?
True
Let a be 165/6 + (-9)/6. Let g = a + -22. Is g a multiple of 4?
True
Let q be (21/(-15))/(1/(-5)). Suppose l = -2*g + q, -9 - 10 = -5*g - 3*l. Suppose 80 = b + 3*b + g*c, 3*c + 13 = b. Is 14 a factor of b?
False
Suppose -r + 4 = -0*r - 5*t, 3*t = 0. Suppose v = -r*v. Suppose 0 = 2*o - v - 56. Is o a multiple of 8?
False
