 be (-8)/(-3) + 2/6. Suppose 3*s - 120 = -u*r, 3*r = 5*s + 66 + d. Does 16 divide r?
False
Suppose -2*r + 26 = -4. Let i be 1*37 + r/15. Suppose -b + 12 = -i. Is b a multiple of 16?
False
Suppose -3*d - 3*v + 15 = 0, 0 = -2*v - 6 + 8. Let b(l) = 3*l**3 - 4*l**2 + 4*l + 8. Is b(d) a multiple of 19?
True
Suppose 4*o - 1 = -9. Let y be ((-1)/(-4))/(o/(-24)). Does 25 divide 590/(-15)*y/(-2)?
False
Let u = -54 + 54. Suppose 3*f + 0*g - 71 = -g, -4*f + 3*g + 99 = u. Does 8 divide f?
True
Let a(k) = -k + 4. Let r be a(8). Let b(h) = -h**2 - 2*h + 8. Let m be b(r). Let w(y) = -y + 81. Does 27 divide w(m)?
True
Let d = -15 - -18. Let m(n) = 3*n**2 + 4*n - 1. Does 6 divide m(d)?
False
Let n(k) be the second derivative of -k**5/30 + 11*k**4/12 - 2*k**3 - k**2 - 13*k. Let w(x) be the first derivative of n(x). Does 6 divide w(9)?
True
Let s = 30 + -26. Suppose 4*c + 4*g = 28, 0 = 2*g - 0 + s. Is 2 a factor of c?
False
Let g be 423/27 - 2/3. Suppose 0 = w + 2*w - g. Suppose z + 106 = 5*v, w*z = 2 - 7. Is 21 a factor of v?
True
Let x(l) = -l**2 + 5*l - 4. Let s be x(3). Suppose 10 = -2*y + 2*v, -s = y - 4*v + 6. Does 20 divide (-298)/(-5) + y/(-10)?
True
Suppose l + 5*x = 152, -6*x - 477 = -2*l - l. Is 14 a factor of l?
False
Suppose 0*x + x = -4*k + 34, 0 = x + 3*k - 31. Suppose 10 = -4*t - x. Is 6/t*(-56 - 4) a multiple of 15?
True
Let r = 44 - 42. Suppose 2*v - 46 = r. Is v a multiple of 4?
True
Let w = 1507 + -1009. Does 30 divide w?
False
Suppose 82 = 4*j - 14. Let t be ((-1)/2)/((-3)/j). Does 22 divide 18/(-24) - (-91)/t?
True
Let i = 625 - 479. Is 2 a factor of i?
True
Suppose 0 = z - 4*d - 0 - 2, d = 5*z - 29. Let c(x) be the third derivative of x**4/12 + 2*x**3 - 166*x**2. Is 12 a factor of c(z)?
True
Let s be 6*(32/12 + -2). Suppose 2*j - 4*j + s*t = 16, -t = -2*j - 1. Suppose 0 = -v - 5*i + 7 + 22, 0 = -v + j*i + 1. Is 9 a factor of v?
True
Suppose -9217 = -8*m + 4567. Does 39 divide m?
False
Let k(u) = 116*u**3 + u**2 - 7*u + 7. Is 13 a factor of k(1)?
True
Is 349/(3 - (2/(-4) + 3)) a multiple of 8?
False
Suppose 5*b = 7*f - 2*f, 0 = 2*f - 3*b. Suppose f = 8*i - 4*i - 312. Does 13 divide i?
True
Let h(p) = 459*p - 107. Does 13 divide h(2)?
False
Let c = 190 - 154. Is c a multiple of 4?
True
Suppose 3*c - 2*k + 202 = -k, -365 = 5*c + 4*k. Let f = 10 + c. Let l = 26 - f. Does 20 divide l?
False
Let y(j) = 5*j + 30. Let x be y(-6). Let u(z) = -z**2 - z + 37. Is 7 a factor of u(x)?
False
Suppose 5*z + 3*q + 3 = 0, 4 = 2*z - 5*q + q. Let k(u) = 2*u + 382. Let j be k(z). Suppose -4*n = -58 - j. Does 22 divide n?
True
Let d(w) be the second derivative of 5*w**3/6 - w**2 + 11*w. Let u be -1 - 12/3*-2. Does 7 divide d(u)?
False
Let o(j) = -5 + 586*j**3 - 2*j**2 - 8*j**2 - 5*j - 589*j**3. Is o(-4) a multiple of 6?
False
Let t = -22 - -27. Suppose 0 = -g - t*v + 23, 0 = -v - 2*v + 12. Is g a multiple of 2?
False
Suppose 0*v - 20 = 4*v, 3*x - 4*v - 155 = 0. Suppose 0 = -4*y + x - 9. Does 29 divide (-94)/((-42)/y + 4)?
False
Suppose -10 = c + w, -3*c - 4*w + 3*w - 34 = 0. Let p = 11 + c. Is 29 - (-2)/p - 1 a multiple of 7?
False
Suppose 4*w - 5*b = 77, -w + 21 = w + b. Let q(i) = 52*i - 12. Let p be q(w). Suppose d - p = -7*d. Is 32 a factor of d?
False
Let s be (-3 - -11) + (-4)/(-2). Suppose -4*l + 8 = -p - 2*p, 0 = 5*l - 2*p - s. Suppose 5*d = 4*f + 304, -l = -d - 3*f + 74. Is d a multiple of 28?
False
Let f be 20/15*3 + -6. Let y(n) = 9*n**2 + 4*n + 5. Is 11 a factor of y(f)?
True
Suppose -5*o + 16 = -4*n - 1, -3*o = -n - 13. Suppose 4*m = -o*l + 185, -4*m = -m - 4*l - 100. Is m a multiple of 14?
False
Suppose -5*h = 141 - 41. Let p be h/(-90) - (-4)/(-18). Suppose -10*l + 2*l + 352 = p. Is l a multiple of 14?
False
Let w(s) = -44*s - 2. Let j be w(1). Let o = j + 98. Does 13 divide o?
True
Let u(o) = 25*o**2 - o - 2. Let b(p) = p**2 + 6*p + 4. Let t be b(-5). Is u(t) a multiple of 24?
True
Let n = 1141 + -428. Suppose n = 2*m - 3*u, 15 = u + 2*u. Is m a multiple of 52?
True
Suppose 3*k = 7*k - 24. Let d(t) = 6 - 25*t + k + 22*t. Is 8 a factor of d(-8)?
False
Let x = -272 - -479. Does 23 divide x?
True
Suppose -g - 8 + 10 = 0. Suppose 5*v - 5 = 0, -v = g*t - 0*v - 65. Does 3 divide t?
False
Let m(k) = 3*k - 2. Let o be m(2). Suppose -5*f - 532 = -5*l - o*f, -3*f - 6 = 0. Suppose a = 3*a - l. Is 20 a factor of a?
False
Let b(w) = 2*w**2 - 12*w. Is b(8) a multiple of 8?
True
Let f(v) = -v**3 - 3*v**2 + 5*v + 6. Let c be f(-4). Let x(n) = -2 + 2*n**c - 1 - 6*n + 1 + 3*n. Does 14 divide x(-4)?
True
Let o(k) = 13*k**2 + 10 + 4*k - 1009*k**3 + 1011*k**3 - 2. Let x = -2 + -4. Is o(x) a multiple of 8?
False
Let c = -6 - -58. Suppose 0 = -c*o + 56*o - 568. Is 26 a factor of o?
False
Suppose t = -t - 10. Let j = 18 + t. Suppose 44 = 4*c + v, -v - j = -5*c + 42. Is c a multiple of 11?
True
Let j(l) = 9*l**2 - 10*l + 37. Is 51 a factor of j(7)?
True
Let s = -270 - -1428. Is s a multiple of 13?
False
Let l(y) = -y**3 + 14*y**2 - 11*y + 3. Let s be l(14). Let f = -66 - s. Is 5 a factor of f?
True
Suppose -2*u = 3*t - 169, 2*u - 134 = -6*t + 10*t. Does 7 divide u?
True
Let l be (-13940)/(-44) - (-1)/11*2. Suppose l = 2*n + 125. Is 8 a factor of n?
True
Let z(d) = d**3 + 26*d**2 + 68*d - 46. Does 43 divide z(-21)?
True
Suppose -10*l + 24 = 2*l. Suppose l*p - 1056 = -2*p. Does 22 divide p?
True
Let n be 3/((-14)/(-12) - 3/(-9)). Is 20 a factor of ((-1)/(4/(-88)) - n)*5?
True
Suppose 0 = -y - 5*a + 711, 6*a = -4*y + a + 2799. Does 58 divide y?
True
Is (-2)/15 + 37818/135 a multiple of 35?
True
Let u be -2 - (4 - (3 + 0)). Let s(g) = g**3 + 7*g**2 + 4. Is 10 a factor of s(u)?
True
Suppose 0 = -c - 4*q + 253, -q + 803 = -0*c + 3*c. Does 17 divide c?
False
Suppose -r - 3*o + 15 = 0, -16 = -2*r + 2*o + 46. Suppose -1 = -2*x - 11, 4*j = 5*x - 51. Let t = r + j. Is t a multiple of 3?
False
Let s be 328/(-10) - -2 - 11/55. Let l = -10 - s. Is l a multiple of 16?
False
Let z(d) = 778*d + 6. Does 24 divide z(1)?
False
Let o = -541 - -740. Does 24 divide o?
False
Suppose -12*p - 216 = -14*p. Suppose p = 81*c - 79*c. Does 16 divide c?
False
Let z(f) be the second derivative of f**8/6720 - f**7/420 - 7*f**5/120 + f**4/2 + 4*f. Let i(l) be the third derivative of z(l). Is i(7) a multiple of 14?
True
Let t = 198 - -216. Suppose -3*f - h - 68 + t = 0, 3*h = -4*f + 463. Let q = -82 + f. Is 11 a factor of q?
True
Let j = -34 + 18. Let p = j - -43. Is 9 a factor of p?
True
Suppose -7*n + 4*n + 75 = 0. Suppose -2*l + n = 3. Is l a multiple of 4?
False
Is 22 a factor of (-187840)/(-70) - (-20)/35?
True
Let c(m) = 339*m**2 - 1. Let u be c(1). Suppose -o + 328 = 2*o - 4*d, 3*o - u = -d. Is 14 a factor of o?
True
Let p(d) = -d**3 - 7*d**2 - 4*d + 2. Let q be p(-6). Suppose 20 = 4*n - l, 0*n - 2*n - 3*l = 4. Does 8 divide (-246)/q + n/10?
False
Suppose -3*u = 4*a - 18, 4*u = 3*u - 2*a + 6. Is 18 a factor of 46 - (u + (-8)/4)?
False
Let j = -91 - -103. Is 5 a factor of j?
False
Let s = 112 + 14. Let f = s - 51. Is f a multiple of 40?
False
Let b(m) = -28*m + 2. Let n be (-9 - (-4)/2) + -1. Let g be (-15)/20 - (-2)/n. Does 13 divide b(g)?
False
Let f be (-56)/(-6) + -2*(-3)/(-18). Suppose 0 = -f*v + 3*v + 360. Does 6 divide v?
True
Suppose 0 = -v + 2*l + 856, -5*l - 3 = -13. Does 49 divide v?
False
Let z = 2078 - 1430. Suppose -z = -2*m - 4*m. Is 23 a factor of m?
False
Suppose -101*o + 104*o = -3. Is 7 a factor of (17 + -3)/(o/6*-4)?
True
Let r = 47 + 30. Is r a multiple of 11?
True
Let j be (322 - 4) + 6 + -3. Suppose 174 = 3*g - j. Is 11 a factor of g?
True
Suppose 0 = -5*r + 4*r + 160. Suppose 4*b + r = -2*n - b, n + 74 = -b. Let a = n + 130. Is 12 a factor of a?
True
Let j(p) = -40*p + 94. Is 134 a factor of j(-8)?
False
Let g(r) = -19*r + 16. Let w(s) = -s**2 + 57*s - 47. Let o(v) = 7*g(v) + 2*w(v). Let b be o(-14). Let m = -51 - b. Is m a multiple of 16?
False
Let q(g) = 17*g + 2. Let r be q(1). Let c = r - -8. Suppose 9*u - 4*u = -4*y + c, -4*u = y + 7. Is y a multiple of 5?
False
Let l be (-1 - -10)/((-7)/56). Let q be (2/3)/((-16)/l). Suppose -24 = q*m - 5*m. Is 4 a factor of m?
True
Let q(l) = -2*l**3 + 3*l**2 - 6*l + 8. Let v(y) = -y**3 - y**2 - y + 1. Let w(n) = -q(n) - v(n). Is w(2) a multiple of 21?
True
Let x = -5 + 7. Suppose 8 = -x*z, 0 = -3*k - 5*z + 98 + 65. Let h = k - 33.