- a. Suppose -a*y + 86 = -142. Is 15 a factor of y?
False
Let r = 6484 - 2743. Is 69 a factor of r?
False
Suppose -2*l = 3*q - 4392, 2*l - 3*q = -2*q + 4384. Is l a multiple of 129?
True
Suppose 3*m + 432 = 3*z, 439 = -0*z + 3*z + 4*m. Suppose -2*h + 90 = -3*x, -5*x + 4*h = -h + z. Let o = x - -67. Is o a multiple of 7?
True
Let p = 427 - -117. Is 30 a factor of p?
False
Suppose -2*q + 3*q = -203. Let l = -12 - q. Suppose 5*k = 44 + l. Does 13 divide k?
False
Let r = -3 - -7. Let i(c) = c - 2. Let j be i(r). Suppose 3*n - 3 = j*n. Does 2 divide n?
False
Let k(n) = 4*n**3 + 71*n**2 - 16*n + 21. Is k(-17) a multiple of 37?
False
Suppose -f + 6*o = o - 1681, 0 = -3*f - 2*o + 5111. Is f a multiple of 27?
True
Suppose -49*o + 27*o + 41360 = 0. Does 47 divide o?
True
Suppose 16*b = 3009 + 463. Is b a multiple of 23?
False
Let i = 2 + 0. Suppose -4 = i*s - 10. Does 15 divide ((10 - s) + 2)*5?
True
Suppose 20 = 5*k, 0*c - 4*c + 5*k + 5148 = 0. Is c a multiple of 18?
False
Let m(j) = j - 11. Let t be m(5). Let x(a) = 3*a**2 + 7*a + 2. Let f be x(t). Suppose 0 = w - 2*w + f. Is w a multiple of 17?
True
Suppose -2*k + 3*k - 11 = 4*r, k + 5 = -4*r. Let c(t) = 14*t**2 + t - 3. Is 17 a factor of c(r)?
True
Suppose g = 4*t - g + 602, -603 = 4*t - g. Let s = -1 - t. Does 30 divide s?
True
Does 5 divide (410*4/(-12))/(28/(-126))?
True
Let z(x) = x**2 + 32*x - 462. Does 21 divide z(-44)?
False
Let g be 4/(2*-1) + -3. Let z(k) be the first derivative of k**3 + 3*k**2/2 - 4*k + 30. Is z(g) a multiple of 28?
True
Let o = -430 - -766. Is 21 a factor of o?
True
Let g(f) = -222*f + 616. Is g(-5) a multiple of 9?
False
Let w = 6261 + -3869. Is w a multiple of 84?
False
Does 61 divide ((-468)/(-21))/((-3)/(-14))?
False
Suppose 52*n - 47*n = 17115. Is n a multiple of 11?
False
Let p = -79 - -83. Suppose -z - 2*z = -117. Suppose p*f - z = -3*u + 9, 4*u = 3*f + 64. Does 5 divide u?
False
Let o = 1754 + -1096. Does 47 divide o?
True
Is 23 a factor of 62/(3 + 67/(-23))?
True
Suppose 8*f = 13*f - 960. Suppose -5*i = -2*i - f. Is i a multiple of 16?
True
Suppose 0*x + 298 = 5*x - 2*u, 5*x = -3*u + 303. Suppose -y + 4*i + x = -0*y, -2*y + 2*i = -138. Is 12 a factor of y?
True
Let o(j) = -2*j**2 + 4*j + 3. Let t(r) = 3*r**2 - 8*r - 6. Let k(l) = -7*o(l) - 4*t(l). Is k(-3) a multiple of 3?
True
Let z(m) = m**3 - 3*m**2 - m - 2. Let y be z(4). Suppose -27 = -2*c - 5*u, y*c - 7*c - 58 = -4*u. Is c a multiple of 13?
True
Let z(b) be the third derivative of -b**6/120 - 11*b**5/60 - b**4/6 - 5*b**3/6 + b**2. Let f be z(-10). Is 10/f - (-680)/26 a multiple of 13?
True
Let s = 62 - 62. Suppose s = -7*r + 301 + 217. Is r a multiple of 28?
False
Let a = -2 + 29. Suppose i = -a + 92. Does 9 divide i?
False
Let t be ((-3)/(-3))/(1/2). Suppose t*c + 4*s = 46, 0 = s - 2 - 1. Suppose -w - 5 = -c. Is 9 a factor of w?
False
Let m be 8/(-24)*-10*6. Is 6/4 - (-1410)/m a multiple of 26?
False
Let p(l) = l**3 + 2*l**2 - 2*l + 1. Let c be p(-3). Let y(q) be the second derivative of 7*q**4/4 - q**3/6 - 8*q. Does 25 divide y(c)?
False
Let m(v) = v**3 + 16*v**2 + 18*v - 8. Does 15 divide m(-5)?
False
Suppose -5*h - 10207 = -4*a, -a = -5*a + 2*h + 10222. Suppose -13*m + 432 = -a. Is 46 a factor of m?
True
Let z(f) = -f**3 - 9*f**2 + 3*f - 1. Let w be z(-10). Let y be -3 + w + (3 - 1). Suppose -y = -4*r + 92. Does 12 divide r?
False
Let r(y) = 3*y + 6. Let g be r(-8). Let f = g + 26. Does 24 divide f/3*(40 + -19)?
False
Let v = 3248 + -1481. Is 31 a factor of v?
True
Suppose -560*p - 1820 = -567*p. Is 7 a factor of p?
False
Let n = 503 - 426. Is 2 a factor of n?
False
Let y = 28 + -28. Suppose 2*c - 10 = -y*c. Does 2 divide c?
False
Suppose -19*u + 618 = 4*p - 22*u, 306 = 2*p - 3*u. Is 29 a factor of p?
False
Let y(g) = 11*g**2 - 3*g + 3. Suppose a - 3*a = 4*t + 4, t - 9 = -3*a. Is 33 a factor of y(a)?
False
Let z(k) = -k**3 - k**2 + 6*k + 4. Let m be z(-5). Let q = -141 - -266. Let x = q - m. Is x a multiple of 12?
False
Suppose 403*h - 407*h = -1056. Is h a multiple of 8?
True
Let i(h) = -4*h**2 + 2. Suppose 5*q = -7 + 22. Let y be i(q). Let j = y - -74. Does 14 divide j?
False
Let k = -530 + 1069. Is 26 a factor of k?
False
Let v(k) = k**3 - 25*k**2 + k - 85. Is v(27) a multiple of 11?
False
Let p = -45 - -92. Suppose -a = -p - 29. Is a a multiple of 19?
True
Let q(o) = o**3 - 11*o**2 - 9*o - 8. Suppose -48*c + 56*c = 96. Does 17 divide q(c)?
False
Let t(g) = 75*g**3 - g**2 + g. Suppose 0 = -5*z + 9 + 6. Suppose 3*n - 12 = z*m, -3*n = 2*m + n - 22. Does 25 divide t(m)?
True
Suppose -6*c + 8 = -4*c. Suppose -84 = -4*r - c. Does 5 divide r?
True
Does 22 divide 77/4*(-174 + 182)?
True
Let l be -3*((-6)/(-2) + -6). Let b = l - 3. Suppose b = -2*i + 156. Is i a multiple of 25?
True
Let v = 34 - 31. Suppose 2*d - 180 = -v*d. Does 12 divide d?
True
Suppose -3*m + m - 3*f + 18 = 0, 2*f - 20 = -4*m. Suppose m*d + 18 - 243 = 0. Is d a multiple of 15?
True
Let j = 81 + -10. Suppose -j + 22 = -5*w - 3*d, 0 = -2*w - 4*d + 28. Is 16/10*180/w a multiple of 18?
True
Suppose 0 = 8*h - 15953 + 5945. Is h a multiple of 27?
False
Let l(u) = -2*u**3 - 10*u**2 - 9*u + 7. Let a(f) = 5*f**3 + 20*f**2 + 19*f - 15. Let m(o) = -4*a(o) - 9*l(o). Does 22 divide m(5)?
True
Let h be (-1 - -2) + (-8)/(-2). Suppose -h = -p - 1. Suppose 5*a - 5 - 65 = -3*y, 2*a = p*y + 2. Is a a multiple of 11?
True
Let i(k) = k**3 + 8*k**2 - k + 10. Let w be i(-8). Let c = w - 16. Suppose -2*n - 56 = -2*p + c*n, 4*p = 5*n + 103. Is 7 a factor of p?
False
Suppose 5*j = 3*j - 5*h + 12, 5*j - h = 30. Let o = 42 - j. Is 18 a factor of o?
True
Let o(k) = k**2 - 2*k - 9. Let v = 23 + -16. Let g be o(v). Let q = g - -7. Is q a multiple of 11?
True
Let t(o) = -11*o + 3. Suppose -4*a - 28 = -0*a. Let j(c) = -10*c + 3. Let m(p) = a*j(p) + 6*t(p). Is m(12) a multiple of 10?
False
Does 10 divide 440 + -3 + 7 + (-1 - 1)?
False
Let w be (0/5 - 1)*-353. Suppose -4*i - n = w - 52, n + 1 = 0. Is (-88)/(-5) + (-30)/i a multiple of 18?
True
Suppose -2*z - 5*l = -1713, -z + 2*l - 3*l + 852 = 0. Is z a multiple of 58?
False
Let y(n) = n**2 - 8*n + 9. Let c be y(8). Let p = c + -5. Suppose 0 = 4*a - o + 4*o - 165, 0 = -5*a - p*o + 205. Is a a multiple of 11?
False
Suppose 0 = 2*x + 2*t - 40, 3*t - 83 = -3*x - x. Let i = x - 21. Suppose -i*p = -0*p - 36. Does 9 divide p?
True
Suppose 5*k - 30 = -5. Let n(i) = -k*i - 3 - i**3 - 2*i**2 + 3*i**2 - 3*i**2. Is n(-3) a multiple of 15?
False
Suppose -3400 = 15*z + 2*z. Let y = z - -344. Is y a multiple of 8?
True
Let j(t) = -t**3 - 11*t**2 + 2. Let b be j(-11). Let s = 13 - b. Is s a multiple of 11?
True
Suppose 13346 = 10*m + 2836. Is m a multiple of 25?
False
Let v = -65 + 67. Suppose -3*b + 307 - 24 = v*m, 0 = -5*m - 2*b + 691. Does 20 divide m?
False
Let v(w) = 7*w + 8. Let d(m) = -m. Let h(b) = -b**2 + 5*b - 5. Let n be h(2). Let s(q) = n*v(q) - 6*d(q). Does 11 divide s(3)?
False
Let p(x) = 135*x**2 + 14*x + 3. Is p(-2) a multiple of 23?
False
Let f(d) be the second derivative of d**4/2 - 5*d**3/3 - 3*d**2 + 22*d. Is 13 a factor of f(5)?
False
Let l(m) = m**3 + 11*m**2 - 4. Let t be l(-11). Let f(x) be the third derivative of -5*x**4/8 + 2*x**3/3 + x**2. Does 28 divide f(t)?
False
Let g(m) = 2*m**2 - 21*m + 1. Let p be g(11). Suppose 3*b = 7*b - p. Is 3 a factor of b?
True
Let o = 426 + -414. Does 4 divide o?
True
Suppose 7*r = 4 + 31. Suppose -2*v = -r*x + 440, 4*v = -3*x + 4*x - 88. Does 8 divide x?
True
Suppose 0 = -4*j + v + 230 + 310, -3*v + 540 = 4*j. Does 27 divide j?
True
Let n(g) = g**3 - 11*g**2 + 8*g - 14. Let l be n(6). Let m = -62 - l. Is m a multiple of 21?
True
Let y(u) be the first derivative of u**3/3 + 17*u**2/2 - 27*u - 12. Does 11 divide y(-20)?
True
Let m = 3348 + -1752. Is m a multiple of 7?
True
Suppose -3*i - 132 = 3*i. Let y = 148 + i. Is y a multiple of 21?
True
Suppose 1952 + 2458 = 14*d. Does 70 divide d?
False
Let i(s) = -3*s**3 + 21*s**2 - 4*s + 6. Is 18 a factor of i(6)?
True
Let o be -4 - -5 - 4/(-1). Suppose 54 = 3*z + q, -3*z - o*q + 66 = -0*q. Does 7 divide z?
False
Let q = -582 + 887. Let j = q - 214. Does 14 divide j?
False
Let b be (0 - (1 + 3)) + 78. Suppose -b - 130 = 4*h. Let i = 78 + h. Is 8 a factor of i?
False
Let s(k) = -6*k + 354. Is 6 a factor of s(35)?
True
Suppose m + 1 =